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)

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 , 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)

Fascism, according to the Deleuzo-Guattarian perspective and new materialist viewpoints, can be conceived of in terms of desire. In mediating desire’s pure flows, the schizoanalytical programme attempts to bypass what Deleuze calls ‘the strange detour of the other’ (B, 356). In this respect, concepts developed in Gilles Deleuze and Félix Guattari’s Capitalism and Schizophrenia cycle are critical to the project of the problematic of desire, the other and (neo-)fascism. In this chapter, we explore how Deleuzo-Guattarian anti-fascist concepts, such as the (...) Body without Organs (BwO), together with new materialist approaches towards vital materialism, may help us to ‘keep an eye on all that is fascist, even [the fascist] inside us’ (TP, 165). Such a critical-creative analysis, we argue, is needed to distinguish contemporary vitalist new materialisms from so-called Lebensphilosophien (philosophies of life) and frame the rise of neoliberal capitalism-supported regimes of neo-fascism. (shrink)

Superman and Batman are close friends and colleagues in the Justice League. But they are very different, especially when it comes to their views on humanity and their opinions of human nature. This chapter discusses the philosophy of Thomas Hobbes and G.W.F. Hegel to better understand these friends’ difference of opinion on humanity and human nature. Superman's view of human nature is much more optimistic than that of Batman and Hobbes. The author claims that Superman and Batman have radically different (...) views on human nature, the state, and society. So perhaps the difference between Superman and Batman is not simply that the former thinks that people are inherently good, whereas the latter believes they are inherently bad. Superman shares Hegel’s belief that human beings rely on and need recognition and external validation of their own worth from other human beings. (shrink)

Most philosophers of economics are hostile towards neoclassical economics in general and general equilibrium theory in the vein of Arrow and Debreu in particular. Especially the latter’s dismissal is justified by pointing out its lack of direct relevance for an understanding of real economies. Many recommend a more pragmatic approach along the lines of Keynes instead. The criterion of scientific legitimacy underlying this approach derives from a philosophy of science developed along the lines of Popper and Lakatos. They, however, neglect (...) the importance of conceptual problems and of the choice of adequate ‘language-systems’ in science. Since these conceptual and ‘linguistic’ aspects may be able to explain and to justify the rationale of the Arrow-Debreu approach, I recommend the more balanced philosophies of Carnap and Laudan, in which conceptual as well as empirical problems are allowed for, as a framework for methodological appraisal. I explain why such a balanced view is obstructed for most philosophers of economics and advocate a moderate pluralism leaving room for different theories, methodologies and language-systems, depending on the scientific aims that are pursued. (shrink)

Preface -- What is sociology? -- Capitalism and alienation : Marx and Weber -- Recognition and anomie : Durkheim and Honneth -- Social interaction and marginalisation: Simmel and the Chicago School -- Power and stratification : Foucault and Bourdieu -- System and differentiation : Luhmann and Habermas -- State and market : Althusser and Boltanski & Chiapello -- Uncertainty and risk : Bauman and Beck -- The reflective self : Goffman and Giddens -- Family and work : Sennett and Hochschild (...) -- Gender, body and identity : Butler and Haraway -- Factish and fetish : Latour and Zizek -- Sociology as an analytic praxis. (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)

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)

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.

In keiner geisteswissenschaftlichen Disziplin hat Gadamers Hermeneutik tiefere Spuren hinterlassen als in der Literaturwissenschaft. Bezugnahmen auf 'Wahrheit und Methode' bilden langst eine Art 'Koine' der Selbstverstandigung des Fachs. Der aus einem Kolloquium im Deutschen Literaturarchiv Marbach hervorgegangene Band bilanziert diesen Bestand: Im ersten Teil diskutieren Jean Grondin, Dieter Teichert, Norbert Groeben, Tilmann Koppe u.a. Gadamers Theorievorschlage und deren Rezeption durch so wirkungsmachtige Literaturwissenschaftler wie Hans-Robert Jauss, E.D. Hirsch und Frank Kermode. Dabei geht es nicht nur um wissenschaftsgeschichtliche Befunde, sondern um (...) eine aktuelle Kritik der Leistungen Gadamers. Im zweiten Teil des Bandes befassen sich David Wellbery, Rudiger Gorner, Sandra Kluwe, Gerhard Buhr u.a. mit Gadamers Interpretationen zu Goethe, Holderlin, George, Rilke und Paul Celan. Neben vergleichenden Perspektiven, so auf die Interpretationsmanier Heideggers, werden auch hier die Pramissen der Gadamerschen Auslegungspraxis herausgearbeitet und auf ihre hermeneutische Produktivitat hin befragt. Eine Podiumsdiskussion, in der Dieter Henrich, Glenn Most, Karlheinz Stierle und Rainer Warning Gadamers interpretationstheoretische Zentralmetapher des Text-Leser-Gesprachs erortern, rundet den Band ab. (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)

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)

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)

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)

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)

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)

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)

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)