Using Type‐2 theory of effectivity, we define computability notions on the spaces of Lebesgue‐integrable functions on the real line that are based on two natural approaches to integrability from measure theory. We show that Fourier transform and convolution on these spaces are computable operators with respect to these representations. By means of the orthonormal basis of Hermite functions in L2, we show the existence of a linear complexity bound for the Fourier transform. (© 2004 WILEY‐VCH Verlag GmbH (...) & Co. KGaA, Weinheim). (shrink)

Using Type-2 theory of effectivity, we define computability notions on the spaces of Lebesgue-integrable functions on the real line that are based on two natural approaches to integrability from measure theory. We show that Fourier transform and convolution on these spaces are computable operators with respect to these representations. By means of the orthonormal basis of Hermite functions in L2, we show the existence of a linear complexity bound for the Fourier transform.

The basic concept of Type-2 Theory of Effectivity to define computability on topological spaces or limit spaces are representations, i. e. surjection functions from the Baire space onto X. Representations having the topological property of admissibility are known to provide a reasonable computability theory. In this article, we investigate several additional properties of representations which guarantee that such representations induce a reasonable Type-2 Complexity Theory on the represented spaces. For each of these properties, we give a (...) nice characterization of the class of spaces that are equipped with a representation having the respective property. (shrink)

The property of admissibility of representations plays an important role in Type–2 Theory of Effectivity . TTE defines computability on sets with continuum cardinality via representations. Admissibility is known to be indispensable for guaranteeing reasonable effectivity properties of the used representations.The question arises whether every function that is computable with respect to arbritrary representations is also computable with respect to closely related admissible ones. We define three operators which transform representations into admissible ones in such a (...) way that relative computability of functions is preserved. Thus the use of admissible representations rather than of non–admissible ones does not decrease the class of relatively computable functions. (shrink)

In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of type-2 theory of effectivity. This gives rise to a natural representation of the set of Borel probability measures on X. We compare this representation to a canonically constructed representation which encodes a Borel probability measure as a lower semicontinuous function from the open sets to the unit interval. We show that this (...) canonical representation is admissible with respect to the weak topology on Borel probability measures. Moreover, we prove that for countably-based topological spaces the representation via probabilistic processes is equivalent to the canonical representation and thus admissible with respect to the weak topology. (shrink)

Blindsight is a kind of residual vision found in people with lesions to V1. Subjects with blindsight typically report no visual awareness, but they are nonetheless able to make above-chance guesses about the shape, location, color and movement of visual stimuli presented to them in their blind field. A different kind of blindsight, sometimes called type 2 blindsight, is a kind of residual vision found in patients with V1 lesions in the presence of some residual awareness. Type 2 blindsight differs (...) from ordinary visual experience in lacking the particularity, transparency and fine-grainedness often taken to be essential to visual experience, at least in veridical cases. I argue that the case of type 2 blindsight provides a counterexample to the view that these characteristics are essential to veridical visual experience and that this gives us reason to resist the view that visual experience is essentially a perceptual relation to external objects. In the second part of the paper I argue that the case of type 2 blindsight yields important insights into the effects of attentional modulation on perceptual content and that cases of attentional modulation of appearance are not at odds with the view that the phenomenology of visual experience flows from its content. (shrink)

A type-structure of partial effective functionals over the natural numbers, based on a canonical enumeration of the partial recursive functions, is developed. These partial functionals, defined by a direct elementary technique, turn out to be the computable elements of the hereditary continuous partial objects; moreover, there is a commutative system of enumerations of any given type by any type below (relative numberings). By this and by results in [1] and [2], the Kleene-Kreisel countable functionals and the hereditary effective operations (HEO) (...) are easily characterized. (shrink)

This thesis concerns the content of mental representations. It draws lessons for philosophical theories of content from some empirical findings about brains and behaviour drawn from experimental psychology (cognitive, developmental, comparative), cognitive neuroscience and cognitive science (computational modelling). Chapter 1 motivates a naturalist and realist approach to mental representation. Chapter 2 sets out and defends a theory of content for static feedforward connectionist networks, and explains how the theory can be extended to other supervised networks. The theory (...) takes forward Churchland’s state space semantics by making a new and clearer proposal about the syntax of connectionist networks − one which nicely accounts for representational development. Chapter 3 argues that the same theoretical approach can be extended to unsupervised connectionist networks, and to some of the representational systems found in real brains. The approach can also show why connectionist systems sometimes show typicality effects, explaining them without relying upon prototype structure. That is discussed in chapter 4, which also argues that prototype structure, where it does exist, does not determine content. The thesis goes on to defend some unorthodox features of the foregoing theory: that a role is assigned to external samples in specifying syntax, that both inputs to and outputs from the system have a role in determining content, and that the content of a representation is partly determined by the circumstances in which it developed. Each, it is argued, may also be a fruitful way of thinking about mental content more generally. Reliance on developmental factors prompts a swampman-type objection. This is rebutted by reference to three possible reasons why content is attributed at all. Two of these motivations support the idea that content is partly determined by historical factors, and the third is consistent with it. The result: some empirical lessons for philosophical theories of mental content. (shrink)

The aims of this paper are to: (1) identify the best framework for comprehending multidimensional impact of deep brain stimulation on the self; (2) identify weaknesses of this framework; (3) propose refinements to it; (4) in pursuing (3), show why and how this framework should be extended with additional moral aspects and demonstrate their interrelations; (5) define how moral aspects relate to the framework; (6) show the potential consequences of including moral aspects on evaluating DBS’s impact on patients’ selves. Regarding (...) (1), I argue that the pattern theory of self can be regarded as such a framework. In realizing (2) and (3), I indicate that most relevant issues concerning PTS that require resolutions are ontological issues, including the persistence question, the “specificity problem”, and finding lacking relevant aspects of the self. In realizing (4), I identify aspects of the self not included in PTS which are desperately needed to investigate the full range of potentially relevant DBS-induced changes—authenticity, autonomy, and responsibility, and conclude that how we define authenticity will have implications for our concept of autonomy, which in turn will determine how we think about responsibility. Concerning (5), I discuss a complex relation between moral aspects and PTS—on one hand, they serve as the lens through which a particular self-pattern can be evaluated; on the other, they are, themselves, products of dynamical interactions of various self-aspects. Finally, I discuss (6), demonstrating novel way of understanding the effects of DBS on patients’ selves. (shrink)

A step towards a theory of consciousness would be to characterise the effect of consciousness on information processing. One set of results suggests that the effect of consciousness is to interfere with computations that are optimally performed non-consciously. Another set of results suggests that conscious, system 2 processing is the home of norm-compliant computation. This is contrasted with system 1 processing, thought to be typically unconscious, which operates with useful but error-prone heuristics. -/- These results can be reconciled by (...) separating out two different distinctions: between conscious and non-conscious representations, on the one hand, and between automatic and deliberate processes, on the other. This pair of distinctions is used to illuminate some existing experimental results and to resolve the puzzle about whether consciousness helps or hinders accurate information processing. This way of resolving the puzzle shows the importance of another category, which we label ‘type 0 cognition’, characterised by automatic computational processes operating on non-conscious representations. (shrink)

Recent financial fraud legislation such as the Dodd–Frank Act and the Sarbanes–Oxley Act (U.S. House of Representatives, Dodd-Frank Wall Street Reform and Consumer Protection Act of 2010, [H.R. 4173], 2010 ; U.S. House of Representatives, The Sarbanes–Oxley Act of 2002, Public Law 107-204 [H.R. 3763], 2002 ) relies heavily on whistleblowers for enforcement, and offers protection and incentives for whistleblowers. However, little is known about many aspects of the whistleblowing decision, especially the effects of contextual and wrongdoing attributes on organizational (...) members’ willingness to report fraud. We extend the ethics literature by experimentally investigating how the nature of the wrongdoing and the awareness of those surrounding the whistleblower can influence whistleblowing. As predicted, we find that employees are less likely to report: (1) financial statement fraud than theft; (2) immaterial than material financial statement fraud; (3) when the wrongdoer is aware that the potential whistleblower has knowledge of the fraud; and (4) when others in addition to the wrongdoer are not aware of the fraud. Our findings extend whistleblowing research in several ways. For instance, prior research provides little evidence concerning the effects of fraud type, wrongdoer awareness, and others’ awareness on whistleblowing intentions. We also provide evidence that whistleblowing settings represent an exception to the well-accepted theory of diffusion of responsibility. Our participants are professionals who represent the likely pool of potential whistleblowers in organizations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 113 phers); nevertheless, I feel that the book would have been more effective pedagogically had they devoted more attention to them than they have. As a specific recommendation, I would suggest several short introductions at strategic places in the text devoted to a brief resum~ of the historical setting in which the philosophers to be discussed found themselves. Once again I should emphasize that, despite the criticisms (...) I have made, I think the book to be an excellent piece of work, which should prove quite successful as an undergraduate text in the history of philosophy. OLIVER JOHNSON University of California, Riverside Plato's Theory of Knowledge. By Norman Gulley. (London: Methuen & Co. Ltd.; New York: Barnes & Noble Inc. Pp. viii ~ 203.) Mr. Gulley gives an account of the development of Plato's theory of knowledge. The impetus to this development he finds in an inconsistency that underlies the attempt to combine an a priori method of analysis with a theory of knowledge based on the doctrines of recollection and the archetype-copy relation of Forms and sensibles. Only in the last chapter, "Mathematical Knowledge," does he suggest a theory of the relation of a priori to empirical knowledge which he thinks might have satisfied Plato. The major part of the work, the first three chapters, concerns the conflicts and readjustments occasioned by the underlying inconsistency. I shall discuss these chapters in terms of a few central points. In chapter I, GuUey attempts to get at the basis of the theoretical difficulties. He points out that Plato first considers philosophic method as independent of the theory of Forms and the theory of recollection (pp. 40 f). In the Meno it is a method of analysis, which is a forerunner of the Phaedo's method of hypothesis, of which the dialectical method is a further development. It is an a priori method. But the theories, which are first hypotheses examined by the method (Phaedo), become later "presuppositions for the effective practice of the method," as, for example, in the Republic. In "recollection" there is an intimate connection between Forms and sensiblcs, but in knowledge there is complete separation. This is what Gulley considers to be the source of the major difficulties. Since I do not find these difficulties, I shall concentrate on their exposition. Gulley notes in the Phaedo two meanings of "giving an account": (1) in terms of a method of propositional analysis; (2) in terms of participation of sensibles in Forms. His explanation of the first offers no difficulties, but of the second there are serious problems. His explication of the second is as follows: To "give an account" is "to explain one's possession of a Form by showing that it is necessarily implied by that judgment of the 'deficiency' of sensible characters which arises as soon as they are recognized" (p. 40). His argument for this interpretation is as follows: "... if to know a Form brings with it the ability 'to give an account', and if to know a Form is to be reminded of it by the sensibles which resemble it (74 b-c), the 'giving of an account' must be explicable within the conception of 'knowledge' implied in the use of the term in 74 b-c" (p. 46). He assumes that Plato is at least consistent. Now in 74 b-c Simmias agrees with Socrates that we have knowledge of equality "in and by itself" and that such things as equal logs and stones "lead us to conceive" of it. Only "recollection," not the preexistent knowledge of Forms is in question here. Since it is assumed that knowledge implies the ability to give an account of what is known, then this instance of knowledge, which occurs in conjunction with perception, implies a similar ability. But one cannot infer from this that the discussion of equality as Plato has discussed it, which is a discussion of it as an example of recollection, is the same thing as the giving an account of equality itself, much less that it is "the only type of account possible" within the theory of Forms. That it is the only possible type is in fact contradicted by the assumption of pre... (shrink)

Traditional theory of mind (ToM) accounts for social cognition have been at the basis of most studies in the social cognitive neurosciences. However, in recent years, the need to go beyond traditional ToM accounts for understanding real life social interactions has become all the more pressing. At the same time it remains unclear whether alternative accounts, such as interactionism, can yield a sufficient description and explanation of social interactions. We argue that instead of considering ToM and interactionism as mutually (...) exclusive opponents, they should be integrated into a more comprehensive account of social cognition. We draw on dual process models of social cognition that contrast two different types of social cognitive processing. The first type (labeled Type 1) refers to process es that are fast, efficient, stimulus-driven, and relatively inflexible. The second type (labeled Type 2) refers to processes that are relatively slow, cognitively laborious, flexible, and may involve conscious control. We argue that while interactionism captures aspects of social cognition mostly related to Type 1 processes, ToM is more focused on those based on Type 2 processes. We suggest that real life social interactions are rarely based on either Type 1 or Type 2 processes alone. On the contrary, we propose that in most cases both types of processes are simultaneously involved and that social behavior may be sustained by the interplay between these two types of processes. Finally, we discuss how the new integrative framework can guide experimental research on social interaction. (shrink)

I present a critical discussion of dual-process theories of reasoning and decision making with particular attention to the nature and role of Type 2 processes. The original theory proposed...

We show how to extract effective bounds Φ for $\bigwedge u^1 \bigwedge v \leq_\gamma tu \bigvee w^\eta G_0$ -sentences which depend on u only (i.e. $\bigwedge u \bigwedge v \leq_\gamma tu \bigvee w \leq_\eta \Phi uG_0$ ) from arithmetical proofs which use analytical assumptions of the form \begin{equation*}\tag{*}\bigwedge x^\delta\bigvee y \leq_\rho sx \bigwedge z^\tau F_0\end{equation*} (γ, δ, ρ, and τ are arbitrary finite types, η ≤ 2, G0 and F0 are quantifier-free, and s and t are closed terms). If τ (...) ≤ 2, (*) can be weakened to $\bigwedge x^\delta, z^\tau\bigvee y \leq_\rho sx \bigwedge \tilde{z} \leq_\tau z F_0$ . This is used to establish new conservation results about weak König's lemma. Applications to proofs in classical analysis, especially uniqueness proofs in approximation theory, will be given in subsequent papers. (shrink)

This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some physical (...) analogies and the Newton potential plays a significant role here. Importantly, the resulting conceptual fields are not convex in the Euclidean sense, which we believe is a reasonable departure from the assumptions of Gardenfors’ original definition of the conceptual space. A partitioning algorithm of the space \(\mathcal {S}\) is also considered in the paper. In the application section, we test our classification algorithm on real data and obtain very satisfactory results. Moreover, the example we consider is another argument against requiring convexity of conceptual fields. (shrink)

Solution concepts for game play implicitly assume what information is relevant for choosing moves. Maximin and Eliminating Dominated Strategies use payoff order; mixed strategies and Harsanyi's risk dominance use payoff values. "Cooperative" strategies use previous choices, ignoring payoffs altogether. We first define the 12 symmetric 2 × 2 games as a continuous payoff space then use this space to evaluate strategies based on different types of information. Strategic success is shown to be sensitive to actual payoffs and seldom consistent for (...) all games of an ordinally defined category such as Chicken. A new hybrid strategy using both payoff and choice information is introduced and shown to produce efficient outcomes in all symmetric 2×2 games when employed by both players. It does well in evolutionary tournaments against strategies of other types, especially in the difficult distribution games including Battle-of-the-Sexes. (shrink)

Type 2 diabetes has been considered a public health threat due to its growing prevalence, particularly in the older population. It is important to know the effects of psychosocial stress and its potential consequences for some basic cognitive processes that are important in daily life. Currently, there is very little information about how people with T2D face acute psychosocial stressors, and even less about how their response affects working memory, which is essential for their functionality and independence. Our aim was (...) to characterize the response to an acute laboratory psychosocial stressor and its effects on WM in older people with T2D. Fifty participants with T2D from 52 to 77 years old were randomly assigned to a stress or control condition. Mood and physiological responses to tasks were measured. In addition, participants completed a WM test before and after the stress or control task. Our results showed that the TSST elicited higher negative affect and greater C and sAA responses than the control task. No significant differences in WM were observed depending on the exposure to stress or the control task. Finally, participants who showed higher C and sAA responses to the stressor had lower WM performance. Our results indicate that medically treated older adults with T2D show clear, typical mood and physiological responses to an acute psychosocial stressor. Finally, the lack of acute psychosocial stress effects on WM suggests that it could be related to aging and not to this disease, at least when T2D is adequately treated. (shrink)

BackgroundAging and type 2 diabetes mellitus are important risk factors for the development of cognitive deterioration and dementia. The objective of this research was to investigate the effects of an exercise intervention on cognitive function in older T2DM patients.MethodsEight literature databases were searched from inception to 20 January 2022. The researchers examined randomized controlled trials that evaluated the impact of exercise on the cognitive performance of older T2DM patients. The Cochrane risk-of-bias tool for RCTs was used to assess each study. (...) The quality of evidence was assessed using the GRADE approach. The mini-mental state examination, Modified MMSE, and Montreal cognitive assessment were used to evaluate the cognitive outcomes. We performed a subgroup analysis with stratification according to exercise intervention modality, duration, and cognitive impairment.ResultsFive trials were eligible, with a total of 738 T2DM patients. The combined findings revealed that exercise improved global cognitive function significantly. In the studies that were included, no relevant adverse events were reported.ConclusionExercise is beneficial in improving global cognitive function in older adults with T2DM. Studies with bigger sample sizes and higher quality are additionally expected to draw more definite conclusions.Systematic Review Registration[https://www.crd.york.ac.uk/PROSPERO/#recordDetails], identifier [CRD42022296049]. (shrink)

Three experiments investigated level of processing effects on a variety of direct and indirect memory tasks, in the context of a processing theory of dissociations. Subjects studied words in five encoding conditions and received one of ten memory tests. In Experiment 1, four tests previously classified as conceptual showed a robust LOP effect, as did a direct perceptual test of graphemic cued recall. An indirect perceptual word fragment completion test was unaffected by LOP. Experiment 2 showed that a new (...) indirect version of a graphemic cued test was not affected by LOP. In Experiment 3, guided by a generation/recognition model, we constructed three new direct tests in which subjects identified words that were graphemically, phonologically, or semantically similar to studied words. The three tests differed in their sensitivity to study conditions, but LOP had no effect in any case, despite the involvement of deliberate conscious recollection. Contemporary explanatory frameworks couched as dichotomies do not provide an adequate account of the results. It seems necessary instead to specify the types of information activated by each encoding condition, the types of information required by each test, and how encoding and retrieval processes are modified by task instructions. (shrink)

The previous volume of the series Logic, Methodology and Philosophy of Science at Warsaw University---entitled Imperatives from Different Points of View---was the first result of the project Theory of Imperatives and Its Applications realized by the group composed by Anna Brożek, Jacek Jadacki and Berislav Žarnić. The project was supported by the Foundation for Polish Science within the program Homing Plus. One of the most important points of this project was the International Symposium Imperatives in Theory and Practice (...) which took place in Warsaw, on the 18th and 19th May, 2012. The symposium was the meeting of many specialists in the domain of the theory of imperatives – from China, Croatia, Japan, Poland and The United States. Contents: Berislav Žarnić, Logical Root of Linguistic Commitment; Jacek Jadacki, Witwicki’s Square; Tomoyuki Yamada, On the Very Idea of Imperative Inference; Fengkui Ju, Semantics of Sentences in Mixed Moods of Indicative and Imperative; Piotr Kulicki & Robert Trypuz, Two Faces of Obligation; Bartosz Brożek, Types of Obligations; Anna Brożek, Functional Ambiguity of Imperatives; Anna Brożek, Logic of Prescriptions and Instruction; Aleksandra Horecka, Imperative Sentence as a Performative Sentence, which Refers to the Optative State of Affairs; Jakub Bazyli Motrenko, The Concept of Praxiological Directive; Maciej Witek, How to Establish Authority with Words: Imperative Utterances and Presupposition Accommodation; Wojciech Załuski, Remarks on the Lexical Order of Rawls’s Two Principles of Justice; Natalia Miklaszewska, Acts of Will as Convictions; Anna Brożek, Imperatives in the Gospel. (shrink)

Obstructive sleep apnea (OSA) severely impacts sleep and has long-term health consequences. Treating sleep apnea with continuous positive airway pressure (CPAP) not only relieves obstructed breathing, but also improves sleep. CPAP improves sleep by reducing apnea-induced awakenings. CPAP may also improve sleep by enhancing features of sleep architecture assessed with electroencephalography (EEG) that maximize sleep depth and neuronal homeostasis, such as the slow oscillation and spindle EEG activity, and by reducing neurophysiological arousal during sleep (i.e., beta EEG activity). We examined (...) cross-sectional differences in quantitative EEG characteristics of sleep, assessed with power spectral analysis, in 29 adults with type 2 diabetes treated with CPAP and 24 adults undergoing SHAM CPAP treatment (total n = 53). We then examined changes in spectral characteristics of sleep as the SHAM group crossed over to active CPAP treatment (n = 19). Polysomnography (PSG) from the CPAP titration night was used for the current analyses. Analyses focused on EEG frequencies associated with sleep maintenance and arousal. These included the slow oscillation (0.5–1 Hz), sigma activity (12–16 Hz, spindle activity), and beta activity (16–20 Hz) in F3, F4, C3, and C4 EEG channels. Whole night non-rapid eye movement (NREM) sleep and the first period of NREM spectral activity were examined. Age and sex were included as covariates. There were no group differences between CPAP and SHAM in spectral characteristics of sleep architecture. However, SHAM cross-over to active CPAP was associated with an increase in relative 12–16 Hz sigma activity across the whole night and a decrease in average beta activity across the whole night. Relative slow oscillation power within the first NREM period decreased with CPAP, particularly for frontal channels. Sigma and beta activity effects did not differ by channel. These findings suggest that CPAP may preferentially enhance spindle activity and mitigate neurophysiological arousal. These findings inform the neurophysiological mechanisms of improved sleep with CPAP and the utility of quantitative EEG measures of sleep as a treatment probe of improvements in neurological and physical health with CPAP. (shrink)

Elay Shech and John Earman have recently argued that the common topological interpretation of the Aharonov–Bohm (AB) effect is unsatisfactory because it fails to justify idealizations that it presupposes. In particular, they argue that an adequate account of the AB effect must address the role of boundary conditions in certain ideal cases of the effect. In this paper I defend the topological interpretation against their criticisms. I consider three types of idealization that might arise in treatments of the effect. First, (...) Shech takes the AB effect to involve an idealization in the form of a singular limit, analogous to the thermodynamic limit in statistical mechanics. But, I argue, the AB effect itself features no singular limits, so it doesn’t involve idealizations in this sense. Second, I argue that Shech and Earman’s emphasis on the role of boundary conditions in the AB effect is misplaced. The idealizations that are useful in connecting the theoretical description of the AB effect to experiment do interact with facts about boundary conditions, but none of these idealizations are presupposed by the topological interpretation of the effect. Indeed, the boundary conditions for which Shech and demands justification are incompatible with some instances of the AB effect, so the topological interpretation ought not justify them. Finally, I address the role of the non-relativistic approximation usually presumed in discussions of the AB effect. This approximation is essential if—as the topological interpretation supposes—the AB effect constrains and justifies a relativistic theory of the electromagnetic interaction. In this case the ends justify the means. So the topological view presupposes no unjustified idealizations. (shrink)

There has been neglect of systematic conceptual development and empirical investigation within consumer ethics. Scenarios have been a long-standing tool yet their development has been haphazard with little theory guiding their development. This research answers four questions relative to this gap: Do different scenario decision frames encourage different moral reasoning styles? Does the way in which framing effects are measured make a difference in the measurement of the relationship between moral reasoning and judgment by gender? Are true framing effects (...) likely to vary with the situation? and Are true framing effects likely to vary by gender? The conclusions reached were that (1) different scenario frames encourage both types of reasoning, but rule based moral reasoning is dominant regardless of frame, (2) accounting for formal equivalency in the measurement of true framing effects is likely to enhance the interpretation of studies in moral reasoning and judgment, (3) True framing effects are more likely to occur in situations with low to moderate perceived ethicality, and (4) true framing effects are not likely to vary by gender. Explanations as to why these results occurred are discussed. (shrink)

In Dellunde et al. 997–1015), we determined the complete theory Te of modules of separably closed fields of characteristic p and imperfection degree e, eω{∞}. Here, for 0≠eω, we describe the closed set of the Ziegler spectrum corresponding to Te. Further, we establish a correspondence between certain submodules and n-types and we investigate several notions of dimensions and their relationships with the Lascar rank. Finally, we show that Te has uniform p.p. elimination of imaginaries and deduce uniform weak elimination (...) of imaginaries. (shrink)

T-biconditionals have often been regarded as insufficient as axioms for truth. This verdict is based on Tarski’s observation that the typed T-sentences suffer from deductive weakness. As indicated by McGee, the situation might change radically if we consider type-free disquotational theories of truth. However, finding a well-motivated set of untyped T-biconditionals that is consistent and recursively enumerable has proven to be very difficult. Moreover, some authors ) have argued that any solution to the semantic paradoxes necessarily involves ‘inflationary’ means, thus (...) spelling doom to deflationist and minimalist truth theories in particular. The situation is indeed worrisome as formal theories of minimalist truth are missing so far. This makes it very hard to properly evaluate the tenets of minimalism. In the present article, we will show how to find safe instances of the T-schema just by relying on syntactic features of the sentences of our language—in particular, we will explore Quine’s idea of stratification. Based on that, we will introduce some disquotational truth theories that are deductively very strong. (shrink)

This paper addresses the potentially interactive effects of descriptive and injunctive norm perceptions on an unethical workplace behavior: counterproductive work behavior perpetration. We draw on the Focus Theory of Normative Conduct and its conceptual distinction between norm types to refine research on this topic. We also test a person-by-environment interaction to determine whether the interactive effects of these norms for CWB are enhanced among employees reporting a stronger need to belong to social groups. In two studies, predictors were assessed (...) in an initial survey and the dependent variable was assessed weeks later. Individuals employed across a range of industries served as participants. In Study 1, descriptive and injunctive norm perceptions of CWB interacted to predict CWB perpetration. This finding was replicated in Study 2. Additionally, Study 2 demonstrated that the interaction between the two norm types was especially strong among individuals high in NTB. Results suggest that to decrease CWB perpetration, organizations may profitably leverage the persuasive effects of “social norms marketing” to alter employee perceptions of the typicality and level of approval for CWBs. This is the first study to demonstrate that both descriptive and injunctive norm perceptions predict CWB perpetration. The demonstrated three-way interaction between the two norm types and NTB advances existing theory regarding the cognitive and motivational mechanisms underlying normative social influence. (shrink)

We investigate Turing's contributions to computability theory for real numbers and real functions presented in [22, 24, 26]. In particular, it is shown how two fundamental approaches to computable analysis, the so-called ‘Type-2 Theory of Effectivity' (TTE) and the ‘realRAM machine' model, have their foundations in Turing's work, in spite of the two incompatible notions of computability they involve. It is also shown, by contrast, how the modern conceptual tools provided by these two paradigms allow a systematic (...) interpretation of Turing's pioneering work in the subject. (shrink)

ABSTRACTIn order to explain the effects found in the heuristics and biases literature, dual-process theories of reasoning claim that human reasoning is of two kinds: Type-1 processing is fast, automatic, and associative, while Type-2 reasoning is slow, controlled, and rule based. If human reasoning is so divided, it would have important consequences for morality, epistemology, and philosophy of mind. Although dual-process theorists have typically argued for their position by way of an inference to the best explanation, they have generally failed (...) to consider alternative hypotheses. Worse still, it is unclear how we might test dual-process theories. In this article, I offer a one-system theory, which I call the Sound-Board Account of Reasoning, according to which there is one reasoning system which is flexible, allowing the properties used to distinguished Type-1 and Type-2 reasoning to cross-cut one another. I empirically distinguish my theory from the two dominant versions of dual-process theory (parallel... (shrink)

This article investigates a theory of type assignment (assigning types to lambda terms) called ETA which is intermediate in strength between the simple theory of type assignment and strong polymorphic theories like Girard’s F (Proofs and types. Cambridge University Press, Cambridge, 1989). It is like the simple theory and unlike F in that the typability and type-checking problems are solvable with respect to ETA. This is proved in the article along with three other main results: (1) all (...) primitive recursive functionals of finite type are representable in ETA; (2) every term typable in ETA has a unique normal form; (3) there is a function defined by ${{\varepsilon}_0}$ -recursion which takes every typable term to a natural number which is an upper bound to the lengths of all βη-reduction sequences starting with that term. (shrink)

Why does symbolic communication in humans develop primarily in an oral medium, and how do theories of language origin explain this? Non-human primates, despite their ability to learn and use symbolic signs, do not develop symbols as in oral language. This partly owes to the lack of a direct cortico-motoneuron control of vocalizations in these species compared to humans. Yet such modality-related factors that can impinge on the rise of symbolic language are interpreted differently in two types of evolutionary storylines. (...) 1) Some theories posit that symbolic language originated in a gestural modality, as in “sign languages”. However, this overlooks work on emerging sign and spoken language showing that gestures and speech shape signs differently. 2) In modality-dependent theories, some emphasize the role of iconic sounds, though these lack the efficiency of arbitrary symbols. Other theorists suggest that ontogenesis serves to identify human-specific mechanisms underlying an evolutionary shift from pitch varying to orally-modulated vocalizations (babble). This shift creates numerous oral features that can support efficient symbolic associations. We illustrate this principle using a sound-picture association task with 40 learners who hear words in an unfamiliar language (Mandarin) with and without a filtering of oral features. Symbolic associations arise more rapidly and accurately for sounds containing oral features compared to sounds bearing only pitch features, an effect also reported in experiments with infants. The results imply that, beyond a competence to learn and use symbols, the rise of symbolic language rests on the types of signs that a modality of expression affords. (shrink)

Human consciousness is widely understood to be underpinned by rich and diverse functional networks, whose breakdown results in unconsciousness. Candidate neural correlates of anesthetic-induced unconsciousness include: (1) disrupted frontoparietal functional connectivity; (2) disrupted brain network hubs; and (3) reduced spatiotemporal complexity. However, emerging counterexamples have revealed that these markers may appear outside of the state they are associated with, challenging both their inclusion as markers of conscious level, and the theories of consciousness that rely on their evidence. In this study, (...) we present a case series of three individuals in disorders of consciousness (DOC) who exhibit paradoxical brain responses to exposure to anesthesia. High-density electroencephalographic data were recorded from three patients with unresponsive wakefulness syndrome (UWS) while they underwent a protocol of propofol anesthesia with a targeted effect site concentration of 2 μg/ml. Network hubs and directionality of functional connectivity in the alpha frequency band (8–13 Hz), were estimated using the weighted phase lag index (wPLI) and directed phase lag index (dPLI). The spatiotemporal signal complexity was estimated using three types of Lempel-Ziv complexity (LZC). Our results illustrate that exposure to propofol anesthesia can paradoxically result in: (1) increased frontoparietal feedback-dominant connectivity; (2) posterior network hubs; and (3) increased spatiotemporal complexity. The case examples presented in this paper challenge the role of functional connectivity and spatiotemporal complexity in theories of consciousness and for the clinical evaluation of levels of human consciousness. (shrink)

The Lovász local lemma (LLL) is a technique from combinatorics for proving existential results. There are many different versions of the LLL. One of them, the lefthanded local lemma, is particularly well suited for applications to two player games. There are also constructive and computable versions of the LLL. The chief object of this thesis is to prove an effective version of the lefthanded local lemma and to apply it to effectivise constructions of non-repetitive sequences.The second goal of this thesis (...) is to categorize some classes of cohesive powers. We completely describe both the isomorphism types of cohesive powers of equivalence structures and injection structures, as well as clarify the relationship between these cohesive powers and their original structures. We also describe the finite condensation of cohesive powers of computable copies of the integers as a linear order by cohesive sets whose complement are computably enumerable.Finally, we investigate the possibility of decomposing problems in the Weihrauch degrees into a product of first order part and second order part. We give a preliminary result in this direction.Abstract prepared by Daniel Mourad.E-mail: [email protected]: https://daniel-mourad.scholar.uconn.edu/wp-content/uploads/sites/2530/2023/06/ThesisFinalWithRevisio ns-2.pdf. (shrink)

BackgroundComorbidity between diabetes mellitus and depression is highly prevalent. The risk of depression in a person with diabetes is approximately twice that of a person without this disease. Depression has a major impact on patient well-being and control of diabetes. However, despite the availability of effective and specific therapeutic interventions for the treatment of depression in people with diabetes, 50% of patients do not receive psychological treatment due to insufficient and difficult accessibility to psychological therapies in health systems. The use (...) of information and communication technologies has therefore been proposed as a useful tool for the delivery of psychological interventions, but it continues to be a field in which scientific evidence is recent and controversial. This systematic review aims to update the available information on the efficacy of psychological interventions delivered through ICTs to improve depressive symptomatology in patients with diabetes.MethodsA systematic review of the literature was performed following the PRISMA guidelines and using MEDLINE, Embase, PubMed, Web of Science, PsycINFO, Scopus, and Cochrane Library databases to search for randomized clinical trials of eHealth treatments for patients with diabetes and comorbid depression from 1995 through 2020. In addition, studies related to follow-up appointments were identified. Inclusion criteria were as follows: randomized clinical trials ; patients with type 1 and type 2 diabetes; adult population over 18 years of age; presence of depressive symptomatology assessed with standardized instruments; treatments for depression based on established psychotherapeutic techniques and principles; delivered through eHealth technologies. We did not limit severity of depressive symptomatology, delivery setting or comparison group. Two coauthors independently reviewed the publications identified for inclusion and extracted data from the included studies. A third reviewer was involved to discuss discrepancies found. The PEDro scale was used to assess the quality of the RCTs. No meta-analysis of the results was performed. The protocol used for this review is available in PROSPERO.ResultsThe initial search identified 427 relevant scientific publications. After removing duplicates and ineligible citations, a total of 201 articles were analyzed in full text. Ten articles met the criteria of this review and were included, obtaining very good scientific quality after evaluation with the PEDro scale. The main results show that the eHealth psychological intervention for depression in patients with diabetes showed beneficial effects both at the end of treatment and in the short and long term for the improvement of depressive symptomatology. The methodology used was very heterogeneous. However, all studies were based on cognitive-behavioral tools and used standardized assessment instruments to evaluate depressive symptomatology or diagnosis of MDD. Glycemic control was assessed by glycosylated hemoglobin, but no benefits were found in improving glycemic control. Only four studies included psychoeducational content on diabetes and depression, but none used tools to improve or enhance adherence to medical prescriptions or diabetes self-care.ConclusionsICT-based psychological interventions for the treatment of depression in people with diabetes appear to be effective in reducing depressive symptomatology but do not appear to provide significant results with regard to glycemic control. Nonetheless, the scientific evidence reported to date is still very limited and the methodology very diverse. In addition, no studies have implemented these systems in routine clinical practice, and no studies are available on the economic analysis of these interventions. Future research should focus on studying and including new tools to ensure improvements in diabetes outcomes and not only on psychological well-being in order to advance knowledge about these treatments. Economic evaluations should also be undertaken to analyze whether these treatment programs implemented using eHealth technologies are cost-effective. (shrink)

We explore and provide an account for a recently identified judgment anomaly, i.e., an order effect that changes the strength of intentionality ascriptions for some side effects (e.g., when a chairman's pursuit of profits has the foreseen but unintended consequence of harming the environment). Experiment 1 replicated the previously unanticipated order effect anomaly controlling for general individual differences. Experiment 2 revealed that the order effect was multiply determined and influenced by factors such as beliefs (i.e., that the same actor was (...) involved in bringing about both good and bad side effects) and philosophical training (i.e., more training was associated with smaller differences in judgment when harm followed help). Results provide more evidence that the folk's philosophically relevant intuitions are predictably fragmented and depend on the dynamic interplay between persons, process, and environments. Methodological and theoretical implications are discussed. (shrink)

Many critics of dual-process models have mistaken long lists of descriptive terms in the literature for a full-blown theory of necessarily co-occurring properties. These critiques have distracted attention from the cumulative progress being made in identifying the much smaller set of properties that truly do define Type 1 and Type 2 processing. Our view of the literature is that autonomous processing is the defining feature of Type 1 processing. Even more convincing is the converging evidence that the key feature (...) of Type 2 processing is the ability to sustain the decoupling of secondary representations. The latter is a foundational cognitive requirement for hypothetical thinking. (shrink)

Behavioral studies have demonstrated differences in the effect of constrained retrieval of semantic vs. non-semantic information on the encoding of foils. However, the impact of recognition on foils between semantic and non-semantic trials remains unclear. This study thus examines the roles of recognition—familiarity and recollection—in constrained retrieval for foils. We applied the event-related brain potentials data of new/old effects to elucidate the neural mechanisms underlying the “foil effect.” Participants encoded semantic and non-semantic tasks, were tested in a blocked memory task (...) with new words presented as foils, and performed a surprise recognition task involving foils and completely new words. Behavioral results showed better recognition performance regarding reaction times and accuracy by hit and correct reject for semantic vs. non-semantic trials in Phase 2. Conversely, inferior recognition performance in reaction times and accuracy by hit and correct reject was noted for semantic vs. non-semantic foils in Phase 3. ERP results showed more positive Frontal N400 for hit in non-semantic trials, more positive late positive component for correct rejects in semantic trials in Phase 2, and more positive LPC for hits in both semantic and non-semantic trials only in Phase 3. Through dual-processing theory, we prove that different task types in constrained retrieval depend on different retrieval processes. Particularly, familiarity may be applied more often in non-semantic trials, and recollection in semantic trials. The difference in processes between semantic and non-semantic trials during constrained retrieval affects incidental encoding of foils. (shrink)

Despite widespread discussion of the impact of corporate social responsibility activities on consumer perceptions, little research has examined how consumers cope with CSR-based crisis response messages as a bolstering strategy. To fill this gap, we propose a framework integrating situational crisis communication theory with the persuasion knowledge model, applying the model to an experiment with a 2 × 2 × 2 between-subjects factorial design. In Study 1, we found interaction effects between CSR motives and crisis type on word-of-mouth intention (...) and purchase intention. In addition, inferences about CSR motives interacted with perceptions about CSR history on purchase intention. In Study 2, we replicated study 1 and found that crisis responsibility mediated the main effect of crisis type on behavioral intentions, but neither the main effect of CSR motives and CSR history nor the interactions effects among those variables were mediated by crisis responsibility. Our results indicate that consumer inferences from a company’s CSR-based crisis communications play a significant role in increasing consumer behavioral intentions in two situations: when a crisis is accidental and when a CSR history is short. Ethical and theoretical implications are discussed. (shrink)

When the side effect of an action involves moral considerations (e.g. when a chairman’s pursuit of profits harms the environment) it tends to influence theory-of-mind judgments. On average, bad side effects are judged intentional whereas good side effects are judged unintentional. In a series of two experiments, we examined the largely uninvestigated roles of individual differences in this judgment asymmetry. Experiment 1 indicated that extraversion accounted for variations in intentionality judgments, controlling for a range of other general individual differences (...) (e.g. working memory, self-control). Experiment 2 indicated that extraversion’s influence was partially mediated by more specific variations in intentional action concepts. A priming manipulation also provided causal evidence of judgment instability and bias. Results suggest that the intentional action judgment asymmetry is multiply determined, reflecting the interplay of individual differences and judgment biases. Implications and the roles of individual differences in judgment and decision-making research are discussed. (shrink)

Scientific concepts are defined by metaphors. These metaphors determine what atten- tion is and what count as adequate explanations of the phenomenon. The authors analyze these metaphors within 3 types of attention theories: (a) --cause-- theories, in which attention is presumed to modulate information processing (e.g., attention as a spotlight; attention as a limited resource); (b) --effect-- theories, in which attention is considered to be a by-product of information processing (e.g., the competition meta- phor); and (c) hybrid theories that combine (...) cause and effect aspects (e.g., biased- competition models). The present analysis reveals the crucial role of metaphors in cognitive psychology, neuroscience, and the efforts of scientists to find a resolution to the classic problem of cause versus effect interpretations. (shrink)

In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.

Economic forecasting is famously unreliable. While this problem has traditionally been blamed on theories such as the efficient market hypothesis or even the butterfly effect, an alternative explanation is the role of money – something which is typically downplayed or excluded altogether from economic models. Instead, models tend to treat the economy as a kind of barter system in which money's only role is as an inert medium of exchange. Prices are assumed to almost perfectly reflect the 'intrinsic value' of (...) an asset. This paper argues, however, that money is better seen as an inherently dualistic phenomenon, which merges precise number with the fuzzy concept of value. Prices are not the optimal result of a mechanical, Newtonian process, but are an emergent property of the money system. And just as quantum physics has its uncertainty principle, so the economy is an uncertain process which can only be approximated by mathematical models. Acknowledging the dynamic and paradoxical qualities of money changes our ontological framework for economic modelling, and for making decisions under uncertainty. Applications to areas of risk analysis, forecasting and modelling are discussed, and it is proposed that a greater appreciation of the fundamental causes of uncertainty will help to make the economy a less uncertain place. (shrink)

Scientific concepts are defined by metaphors. These metaphors determine what attention is and what count as adequate explanations of the phenomenon. The authors analyze these metaphors within 3 types of attention theories: (a) “cause” theories, in which attention is presumed to modulate information processing (e.g., attention as a spotlight; attention as a limited resource); (b) “effect” theories, in which attention is considered to be a by-product of information processing (e.g., the competition metaphor); and (c) hybrid theories that combine cause and (...) effect aspects (e.g., biasedcompetition models). The present analysis reveals the crucial role of metaphors in cognitive psychology, neuroscience, and the efforts of scientists to find a resolution to the classic problem of cause versus effect interpretations. (shrink)