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)

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)

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)

We study randomness beyond${\rm{\Pi }}_1^1$-randomness and its Martin-Löf type variant, which was introduced in [16] and further studied in [3]. Here we focus on a class strictly between${\rm{\Pi }}_1^1$and${\rm{\Sigma }}_2^1$that is given by the infinite time Turing machines introduced by Hamkins and Kidder. The main results show that the randomness notions associated with this class have several desirable properties, which resemble those of classical random notions such as Martin-Löf randomness and randomness notions defined via effective descriptive set theory (...) such as${\rm{\Pi }}_1^1$-randomness. For instance, mutual randoms do not share information and a version of van Lambalgen’s theorem holds.Towards these results, we prove the following analogue to a theorem of Sacks. If a real is infinite time Turing computable relative to all reals in some given set of reals with positive Lebesgue measure, then it is already infinite time Turing computable. As a technical tool towards this result, we prove facts of independent interest about random forcing over increasing unions of admissible sets, which allow efficient proofs of some classical results about hyperarithmetic sets. (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)

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)

Frames and framing make one dimension of a decision problem particularly salient. In the simplest case, framesprimeresponses (as in, e.g., the Asian disease paradigm, where the gain frame primes risk-aversion and the loss frame primes risk-seeking). But in more complicated situations frames can function reflectively, by making salient particular reason-giving aspects of a thing, outcome, or action. For Shakespeare's Macbeth, for example, his feudal commitments are salient in one frame, while downplayed in another in favor of his personal ambition. The (...) role of frames in reasoning can give rise torational framing effects. Macbeth can prefer fulfilling his feudal duty to murdering the king, while also preferring bravely taking the throne to fulfilling his feudal duty, knowing full well that bravely taking the throne just is murdering the king. Such patterns ofquasi-cyclicalpreferences can be correct and appropriate from the normative perspective of how one ought to reason. The paper explores three less dramatic types of rational framing effects: (1) Consciously framing and reframing long-term goals and short-term temptations can be important tools for self-control. (2) In the prototypical social interactions modeled by game theory, allowing for rational framing effects solves longstanding problems, such as the equilibrium selection problem and explaining the appeal of non-equilibrium solutions (e.g., the cooperative solution in the Prisoner's Dilemma). (3) Processes for resolving interpersonal conflicts and breaking discursive deadlock, because they involve internalizing multiple and incompatible ways of framing actions and outcomes, in effect create rational framing effects. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 25.2 (2001) 233-250 [Access article in PDF] Narrative Theory and Function: Why Evolution Matters Michelle Scalise Sugiyama I It may seem a strange proposition that the study of human evolution is integral to the study of literature, yet that is exactly what this paper proposes. The reasons for this are twofold. Firstly, the practice of storytelling is ancient, pre-dating not only the advent of writing, (...) but of agriculture and permanent settlement as well. Secondly, narrative is ultimately a product of the mind, which in turn is the product of a long history of evolution by natural selection. Thus, an understanding of why and how humans create and consume narrative requires an understanding of (1) features of ancestral environments and (2) features of the mind that made the emergence of this phenomenon possible.There can be little doubt that narrative emerged in human prehistory. Language, an obvious prerequisite for storytelling, is likely to have emerged by at least 50,000 and possibly 250,000 years ago, depending upon whether one places one's trust in archaeological or anatomical evidence. 1 The most reasonable estimate is offered by Geoffrey Miller, who points out that, given its universality, the language faculty must have emerged by the time ancestral Homo sapiens began migrating out of Africa approximately 100,000 years ago. 2 Although the oldest known written narrative (The Epic of Gilgamesh) dates back only 5,000 years, the written literary traditions of many ancient cultures are known to be rooted in longstanding oral traditions. 3 The fact that many modern foraging peoples have rich and complex oral traditions further suggests that the emergence of narrative is not linked to the development of agriculture 10,000 years ago. Moreover, other forms of symbolic expression, such as the cave paintings, Venus figurines, and engraved bone [End Page 233] and antler that have been found at various sites throughout Europe, date back approximately 30,000 years, and rock paintings in Australia may date back even farther. 4 Since humans were physiologically capable of speech long before they began producing these artifacts, storytelling is likely to be at least as ancient as these other representational forms. Indeed, one scholar situates the "dawn of the oral tradition" within this period (Pfeiffer, p. 189). Given, then, that modern humans (Homo sapiens sapiens) have been in existence for approximately 100,000 years 5 and are the only hominid species or subspecies known for certain to exhibit storytelling behavior, we can safely say that oral narrative is a product of our hunting-and-gathering past, likely to have emerged between 30,000 and 100,000 years ago.The universality of narrative is further testimony to its being an ancient cognitive phenomenon. Literate or not, all known cultures, past and present, practice storytelling. 6 Moreover, all normally developing humans acquire the ability to process and generate stories: studies of Western children indicate that the ability to tell stories emerges spontaneously between the ages of two-and-a-half and three, and children as young as thirty months can distinguish between narrative and non-narrative uses of language. 7 In contrast to reading, writing, and arithmetic, no special education is required for narrative competence to develop, nor is there any evidence that oral literacy is acquired through contact with other cultures; although subject matter is often exchanged between groups, the practice of storytelling itself arises independently among even the most isolated peoples. Nor does any type of culture have a monopoly on narrative sophistication: the stories of hunter-horticulturalist societies are no less observant, insightful, or artful than those of agrarian or industrial societies.As with language, narrative takes the same basic form across cultures, which David Bordwell and Kristin Thompson define as "a chain of events in cause-effect relationship occurring in time." Given the preponderance of human agents in narrative, most narrative theorists would probably modify this barebones description to include character (usually understood to have a human psychology), goal-oriented action, and resolution. Frank Kermode, for example, defines the "proprieties" of narrative as "connexity, closure, and character," and John... (shrink)

We are concerned here with recursive function theory analogs of certain problems in chromatic graph theory. The motivating question for our work is: Does there exist a recursive (countably infinite) planar graph with no recursive 4-coloring? We obtain the following results: There is a 3-colorable, recursive planar graph which, for all k, has no recursive k-coloring; every decidable graph of genus p ≥ 0 has a recursive 2(χ(p) - 1)-coloring, where χ(p) is the least number of colors which (...) will suffice to color any graph of genus p; for every k ≥ 3 there is a k-colorable, decidable graph with no recursive k-coloring, and if k = 3 or if k = 4 and the 4-color conjecture fails the graph is planar; there are degree preserving correspondences between k-colorings of graphs and paths through special types of trees which yield information about the degrees of unsolvability of k-colorings of graphs. (shrink)

A model for measurement in collapse-free nonrelativistic fermionic quantum field theory is presented. In addition to local propagation and effectively-local interactions, the model incorporates explicit representations of localized observers, thus extending an earlier model of entanglement generation in Everett quantum field theory (Rubin in Found. Phys. 32:1495–1523, 2002). Transformations of the field operators from the Heisenberg picture to the Deutsch-Hayden picture, involving fictitious auxiliary fields, establish the locality of the model. The model is applied to manifestly-local calculations of (...) the results of measurements, using a type of sudden approximation and in the limit of massive systems in narrow-wavepacket states. Detection of the presence of a spin-1/2 system in a given spin state by a freely-moving two-state observer illustrates the features of the model and the nonperturbative computational methodology. With the help of perturbation theory the model is applied to a calculation of the quintessential “nonlocal” quantum phenomenon, spin correlations in the Einstein-Podolsky-Rosen-Bohm experiment. (shrink)

In this article, we discuss a number of challenges with the empirical study of emotion and its relation to moral judgment. We examine a case study involving the moral foreign-language effect, according to which people show an increased utilitarian response tendency in moral dilemmas when using their non-native language. One important proposed explanation for this effect is that using one’s non-native language reduces emotional arousal, and that reduced emotion is responsible for this tendency. We offer reasons to think that there (...) is insufficient evidence for accepting this explanation at present. We argue that there are three themes that constrain our current ability to draw firm empirical conclusions: 1) the frequent use of proxies or partial measures for emotions, 2) the lack of a predictive and generalizable theory of emotion and specific emotion-types, and 3) the obscurity of a baseline level of neutrality with respect to participant emotion. These lessons apply not only to research on the moral foreign-language effect, but to empirical research in moral psychology more generally. (shrink)

Recent work in cognitive modelling has found that most of the data that has been cited as evidence for the dual-process theory (DPT) of reasoning is best explained by non-linear, “monotonic” one-process models (Stephens et al., 2018, 2019). In this paper, I consider an important caveat of this research: it uses models that are committed to unrealistic assumptions about how effectively task conditions can isolate Type-1 and Type-2 reasoning. To avoid this caveat, I develop a coordinated theoretical, (...) experimental, and modelling strategy to better test DPT. First, I propose that Type-1 and Type-2 reasoning are defined as reasoning that precedes and follows metacognitive control, respectively. Second, I argue that reasoning that precedes and follows metacognitive control can be effectively isolated using debiasing paradigms that manipulate metacognitive heuristics (e.g., processing fluency) to prevent or trigger metacognitive control, respectively. Third, I argue that monotonic modelling can allow us to decisively test DPT only when we use them to analyse data from this particular kind of debiasing paradigm. (shrink)

Embodied theories of language postulate that language meaning is stored in modality-specific brain areas generally involved in perception and action in the real world. However, the temporal dynamics of the interaction between modality-specific information and lexical-semantic processing remain unclear. We investigated the relative timing at which two types of modality-specific information (action-based and visual-form information) contribute to lexical-semantic comprehension. To this end, we applied a behavioral priming paradigm in which prime and target words were related with respect to (1) action (...) features, (2) visual features, or (3) semantically associative information. Using a Go/No-Go lexical decision task, priming effects were measured across four different inter-stimulus intervals (ISI = 100, 250, 400, and 1000 ms) to determine the relative time course of the different features. Notably, action priming effects were found in ISIs of 100, 250, and 1000 ms whereas a visual priming effect was seen only in the ISI of 1000 ms. Importantly, our data suggest that features follow different time courses of activation during word recognition. In this regard, feature activation is dynamic, measurable in specific time windows but not in others. Thus the current study (1) demonstrates how multiple ISIs can be used within an experiment to help chart the time course of feature activation and (2) provides new evidence for embodied theories of language. (shrink)

It is shown that, in some non-QCD theories, there are effects shared by QCD: (i) in SU(2) Yang–Mills theory containing a nonlinear spinor field, there is a mass gap; (ii) in SU(3) Proca–Higgs theory, there are flux tube solutions with a longitudinal electric field required for producing a force binding quarks; (iii) in non-Abelian Proca–Higgs theories, there exist flux tube solutions with a momentum directed along the tube axis and particlelike solutions with a nonvanishing total angular momentum created (...) by crossed color electric and magnetic fields; in QCD, such configurations may contribute to the proton spin. We discuss the conjecture that such non-QCD theories might be a consequence of approximate solution of an infinite set of Dyson–Schwinger equations describing the procedure of nonperturbative quantization. The phenomenon of dimensional transmutation for nonperturbative quantization and the analogy between nonperturbative quantization and turbulence modeling are also discussed. (shrink)

Manifold learning and effective model building are generally viewed as fundamentally different types of procedure. After all, in one we build a simplified model of the data, in the other, we construct a simplified model of the another model. Nonetheless, I argue that certain kinds of high-dimensional effective model building, and effective field theory construction in quantum field theory, can be viewed as special cases of manifold learning. I argue that this helps to shed light on all of (...) these techniques. First, it suggests that the effective model building procedure depends upon a certain kind of algorithmic compressibility requirement. All three approaches assume that real-world systems exhibit certain redundancies, due to regularities. The use of these regularities to build simplified models is essential for scientific progress in many different domains. (shrink)

Growing evidence suggests that natural environments – whether in outdoor or indoor settings – foster psychological health and physiological relaxation, indicated by increased wellbeing, reduced stress levels, and increased parasympathetic activity. Greater insight into differential psychological aspects modulating psychophysiological responses to nature-based relaxation videos could help understand modes of action and develop personalized relaxation interventions. We investigated heart rate variability as an indicator of autonomic regulation, specifically parasympathetic activity, in response to a 10-min video intervention in two consecutive studies as (...) well as heart rate. We hypothesized that a nature-based relaxation video elicits HRV increase and HR decrease, with response magnitude being affected by aspects of early life adversity and trait mindfulness. In Study 1, N = 60 participants watched a relaxation video intervention depicting different natural scenery. We analyzed changes in HR and respiratory sinus arrhythmia as a standard HRV measure, both based on 3-min segments from the experimental session, in multiple growth curve models. We found a decrease in HR and increase of RSA during the video intervention. Higher paternal care and lower trait mindfulness observing skills were associated with higher RSA values before but not during video exposure. In Study 2, N = 90 participants were assigned to three video conditions: natural scenery from Study 1, meditation video, or short clip from “The Lord of the Rings.” Again, HR decreased, and RSA increased during video segments, yet without expected group differences across different video types. We found higher parental care and lower parental overprotection to predict higher RSA at different times during the experiment. Interestingly, lower paternal overprotection predicted overall higher RSA. These results suggest a generic relaxation effect of video interventions on autonomic regulation that we discuss in light of different theories mapping restorative effects of natural environments. Further, psychological characteristics like aspects of early life adversity and trait mindfulness could contribute to individual differences in autonomic regulation. This study contributes to a better understanding of autonomic and psychological responses to relaxation videos. (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)

Krull [4] extended Galois theory to arbitrary normal extensions, in which the Galois groups are precisely the profinite groups. Metakides and Nerode [7] produced two recursively presented algebraic extensionsK⊂Fof the rationals such thatFis abelian,Fis of infinite degree overK, and the Galois group ofFoverK, although of cardinalityc, has only one recursive element. This indicated the limits of effectiveness for Krull's theory. Nerode suggested developing a natural effective version of Krull's theory.It is evident from the classical literature that the (...) free profinite group on denumerably many generators can be obtained effectively as the Galois group of a recursive extension of the rationals over a subfield. Nerode conjectured that it could be obtained effectively as the Galois group of the algebraic numbers over a suitable subfield. The case of finitely many generators was done non-effectively by Jarden [3]. The author believes that the denumerable case, as presented in §2, is also new classically. Using this result and the effective Krull theory, every “co-recursively enumerable” profinite group is effectively the Galois group of a recursively enumerable field of algebraic numbers over a recursive subfield. (shrink)

Recently, a class of $\mathcal{P}\mathcal{T}$ -invariant scalar quantum field theories described by the non-Hermitian Lagrangian $\mathcal{L}$ = $ \frac{1}{2} $ (∂ϕ) 2 +gϕ 2 (iϕ)ε was studied. It was found that there are two regions of ε. For ε<0 the $\mathcal{P}\mathcal{T}$ -invariance of the Lagrangian is spontaneously broken, and as a consequence, all but the lowest-lying energy levels are complex. For ε≥0 the $\mathcal{P}\mathcal{T}$ -invariance of the Lagrangian is unbroken, and the entire energy spectrum is real and positive. The subtle (...) transition at ε=0 is not well understood. In this paper we initiate an investigation of this transition by carrying out a detailed numerical study of the effective potential V eff (ϕc) in zero-dimensional spacetime. Although this numerical work reveals some differences between the ε<0 and the ε>0 regimes, we cannot yet see convincing evidence of the transition at ε=0 in the structure of the effective potential for $\mathcal{P}\mathcal{T}$ -symmetric quantum field theories. (shrink)

This investigation examined how people’s beliefs about the functionality of emotion shape their emotional response and regulatory strategies when encountering distressing events. In Study 1, we present data supporting the reliability and validity of an 8-item instrument, the Help and Hinder Theories about Emotion Measure (HHTEM), designed to assess an individual’s beliefs about the functionality of emotion. Participants who more strongly endorsed a Help Theory reported greater wellbeing, emotional acceptance, and use of reappraisal to regulate emotion. Participants who more (...) strongly endorsed a Hinder Theory reported less wellbeing and more expressive suppression and substance use. In Study 2, we demonstrate that encouraging participants to view emotion as helpful affected their physiological and regulatory response to a distressing event. Participants in the Help Theory condition showed greater physiological reactivity (SCL) during a distressing film than control participants but were more accepting of their emotional response. Shortly after the film, SCL decreased for participants in the Help Theory condition. Compared to control participants, they engaged in less suppression and reported less lingering effect of the film on their mood. Together, these studies suggest that people’s theories about the functionality of emotion influence their reactivity, the strategies they adopt to regulate emotion, and their ability to rebound after distressing events. (shrink)

1. IntroductionIn What Biological Functions Are and Why They Matter, Justin Garson offers a novel theory of biological functions, the generalized selected effects (GSE) theory.1 He presents the theory in a clear and comprehensive way, defends it against various objections and applies it to different areas of philosophy, including the philosophy of psychiatry, the debate about mechanisms and the debate about teleosemantic theories of mental content.2Like other proponents of the aetiological approach to functions, Garson maintains that a (...) trait’s biological functions are grounded in its selectional history. However, his GSE theory differs from standard versions of the aetiological approach – so-called selected effects (SE) theories – in a crucial respect: while SE theories assume that all biological functions must ultimately be grounded in phylogenetic processes of natural selection or other (closely analogous) processes of differential reproduction (Millikan 1984: 15–82, Neander 1991, Godfrey-Smith 1994), the GSE theory allows that functions may also be grounded in processes of differential retention (see §2 for details). Garson forcefully argues that this broader account is theoretically well-motivated and has significant advantages over standard SE accounts when it comes to accommodating certain important classes of ontogenetically determined functions. (shrink)

In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function B prop [x : A], i. e. to require that the predicate ∨ ¬ B) is provable, is equivalent, when working within the framework of Martin-Löf's Intuitionistic Type Theory, to require that there exists a decision function ψ: A → Boole such that = Booletrue) ↔ B). Since we will also show that the proposition x = Booletrue [x: Boole] is decidable, (...) we can alternatively say that the main result of this paper is a proof that the decidability of the predicate Bprop [x : A] can be effectively reduced by a function ψ A → Boole to the decidability of the predicate ψ = Booletrue [x : A]. All the proofs are carried out within the Intuitionistic Type Theory and hence the decision function ψ, together with a proof of its correctness, is effectively constructed as a function of the proof of ∨ ¬ B). (shrink)

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra $\mathcal {B}$ to each formula. We show some basic results regarding the effect of the properties of $\mathcal {B}$ on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author’s result about counting types, as well as the notion of a smooth (...) type and extending a type to a smooth one. We then show that Keisler measures are tied to certain Boolean types and show that some of the results can thus be transferred to measures—in particular, giving an alternative proof of the fact that every measure in a dependent theory can be extended to a smooth one. We also study the stable case. We consider this paper as an invitation for more research into the topic of Boolean types. (shrink)

In recent years, functional connectivity in the developmental science received increasing attention. Although it has been reported that the anatomical connectivity in the preterm brain develops dramatically during the last months of pregnancy, little is known about how functional and effective connectivity change with maturation. The present study investigated how effective connectivity in premature infants evolves. To assess it, we use EEG measurements and graph-theory methodologies. We recorded data from 25 preterm babies, who underwent long-EEG monitoring at least twice (...) during their stay in the NICU. The recordings took place from 27 weeks postmenstrual age until 42 weeks PMA. Results showed that the EEG-connectivity, assessed using graph-theory indices, moved from a small-world network to a random one, since the clustering coefficient increases and the path length decreases. This shift can be due to the development of the thalamocortical connections and long-range cortical connections. Based on the network indices, we developed different age-prediction models. The best result showed that it is possible to predict the age of the infant with a root mean-squared error equal to 2.11 weeks. These results are similar to the ones reported in the literature for age prediction in preterm babies. (shrink)

In [3] John S. Bell proposed how to associate particle trajectories with a lattice quantum field theory, yielding what can be regarded as a |Ψ|2-distributed Markov process on the appropriate configuration space. A similar process can be defined in the continuum, for more or less any regularized quantum field theory; such processes we call Bell-type quantum field theories. We describe methods for explicitly constructing these processes. These concern, in addition to the definition of the Markov processes, the (...) efficient calculation of jump rates, how to obtain the process from the processes corresponding to the free and interaction Hamiltonian alone, and how to obtain the free process from the free Hamiltonian or, alternatively, from the one-particle process by a construction analogous to “second quantization.” As an example, we consider the process for a second quantized Dirac field in an external electromagnetic field. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The (...) discussion focuses on: (1) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

The Cognitive Reflection Test (CRT) is a measure of analytical reasoning that cues an intuitive but incorrect response that must be rejected for successful performance to be attained. The CRT yields two types of errors: Intuitive errors, which are attributed to Type 1 processes; and non-intuitive errors, which result from poor numeracy skills or deficient reasoning. Past research shows that participants who commit the highest numbers of errors on the CRT overestimate their performance the most, whereas those with the (...) lowest error-rates tend to slightly underestimate. This is an example of the Dunning-Kruger Effect (DKE). The present study examined how intuitive vs. non-intuitive errors contribute to overestimation in the CRT at different levels of performance. Female undergraduate students completed a seven-item CRT test and subsequently estimated their raw score. They also filled out the Faith in Intuition (FI) questionnaire, which is a dispositional measure of intuitive thinking. Data was separated into quartiles based on level of performance on the CRT. The results demonstrated the DKE. Additionally, intuitive and non-intuitive errors predicted miscalibration among low, but not high performers. However, intuitive errors were a stronger predictor of miscalibration. Finally, FI was positively correlated with CRT self-estimates and miscalibration, indicating that participants who perceived themselves to be more intuitive were worse at estimating their score. These results taken together suggest that participants who perform poorly in the CRT and also those who score higher in intuitive thinking disposition are more susceptible to the influences of heuristic-based cues, such as answer fluency, when judging their performance. (shrink)

Bouts of exercise performed either prior to or immediately following study periods enhance encoding and learning. Empirical evidence supporting the benefits of interventions that simultaneously pair physical activity with material to be learned is not conclusive, however. A narrative, theory-based review of dual-task experiments evaluated studies in terms of arousal theories, attention theories, cognitive-energetic theories, and entrainment theories. The pattern of the results of these studies suggests that cognitive-motor interference can either impair or enhance memory of semantic information and (...) the manner in which physical activity impacts working memory within executive processing appears to explain disparate outcomes. The integration and timing of physical movements in concert with the type of information to be encoded and remembered appears to be a critical requirement for learning. These observations have implications for the role of physical activity in education, rehabilitation, and gerontological settings. (shrink)

Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following: Let T be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula in T built up from the propositional variables $q,p_{1},...,p_{n}$ , using logical connectives and the predicate Pr, has the same "fixed-points" relative to q (that is, formulas $\psi (p_{1},...,p_{n})$ for which for all $p_{1},...,p_{n}\vdash _{T}\phi (\psi (p_{1},...,p_{n}),p_{1},...,p_{n})\leftrightarrow (...) \psi (p_{1},...,p_{n})$ ) of a formula $\phi ^{\ast}$ of the same kind, obtained from φ in an effective way. Moreover, such $\phi ^{\ast}$ is provably equivalent to the formula obtained from φ substituting with $\phi ^{\ast}$ itself all the occurrences of q which are under Pr. In the particular case where q is always under Pr in φ, $\phi ^{\ast}$ is the unique (up to provable equivalence) "fixed-point" of φ. Since this result is proved only assuming Pr to be canonical, it can be deduced that Löb's property is, in a sense, equivalent to Gödel's diagonalization lemma. All the results are proved more generally in the intuitionistic case. (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as (...) the most promising one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

Two experiments demonstrated letter-context effects that cannot easily be accounted for by postperceptual theories based on structural redundancy, iigural goodness, or memory advantage. In Experiment 1, subjects identified the color of a letter fragment more accurately in letter than in nonletter contexts. In Experiment 2, subjects identified the feature presented in a precued color more accurately in letters than in nonletters. We argue that these effects result from topdown perceptual processing.

In this paper we aim to contribute to the recent debate on non-empirical theory confirmation by analyzing why scientists accept and trust their theories in the absence of clear empirical verification in social sciences. Given that the philosophy of social sciences traditionally deals mainly with economics and sociology, organization theory promises a new area for addressing a wide range of key questions of the modern philosophy of science and, in particular, to shed a light on the puzzling question (...) of non-empirical theory assessment, acceptance, corroboration and development. Although institutional theory of organizations cannot be directly tested and evaluated via empirical data, this theory nevertheless became a dominant theory of organization-environment relations and most organizational researchers routinely use it as a standard theoretical framework for making sense of empirical findings. We analyze the trajectory of institutional theory development and proliferation and argue that it enjoys its current status of the standard theory of organizational sociology because (1) it is flexible enough to account for most organizational processes and phenomena; (2) it has suppressed existing alternative theories that are less flexible; (3) because scientists do not tend to look for alternatives for once winning theory and (4) due to the dysfunctional requirement to “develop theory” in top journals in organization and management studies. Finally, we argue that “a too-much-plasticity effect”, has a negative impact on institutional theory in the long run. It is explained why, despite the dominant position in organizational research, institutional studies cannot be regarded as a normal science while the progress of this theoretical problem is rather an illusory effect then a growth of knowledge. (shrink)

Effective inseparability of pairs of sets is an important notion in logic and computer science. We study the effective inseparability of sets which appear as index sets of subsets of an effectively given topological T0-space and discuss its consequences. It is shown that for two disjoint subsets X and Y of the space one can effectively find a witness that the index set of X cannot be separated from the index set of Y by a recursively enumerable set, if X (...) intersects the topological closure of an effectively enumerable subset of Y. As a consequence of a more general parametric inseparability result a theorem of Rice-Shapiro type is obtained. Moreover, under some additional requirements it follows that nonopen subsets have productive index sets. This implies a generalized Rice theorem: Connected spaces have only trivial completely recursive subsets. As application some decision problems in computable analysis and domain theory are studied. It follows that the complement of the halting problem can be reduced to the problem to decide of a number whether it is a computable irrational. The same is true for the problems to decide whether two numbers are equal, whether one is not greater than the other, and whether a number is equal to a given number. In the case of an effectively given continuous complete partial order the complexity of the last problem depends on whether the given element is the smallest element, in which case the complement of the halting problem is reducible to it, whether it is a base element and maximal, then the decision problem is recursively isomorphic to the halting problem, or whether it is none of these. In this case, both the halting problem and its complement are reducible to the problem. The same is true in nontrivial cases for the problems whether an element belongs to the basis, whether two elements of the partial order are equal, or whether one approximates the other. In general, for any nonempty proper subset of the partial order either the halting problem or its complement can be reduced to the membership problem of the subset. (shrink)

Within-category induction is the projection of a generic property from a class to a subtype of that class. The modifier effect refers to the discovery reported by Connolly et al., that the subtype statement tends to be judged less likely to be true than the original unmodified sentence. The effect was replicated and shown to be moderated by the typicality of the modifier. Likelihood judgements were also found to correlate between modified and unmodified versions of sentences. Experiment 2 elicited justifications, (...) which suggested three types of reason for the effect-pragmatics, knowledge-based reasoning, and uncertainty about attribute inheritance. It is argued that the results provide clear evidence for the default inheritance of prototypical attributes in modified concepts, although a full account of the effect remains to be given. (shrink)

Ethical consumerism theory aims to describe, explain, and evaluate the ways in which producers and consumers use the market to support social and environmental values. The literature draws insights from empirical studies of sectors that largely take place on the legal market, such as textiles and agri-food. This paper takes a first step toward theorizing ethical consumerism in semi-legal sectors where market activities occur legally and illegally. How does extant theory extend to sectors such as sex work, cigarettes, (...) and recreational drugs? This study draws on the case of recreational cannabis (marijuana) in Portland, OR (USA). Data from 33 interviews, structured fieldwork at 64 dispensaries, and the US Census Bureau American Community Survey are analyzed using qualitative, quantitative, and spatial methods. The findings are compared to 12 suggestions that emerge from the literature on fair trade, organics, alternative agriculture, and political consumerism. I argue that not all ethical consumerism theory extends to semi-legal sectors. Cannabis closely resembles theoretical expectations in terms of supply/demand, prioritization of ethical issues, and pervasiveness of false claims, but differs in terms of who organizes, which types of strategies are pursued, and how ethical products are framed. The differences stem from several pervasive stigmas about cannabis. I also argue that the stigmas that set cannabis apart from other (more legal sectors) and present challenges to ethical consumerism in cannabis are directly related to the War on Drugs. These insights suggest that prohibition (and its lingering effects) can inhibit the emergence of ethical consumerism. (shrink)

I will explore possibilities for formulating linguistic semantics in terms of records and record types of the kind used in recent developments of Martin-L¨of type theory (Betarte, 1998, Betarte and Tasistro, 1998, Coquand, Pollock and Takeyama, 2003, Tasistro, 1997). I will suggest that they give us the tools to develop a theory which includes aspects of Montague semantics, using the lambda calculus1, Discourse Representation Theory (DRT)2, situation semantics3 and Head-Driven Phrase Structure Grammar (HPSG)4 in a single (...) theory. I will also argue that formulating these theories in terms of record types may provide us not only with a unified approach but also with certain improvements over the individual theories. (shrink)

Many have argued that moral judgment is driven by one of two types of processes. Rationalists argue that reasoned processes are the source of moral judgments, whereas sentimentalists argue that emotional processes are. We provide evidence that both positions are mistaken; there are multiple mental processes involved in moral judgment, and it is possible to manipulate which process is engaged when considering moral dilemmas by presenting them in a non-native language. The Foreign-Language Effect is the activation of systematic reasoning processes (...) by thinking in a foreign language. We demonstrate that the FLE extends to moral judgment. This indicates that different types of processes can lead to the formation of differing moral judgments. One implication of the FLE is that it raises the possibility that moral judgments can be made more systematic, and that the type of processing used to form them might be relevant to normative and applied ethics. (shrink)

Reconstruction effects in relative clauses are a class of phenomena where the external head of the relative clause seems to behave as if it occupied a position within the relative clause, as far as some commonly accepted principle of grammar is concerned. An often cited type of example is "The [relative of his] [which every man admires most] is his mother.", where the pronoun "his" in the relative head appears to be bound by the quantified noun phrase "every man" (...) in the relative clause - although the latter does not c-command the former, which is commonly required for binding. Several solutions have been developed in various theoretical frameworks. One interesting aspect about reconstruction effects in relative clauses is that they can be used as a benchmark for competing theories of grammar: Which architecture of the syntax-semantics interface can provide the most satisfying explanation for these phenomena? This volume brings together researchers working in different frameworks but looking at the same set of empirical facts, enabling the reader to develop their own perspective on the perfect tradeoff between syntax and semantics in a theory of grammar. (shrink)

This revision of an important and lucid account of the various systems of axiomatic set theory preserves the basic format and essential ingredients of its highly regarded original. Quine's innovative exploitation of the virtual theory of classes in order to develop a considerable portion of set theory without ontological commitment to the existence of classes remains unchanged. So, too, does the list of topics treated--the theory of sets up to transfinite ordinal and cardinal numbers, the axiom (...) of choice and its equivalents, and a beautiful comparison of the various major formulations of set theory. There have, however, been a number of important changes, generally in the interest of greater elegance and clarity. One of the most notable of these is in the treatment of ordinal numbers. In the fourth section of that chapter an axiom schema is added to the effect that if α is a function and x an ordinal number, then there exists a class identical with the image of x under α. Although Quine, in general prefers to limit his existence assumptions as severely as possible, this added item possesses two attractive and closely related advantages: it yields the existence of all classes up to the size of any ordinal, and it greatly simplifies the subsequent treatment of ordinals and of transfinite recursion. The treatment of this latter subject, incidentally, has also been extensively modified to square with some difficulties first pointed out by Charles Parsons in The Journal of Symbolic Logic in 1964. Another important change consists in a considerable reworking of the section on infinite cardinals. The result is a more simplified and natural treatment. Finally, some new material on the theory of types and consequences of the axiom schema of comprehension has been added. Particularly with regard to the theory of types, this new material--due largely to the work of David Kaplan--has enabled Quine to drop, at one point, the assumption that there exists an object of lowest type. Altogether, this is a generally improved version of an originally masterful and brilliant work.--H. P. K. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that (...) a foundation for mathematics might be expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

Humanistic studies cultivate types of conceptual fluency and modes of awareness important to thought concerning values. Not all knowledge is scientific knowledge. There is genuine comprehension of some valuative matters – they are not all to be interpreted in expressive or subjective terms. Education in the humanities can encourage value-relevant types of discernment, awareness, and articulateness in uniquely effective ways. Though important kinds of thought concerning values may lack formal, theoretical elaboration they involve genuine standards of intellectual responsibility. Engagement with (...) the humanities does not ensure development of sound valuative thought and judgment – nothing ensures it – but can have a crucial role in shaping it. Moreover, intellectual and moral imagination should not be constrained by boundaries of academic specialization. Specialization has several merits but it can motivate inappropriately reductionist claims and theoretical over-extension. Often, sound normative understanding is not dependent upon explicit theoretical justification or a specific inquiry’s explanatory idiom. (shrink)

New numerical solutions of 3+1D covariant kinetic theory are reported for nuclear collisions in the energy domain Ecm∼200 AGeV. They were obtained using the MPC 0.1.2 parton transport code employing high parton subdivision to retain Lorentz covariance. The solutions are compared to those of relativistic hydrodynamics employing Cooper–Frye isotherm freeze-out. The transport solutions follow a different dynamical path than hydrodynamics due to large dissipative effects when pQCD scattering rates and HIJING initial conditions are assumed. The transport freeze-out four-volume is (...) sensitive to the reaction rates. The final transverse momentum distributions are found to deviate by up to an order of magnitude from those of Cooper–Frye frozen hydrodynamics. (shrink)

After a chapter which is an introduction to and summary of the rest of the book, chapter 2 begins by criticizing various attempts to do away with theories, such as the Reichenbach-Salmon conception of theoretical truth in terms of observational consequences, and the Ramsey strategy of replacing first-order theoretical sentences by second-order nontheoretical ones; it then argues against hypothetico-deductivist theories of confirmation on the grounds that they are unable to handle the relevance of evidence to theory, whether or not (...) other formal constraints or even nonformal ones such as simplicity and explanatory power are added to those theories; it ends with an exposition of the Reichenbach-Carnap conventionalist thesis that the confirmation of hypotheses with evidence presupposes analytic principles connecting hypothetical and empirical concepts. Chapter 3 criticizes Bayesian theories of confirmation on such grounds as that the a priori arguments for Bayesian restrictions on beliefs are insufficient; that the Bayesian explanations of notions like variety of evidence, ad hocness, and simplicity are inadequate; and that they cannot account, without drastic revisions, for the relevance of evidence to theory, especially old evidence to new theory. Chapter 4 is an unsympathetic account of historically oriented philosophies of science; Lakatos’s notion of progressive research programs and Laudan’s theory of problem-solving effectiveness are found to be insufficiently precise and dubbed examples of "new fuzziness", while the Sneed-Stegmüller dynamics of theories is regarded as "a paradigm of misplaced rigor" ; and all three are criticized as unable to explicate the concept of evidential relevance. Chapter 5 is a formal and informal elaboration of the basic idea in Glymour’s account of theory and evidence, namely that confirmation or support is a three-term relation among evidence, hypothesis, and theory, so that evidence confirms an hypothesis only relative to a theory, and such that evidence e confirms hypothesis h relative to T if T with e implies, but T without e does not imply, an instance of h, and T with e does not imply a comparable hypothesis h’ different from h; the most interesting part of this chapter is a series of discussions showing how such an idea makes sense of the "methodological truisms" that it is possible selectively to test certain parts of a theory but not others, that a theory is supported better by a greater variety of evidence, that redundant or physically meaningless quantities are an undesirable feature of theories, that there are no inviolable rules, that a "white shoe" does not confirm "all ravens are black," that a theory is more useful and better supported than the set of its observational consequences, and that the hypothetico-deductive method often works. Since Glymour claims no originality for the conception of this general account, but only for its description, he plausibly thinks it necessary to apply it to some important historical cases of actual science; he does so in the next chapter by discussing at some length the structure and merits of Ptolemaic and Copernican astronomy, of Newton’s universal gravitation, of nineteenth century atomism, of Freud’s Rat Man, and of general relativity. For example, he argues convincingly that Copernicanism was better supported by the evidence available even before the telescope because it alone, and not the Ptolemaic theory, can determine some planetary properties which are presupposed by both theories, can test and confirm some common hypotheses, and can be confirmed in an essential rather than incidental manner; and though Glymour admits that the Copernicans tended to argue in terms of explanatory rather than confirmatory superiority, he sketches an interesting account of the relation between explanation and confirmation which strengthens his case. He also analyzes the text at the beginning of book 3 of Newton’s Principia and compiles a reconstruction of the intricate details of the inferential structure of the argument to universal gravitation; his impressive reconstruction clearly shows that Newton’s method is neither the inductivist one he himself thought he was following, nor the one attributed to him by Pierre Duhem, but rather one in accordance with Glymour’s so-called "bootstrap strategy" of repeatedly using the evidence from Kepler’s second and third laws, from lunar data, and from falling bodies, together with the theory consisting of the second and third laws of motion, to arrive at increasingly general instances of the principle of universal gravitation. Glymour’s account of arguments for and against the atomic theory from Thomson to Cannizzaro is his longest historical example, but he himself admits that this illustration of the bootstrap strategy is "certainly not the neatest", and rather "diffuse, and perhaps disconnected". Chapter 7 is a detailed application of the same principles to the technique known among social scientists as "causal modeling"; since such "causal models" are essentially systems of algebraic equations, Glymour’s account shows indirectly that the bootstrap strategy is applicable to any scientific theory presented as a set of algebraic equations; this, of course is not surprising, since the formal considerations with which Glymour begins the exposition of his theory in chapter 5 involve systems of algebraic equations. Chapter 8 is an attempt to apply Glymour’s theory of evidence to the very common scientific practice of curve-fitting, where one measures values of two or more quantities and then infers a functional relationship; Glymour argues that simpler polynomials are preferred because they are tested more frequently and more severely by the data and because they are more informative; but then he criticizes his own explanation and concludes that "the bootstrap procedures of chapter 5 do not seem to help the problem much more than a whit" ; this is admirably honest, but if one wants an additional logical or methodological rationale, then one would perhaps have to go to the meta-level and say that Glymour is here testing his own theory, and he is more interested in a further illustration of the bootstrap methodology even with a failed test, than he is to claim universal or exclusive validity for it. In chapter 9 Glymour uses his bootstrap theory of confirmation to criticize geometrical conventionalism; he considers the alternative theories of space or space-time proposed by conventionalists to show the radical undetermination of geometries by evidence, for example, a non-Euclidean geometry with no universal force instead of Newtonian gravitation with Euclidean geometry; he argues that such alternatives are simply not as well tested as the originals and that their equivalence to the originals is questionable. The last chapter is a brief discussion of further problems worthy of future investigation. (shrink)

The article deals with research on framing effects. First, I will start with classifying different approaches on framing. Subsequently, I will provide a definition of the concepts of frame, schema and framing, expand on framing research conducted so far – both theoretically and operationally. Having this equipment at hand, I will initiate a discussion on studies of framing-effects in terms of theory, methods and empirical results. This discussion leads to the conclusion that studies on framing effects are insufficiently concerned (...) with the more recent psychological constructs and theories. In merely focusing on the activation of schemata, most studies ignore the more elaborate types of framing-effects. Therefore, several empirical questions remain unanswered and some methodical chances seem to be wasted. (shrink)

In this paper, I explain how Bentham’s utilitarianism is at odds with Effective Altruism’s (EA) abstract use of numbers to calculate the most ‘effective’ ways to do good. This is interesting because Bentham is widely regarded as the father of modern utilitarianism and EA is a movement popularly associated with utilitarianism today. My paper is divided into 3 parts. In part 1, I explain how Bentham’s utilitarianism is built on a view of pleasure as widely varied and inherently subjective. In (...) part 2, I discuss a version of utilitarianism that bears a superficial resemblance to Bentham’s but diverges from his theory in crucial ways. I show that it is with this second version, rather than Bentham’s, that EA shares more in common. In part 3, I sketch out a Benthamite critique of EA. (shrink)