The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) One (...) rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions (...) are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can be represented by triangles. The height at (...) which branching occurs is not prescribed in previous syntactic models, but it is by using the ultrametric matrix. In other words the ultrametric approach gives a complete description of phrase trees, unlike previous approaches. The ambiguity of which branching height to choose, is resolved by postulating that branching occurs at the lowest height available. An ultrametric produces a measure of the complexity of sentences: presumably the complexity of sentences increases as a language is acquired so that this can be tested. All ultrametric triangles are equilateral or isosceles. Here it is shown that \={X} structure implies that there are no equilateral triangles. Restricting attention to simple syntax a minimum ultrametric distance between lexical categories is calculated. A matrix constructed from this ultrametric distance is shown to be different than the matrix obtained from features. It is shown that the definition of {\sc c-command} can be replaced by an equivalent ultrametric definition. The new definition invokes a minimum distance between nodes and this is more aesthetically satisfying than previous varieties of definitions. From the new definition of {\sc c-command} follows a new definition of of the central notion in syntax namely {\sc government}. (shrink)

The main discourses on art during the nineteenth century defined the artist as a spirit that should express their unbridled creativity, and overall that had the strength to express its total personal autonomy from institutional processes of culture. Thus, Manet’s work A bar at the Folies—Bergere contains substantial elements that express and help us to understand both the role of the artist, as the crisis of meaning in the work of modern art and problematic public sphere, treated by Haberma's as (...) the field of social life in which we can develop our public opinion, and that is determined by common sense and rational consensus. In this sense, this article leverages how A bar at the Folies—Bergere questions the social representation of not only the public but the legitimizing institutions that support an artistic truth, to point to an x—ray that presents the structure and the gap between the public and artists, between artistic expression and cultural significance, and thus presents the cultural crisis warned by artists. (shrink)

Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.

Ever since the advent of molecular biology in the 1970s, mechanical models have become the dogma in the field, where a "true" understanding of any subject is equated to a mechanistic description. This has been to the detriment of the biomedical sciences, where, barring some exceptions, notable new feats of understanding have arguably not been achieved in normal and disease biology, including neurodegenerative disease and cancer pathobiology. I argue for a "mechanism-plus-X" paradigm, where mainstay elements of mechanistic models such as (...) hierarchy and correlation are combined with nomological principles such as general operative rules and generative principles. Depending on the question at hand and the nature of the inquiry, X could range from proven physical laws to speculative biological generalizations, such as the notional principle of cellular synchrony. I argue that the "mechanism-plus-X" approach should ultimately aim to move biological inquiries out of the deadlock of oft-encountered mechanistic pitfalls and reposition biology to its former capacity of illuminating fundamental truths about the world. (shrink)

The focus of this paper is the syntax of inverse scope in Hungarian, a language that largely disambiguates quantifier scope at spell-out. Inverse scope is attributed to alternate orderings of potentially large chunks of structure, but with appeal to base-generation, as opposed to nonfeature-driven movement as in Kayne 1998. The proposal is developed within mirror theory and conforms to the assumption that structures are antisymmetrical. The paper also develops a matching notion of scope in terms of featural domination, as (...) opposed to c-command, and applies it to otherwise problematic cases of pied piping. Finally, the interaction of different quantifier types is examined and the patterns are explained invoking morphological considerations on one hand and A-bar reconstruction on the other. (shrink)

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are connected (...) with- the Ajdukiewicz’s work [1935] which was a continuation of Leśniewski’s idea and further developed and popularized in the research on categorial grammars, by Y. Bar-Hillel [1950,1953,1964]. To assign a suitable syntactic category to each word of the vocabulary is the main idea of syntactically-categorial approach to language. Compound expressions are built from the words of the vocabulary and then a suitable syntactic-category is assigned to each of them. A language built in this way should be decidable, which means that there should exist an algorithm for deciding about each expression of it, whether it is well-formed or is syntactically connected . The traditional, originating from Husserl, understanding of the syntactic category confronts some difficulties. This notion is defined by abstraction using the concept of affiliation of two expressions to the same syntactic category. (shrink)

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, (...) OccL is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, (...) and also a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

ABSTRACT -/- A propositional attitude (PA) is a belief, desire, fear, etc., that x is the case. This dissertation addresses the question of the semantic content of a specific kind of PA-instance: an instance of a belief of the form all Fs are Gs. The belief that all bachelors are sports fans has this form, while the belief that Spain is a country in Eastern Europe do not. Unlike a state of viewing the color of an orange, a belief-instance is (...) semantically contentful because it has reference, a meaning, logical implications, or a truth-value. While the intrinsic semantics view holds that either concepts or abstract objects are the source of content for PAs, the extrinsic semantics view holds that symbols of a mental language provide this content. I argue that a successful theory of intentionality must explain: (1) the truth-preserving causal powers of PAs, (2) the failure of the deductive principle Substitutivity to preserve truth over sentences that ascribe PAs, and (3) the truth-evaluability of PAs. As an internalist version of the extrinsic semantics view, I first evaluate Fodor’s Computational Theory of Mind, which says the semantic ingredients of mental states are symbols governed by rules of a mental syntax. I argue that in order to meet (1), CTM would have to associate the causal patterns of each thought-type with the inferential relations of some proposition – in an arbitrary or question-begging way. I also evaluate Fodor’s causal theory, as an externalist version of the extrinsic semantics view. This view is that lawlike causal relations between mental symbols and objects determine the reference, and thus the truth-value, of a thought. I argue that Brian Loar’s circularity objection refutes the ability of this theory to meet (3); and I endorse the intrinsic semantics perspective. I evaluate Frege’s theory of abstract, mind-external, and intrinsically semantic objects (senses), as an attempt to meet condition (2). I conclude that mind-external universals are the source of the intrinsically semantic features of concepts. Finally, I put forth a theory called ‘Bare Property Intentionality’, which describes the features of intrinsically representative and semantic concepts that connect them to these universals. (shrink)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

The article contains a critical analysis of Wittgenstein’s theory of logical symbolism. According to an influential interpretation, Wittgenstein presented in the Tractatus a new method of solving paradoxes. This method seems a simple and effective alternative to Russell’s type theory. Wittgenstein’s theory of logical symbolism is based on the requirement of clear notation and the context principle: the type of a symbol only “shows” itself in the way we use the signs of our language. The function sign φ(φx) does not (...) express any paradox, because the syntactic rules for its use, written in clear notation, should “show” us that φ(φx) = ψ(φx). Many researchers (Davant, Ishiguro, Mounce, Ruffino, Friedlander, Jolley, Livingston, Ladov, et al.) follow this interpretation. However, the difficulty of such a view on Wittgenstein’s theory of logical symbolism is that there hides the fallacy of petitio principii. Indeed, in examples of a functional sign of the form φ(φx), we are interested not only in the question of whether the functions φ are different symbols, but also in how this functional sign φ(φx) itself excludes the symbolization of the same object by different ways. This interpretation is contrasted with the idea that Wittgenstein’s theory of logical symbolism is in fact a modified analogue of Russell’s simple theory of types. The reciprocality principle becomes the core of Wittgenstein’s theory: the combinatorial potential of the “prototype” of a functional sign is identical to the combinatorial potential of the “prototype” of an argument. According to Wittgenstein, only describing the combinatorial potential of linguistic expressions (symbols) can vanish the illusion of paradoxes. The function cannot be its argument, because the function sign φ(φx) already contains the “prototype” of its argument, “showing” us that φ(φx) = φx. The correctness of this interpretation does not exclude the possibility that the differences between Russell and Wittgenstein are in fact nothing more than façon de parler. (shrink)

This paper argues that functionalist metasemantic views, such as Conceptual Role Semantics and Interpretivism, face a Euthyphro challenge. The challenge, put roughly, is this: functionalist metasemantic views reverse the order of explanation. According to such views, representational mental states have the contents that they do partly because they play certain roles in our mental lives. According to an intuitive picture of the roles that representational mental states play in our mental lives, however, these states play the roles they do partly (...) because they have the contents that they do. Since explanations—even partial ones—are asymmetric (call this principle ‘the Euthyphro Principle’), we can’t accept both this intuitive picture and a functionalist metasemantics. Hence, we should reject all versions of the latter. This paper can be seen as an attempt to better articulate an intuition that has been suggested in various forms in the literature. The paper proceeds as follows. First, it shows that functionalist metasemantic views imply certain ‘partly because’ claims. Second, it argues for the Euthyphro Principle. Third, it defends the intuitive picture of representational mental states and shows that it implies ‘partly because’ claims that conflict with those made by functionalist metasemantic views. Finally, it considers ways of relaxing the intuitive picture and finds them all wanting. (shrink)

Naive realism in philosophy of perception is the view that (successful) perception involves a direct relation between perceiving subjects and the world. The naive realist says that your perception of a cat on the mat is a worldly relation which is partially constituted by the cat and the mat; a spatio-temporal chunk of the world is presenting itself to you. Recently, Elijah Chudnoff and John Bengson have independently developed an extension of this view to intellectual experiences, or intuitions, for traditionally (...) a priori domains. We argue that this view, which we call ‘Intuitional Naive Realism’ (INR), will not have the epistemic advantages that Chudnoff and Bengson claim that it does. In perception, but not intuition, there is a deeper explanation of what makes it the case that one experience is constituted by the world while another is not. Whether or not INR is true, then, it does no interesting epistemological work for traditionally a priori domains. (shrink)

Heyes presents a compelling account of how cultural evolutionary processes shape and create “rules,” or norms, of social behavior. She suggested that normativity depends on implicit, genetically inherited, domain-general processes and explicit, culturally inherited, domain-specific processes. Her approach challenges the nativist point of view and provides supporting evidence that shows how social interactions are responsible for creating mental processes that assist in understanding and behaving according to rules or norms. We agree. In our commentary, we suggest that it is not (...) only that mental processes for grasping norms are recreated in each generation but also that social interactions shape the kinds of social groups that are recognized (for a more extensive discussion, see Kish Bar-On & Lamm, 2023). We highlight evidence showing that accounts of norm psychology thus require a richer notion of human groups. (shrink)

Society is a composite of interacting people and groups. These groups play a significant role in maintaining social status, establishing group identity and social identity, and enforcing norms. As such, groups are essential for understanding human behavior. Nevertheless, the study of groups in everyday group life yields many diverse and sometimes contradicting theories of group behavior, and researchers tend to agree that we have yet to understand the emergence of groups out of aggregates of individuals. The current paper aims to (...) shed new light on the convoluted interrelation between groups and individuals by focusing on individuals’ social identities and group categorization. It does so by exploring the dynamic nature of the self and its implications on identity and group membership, and introducing a framework recognizing the fluidity of groups and group categorization. Incorporating historical insights with contemporary theories, this paper argues for a flexible understanding of group dynamics that surpasses rigid in-group and out-group classifications, proposing instead that group affiliations exist along a continuum that reflects the ever-changing social landscape. (shrink)

Recent discussions of animal communication and the evolution of language have advocated adopting a ‘pragmatics-first’ approach, according to which “a more productive framework” for primate communication research should be “pragmatics, the field of linguistics that examines the role of context in shaping the meaning of linguistic utterances”. After distinguishing two different conceptions of pragmatics that advocates of the pragmatics-first approach have implicitly relied on, I argue that neither conception adequately serves the purposes of pragmatics-first approaches to the origins of human (...) linguistic communication. My main aim in this paper is to motivate–and begin to articulate–an intermediary conception whose scope is narrower than Carnapian pragmatics but broader than Gricean pragmatics. To do so, I first spell out what I take to be the key insight offered by proponents of the Gricean approach concerning the emergence of linguistic communication, namely, its being communication ‘from a psychological point of view’. I then develop this insight using key elements from the anti-Gricean ‘biosemantic’ account of linguistic communication due to Ruth Millikan, Philosophical Perspectives 9, Ridgeview Publishing, Atascedero CA, 1995, Millikan R Varieties of Meaning. Mass.: The MIT Press, Cambridge, Millikan, Beyond concepts: unicepts, language, and natural information, Oxford University Press, Oxford UK, 2017, and elsewhere). I argue that the intermediary pragmatics-first approach that I propose, which draws on both Gricean and Millikanian resources, would be better equipped to serve the purposes of those who search for potential precursors of human linguistic communication in animal communication. (shrink)

Researchers have converged on the idea that a pragmatic understanding of communication can shed important light on the evolution of language. Accordingly, animal communication scientists have been keen to adopt insights from pragmatics research. Some authors couple their appeal to pragmatic aspects of communication with the claim that there are fundamental asymmetries between signalers and receivers in non-human animals. For example, in the case of primate vocal calls, signalers are said to produce signals unintentionally and mindlessly, whereas receivers are thought (...) to engage in contextual interpretation to derive the significance of signals. We argue that claims about signaler-receiver asymmetries are often confused. This is partly because their authors conflate two conceptions of pragmatics, which generate different accounts of the explanatory target for accounts of the evolution of language. Here we distinguish these conceptions, in order to help specify more precisely the proper explanatory target for language evolution research. (shrink)

I address here the question what sense to make of the idea that there can be thought prior to language. I begin by juxtaposing two familiar and influential philosophical views, one associated with the work of Paul Grice, the other associated with the work of Donald Davidson. Grice and Davidson share a broad, rationalist perspective on language and thought, but they endorse conflicting theses on the relation between them. Whereas, for Grice, thought of an especially complex sort is a precondition (...) of linguistic meaning, for Davidson, there can be no genuine thought without language. I argue that both views present us with unpalatable alternatives concerning our understanding of the natural origins of objective thought and meaningful language. Drawing on what I take to be key insights from Grice and Davidson, I then lay out some broad desiderata for an intermediate position. I finally turn to a certain form of nonlinguistic communication of the sort of which both prelinguistic children and languageless animals are capable, viz., expressive communication. I propose that a proper appreciation of the character and function of expressive communication can help us trace the outlines of the desired intermediate position. (shrink)

Polarization poses a critical threat to the stability of nations around the world, as it impacts climate change, populism, democracy, and global health. This perspective examines the conceptual understanding, measurement challenges, and potential interventions for polarization. Our analysis highlights the distinction and interactions between the individual and collective levels of polarization, conceptually, methodologically, and in terms of interventions. We conclude by pointing out future directions for understanding polarization and highlighting the interrelations between polarization and other social phenomena. -/- .

Brouwer's philosophy of mathematics is usually regarded as an intra-subjective, even solipsistic approach, an approach that also underlies his mathematical intuitionism, as he strived to create a mathematics that develops out of something inner and a-linguistic. Thus, points of connection between Brouwer's mathematical views and his views about and the social world seem improbable and are rarely mentioned in the literature. The current paper aims to challenge and change that. The paper employs a socially oriented prism to examine Brouwer's views (...) on the construction, use, and practice of mathematics. It focuses on Brouwer's views on language, his social interactions, and the importance of group context as they appear in the significs dialogues. It does so by exploring the establishment and dissolution of the significs movement, focusing on Gerrit Mannoury's influence and relationship with Brouwer and analyzing several fragments from the significs dialogues while emphasizing the role Brouwer ascribed to groups in forming and sharing new ideas. The paper concludes by raising two questions that challenge common historical and philosophical readings of intuitionism. (shrink)

According to ethical neo-expressivism, all declarative sentences, including those used to make ethical claims, have propositions as their semantic contents, and acts of making an ethical claim are properly said to express mental states, which (if motivational internalism is correct) are intimately connected to motivation. This raises two important questions: (i) The traditional reason for denying that ethical sentences express propositions is that these were thought to determine ways the world could be, so unless we provide an analysis of ethical (...) terms in terms of natural properties, are we not committed to the Moorean conclusion that ethical sentences describe sui generis “nonnatural” ways the world could be? (ii) If we reject the claim that motivational attitudes constitute any part of the semantics of ethical sentences, are we not committed to denying the intuition behind motivational internalism after all? This chapter argues for negative answers to both of these questions. (shrink)

These summary notes on Ruth Millikan’s latest book Beyond Concepts: Unicepts, Language, and Natural Information (OUP, 2017) were prepared by Dorit Bar-On for a discussion group that met in Summer 2018. The notes have been lightly edited by Millikan and prepared for online publication with the help of Drew Johnson.

Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account of each story (...) and points to a possible connection between the community’s reaction and the changes each mathematician had proposed. (shrink)

On the background of explaining their different notions of analyticity, their different views on definitions, and some aspects of Frege’s notion of sense, three important Kantian strands that interweave into Frege’s view are exposed. First, Frege’s remarkable view that arithmetic, though analytic, contains truths that “extend our knowledge”, and by Kant’s use of the term, should be regarded synthetic. Secondly, that our arithmetical (and logical) knowledge depends on a sort of a capacity to recognize and identify objects, which are given (...) us in particular ways, constituting their senses (Sinne). Third, that there is a sense in which Frege’s view of definitions and explications gives new substance to Kant’s leading idea of analyticity, namely, the containment of a truth or a concept in another. In all these, Frege’s view does not endorse the Kantian strands as they are, but gives them special and sometimes quite sophisticated twists. (shrink)

Amaç: Kanserle yaşayan bireylerin (KYB) bakımında, resmiyette görünür olmayan ve çoğunlukla herhangi bir profesyonel donanıma sahip olmayan, ama sürecin başından sonuna, hasta bireye eşlik eden bakım verenler kritik öneme sahiptir. Baş etmesi zor bir hastalık olan kanserle mücadele eden bireylerin bakımında, bakım verenler fiziksel, zihinsel ve sosyal birtakım zorluklarla karşılaşmaktadır. Bu araştırma, KYB’lere bakım veren, yakınlarının karşılaştıkları zorlukları gündeme getirmeyi ve ihtimam etiği perspektifinden, bakım verenlerin bakımına yönelik öneriler sunmayı amaçlamaktadır. Gereç ve Yöntem: Bu araştırma tanımlayıcı ve kesitsel olup araştırmanın (...) evreni Marmara Üniversitesi Pendik Eğitim ve Araştırma Hastanesi (MÜPEAH) Onkoloji kliniğinde takip edilen, 15 Mart-5 Nisan tarihleri arasında kemoterapi ünitesine ve servis hizmetlerine başvuran KYB’lerin bakım veren yakınlarıdır. KYB’lere bakım verenlerin umutsuzluk derecelerini tespit etmek ve bunu etkileyen faktörleri ölçmek için, veri toplama aracı olarak; sosyodemografik sorular, bakım alan bireyin hastalık derecesine yönelik sorular ve Beck Umutsuzluk Ölçeği sorularından oluşan bir anket elden dağıtılmıştır. Anket bakım verene yönelik sosyodemografik sorular 8, KYB’nin hastalığının durumu ile ilgili sorular 7, Beck Umutsuzluk Ölçeği 20 olmak üzere 35 sorudan oluşmaktadır ve yaklaşık 10 dakikada tamamlanmaktadır. Elde edilen veriler önce Microsoft Excel aracılığıyla dijitalleştirilmiş, ardından IBM SPSS 27.0.1 sürümüyle analiz edilmiştir. Verilerin analizinde Ki-kare, Fisher’s Exact testi ve Pearson Korelasyon analizi kullanılmış, istatistiksel anlamlılık değeri için p<0.05 kabul edilmiştir. Bulgular: Ankete katılan 151 bakım verenin 83’ü (%55,3) kadın, 67’si (%44,7) erkektir. Katılımcıların yaş ortalaması 40,09’dur. Bakım verenlerin %41,1’i umutsuzluk düzeyi ölçeğinde “minimal ya da yok”, %39,7'si "hafif düzeyde", %13.2'si orta düzeyde ve %6’sı “aşırı düzeyde” skorunu almıştır. KYB’lere bakım verenlerin demografik özellikleri ile umutsuzluk düzeyi arasında anlamlı bir ilişki bulunmamıştır. Bakım verenlerin yaşı, cinsiyeti, medeni durumu, gelir durumu ve bakım verme süresi ile umutsuzluk skorları arasında anlamlı bir ilişki bulunmazken, eğitim seviyesi ile umutsuzluk skorları arasında anlamlı bir ilişki bulunmuştur. (p=0,019). Sonuç: Bakım verenlerin, umutsuzluk düzeyleri göz önüne alındığında, önemli psikolojik yükler taşıdığına ve bu yükün, özellikle bakım verenin eğitim seviyesi ile hastanın sağlık durumu arasında belirgin ilişkiler gösterdiğine ulaşılmıştır. Bu bilgiler ışığında, sosyodemografik özelliklerin bakım verenleri önemli ölçüde etkilediği görülmüştür. Bakım verenlerin duygusal yükleri, bakım alıcılarla olan ilişkileri ve bu sürecin hem bireysel hem toplumsal düzeyde getirdiği zorluklar ve sorumluluklar, ihtimam etiği kapsamında ele alınmıştır. Araştırma neticesinde bakım verenlerin karşılaştığı zorluklar ve ihtiyaçlarının daha geniş bir toplumsal ve etik perspektiften ele alınmasının gerekliliği ortaya konmuştur. Bakım verenlerin bakımına yönelik öneriler, duygusal destek; teorik eğitim ve bilgilendirme desteği; pratik ve uygulamalı destek; kaynak erişimi ve tahsisi; tanıma ve doğrulama başlıkları altında sunulmuştur. (shrink)

A remarkable feature of the philosophical work on conspiracy theory theory has been that most philosophers agree there is nothing inherently problematic about conspiracy theories (AKA the thesis of particularism). Recent work, however, has challenged this consensus view, arguing that there really is something epistemically wrong with conspiracy theorising (AKA generalism). Are particularism and generalism incompatible? By looking at just how much particularists and generalists might have to give away to make their theoretical viewpoints compatible, I will argue that particularists (...) can accept many of the concerns that motivate generalism because generalism can never be about ‘all’ conspiracy theories without being either ahistorical or apolitical. In the end generalist critiques are best seen as useful guidelines or considerations for the appraising of particular conspiracy theories. (shrink)

Conspiracy theories and conspiracy theorists have been accused of a great many sins, but are the conspiracy theories conspiracy theorists believe epistemically problematic? Well, according to some recent work, yes, they are. Yet a number of other philosophers like Brian L. Keeley, Charles Pigden, Kurtis Hagen, Lee Basham, and the like have argued ‘No!’ I will argue that there are features of certain conspiracy theories which license suspicion of such theories. I will also argue that these features only license a (...) limited suspicion of these conspiracy theories, and thus we need to be careful about generalising from such suspicions to a view of the warrant of conspiracy theories more generally. To understand why, we need to get to the bottom of what exactly makes us suspicious of certain conspiracy theories, and how being suspicious of a conspiracy theory does not always tell us anything about how likely the theory in question is to be false. (shrink)

This reply to an ongoing debate between conspiracy theory researchers from different disciplines exposes the conceptual confusions that underlie some of the disagreements in conspiracy theory research. Reconciling these conceptual confusions is important because conspiracy theories are a multidisciplinary topic and a profound understanding of them requires integrative insights from different fields. Specifically, we distinguish research focussing on conspiracy *theories* (and theorizing) from research of conspiracy *belief* (and mindset, theorists) and explain how particularism with regards to conspiracy theories does not (...) mean we cannot define a problematic subclass of conspiracy beliefs, while avoiding the problems of generalism. We hope this reply helps conspiracy theory researchers recognize the differences between studying conspiracy theories and conspiracy beliefs and appreciate the possibilities for fruitful, integrative, and interdisciplinary research. (shrink)

Looking at the recent spate of claims about “fake news” which appear to be a new feature of political discourse, I argue that fake news presents an interesting problem in epistemology. Te phenomena of fake news trades upon tolerating a certain indiference towards truth, which is sometimes expressed insincerely by political actors. Tis indiference and insincerity, I argue, has been allowed to fourish due to the way in which we have set the terms of the “public” epistemology that maintains what (...) is considered “rational” public discourse. I argue one potential salve to the problem of fake news is to challenge this public epistemology by injecting a certain ethical consideration back into the discourse. (shrink)

Conspiracy theories are typically thought to be examples of irrational beliefs, and thus unlikely to be warranted. However, recent work in Philosophy has challenged the claim that belief in conspiracy theories is irrational, showing that in a range of cases, belief in conspiracy theories is warranted. However, it is still often said that conspiracy theories are unlikely relative to non-conspiratorial explanations which account for the same phenomena. However, such arguments turn out to rest upon how we define what gets counted (...) both as a ‘conspiracy’ and a ‘conspiracy theory’, and such arguments rest upon shaky assumptions. It turns out that it is not clear that conspiracy theories are prima facie unlikely, and so the claim that such theories do not typically appear in our accounts of the best explanations for particular kinds of events needs to be reevaluated. (shrink)

In this paper I interrogate the notion of `debunking conspiracy theories’, arguing that the term `debunk’ carries with it pejorative implications, given that the verb `to debunk’ is commonly understood as `to show the wrongness of a thing or concept’. As such, the notion of `debunking conspiracy theories’ builds in the notion that such theories are not just wrong but ought to be shown as being wrong. I argue that we should avoid the term `debunk’ and focus on investigating conspiracy (...) theories. Looking at recent research work in epistemology on conspiracy theory, I argue that the best way to avoid talk of `debunking’ conspiracy theories is by working with a non-pejorative definition of `conspiracy theory’, and forming communities of inquiry which allow us to investigate the warrant of such theories without the prejudice associated with working with a pejorative definition. (shrink)

Belief in conspiracy theories is typically considered irrational, and as a consequence of this, conspiracy theorists––those who dare believe some conspiracy theory––have been charged with a variety of epistemic or psychological failings. Yet recent philosophical work has challenged the view that belief in conspiracy theories should be considered as typically irrational. By performing an intra-group analysis of those people we call “conspiracy theorists”, we find that the problematic traits commonly ascribed to the general group of conspiracy theorists turn out to (...) be merely a set of stereotypical behaviours and thought patterns associated with a purported subset of that group. If we understand that the supposed prob- lem of belief in conspiracy theories is centred on the beliefs of this purported sub- set––the conspiracists––then we can reconcile the recent philosophical contribu- tions to the wider academic debate on the rationality of belief in conspiracy theories. (shrink)

Judging the warrant of conspiracy theories can be difficult, and often we rely upon what the experts tell us when it comes to assessing whether particular conspiracy theories ought to be believed. However, whereas there are recognised experts in the sciences, I argue that only are is no such associated expertise when it comes to the things we call `conspiracy theories,' but that the conspiracy theorist has good reason to be suspicious of the role of expert endorsements when it comes (...) to conspiracy theories and their rivals. The kind of expertise, then, we might associate with conspiracy theories is largely improvised—in that it lacks institutional features—and, I argue, ideally the product of a community of inquiry. (shrink)

In the literature on conspiracy theories, the least contentious part of the academic discourse would appear to be what we mean by a “conspiracy”: a secretive plot between two or more people toward some end. Yet what, exactly, is the connection between something being a conspiracy and it being secret? Is it possible to conspire without also engaging in secretive behavior? To dissect the role of secrecy in con- spiracies – and thus contribute to the larger debate on the epistemology (...) of conspir- acy theories – we dene the concepts of “conspiracy,” “conspirator,” and “secret,” and argue that while conspirators might typically be thought to commit to keeping secrets once their conspiracy is underway, the idea that conspiracies are necessarily secretive to start with is not as obvious as previously thought. (shrink)

Coronary artery vasospasm (CAVS) is a clinical entity that can cause angina, but also unstable angina pectoris, acute myocardial infarction, fatal arrhythmias, and sudden death. Although it is a condition that is usually controlled with medical treatment, more aggressive treatments may rarely be required. In this case, the patient with a known diagnosis of CAVS had multiple arrests despite optimal medical treatment. We observed that fatal arrhythmias persisted in the Implantable Cardioverter Defibrillator (ICD) records, even though we implanted a stent (...) and gave the patient maximal medical treatment. We performed sympathectomy as a last resort and we did not detect any recurrence in the 6-month follow-up of the patient. ICD implantation and sympathectomy should always be considered in resistant CAVS cases. (shrink)

Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. It is noted that, given this valuation, (...) Gödel’s sentence becomes neither true nor false. The similarity of this outcome with Goldstein and Gaifman’s solution of the Liar paradox, which is discussed in section 4, is emphasized. Section 5 returns to the definition of meaningfulness; the meaninglessness of certain sentences with empty subjects and of the Liar sentence is discussed. The objective of this paper is to show how all of the above-mentioned concepts are interrelated. (shrink)

An overview of the current epistemic literature concerning conspiracy theories, as well as indications for future research avenues on the topic.

I’m to push back on Hill’s (2022) criticism in four ways. First: we need some context for the debate that occurred in the pages of the Social Epistemology Review and Reply Collective that so concerns Hill. Second: getting precise with our terminology (and not working with stereotypes) is the only theoretically fruitful way to approach the problem of conspiracy theories. Third: I address Hill’s claim there is no evidence George W. Bush or Tony Blair accused their critics, during the build-up (...) the invasion of Iraq in 2003ACE, as being “conspiracy theorists.” Fourth (and finally): I will gently suggest that Hill has succumbed to a stereotypical view of work in Philosophy on conspiracy theories. (shrink)

This introduction to this special issue of Inquiry looks at recent work in the philosophy of conspiracy theory theory. Looking at two related worries expressed in the wider conspiracy theory theory (the academic study of conspiracy theories) – the Problem of Conspiracy Theories and the Problem of Conspiracy Theorists – this special issue argues that recent work in the philosophy of conspiracy theories is getting all the more closer to not just an epistemic understanding of what, if anything, is wrong (...) with belief in conspiracy theories, but also a framework for both investigating conspiracy theories and understanding how we should talk about the beliefs of conspiracy theorists. (shrink)

An analysis of the recent efforts to define what counts as a "conspiracy theory", in which I argue that the philosophical and non-pejorative definition best captures the phenomenon researchers of conspiracy theory wish to interrogate.

A reply to “Why ‘Healthy Conspiracy Theories’ Are (Oxy)morons” by Pascal Wagner-Egger, Gérald Bronner, Sylvain Delouvée, Sebastian Dieguez and Nicolas Gauvrit.

Talk of fake news is rife in contemporary politics, but what is fake news, and how, if anything, does it differ from news which is fake? I argue that in order to make sense of the phenomenon of fake news, it is necessary to first define it and then show what does and does not fall under the rubric of ‘fake news’. I then go on to argue that fake news is not a new problem. Rather, if there is problem (...) with fake news it is its centrality in contemporary public debate. (shrink)