The so-called ‘mental files theory’ in the philosophy of mind stems from an analogy comparing object-concepts to ‘files’, and the mind to a ‘filing system’. Though this analogy appears in philosophy of mind and language from the 1970s onward, it remains unclear to many how it should be interpreted. The central commitments of the mental files theory therefore also remain unclear. Based on influential uses of the file analogy within philosophy, I elaborate three central explanatory roles for mental files. Next, (...) I outline several common criticisms of the file picture, which have been a source of resistance to the view. Finally, I outline several interpretations of the theory, thus highlighting that the best interpretation of the file-theory's central analogy remains a live issue. (shrink)

The overarching goal of this book is to differentiate and provide a highly detailed descriptive account of a specific class of arguments. To simplify, let us consider the following example: suppose one aims to persuade that “Julius Caesar was a criminal.” To support that claim various arguments may be formulated, such as: a) Joseph Stalin murdered his political opponents who openly opposed him, thus he was a criminal. Julius Caesar did the same. Therefore, if Stalin was a criminal, then Caesar (...) was also a criminal. b) Most historians studying the history of the Roman Empire consider Julius Caesar to be a criminal, so he was one. c) The majority of people believe Julius Caesar was a criminal, so he was one. d) Anyone who murders or orders the killing of others is a criminal—regardless of whether it’s in defense of the country or to maintain power. Julius Caesar issued orders resulting in thousands of deaths, so he was a criminal. Argumentation theory distinguishes and extensively describes different types of arguments, each with its own definition, argumentation scheme, subtypes, and criteria for evaluation. We may, therefore, identify that: example (a) employs the argument from analogy, (b) is an argument from authority (ad auctoritate), and (c) is an argument from popular opinion (ad populum). What about (d)? Is there a theory for such arguments? Argument in the example (d) establishes the meaning of “criminal” by extending it to those who lead troops into battle or kill in self-defense, and in this way, Caesar can also be included in the extension of a “criminal” (regardless of whether he committed genocide or simply won battles). Although there are many concepts in argumentation theory and informal logic that explain various aspect of such arguments (e.g., persuasive definitions and persuasive quasi-definitions, attributions, classification arguments, etc.) there is no theory for such arguments—or rather—there was no until now. This book is aimed to provide a concept, classification, and assessment criteria for arguments which fix the meaning to support persuasion—namely, semantic arguments. Semantic arguments manifest themselves as a common and very powerful means of persuasion in various areas of human activity, including political discourse, advertising, science, law, and philosophy. This can be illustrated through an analysis of some examples: e.g., the redefinition of “planet” proposed in 2008 to exclude Pluto from the scope of this concept, the redefinition of the term “wetland” put forward by G.W. Bush in 1988, modifications of the definition of “human being” in disputes about abortion, or the definition of “vehicle” in cases of accidents involving electric scooters. The book’s goal is to provide a model of semantic argument—differentiating arguments that fix meaning for persuasive purposes, providing definition and scheme, constructing a comprehensive classification, and developing assessment criteria. This broader aim also fills a gap in argumentation theory regarding our understanding of semantic arguments and their actual and potential applications. (shrink)

A constant of Frege’s writing is his rejection of indeterminate predicates as found in natural language. This paper follows Frege’s remarks on vagueness from the early "Begriffsschrift” to his mature works, drawing brief parallels with the main contemporary theories of vagueness. I critically examine Frege’s arguments for the inconsistency of natural language and argue that the inability to accommodate vagueness in his mature ontology is mainly due to heuristic rules of thumb which Frege took as essential, not to a deep (...) problem in his fundamental apparatus. (shrink)

The aim of this thesis is to discuss whether general terms are rigid and if they are, how their rigidity should be interpreted. To this end, I first present the problems related to the rigidity of general terms. The most important ones among them are the following: What do general terms refer to? Is there any difference between the terms called “natural kind terms” and other general terms? After that, I discuss the arguments of three competent interpretations which try to (...) overcome these problems. The first interpretation holds that general terms refer to (or apply to) each and every object in their extensions. According to this view, only general terms related to essential properties like “cat”, “gold” turn out to be rigid. After I try to expose the drawbacks of this view, I examine the arguments of the second interpretation which holds that general terms refer to abstract kinds. I also argue for this interpretation. According to this interpretation general terms which refer to the same kind in all possible worlds turn out to be rigid. The main objection to this view is that this interpretation makes so many general terms rigid and it trivializes the notion of rigidity. Arguing that this is an unfair objection, I also focus on the philosophical importance of the subject and show that the interpretation I argue for realizes this philosophical importance. The third interpretation, on the other hand, rejects the rigidity of general terms. I also discuss the drawbacks of this view. -/- Another subject I discuss in the thesis is the rigidity of artifactual kind terms. The kinds of human made objects for specific purposes are usually called “artifactual kinds”. I argue that artifactual kind terms could rigidly refer to artifactual kinds. I reply to the critiques of this view with regard to the semantics of artifactual kind terms and metaphysics of artifactual kinds. (shrink)

The question whether the notion of rigidity can be extended in a fruitful way beyond singular terms has received a standard answer in the literature, according to which non-singular terms designate kinds, properties or other abstract singular objects and generalized rigidity is the same thing as singular term rigidity, but for terms designating such objects. I offer some new criticisms of this view and go on to defend an alternative view, on which non-singular terms designate extensions in general, and generalized (...) rigidity is identity of extension across possible worlds. I develop some fundamental positive considerations that make this view virtually inevitable as a view of generalized rigidity, emphasizing its exclusive ability to offer a purely logical justification of the necessity of several kinds of statements that go beyond true identity statements between rigid singular terms. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in the (...) account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

Bertrand Russell was neither the first nor the last philosopher to engage in serious theorizing about propositions. But his work between 1903, when he published The Principles of Mathematics, and 1919, when his final lectures on logical atomism were published, remains among the most important on the subject. And its importance is not merely historical. Russell’s rapidly evolving treatment of propositions during this period was driven by his engagement with – and discovery of – puzzles that either continue to shape (...) contemporary theorizing about propositions, or ought to do so. Russell’s creative responses to these puzzles also laid the foundation for many later accounts (most obviously, contemporary ‘Russellian’ accounts of propositions). In this entry we provide an opinionated overview of Russell’s influential treatment of propositions, with a focus on the evolution of his views from 1903 to 1919. A growing secondary literature is dedicated to Russell’s changing views during this period, and their often complex or opaque motivations. We do not intervene overmuch in this ongoing scholarly discussion. Instead, our aim is to trace some of the central motivations for Russell’s evolving views, and highlight the extent to which these motivations remain relevant to contemporary theorizing about propositions. (shrink)

Georgalis claimed that when Frege wrote ‘Über Sinn und Bedeutung’ Frege thought that the indirect [ungerade] sense of an expression was identical to its normal [gewöhnlich] sense (Georgalis 2022: e.g. 4, 5, 13). In this paper, I present five arguments for the falsity of Georgalis’ claim which are based on three pieces of apparent counterevidence: a passage from Frege’s letter to Russell dated 28.12.1902; a passage from Frege’s letter to Russell dated 20.10.1902; and a passage from ‘Über Sinn und Bedeutung’. (...) I outline possible counter-arguments and responses. (shrink)

The Millian semantic view of names relies on a metaphysical view of names—often given the label ‘common currency conception’ —on which the names of distinct individuals count as distinct names. While even defenders of the Millian view admit that the CCC ‘does not agree with the most common usage’, I will argue further that the CCC makes names exceptional amongst the class of linguistic expressions: if the CCC is correct, then names must have a sui-generis metaphysical nature, distinct from the (...) metaphysics of every other kind of linguistic expression. Such metaphysical exceptionalism would be justified if the Millian view had a clear, uncontested theoretical advantage over its rivals. However, in the context of a semantic debate about names in which the closest competitors of the Millian view—the Predicate view and Indexicalism—do not result in such exceptionalism, it counts as a strike against the Millian view. (shrink)

There are at least three interpretations that attempt to read from the Sense-Certainty Chapter a Hegelian theory of indexicals. First, the Impossibility of Singular Reference Reading understands Hegel as excluding in principle the possibility of any linguistic cognition of individuals. Second, the Theory of Reference Reading criticizes the first reading and interprets from Hegel the classical idea of direct reference theory. Third, Brandom’s Anaphoric Theory Reading suggests an alternative explanation while still defending the possibility of knowledge of individuals in Hegel. (...) I criticize the first two readings and argue that the third is the most exegetically and philosophically adequate interpretation. The first interpretation attempts to ascribe to Hegel a sort of skepticism, but this can be at most in a very restricted sense successful and the skepticism constructed in such a way is too trivial to refute Hegel’s position. The second reading is more adequate in that it does not fall into the error that the first one committed, but is still flawed because it introduces a subject-object or mind-world dualism that Hegel denies. The third reading has great advantages compared to the first two readings in terms that it provides a suitable account of indexical knowledge on individuals while avoiding skepticism and dualism which arise in the former readings. (shrink)

Coordination is the presumption that distinct representations have the same referential content. Philosophers have discussed ways in which the presence of coordination might bear on the metasemantic determination of content. One test case for exploring the relationship between coordination and content is the phenomenon of conflation — the situation in which representations are about distinct things but are nevertheless coordinated. In this paper, I use observations about conflation to develop an anaphoric metasemantics for some representations in which coordination plays an (...) integral role. I also develop some novel remarks on the problem of misrepresentation. (shrink)

In the last forty years Dummett, Hanks, Künne, and Bobzien have claimed that when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question [Satzfrage] was not a thought [Gedanke] ((Dummett 1981: 307–308); (Hanks 2007: 142–143); (Künne 2010: 427–429); (Bobzien 2021: 163–164)). Recently, Textor has claimed that when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question was not a question [Frage] (Textor 2021: 227 fn.2). I think it is possible that (...) when Frege wrote ‘Über Sinn und Bedeutung’, he thought that the sense of a sentence-question was a question and a thought. To show that this possibility should not be overlooked, I have written a dialogue in which Frege responds to Dummett, Hanks, Künne, Bobzien, and Textor. -/- Bobzien seems to think that when Frege wrote ‘Die Verneinung’, he thought that the sense of a sentence-question was not a question (Bobzien 2021: 163–165). I think it is possible that when Frege wrote ‘Die Verneinung’, he thought that the sense of a sentence-question was a question and a thought. Hence, I have also written the dialogue to show that this possibility should not be overlooked either. (shrink)

By means of a reductio argument, Wittgenstein’s Tractatus calls into question the very idea that we can represent logical form. My paper addresses three interrelated questions: first, what conception of logical form is at issue in this argument? Second, whose conception of logic is this argument intended to undermine? And third, what could count as an adequate response to it? I show that the argument construes logical form as the universal, underlying correlation of any representation and the reality it represents. (...) I further show that the argument seeks to undermine core commitments of Frege’s and Russell’s. But the reductio, as I read it, is not intended to establish the falsity of any of their specific assumptions. Rather, its aim is to make manifest the indeterminacies that underlie the language in which these assumptions are framed, and establish the need for a transformation of that language. So understood, Wittgenstein’s argument exemplifies his idea that philosophy is not a theory, but an activity of elucidation. The interpretation I propose bears on one of the central debates in the literature, namely how we should understand Wittgenstein’s contention that his elucidations succeed despite being nonsensical. (shrink)

Quite a few scholars claim that many implicata are propositions about the speaker's epistemic or doxastic states. I argue, on the contrary, that implicata are generally non-epistemic. Some alleged cases of epistemic implicature are not implicatures in the first place because they do not meet Grice's non-triviality requirement, and epistemic implicata in general would infringe on the maxim of quantity. Epistemic implicatures ought to be construed as members of a larger family of implicature-like phenomena.

The theory of object-dependent singular thought is outlined and the central motivation for it, turning on the connection between thought content and truth conditions, is discussed. Some of its consequences for the epistemology of thought are noted and connections are drawn to the general doctrine of externalism about thought content. Some of the main criticisms of the object-dependent view of singular thought are outlined. Rival conceptions of singular thought are also sketched and their problems noted.

Analytic philosophy is a philosophical tradition dominating Anglo-American philosophy, which emerged with clear features at the beginning of the twentieth century, and had its roots in the nineteenth century and before, and is still strong until now. It in essence is an interest in analysis, language, science, logic, and a systematic rather than a historical approach to philosophical problems. This article aims to understand the concepts of analysis and the analytical method, explain the origins of analytic philosophy, and its development (...) into various movements, and reveal some of its contributions to the philosophy of language, logic, the philosophy of science, the philosophy of mind, and moral and political philosophy. I will rely on analytic method in some of its forms. (shrink)

Frege's Puzzle is a founding problem in analytic philosophy. It lies at the intersection of central topics in the philosophy of language and mind: the theory of reference, the nature of propositional attitudes, the nature of semantic theorizing, the relation between semantics and pragmatics, etc. This chapter is an overview of the puzzle and of the space of contemporary approaches to it.

I present a puzzle for the standard, propositional semantic account of belief reports by considering novel inferences which it incorrectly predicts to be invalid under assumptions that are plausible by its advocates’ own lights. In response, I propose a conservative departure from the standard view on which certain ‘that’-clauses designate novel devices of semantic type that I call open propositions. After outlining some desiderata for a theory of open propositions, I provide some reasons for advocates of the standard view to (...) treat them as properties of a certain kind. Then I give a bridge principle between the core notions of belief and belief-about before showing how the resulting view can be implemented in accordance with formal theories of syntax and semantics. I bring out some of the consequences this investigation has beyond our semantic theorizing and conclude, more generally, that any response to the puzzle requires paying some surprising cost or another. (shrink)

I argue for two claims: that the ordinary English truth predicate is a gradable adjective and that truth is a property that comes in degrees. The first is a semantic claim, motivated by the linguistic evidence and the similarity of the truth predicate’s behavior to other gradable terms. The second is a claim in natural language metaphysics, motivated by interpreting the best semantic analysis of gradable terms as applied to the truth predicate. In addition to providing arguments for these two (...) claims, I draw out consequences for debates about deflationism and truth-based analyses of notions such as assertion and logical consequence. (shrink)

What does it take for lawyers and others to think or talk about the same legal topic—e.g., defamation, culpability? We argue that people are able to think or talk about the same topic not when they possess a matching substantive understanding of the topic, as traditional metasemantics says, but instead when their thoughts or utterances are related to each other in certain ways. And what determines the content of thoughts and utterances is what would best serve the core purposes of (...) the representational practice within which the thought or utterance is located. In thus favoring a “relational model” in metasemantics, we share Ronald Dworkin's goal of explaining fundamental legal disagreements, and also his reliance on constructive interpretation. But what we delineate is a far more general and explanatorily resourceful metasemantics than what Dworkin articulated, which also bypasses some controversial implications for the nature of law that Dworkin alleged. (shrink)

Connectionism seems to avoid many of the problems of classical artificial intelligence, but has it avoided all of them? In this thesis I examine the problem that Intentionality, the directedness of thought to an object, raises for connectionism. As a preliminary approach, I consider the role of Intentionality in classical artificial intelligence from the programmer’s point of view. In this investigation, one problem I identify with classical artificial intelligence is that the Intentionality of the programmer seems to be projected onto (...) the system, rather than the programmer creating a system whereby Intentionality arises intrinsically within the system. -/- In considering the current practice of connectionism, the same problem with Intentionality reappears. The assignment of Intentional content to input or output nodes in a neural network likewise projects the Intentionality of the programmer onto the system, and that projection is often reinforced by the training process of the neural network. However, connectionism seems to have an advantage over classical artificial intelligence in this respect, in that there is a form of neural network in which the network itself organizes the output nodes. The challenge is to utilize these self-organizing networks without having the programmer project Intentionality onto the system in an act of interpretation. -/- I suggest that the way to overcome these problems in connectionism is to embody the neural network within a world, whether physical or virtual, and to allow the system to develop concepts purely empirically. In this manner, connectionism can make scientific observations concerning the nature of cognition without the risk of contamination from the programmer’s own Intentionality. (shrink)

It is fairly widely accepted that Saul Kripke, Keith Donnellan, and others showed in the 1960s–1980s that proper names, in particular uses by speakers, can refer to things free of anything like the epistemic requirements posited by Gottlob Frege and Bertrand Russell. This paper separates two aspects of the Frege–Russell view of name reference: the metaphysical thesis that names in particular uses refer to things in virtue of speakers thinking of those things and the epistemic thesis that thinking of things (...) requires a means of determining which thing one is thinking of. My question is whether the Kripke–Donnellan challenge should lead us to reject,, or both. Contrary to a popular line of thinking that sees practices or conventions, rather than singular thinking, as determinative of linguistic reference, my answer is that we should reject only the epistemic thesis, not the metaphysical one. (shrink)

Straipsnyje tiriama vidujybės kontekstualizacija, įvykusi XX a. filosofijoje. Doktrina, įgalinusi šį procesą, vadinama kontekstualizmu. Skiriama vidujybės kontekstualizacija silpnajame ir stipriajame kontekstualizmuose. Siplnasis kontekstualizmas tiria įvairius kontekstiškos vidujybės atvejus, o stiprusis kontekstualizmas siekia formuluoti bendruosius metodologinius principus apie kontekstiškos vidujybės ir kalbos prigimtį. Kaip alternatyva kontekstualizmui teigiama filosofinio klasicizmo pozicija, kuri į filosofinį mąstymą grąžina tiesą ir asmens tapatybę. Pasak pastarosios filosofinės pozicijos šalininkų, filosofo tapatybė yra jo tiesa. Nors grąžinamos klasikinės filosofijos problemos, tačiau filosofinis klasicizmas vengia naiviojo realizmo ir siekia (...) išmokti kantišką-vitgenšteinišką-deridišką pamoką. (shrink)

This monograph examines truth in fiction by applying the techniques of a naturalized logic of human cognitive practices. The author structures his project around two focal questions. What would it take to write a book about truth in literary discourse with reasonable promise of getting it right? What would it take to write a book about truth in fiction as true to the facts of lived literary experience as objectivity allows? It is argued that the most semantically distinctive feature of (...) the sentences of fiction is that they are unambiguously true and false together. It is true that Sherlock Holmes lived at 221B Baker Street and also concurrently false that he did. A second distinctive feature of fiction is that the reader at large knows of this inconsistency and isn't in the least cognitively molested by it. Why, it is asked, would this be so? What would explain it? Two answers are developed. According to the no-contradiction thesis, the semantically tangled sentences of fiction are indeed logically inconsistent but not logically contradictory. According to the no-bother thesis, if the inconsistencies of fiction were contradictory, a properly contrived logic for the rational management of inconsistency would explain why readers at large are not thrown off cognitive stride by their embrace of those contradictions. As developed here, the account of fiction suggests the presence of an underlying three - or four-valued dialethic logic. The author shows this to be a mistaken impression. There are only two truth-values in his logic of fiction. The naturalized logic of Truth in Fiction jettisons some of the standard assumptions and analytical tools of contemporary philosophy, chiefly because the neurotypical linguistic and cognitive behaviour of humanity at large is at variance with them. Using the resources of a causal response epistemology in tandem with the naturalized logic, the theory produced here is data-driven, empirically sensitive, and open to a circumspect collaboration with the empirical sciences of language and cognition. (shrink)

Öz: Frege özel adların (ve diğer dilsel simgelerin) anlamları ve gönderimleri arasında ünlü ayrımını yaptığı “Anlam ve Gönderim Üzerine” (1948) adlı makalesinde, bu ayrımın önemi, gerekliliği ve sonuçları üzerine uzun değerlendirmeler yapar ancak özel adın anlamından tam olarak ne anlaşılması gerektiğinden yalnızca bir dipnotta kısaca söz eder. Örneğin “Aristoteles” özel adının anlamının Platon’un öğrencisi ve Büyük İskender’in öğretmeni ya da Stagira’da doğan Büyük İskender’in öğretmeni olarak alınabileceğini söyler. Burada dikkat çeken nokta örnekteki özel adın olası anlamları olarak gösterilen belirli betimlemelerin (...) de özel ad içeriyor olması. Anlamın Frege için bileşimsel olduğu, bir başka deyişle bir dilsel simgenin anlamının (varsa) parçalarının anlamlarınca belirlendiği düşünülürse, örnekteki belirli betimlemelerin anlamlarının saptanabilmesi için içerdikleri özel adların da anlamları saptanıp betimleme içinde geçtikleri yere konmalıdır. Bu işlem hiçbir özel ad kalmayana kadar sürdürülmelidir. Ancak biraz düşünülünce bir özel adın nesnesini tekil olarak betimleyecek ve içinde özel ad geçmeyecek bir betimleme bulmanın kolay olmadığı görülür. Örneğin yukarıdaki betimlemelerde geçen “Platon”, “Büyük İskender” ve “Stagira” gibi özel adların anlamları olabilecek ancak özel ad içermeyen betimlemeler bulmak pek kolay görünmüyor. Ortaya bir sonsuz gerileme sorunu çıkmış gibi duruyor. Frege’nin anlam-gönderim ayrımını için ciddi sonuçları olabilecek bu sorunu Frege çözebilir mi? Bu yazıda bu sorunun yanıtını arayacağım. Sorunu betimledikten sonra Frege’nin önündeki seçenekleri (örneğin bağlama duyarlı terimlerden (gösterme adılları veya belirteçler) yararlanma veya bağlamı sınırlama gibi) değerlendireceğim. -/- Abstract: In his “Sense and Reference” (1948), Frege makes his famous distinction between the sense and the reference of a proper name (and other signs) and discusses at length the significance, necessity and consequences of the distinction, but he explains how the sense of a proper name should be understood very briefly in a footnote. According to him, for example, the sense of the proper name “Aristotle” can be taken as the pupil of Plato and teacher of Alexander the Great or the teacher of Alexander the Great who was born in Stagira. What is interesting here is that the definite descriptions given as the possible senses of this proper name do themselves contain proper names too. Since the sense is something compositional for Frege, which means the sense of a linguistic sign is determined by its constituents (if there are any), in order to determine the sense of definite descriptions in question, we should first determine the senses of proper names they contain and substitute these senses with the proper names themselves. This process should continue until no proper name remains. However, it does not seem easy to find a definite description which describes the object of a proper name uniquely but contains no proper name itself. For instance, could we find appropriate senses that contain no proper name for “Plato”, “Alexander the Great” and “Stagira”? It does not seem likely. A problem of infinite regress appears to arise. Can Frege solve this problem, which poses a serious threat for his sensereference distinction? I will explore this problem in this paper. After explaining the problem, I will discuss the options (e.g. turning to indexicals or context restriction) Frege can take to deal with it. (shrink)

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

The theory of object-dependent singular thought is outlined and the central motivation for it, turning on the connection between thought content and truth conditions, is discussed. Some of its consequences for the epistemology of thought are noted and connections are drawn to the general doctrine of externalism about thought content. Some of the main criticisms of the object-dependent view of singular thought are outlined. Rival conceptions of singular thought are also sketched and their problems noted.

Frege's puzzle is a fundamental challenge for accounts of mental and linguistic representation. This piece surveys a family of recent approaches to the puzzle that posit representational relations. I identify the central commitments of relational approaches and present several arguments for them. I also distinguish two kinds of relationism—semantic relationism and formal relationism—corresponding to two conceptions of representational relations. I briefly discuss the consequences of relational approaches for foundational questions about propositional attitudes, intentional explanation, and compositionality.

Metaethical realists disagree about the nature of normative properties. Naturalists think that they are ordinary natural properties: causally efficacious, a posteriori knowable, and usable in the best explanations of natural and social sciences. Non-naturalist realists, in contrast, argue that they are sui generis: causally inert, a priori knowable and not a part of the subject matter of sciences. It has been assumed so far that naturalists can explain causally how the normative predicates manage to refer to normative properties, whereas non-naturalists (...) are unable to provide equally satisfactory metasemantic explanations. This article first describes how the previous non-naturalist accounts of reference fail to tell us how the normative predicates could have come to refer to the non-natural properties rather than to the natural ones. I will then use the so-called qua-problem to show how the causal theories of reference of naturalists also fail to fix the reference of normative predicates to unique natural properties. Finally, I will suggest that, just as naturalists need to rely on the non-causal mechanism of reference magnetism to solve the previous problem, non-naturalists, too, can rely on the very same idea to respond to the pressing metasemantic challenges that they face concerning reference. (shrink)

We can increase our understanding of expression by considering an analogy to demonstrative reference. The connections between a demonstrative phrase and its referent, in a case of fully successful communication with that phrase, are analogous to the connections between an expressible state and the behavior that expresses it. The connections in each case serve to maintain a certain status for the connected elements: as actions of persons; or as objects, events, or states significant to persons. The analogy to demonstrative reference (...) helps show that a positive account of expression can make conceptual connections between expressed states and expressive behaviors without courting reductive behaviorism. A general account of expression as marked by these connections is compared to accounts of expression offered by Dorit Bar-On and Mitchell Green. Bar-On’s account turns out to be compatible with the account proposed here, once some of its consequences are fully appreciated. Green’s account rules out, as not expressive, some behaviors like crouching (in fear) that intuitively seem expressive. When Green’s account is altered to allow such behaviors back in, the resulting account also fits the one proposed. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This essay accounts for the notion of _Lebensform_ by assigning it a _logical _role in Wittgenstein’s later philosophy. Wittgenstein’s additions of the notion to his manuscripts of the _PI_ occurred during the initial drafting of the book 1936-7, after he abandoned his effort to revise _The Brown Book_. It is argued that this constituted a substantive step forward in his attitude toward the notion of simplicity as it figures within the notion of logical analysis. Next, a reconstruction of his later (...) remarks on _Lebensformen_ is offered which factors in his reading of Alan Turing’s “On computable numbers, with an application to the _Entscheidungsproblem_“, as well as his discussions with Turing 1937-1939. An interpretation of the five occurrences of _Lebensform_ in the PI is then given in terms of a logical “regression” to _Lebensform_ as a fundamental notion. This regression characterizes Wittgenstein’s mature answer to the question, “What is the nature of the logical?”. (shrink)

As an empirical inquiry into the nature of meaning, semantics must rely on data. Unfortunately, the primary data to which philosophers and linguists have traditionally appealed—judgments on the truth and falsity of sentences—have long been known to vary widely between competent speakers in a number of interesting cases. The present article constitutes an experiment in how to obtain some more consistent data for the enterprise of semantics. Specifically, it argues from some widely accepted Gricean premises to the conclusion that judgments (...) on lying are semantically relevant. It then endeavors to show how, assuming the relevance of such judgments, we can use them to generate a useful, widely acceptable test for semantic content. (shrink)

The following thesis discusses a range of central aspects in Timothy Williamson’s so-called «knowledge-first» epistemology. In particular, it adresses whether this kind of epistemological framework is apt to answer the challenges of scepticism.

A number of traditional roles that propositions are supposed to play are outlined. Philosophical theories of the nature of propositions are then surveyed, together with considerations for and against, with an eye on the question whether any single notion of a proposition is suited to play all or any of these roles. Approaches discussed include: (1) the structureless possible-worlds theory; (2) the structured Russellian theory; and (3) the structured Fregean theory. It is noted that it is often unclear whether these (...) are accounts of what propositions are, ontologically speaking, or whether they are accounts of how propositions are best represented in a formal semantic theory. (shrink)

What is the cognitive value of the concept of truth? What epistemic difference does the concept of truth make to those who grasp it? This paper employs a new perspective for thinking about the concept of truth and recent debates concerning it, organized around the question of the cognitive value of the concept of truth. The paper aims to defend a substantively correct and dialectically optimal account of the cognitive value of the concept of truth. This perspective is employed in (...) understanding the critical discussion around what Hartry Field has called “the incorporation model” for extending a deflationary view of truth to foreign sentences. Field's original intentions in discussing the incorporation model were to defend the deflationary view from some counterintuitive consequences concerning the understanding of truth attributions to foreign sentences. However, more recently, philosophers unencumbered by deflationary commitments have taken over the incorporation model for their own inflationary purposes. In particular, and in my terms, these philosophers can be understood as making what I argue is the ultimately too radical suggestion that the cognitive value of the concept of truth is to allow the incorporation not only of the linguistically foreign, but also of the conceptually alien. I clarify this dialectic en route to explaining and arguing for the cognitive inflationary view, according to which the cognitive value of the concept of truth is is to make possible the proprietary kind and quality of knowledge allowed by reflective clarity over the concepts and thoughts that one already has. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...) predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

This chapter offers an introduction to naturalist views in contemporary metaethics. Such views attempt to find a place for normative properties (such as goodness and rightness) in the concrete physical world as it is understood by both science and common sense. The chapter begins by introducing simple naturalist conceptual analyses of normative terms. It then explains how these analyses were rejected in the beginning of the 20th Century due to G.E. Moore’s influential Open Question Argument. After this, the chapter considers (...) what good general reasons there are for defending naturalism in metaethics. The bulk of the chapter will then survey new semantic and metaphysical forms of naturalism which in different ways attempt to address Moore’s objection to naturalism. These more recent versions of naturalism—using new resources from philosophy of language, philosophy of mind, metaphysics, philosophy of science and epistemology—attempt to explain why the Open Question Argument fails. (shrink)

This chapter investigates the conflict between thought and speech that is inherent in lying. This is the conflict of saying what you think is false. The chapter shows how stubbornly saying what you think is false resists analysis. In traditional analyses of lying, saying what you think is false is analyzed in terms of saying something and believing that it is false. But standard cases of unconscious or divided belief challenge these analyses. Classic puzzles about belief from Gottlob Frege and (...) Saul Kripke show that suggested amendments involving assent instead of belief do not fare better. I argue that attempts to save these analyses by appeal to guises or Fregean modes of presentation will also run into trouble. I then consider alternative approaches to untruthfulness that focus on (a) expectations for one’s act of saying/asserting and (b) the intentions involved in one’s act of saying/asserting. Here I introduce two new kinds of case, which I call “truth serum” and “liar serum” cases. Consideration of these cases reveals structural problems with intention- and expectation-based approaches as well. Taken together, the string of cases presented suggests that saying what you think is false, or being untruthful, is no less difficult and interesting a subject for analysis than lying itself. Tackling the question of what it is to say what you think is false illuminates ways in which the study of lying is intertwined with fundamental issues in the nature of intentional action. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

Scientific anti-realists who appeal to the pessimistic induction (PI) claim that the theoretical terms of past scientific theories often fail to refer to anything. But on standard views in philosophy of language, such reference failures prima facie lead to certain sentences being neither true nor false. Thus, if these standard views are correct, then the conclusion of the PI should be that significant chunks of current theories are truth-valueless. But that is semantic anti-realism about scientific discourse—a position most philosophers of (...) science, anti-realists included, consider anathema today. Therefore, proponents of the PI confront a dilemma: either accept semantic anti-realism or reject common semantic views. I examine strategies (with particular emphasis on supervaluations) for the PI proponent to either lessen the sting of this argument, or learn to live with it. 1 Introduction2 Designation Failure 2.1 Designation failure leads to truth-valueless sentences2.1.1 Direct reference theory2.1.2 Fregeanism2.1.3 Accounts of reference-fixing: why ‘phlogiston’ fails to designate 2.2 Objection: sentences exhibiting designation failure are false not truth-valueless 2.3 Avoiding truth-valuelessness via controversial semantic positions3 What to do? Closing the Gaps4 Conclusion. (shrink)

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (shrink)

A first-person proposition is a proposition that only a single subject can assert or believe. When I assert ‘I am on fire’ I assert a first-person proposition that only I have access to, in the sense that no one else can assert or believe this proposition. This is in contrast to third-person propositions, which can be asserted or believed by anyone.