This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 my 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. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 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 the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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. I examine 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 my 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. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 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 the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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)

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

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)

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

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)

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)

According to inferential role semantics (IRS), for an expression to have a particular meaning or express a certain concept is for subjects to be disposed to make, or to treat as proper, certain inferential transitions involving that expression.1 Such a theory of meaning is holistic, since according to it the meaning or concept any given expression possesses or expresses depends on the inferential relations it stands in to other expressions.

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)

In this article I explore some implications of the correspondence that went on between Ludwig Wittgenstein and the logician and mathematician Gottlob Frege. Part of this exchange was focused on the envisaged publication of Wittgenstein’s Tractatus Logico-Philosophicus, and on the philosophical or literary character of that work. The problem discussed concerned the question of whether the Tractatus should be seen not as a scientific but as an artistic achievement. My first goal is to present what, given Frege’s writings, his phrase (...) “an artistic rather than a scientific achievement” could be understood to mean in terms of the Tractatus itself. Secondly, I seek to determine the extent to which traces of Frege’s understanding of such terms as “mock thoughts,” “fiction,” “elucidation,” “paintings” and “colouring” are to be found in the language of the Tractatus. This should then make it possible to show how Wittgenstein’s work, viewed from a Fregean perspective, can be seen as furnishing a logic and semantics not only for the languages of logic and natural science, but also for something that is “an artistic rather than a scientific achievement”, while also indicating that the content of the Tractatus as a whole could not have been captured independently of the unified form Wittgenstein himself gave it. (shrink)

A major problem threatens Deleuze’s project in The Logic of Sense. He makes an ontological distinction between events and substances, but he then collapses a crucial distinction between two kinds of events, namely, actions and mere occurrences. Indeed, whereas actions are commonly differentiated from mere occurrences with reference to their causal dependence on the intentions of their agents, Deleuze asserts a strict ontological distinction between the realm of causes and the realm of events, and holds that events of all types (...) are incorporeal happenings which are inseparable from expressed sense. For Deleuze, what counts as one’s action thus does not depend on one’s intention, but rather on a process of “making sense” of that action. Nevertheless, Deleuze continues to speak of the need to “will” the event. In order to resolve this apparent contradiction, I will read a conception of “expressive agency” into The Logic of Sense. (shrink)

Several themes treated in chapter 3 of Difference and Repetition are addressed at greater length in The Logic of Sense, published one year later. In particular, Deleuze's critique of ‘the privilege of designation’ and ‘the modality of solutions’, along with his positive claims about the relation between sense and problems, arguably summarise a number of analyses found in The Logic of Sense. However, despite the convergence between Difference and Repetition and The Logic of Sense as regards the sense–problem relation, The (...) Logic of Sense does not explicitly address the other aspects of thought that Difference and Repetition considers inseparable from the sense–problem relation. In particular, the notion of ‘transcendental empiricism’ – that is, the idea that the conditions of experience themselves emerge from experience – is not explicitly mentioned in The Logic of Sense. There is no explicit discussion in The Logic of Sense of ‘encounters’ or ‘shocks’ and their role in the genesis of thought. And there is no explicit discussion in The Logic of Sense of the discordant relations between the different faculties of thought as they provoke and constrain one another in the elaboration of differential problems. This essay intends to argue that, despite the lack of explicit discussion, The Logic of Sense does advance an account of the differential genesis of thought, and along the same general lines as chapter 3 of Difference and Repetition. (shrink)

After a brief review of the notions of necessity and a priority, this paper scrutinizes Kripke's arguments for supposedly contingent a priori propositions and necessary a posteriori propositions involving proper names, and reaches a negative conclusion, i.e. there are no such propositions, or at least the propositions Kripke gives as examples are not such propositions. All of us, including Kripke himself, still have to face the old question raised by Hume, i.e. how can we justify the necessity and universality of (...) general statements on the basis of sensory or empirical evidence? (shrink)

This paper argues that proper names may have literal non-referential truth-conditional values, thereby undermining the notion of semantic reference.

A widely accepted thesis in the philosophy of language is that natural language proper names are rigid designators, and that they are so de jure, or as a matter of the “semantic rules of the language.” This paper questions this claim, arguing that rigidity cannot be plausibly construed as a property of name types and that the alternative, rigidity construed as a property of tokens, means that they cannot be considered rigid de jure; rigidity in this case must be viewed (...) as a pragmatic and not a semantic property. (shrink)

Gottlob Frege maintained that two name-containing identity sentences, represented schematically as a=a and a=b,can both be true in virtue of the same object’s self-identity but nonetheless, puzzlingly, differ in their epistemic profiles. Frege eventually resolved his puzzlement by locating the source of the purported epistemic difference between the identity sentences in a difference in the Sinne, or senses, expressed by the names that the sentences contain. -/- Thus, Frege portrayed himself as describing a puzzle that can be posed prior to (...) and independently of any particular theoretical position regarding names, and then resolving that puzzle with his theory of Sinn and Bedeutung. In this paper, I suggest that Frege’s presentation is problematic. If attempt is made to characterize the epistemic status of true identity sentences without appeal to Frege’s theoretical commitments, then what initially seemed puzzling largely dissolves. It turns out that, in order to generate puzzlement, Frege must invoke the theoretical account that he uses the puzzle to establish the purported necessity of. (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.

A thought, taken as a propositional attitude or the content of psychological predicates such as believe, wish, desire, hope, is ascribed to an entity with mental states. A thought is not only allegedly ascribed to particular non-mental things like computer, book, it is also ascribed to non-material things, linguistically in plural terms, e.g. plural pronouns (e.g. we, they), collective names or singular proper names (e.g. the United States), proper names in plural form or general terms (e.g. the Microsoft, feminists). Plural (...) terms are terms referring to groups of entities. The question is - what is it for a group to have a thought? Two main views are currently on centered stage – the literal view and the metaphorical view. This paper argues that the main argument supporting the literal view, in particular Pettit’s view, faces three main problems, namely, the problem of rule-following in propositional coawareness, the problem of an independent verifiability for group beliefs and the problem of the indexical ‘we’- thought. -/- Keywords: thoughts, collective intentionality, social ontology, group agency, group consciousness . (shrink)

This research paper aims to study analogy as a comparative thinking and to investigate whether it is justified in claiming that an analogical thought has cognitive content. Two theories in cognitive science claim that analogy has cognitive content. The first one is called the weak view of analogy in cognition, e.g. the works of Gust et al. (2008), Lakoff & Johnson (1980), Hesse (1950), Black (1955); and the second one is called the strong view of analogy in cognition, e.g. the (...) works of Hofstadter (2001), Hofstadter& Sanders (2013). According to the weak view, analogical thought is only a necessary condition of cognition. But for the strong view, analogy is both necessary and sufficient of cognition. Regardless of the differences, both theories are not justified in claiming analogical content. While the weak view cannot provide an account of the perceptual aspect of content, the strong view suffers from the lack of normative constraint for analogical content. -/- Keywords: analogy, comparative thinking, concept, cognitive content, philosophy of cognitive science . (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)

Philosophical thinking is interrupted by the finitude of what cannot be named, on the one hand, and that within which it is subsumed as one of multiple modes of sense-making, on the other. Sense and Singularity elaborates Jean-Luc Nancy’s philosophical project as an inquiry into the limits or finitude of philosophy itself, where it is interrupted, and as a practice of critical intervention where philosophy serves to interrupt otherwise unquestioned ways of thinking. Nancy’s interruption of philosophy, Van Den Abbeele argues, (...) reveals the limits of what philosophy is and what it can do, its apocalyptic end and its endless renewal, its Sisyphean interruption between the bounds of infinitely replicating sense and the conceptual vanishing point that is singularity. In examinations of Nancy’s foundational rereading of Descartes's cogito as iterative, his formal experimentations with the genres of philosophical writing, the account of “retreat” in understanding the political, and the interruptive play of sense and singularity in writings on the body, sexuality, and aesthetics, Van Den Abbeele offers a fresh account of one of our major thinkers as well as a provocative inquiry into what philosophy can do. (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)

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

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)

According to a posteriori physicalism, phenomenal properties are physical properties, despite the unbridgeable cognitive gap that holds between phenomenal concepts and physical concepts. Current debates about a posteriori physicalism turn on what I call “the perspicuity principle”: it is impossible for a suitably astute cognizer to possess concepts of a certain sort—viz., narrow concepts—without being able to tell whether the referents of those concepts are the same or different. The perspicuity principle tends to strike a posteriori physicalists as implausibly rationalistic; (...) further, a posteriori physicalists maintain that even if the principle is applicable to many narrow concepts, phenomenal concepts have unique features that render them inferentially isolated from other narrow concepts ). I argue, on the contrary, that the case for the perspicuity principle is quite strong. Moreover, not only have versions of the PCS repeatedly failed, likely, all versions will, given the strange combination of lucidity and opacity that the PCS has to juggle. I conclude that a posteriori physicalists currently lack a principled objection to classic anti-physicalist arguments. (shrink)

A number of prominent philosophers advance the following ideas: (1) Meaning is use. (2) Meaning is an intrinsically normative notion. Call (1) the use thesis, hereafter UT, and (2) the normativity thesis, hereafter NT. They come together in the view that for a linguistic expression to have meaning is for there to be certain proprieties governing its employment.1 These ideas are often associated with a third.

My main aim in this paper is to clarify the concepts of referential success and of referential continuity that are so crucial to the scientific realism debate. I start by considering the three dominant theories of reference and the intuitions that motivate each of them. Since several intuitions cited in support of one theory conflict with intuitions cited in support of another something has to give way. The traditional policy has been to reject all intuitions that clash with a chosen (...) theory. A more radical policy, tied to some experimental philosophers, has called for the rejection of any evidential role for intuitions. I explore a largely ignored third alternative, i.e. saving intuitions (and their evidential role) even when they are at odds. To accommodate conflicting intuitions different sets of internally consistent (yet externally inconsistent) intuitions are taken to lend credence to different concepts of reference. In the current context, this means that the concepts of referential success and referential continuity are not monolithic. They are what I call 'polylithic'. This paper is as much about meta-philosophical concerns with the role of intuitions as it is about reference and the scientific realism debate. Regarding the former I hope that a blueprint will emerge for similar projects in other philosophical domains. Regarding the latter, I hope that polylithicity helps disentangle claims about referential success and continuity in the scientific realism debate by making perspicuous which concepts are best equipped to evaluate the realist's epistemic claims against the historical record of science. (shrink)

In his 1786 essay, What does it mean to orient oneself in thinking?, Kant characterizes the business of reasoning by referring to the use of the spatial orientations ‘right’ and ‘left’; he, then, extents his analysis to mathematical and logical ways of orientation. The following paper will start off by analyzing the Kantian standard account of orientation to, eventually, amend that account by deepening and correcting it in three respects: the indexical character of orientation that is due to the particular (...) standpoint of the subject who is oriented by a particular cluster of available reference points; the twofold comparative procedure of orientation in which a situation is assessed by virtue of a practically justified and indexically structured net of orientation; and the receptive modes of orientation, mirroring the ‘existential’ fact that the subject is already oriented to a situation by established institutions. The paper ends in briefly considering the pitfalls and benefits of being disoriented. (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)

The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break (...) was about the status of extensionality and modal logic. Since much of the works about the history of analytic philosophy is centered on the relationship of Quine and Carnap, their break about modality deserves much more attention—it also sheds some light on why should anyone wonder about Quine's early arguments against modal logic. The paper ends with some further considerations regarding the early formation of modal logic and hitherto unconsidered problematic issues. (shrink)

In On the Content and Object of Presentations, Kasimir Twardowski presents an interesting line of thought concerning the content of a presentation and its relation to the object of that presentation. This way of thinking about content is valuable for understanding phenomenal intentionality, and it should also be important for the project of “naturalizing” the mental (or at least for discovering the neural correlates of the phenomenal). According to this view, content is that by virtue of which a presentation of (...) an object presents a certain object and no other. In the cases in which an object is presented as simple, there is nothing more that can be said about the relation of content and object. It is sui generis: the relation of content to an object by virtue of which it presents that object. Further, the content of a presentation is never itself directly presented. The content can only be gotten at indirectly, as the content by which such and such object is presented. Where the presented object is complex—as is of course the normal case—a lot that is useful can be said about the structure of the content. In this paper, I lay out Twardowski's theory of the content of presentations. Since the business of content is to present its object, I briefly present the basics of Twardowski's mereology of objects. (shrink)

The unification argument, usually regarded as the main argument for predicativism about proper names, has recently been attacked by Robin Jeshion. According to Jeshion, the unification argument is based on the assumption of the literality of predicative uses of proper names in statements such as “There is one Alfred in Princeton.” In such a use, a proper name ‘N’ is used predicatively to denote those, and only those, objects called N. As Jeshion argues, however, there are many other examples in (...) which a proper name ‘N’ is used predicatively to denote objects which are not called N. Based on such cases, Jeshion challenges the predicativist to provide a justification for assuming that the original predicative use of proper names, to which the predicativist appeals in the unification argument, is literal. My aim in this paper is to defend predicativism by arguing that the predicativist’s assumption is well motivated. To this end, I first present the unification argument for predicativism and Jeshion’s challenge to it. Then, I argue that the answer provided by Delia Graff Fara to Jeshion’s challenge is unsatisfactory. Finally, I meet Jeshion’s challenge by extending the phenomena highlighted in Jeshion’s examples to the referential uses of proper names. (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)

© Swanson 2017How Propaganda Works is a brilliant, rich, and wide-ranging exploration of the interactions between ideology, inequality, democracy and propaganda. Read as a piece of analytic political philosophy, it is radical, arguing for bold theses about democracy: legitimate democratic deliberation, Stanley contends, requires not only political equality but also substantive material equality. Read as a piece of analytic epistemology and philosophy of language, it is more modest, but nevertheless very compelling, extending well-established work in fascinating but methodologically conservative ways. (...) In particular, on Stanley’s view ‘the truth-conditional, cognitivist picture … gives us an elegant account of what happens when communication fails, due to propagandistic manipulation’. Stanley is thus not trying to think outside the box so much as trying to move or expand the box, using familiar, proven tools to make the job easier. The book generously rewards careful study and thought, and any short summary... (shrink)

In recent years, many philosophers and scientists have argued or accepted that it is impossible to learn primitive sensory concepts like “blue” and “red”. This paper defends a more qualified picture. I try to show that some received characterisations of “learning” are nonequivalent and point towards different learning-nonlearning distinctions. And, on some ways of specifying such a distinction, it might be correct that we do not and cannot “learn” a concept of blue. But on other ways of specifying such a (...) distinction, we can and do sometimes “learn” a concept of blue from experiences of blue. The latter part of the argument connects with some traditional “abstractionist” views, and I defend the present claims in view of some widely circulated concerns about “abstracting” concepts from experience. I close with some reflections on how one might, in view of all this, think about “the learning-nonlearning distinction”. (shrink)

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)

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)

Some dynamic semantic theories include an attempt to derive truth-conditional meaning from context change potential. This implies defining truth in terms of context change. Focusing on presuppositions and epistemic modals, this paper points out some problems with how this project has been carried out. It then suggests a way of overcoming these problems. This involves appealing to a richer notion of context than the one found in standard dynamic systems.

Book reviewed in this article: GILEAD BAR‐ELLI, The Sense of Reference. Internationality in Frege, W. de Gruyter, BerliaNew York MICHAEL BEANEY, Frege: Making Sense, Duckworth, London.

Extensionalism, as I understand it here, is the view that physical reality consists exclusively of extensional entities. On this view, intensional entitities must either be eliminated in favor of an ontology of extensional entities, or be reduced to such an ontology, or otherwise be admitted as non-physical. In this paper I argue that extensionalism is a misguided philosophical doctrine. First, I argue that intensional phenomena are not confined to the realm of language and thought. Rather, the ontology of such phenomena (...) is intimately entwined with the ontology of properties. After providing some evidence to the popularity of extensionalism in contemporary analytic philosophy, I investigate the motivating reasons behind it. Considering several explanations, I argue that the main motivating reason is rooted in the identification of matter with extension, an identification which is one of the hallmarks of the mechanistic conception of nature inherited from the founding fathers of our modern scientific outlook. I then argue that such a conception is not only at odds with a robust ontology of properties but is also at odds with our best contemporary physics. Rather than vindicating extensionalism contemporary science undermines the position, and the lesson to be drawn from this surprising fact is that extensionalism needs no longer be espoused as a regulative ideal of naturalistic philosophy. I conclude by showing that the ontological approach to intensional phenomena advocated throughout the paper also gains support from an examination of the historical context within which ‘intension’ was first introduced as a semantic notion. (shrink)

In recent years, two-dimensional (2D) semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics allows us to specify (...) a reference-fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (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)

The Generalized Integration Challenge is the task of providing, for a given domain of discourse, a simultaneously acceptable metaphysics, epistemology and metasemantics and showing them to be so. In this paper, we focus on a metaethical position for which seems particularly acute: the brand of normative realism which takes normative properties to be mind-independent and causally inert. The problem is that these metaphysical commitments seem to make normative knowledge impossible. We suggest that bringing metasemantics into play can help to resolve (...) this puzzle. We propose an independently plausible metasemantic constraint on reference determination and show how it can provide a plausible response to for this brand of normative realism. (shrink)

It's generally agreed that, for a certain a class of cases, a rational subject cannot be wrong in treating two elements of thought as co-referential. Even anti-individualists like Tyler Burge agree that empirical error is impossible in such cases. I argue that this immunity to empirical error is illusory and sketch a new anti-individualist approach to concepts that doesn't require such immunity.

Since the famous debate between Russell (Mind 14: 479–493, 1905, Mind 66: 385–389, 1957) and Strawson (Mind 59: 320–344, 1950; Introduction to logical theory, 1952; Theoria, 30: 96–118, 1964) linguistic intuitions about truth values have been considered notoriously unreliable as a guide to the semantics of definite descriptions. As a result, most existing semantic analyses of definites leave a large number of intuitions unexplained. In this paper, I explore the nature of the relationship between truth value intuitions and non-referring definites. (...) Inspired by comments in Strawson (Introduction to logical theory, 1964), I argue that given certain systematic considerations, one can provide a structured explanation of conflicting intuitions. I show that the intuitions of falsity, which proponents of a Russellian analysis often appeal to, result from evaluating sentences in relation to specific questions in context. This is shown by developing a method for predicting when sentences containing non-referring definites elicit intuitions of falsity. My proposed analysis draws importantly on Roberts (in: Yoon & Kathol (eds.) OSU working papers in Linguistics: vol. 49: Papers in Semantics 1998; in: Horn & Ward (eds.) Handbook of pragmatics, 2004) and recent research in the semantics and pragmatics of focus. (shrink)

This paper articulates two constraints on an acceptable account of meaning: (i) accessibility: sameness of meaning affords an immediate appearance of de jure co-reference, (ii) flexibility: sameness of meaning tolerates open-ended variation in speakers' substantive understanding of the reference. Traditional accounts of meaning have trouble simultaneously satisfying both constraints. I suggest that relationally individuated meanings provide a promising way of avoiding this tension. On relational accounts, we bootstrap our way to de jure co-reference: the subjective appearance of de jure co-reference (...) helps make it the case that two token representations really do co-refer. (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)