By a classifying topos for a first-order theory , we mean a topos such that, for any topos models of in correspond exactly to open geometric morphisms → . We show that not every first-order theory has a classifying topos in this sense, but we characterize those which do by an appropriate ‘smallness condition’, and we show that every Grothendieck topos arises as the classifying topos of such a theory. We also show that every first-order theory has a conservative extension (...) to one which possesses a classifying topos, and we obtain a Heyting-valued completeness theorem for infinitary first-order logic. (shrink)

We use the language of categorical logic to construct generic saturated models of intuitionistic theories. Our main technique is the thorough study of the filter construction on categories with finite limits, which is the completion of subobject lattices under filtered meets. When restricted to coherent or Heyting categories, classifying categories of intuitionistic first-order theories, the resulting categories are filtered meet coherent categories, coherent categories with complete subobject lattices such that both finite disjunctions and existential quantification distribute over filtered meets. Such (...) categories naturally embed into Grothendieck toposes which then contain saturated models of the theory we started with. (shrink)

We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected.

In this paper we study the logic $\mathcal{L}^\lambda_{\omega\omega}$, which is first-order logic extended by quantification over functions . We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of $\mathcal{L}^\lambda_{\omega\omega}$ with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic $\mathcal{L}^\lambda_{\omega\omega}$ is the strongest for which Heyting-valued completeness is known. Finally, (...) we relate the logic to locally connected geometric morphisms between toposes. (shrink)

In this paper we study the logic , which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic is the strongest for which Heyting-valued completeness is known. (...) Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

In this paper we study the logic $\mathcal{L}^\lambda_{\omega\omega}$, which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of $\mathcal{L}^\lambda_{\omega\omega}$ with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic $\mathcal{L}^\lambda_{\omega\omega}$ is the strongest for which Heyting-valued completeness (...) is known. Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

Butz, Achimova, Bilkey, and Knott provide a topic overview and discuss whether the special issue contributions may imply that event‐predictive abilities constitute a root for conceptual human thought, because they enable complex, mutually beneficial, but also intricately competitive, social interactions and language communication.

Butz, Achimova, Bilkey, and Knott provide a topic overview and discuss whether the special issue contributions may imply that event‐predictive abilities constitute a root for conceptual human thought, because they enable complex, mutually beneficial, but also intricately competitive, social interactions and language communication.

This paper proposes how various disciplinary theories of cognition may be combined into a unifying, sub-symbolic, computational theory of cognition. The following theories are considered for integration: psychological theories, including the theory of event coding, event segmentation theory, the theory of anticipatory behavioral control, and concept development; artificial intelligence and machine learning theories, including reinforcement learning and generative artificial neural networks; and theories from theoretical and computational neuroscience, including predictive coding and free energy-based inference. In the light of such a (...) potential unification, it is discussed how abstract cognitive, conceptualized knowledge and understanding may be learned from actively gathered sensorimotor experiences. The unification rests on the free energy-based inference principle, which essentially implies that the brain builds a predictive, generative model of its environment. Neural activity-oriented inference causes the continuous adaptation of the currently active predictive encodings. Neural structure-oriented inference causes the longer term adaptation of the developing generative model as a whole. Finally, active inference strives for maintaining internal homeostasis, causing goal-directed motor behavior. To learn abstract, hierarchical encodings, however, it is proposed that free energy-based inference needs to be enhanced with structural priors, which bias cognitive development towards the formation of particular, behaviorally suitable encoding structures. As a result, it is hypothesized how abstract concepts can develop from, and thus how they are structured by and grounded in, sensorimotor experiences. Moreover, it is sketched-out how symbol-like thought can be generated by a temporarily active set of predictive encodings, which constitute a distributed neural attractor in the form of an interactive free-energy minimum. The activated, interactive network attractor essentially characterizes the semantics of a concept or a concept composition, such as an actual or imagined situation in our environment. Temporal successions of attractors then encode unfolding semantics, which may be generated by a behavioral or mental interaction with an actual or imagined situation in our environment. Implications, further predictions, possible verification and falsifications, as well as potential enhancements into a fully spelled-out unified theory of cognition are discussed at the end of the paper. (shrink)

Representative for contemporary attempts to establish a science of consciousness we examine Chalmers' statement and resolution of the 'hard problem of consciousness'. Agreeing with him that in order to account for subjectivity it is necessary to expand the ontology of the natural sciences, we argue that it is not sufficient to just add conscious experience to the list of fundamental features of the world. Instead, we turn to phenomenology as the philosophy of conscious experience and give an outline of Merleau-Ponty's (...) critique of the objectivist ontology underlying science which excludes subjectivity from the world. We reconstruct his proposal for a revised ontology in The Visible and the Invisible aiming at an extended understanding of Being including subjectivity, which takes on the form of a constellation of new ontological terms centered around the concept of the 'flesh of the world'. Trying to spell out the consequences of Merleau-Ponty's ontological considerations for scientific practice and especially the science of consciousness, we notice that his philosophy of subjectivity-in-the-world on its part is unable to connect to the insights of the natural sciences. The phenomenological critique of the 'hard problem' reveals a deeper disparity which, at present, limits its practical implications. (shrink)

When experimental philosophers carry out studies on thought experiments, some participants are excluded based on certain exclusion criteria, mirroring standard social science vignette methodology. This involves excluding people that do not pay attention or who miscomprehend the scenario presented in thought experiments. However, experimental philosophy studies sometimes exclude an alarmingly high number of participants. We argue that this threatens the external and internal validity of the conclusions being drawn and we show how a simple visualization of thought experiments can reduce (...) exclusion rates significantly. Furthermore, we argue that focus should not merely be on how many are excluded, but also why they are excluded, and we highlight the role of comprehension questions in this regard. Philosophical thought experiments often rely on the acceptance of certain key premises that may be regarded contestable, and asking comprehension questions involving such key assumptions could be problematic as that may result in some participants being inadvertently excluded from the study, potentially creating a selection bias. (shrink)

ID 68, the important Delian inscription found in 1910 prohibiting access to outsiders and with jurisdiction probably over the Archegesion, is shown to have been inscribed twice. This is not a matter of republication, rather of simultaneous publication within the same sanctuary. The article provides a new text and a complete bibliography for the double publication before analyzing the architectural function of the two inscriptions and their significance as sacred law. With emphasis on the palaeography and aesthetic value of the (...) letterforms as well as on the physical evidence of the stones themselves, the meaning of the prohibition is reexamined, resulting in the proposal of a specific social context and date. (shrink)

Self-fulfillment of theories is argued to be a threat to social science in at least two ways. First, a realist might worry that self-fulfillment constitutes a threat to the idea that social science is a proper science consistent with a realist approach that develops true and successful statements about the world. Second, one might argue that the potential self-fulfilling nature of social science theories potentially undermines the ethical integrity of social scientists. We argue that if one accepts that social science (...) theories are not based on laws akin to those that govern natural reality or acknowledges that if one can predict self-fulfillment via a meta-theory that explains the underlying regularities of the self-fulfilling change, the threat to realism is dismantled. Furthermore, on the basis of these arguments, we show that if one is unable to predict the consequences of a theory, it is difficult to ascribe moral responsibility at the individual level. It is, therefore, not the potential self-fulfillment of theories per se that poses an ethical challenge, in contrast to claims in the literature. (shrink)

In this study the relationship of religiosity and value priorities is differentiated, based on a multidimensional measurement of different contents of religiosity. The structure of values is conceptualized using Schwartz' two orthogonal dimensions of Self-transcendence vs. Self-enhancement and Openness to change vs. Conservation. The relations between these two dimensions and eight religious contents, ranging from open-minded to more close-minded forms of religiosity, were tested in a sample of church attenders , gathered in Germany. The results show, that depending on the (...) content of religiosity, different values are preferred . The results indicate the importance of the content of religiosity for predicting value-loaded behaviors. (shrink)

Studies in experimental philosophy claim to document intuition variation. Some studies focus on demographic group-variation; Colaçoet al., for example, claim that age generates intuition variation regarding knowledge attribution in a fake-barn scenario. Other studies claim to show intuition variation when comparing the intuition of philosophers to that of non-philosophers. The main focus has been on documenting intuition variation rather than uncovering what underlying factor(s) may prompt such a phenomenon. We explore a number of suggested explanatory hypotheses put forth by Colaçoet (...) al., as well as an attempt to test Sosa's claim that intuition variance is a result of people ‘filling in the details’ of a thought experiment differently from one another. We show (i) that people respond consistently across conditions aimed at ‘filling in the details’ of thought experiments, (ii) that risk attitude does not seem relevant to knowledge ascription, (iii) that people's knowledge ascriptions do not vary due to views about defeasibility of knowledge. Yet, (iv) we find no grounds to reject that a large proportion of people appear to adhere to so-called subjectivism about knowledge, which may explain why they generally have intuitions about the fake-barn scenario that vary from those of philosophers. (shrink)

Purpose: Constructivism postulates that the perceived reality is a complex construct formed during development. Depending on the particular school, these inner constructs take on different forms and structures and affect cognition in different ways. The purpose of this article is to address the questions of how and, even more importantly, why we form such inner constructs. Approach: This article proposes that brain development is controlled by an inherent anticipatory drive, which biases learning towards the formation of forward predictive structures and (...) inverse goal-oriented control structures. This drive, in combination with increasingly complex environmental interactions during cognitive development, enforces the structuring of our conscious self, which is embedded in a constructed inner reality. Essentially, the following questions are addressed: Which basic mechanisms lead us to the construction of inner realities? How are these emergent inner realities structured? How is the self represented within the inner realities? And consequently, which cognitive structures constitute the media for conscious thought and selfconsciousness? Findings: Due to the anticipatory drive, representations in the brain shape themselves predominantly purposefully or intentionally. Taking a developmental, evolutionary perspective, we show how the brain is forced to develop progressively complex and abstract representations of the self embedded in the constructed inner realities. These self representations can evoke different stages of self-consciousness. Implications: The anticipatory drive shapes brain structures and cognition during the development of progressively more complex, competent, and flexible goal-oriented bodyenvironment interactions. Self-consciousness develops because increasingly abstract, individualizing self representations are necessary to realize these progressively more challenging environmental interactions. (shrink)

Studies in experimental philosophy claim to document intuition variation. Some studies focus on demographic group-variation; Colaço et al., for example, claim that age generates intuition variation regarding knowledge attribution in a fake-barn scenario. Other studies claim to show intuition variation when comparing the intuition of philosophers to that of non-philosophers. The main focus has been on documenting intuition variation rather than uncovering what underlying factor(s) may prompt such a phenomenon. We explore a number of suggested explanatory hypotheses put forth by (...) Colaço et al., as well as an attempt to test Sosa's claim that intuition variance is a result of people ‘filling in the details’ of a thought experiment differently from one another. We show (i) that people respond consistently across conditions aimed at ‘filling in the details’ of thought experiments, (ii) that risk attitude does not seem relevant to knowledge ascription, (iii) that people's knowledge ascriptions do not vary due to views about defeasibility of knowledge. Yet, (iv) we find no grounds to reject that a large proportion of people appear to adhere to so-called subjectivism about knowledge, which may explain why they generally have intuitions about the fake-barn scenario that vary from those of philosophers. (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

Weite Teile der katholischen Dogmatik und Fundamentaltheologie dieser Tage sind in nicht unerheblichem Maße von dem geprägt, was man”Letztbegründung“nennen könnte. Diese Denkrichtung sucht in der Tradition der Aufklärung und des deutschen Idealismus nach letzten, philosophisch ausweisbaren Gründen für die Glaubensinhalte der katholischen Theologie. Der Autor zeichnet Thomas Pröppers, Hansjürgen Verweyens und Klaus Müllers Angänge nach und prüft, ob ihr Anspruch auf einen letztgültigen Sinn gelingen kann. Die Lektüre ausgewählter Texten von Emmanuel Levinas und Jacques Derrida lässt erhebliche Zweifel am Erfolg (...) einer Letztbegründung aufkommen. Darüber hinaus gibt ein Durchgang durch lehramtliche und biblische Texte zu bedenken, ob ein solcher Anspruch theologisch überhaupt erhoben werden muss. Gilt nicht auch und gerade nach der philosophischen Aufklärung: "Mein Angesicht kannst Du nicht sehen. Nicht sieht mich der Mensch und lebt."? (shrink)

This study compares the relationship between the moral reasoning modes and leadership orientation of males versus females, and managers versus engineers/scientists. A questionnaire developed by Worthley (1987) was used to measure the degree of each participant's respective independence and justice, and relationships and caring moral reasoning modes. Leadership orientation values and attitudes were measured using the Fiedler and Chemers (1984) Least Preferred Coworker Scale.The results suggest that, although males differ from female in their dominant moral reasoning modes, managers are not (...) distinguishable from the engineers/scientists they manage in terms of their moral reasoning mode or Least Preferred Coworker score. (shrink)

Flickering light induces visual hallucinations in human observers. Despite a long history of the phenomenon, little is known about the dependence of flicker-induced subjective impressions on the flicker frequency. We investigate this question using Ganzfeld stimulation and an experimental paradigm combining a continuous frequency scan with a focus on re-occurring, whole percepts. On the single-subject level, we find a high degree of frequency stability of percepts. To generalize across subjects, we apply two rating systems, a set of complex percept classes (...) derived from subjects’ reports and an enumeration of elementary percept features, and determine distributions of occurrences over flicker frequency. We observe a stronger frequency specificity for complex percept classes than elementary percept features. Comparing the similarity relations among percept categories to those among frequency profiles, we observe that though percepts are preferentially induced by particular frequencies, the frequency does not unambiguously determine the experienced percept. (shrink)

We argue that Recanati burdens his otherwise salutary “Mental File” account of singular thought with an “Actualist” assumption that he has inherited from the discussion of singular thought since at least Evans, according to which singular thoughts can only be about actual objects: apparent singular thoughts involving “empty” terms lack truth-valuable content. This assumption flies in the face of manifestly singular thoughts involving not only fictional and mistakenly postulated entities, such as Zeus and the planet Vulcan, but also “perceptual inexistents,” (...) e.g., Kanizsa figures, rainbows, words and phonemes, as well as hosts of at best metaphysically problematic “objects,” such as properties, numbers, ceremonies, contracts, symphonies, “the sky,” “the rain.” Indeed, reflection on what seems to be the boundless diversity of “things” about which we seem to be able to have singular thoughts strongly suggests that there may be no general metaphysics of objects, much less “acquaintance” and “epistemically rewarding” relations that would distinguish singular from non-singular thought. We recommend that Recanati and other mental file theorists confine the theory to a metaphysically neutral account of singular thought as specific kind of internally “focused” computational state, and not seek any general account of the relation of thought to reality. (shrink)

This book offers an interdisciplinary introduction to embodied cognitive science, addressing the question of how the mind comes into being while actively interacting with and learning from the environment by means of the own body. By pursuing a functional and computational perspective, concrete answers are provided about the fundamental mechanisms and developing structures that must bring the mind about, taking into account insights from biology, neuroscience, psychology, and philosophy as well as from computer science, machine learning, and artificial intelligence.