Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

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 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. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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. 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 in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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 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. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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. 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 in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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)

Many philosophers suppose that sometimes we think we are saying or thinking something meaningful when in fact we’re not saying or thinking anything at all: we are producing nonsense. But what is nonsense? An account of nonsense must, I argue, meet two constraints. The first constraint requires that nonsense can be rationally engaged with, not just mentioned. In particular, we can reason with nonsense and use it within that-clauses. An account which fails to meet this constraint cannot explain why nonsense (...) appears meaningful. The second constraint requires that nonsense does not express thoughts. An account which fails to meet this constraint undercuts the critical force of the concept of nonsense. I offer an account which meets both constraints. The central idea is that to be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. (shrink)

European Journal of Philosophy, Volume 30, Issue 3, Page 1010-1027, September 2022.

Husserl endorses ideal verificationism, the claim that there is a necessary correlation between truth and the ideal possibility of experience. This puts him in the company of semantic anti-realists like Dummett, Tennant, and Wright who endorse the knowability thesis that all truths are knowable. Unfortunately, there is a simple, seductive, and troubling argument due to Alonzo Church and Frederic Fitch that the knowability thesis collapses into the omniscience thesis that all truths are known. Phenomenologists should be worried. I assess the (...) damage by surveying responses that may be open to Husserl. In particular, I explore whether Husserl ought to have adopted intuitionistic logic and motivate a restriction of ideal verificationism on phenomenological grounds. (shrink)

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into (...) the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take. "Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsification into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." Graham Priest, Graduate Center, City University of New York and University of Melbourne. (shrink)

What is the status of a cat in a virtual reality environment? Is it a real object? Or part of a fiction? Virtual realism, as defended by D. J. Chalmers, takes it to be a virtual object that really exists, that has properties and is involved in real events. His preferred specification of virtual realism identifies the cat with a digital object. The project of this paper is to use a comparison between virtual reality environments and scientific computer simulations to (...) critically engage with Chalmers’s position. I first argue that, if it is sound, his virtual realism should also be applied to objects that figure in scientific computer simulations, e.g. to simulated galaxies. This leads to a slippery slope because it implies an unreasonable proliferation of digital objects. A philosophical analysis of scientific computer simulations suggests an alternative picture: The cat and the galaxies are parts of fictional models for which the computer provides model descriptions. This result motivates a deeper analysis of the way in which Chalmers builds up his realism. I argue that he buys realism too cheap. For instance, he does not really specify what virtual objects are supposed to be. As a result, rhetoric aside, his virtual realism isn’t far from a sort of fictionalism. (shrink)

Are the objects and events that take place in Virtual Reality genuinely real? Those who answer this question in the affirmative are realists, and those who answer in the negative are irrealists. In this paper we argue against the realist position, as given by Chalmers (2017), and present our own preferred irrealist account of the virtual. We start by disambiguating two potential versions of the realist position—weak and strong— and then go on to argue that neither is plausible. We then (...) introduce a Waltonian variety of ictionalism about the virtual, arguing that this sort of irrealist approach avoids the problems of the realist positions, fits with a unifying theory of representational works, and offers a better account of the phenomenology of engaging in virtual experiences. (shrink)

A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view by providing for a (...) sharp distinction between how we come to understand and apply epistemic versus non-epistemic concepts, the former through our capacity for a special kind of reflective self-knowledge Kant calls ‘transcendental apperception’. The proposal is a version of restriction strategy: it solves the paradox by restricting the anti-realist’s knowability principle. Restriction strategies have been a common response to the paradox but previous versions face serious difficulties: either they result in a knowability principle too weak to do the work anti-realists want it to, or they succumb to modified forms of the paradox, or they are ad hoc. It is argued that restricting knowability to non-epistemic statements by conceding realism about epistemic statements avoids all versions of the paradox, leaves enough for the anti-realist attack on classical logic, and, with the help of transcendental epistemology, is principled in a way that remains compatible with a thoroughly anti-realist outlook. (shrink)

In this paper, I will attempt to develop and defend a common form of intuitive resistance to the companions in guilt argument. I will argue that one can reasonably believe there are promising solutions to the access problem for mathematical realism that don’t translate to moral realism. In particular, I will suggest that the structuralist project of accounting for mathematical knowledge in terms of some form of logical knowledge offers significant hope of success while no analogous approach offers such hope (...) for moral realism. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

According to Normativism, what an expression means has immediate implications for how a subject should or may (not) employ that expression. Many view this thesis as imposing substantive constraints upon theories of linguistic meaning. In this paper, I shall not consider that view; instead, I shall address the prior issue of whether or not one should accept Normativism. Against certain recent prominent lines of attack common to a number of different anti‐Normativist discussions, I shall defend both the Normativist thesis and (...) an attempt to appeal to a certain platitude in its support. (shrink)

The corpus of physical theory is a paradigm of knowledge. The evolution of modern physical theory constitutes the clearest exemplar of the growth of knowledge. If the development of physical theory does not constitute an example of progress and growth in what we know about the Universe nothing does. So anyone interested in the theory of knowledge must be interested consequently in the evolution and content of physical theory. Crucial to the conception of physics as a paradigm of knowledge is (...) the way in which physical theory provides explanations of a vast diversity of natural phenomena on the basis of a very few fundamental principles. A central problem for the epistemologist is therefore what is theoretical explanation in physics? Here we can get good insight from what Redhead has said. Indeed one could agree with almost everything Redhead says and simply endorse much of his careful and extensive defence of the covering law account of explanation in the physical sciences at least as an ideal. However I shall, I fear, try the reader's patience by extending some of the considerations he introduced and raising those issues where we disagree, especially in the important area of statistical explanation. (shrink)

According to the “paradox of knowability”, the moderate thesis that all truths are knowable – ... – implies the seemingly preposterous claim that all truths are actually known – ... –, i.e. that we are omniscient. If Fitch’s argument were successful, it would amount to a knockdown rebuttal of anti-realism by reductio. In the paper I defend the nowadays rather neglected strategy of intuitionistic revisionism. Employing only intuitionistically acceptable rules of inference, the conclusion of the argument is, firstly, not ..., (...) but .... Secondly, even if there were an intuitionistically acceptable proof of ..., i.e. an argument based on a different set of premises, the conclusion would have to be interpreted in accordance with Heyting semantics, and read in this way, the apparently preposterous conclusion would be true on conceptual grounds and acceptable even from a realist point of view. Fitch’s argument, understood as an immanent critique of verificationism, fails because in a debate dealing with the justification of deduction there can be no interpreted formal language on which realists and anti-realists could agree. Thus, the underlying problem is that a satisfactory solution to the “problem of shared content” is not available. I conclude with some remarks on the proposals by J. Salerno and N. Tennant to reconstruct certain arguments in the debate on anti-realism by establishing aporias. (shrink)

Meaning, according to a significant number of philosophers, is an intrinsically normative notion.1 For this reason, it is suggested, meaning is not conducive to a naturalistic explanation. In this paper, I shall not address whether this is indeed so. Nor shall I present arguments in support of the normativity thesis (see Glock 2005; Kripke 1982). Instead, I shall examine and respond to two forceful objections recently (and independently) raised against it by Boghossian (2005), Hattiangadi (2006) and Miller (2006). Although I (...) shall argue that the objections are unsuccessful, they are worth attending to, not only because the normativity thesis is so widely accepted and is thought to have such ramifications but, most importantly, because doing so offers the opportunity to help clarify how it is to be understood. (shrink)

Science and valuation — remarks about the condition of philosophical re ection on science this text is an attempt at a more general look at twentieth‐century philosophical re ection on science conceived as persistent trials to eliminate the non‐eliminateable, i.e. valuations. In this article, I recall the most important concepts of knowledge developed in the twentieth‐century philosophy of science by exposing assumed axiology in, among other things: the Vienna Circle, Karl raimund Popper’s falsi cationism, the historical and social approach of (...) thomas S. Kuhn’s paradigm, and the concept of the ideals of knowledge by Stefan Amsterdamski. I argue that the axiology, and more broadly philosophy is an indelible com‐ ponent of each accepted concept of scienti c knowledge. each concept of knowledge assumes a form of its valuation. (shrink)

Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial account of truth that (...) may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)

Farben sind für uns sowohl objektive, als auch phänomenale Eigenschaften. In seinem Buch argumentiert Fabian Dorsch, daß keine ontologische Theorie der Farben diesen beiden Seiten unseres Farbbegriffes gerecht werden k ann. Statt dessen sollten wir akzeptieren, daß letzterer sich auf zwei verschiedene Arten von Eigenschaften bezieht: die repräsentierten Reflektanzeigenschaften von Gegenständen und die qualitativen Eigenschaften unserer Farbwahrnehmungen, die als sinnliche Gegebenheitsweisen ersterer fungieren. Die Natur der Farben gibt einen detaillierten Überblick über die zeitgenössischen philosophischen und naturwissenschaftlichen Theorien der Farben und (...) bietet sich aufgrund seines systematischen und umfassenden Charakters auch als ein seminar- oder vorlesungsbegleitendes Textbuch an. (shrink)

This dissertation provides a theory of the nature of aesthetic experiences on the basis of a theory of aesthetic values. It results in the formulation of the following necessary conditions for an experience to be aesthetic: it must consist of a representation of an object and an accompanying feeling; the representation must instantiate an intrinsic value; and the feeling must be the recognition of that value and bestow it on the object. Since representations are of intrinsic value for different reasons, (...) there are different kinds of aesthetic experiences . By means of certain conceptual links, it is possible to extend this account to other aesthetic entities thus enabling the formulation of a general theory of the aesthetic in non-aesthetic terms. In particular, aesthetic values are identical with subjective dispositions to elicit aesthetic experiences under normal conditions. Accordingly, I endorse anti-realism about aesthetic values: their existence, nature and exemplification are mind-dependent, while their ascriptions to objects have genuine truth-values. I back up this account by arguing against the alternative positions that either take aesthetic values to be objective or deny the truth-aptness of their attributions. Furthermore, I put forward a relativist variant of anti-realism according to which ascriptions of different aesthetic values to a particular object are all correct, given that the aesthetic experiences involved are made under normal conditions and concern the same aesthetically nonevaluative features of that object. For there is no specifically aesthetic norm by means of which one of the faultless aesthetic experiences can be picked out as the only appropriate one. That aesthetic values nevertheless show a normative dimension is ensured by their conformity to a general account of values as capacities to satisfy, or dissatisfy, rational desires. (shrink)

This paper is concerned with connections between scientific and metaphysical realism. It is not difficult to show that scientific realism, as expounded by Psillos (1999) clearly qualifies as a kind of metaphysical realism in the sense of Putnam (1980). The statement of scientific realism therefore must not only deal with underdetermination and the dynamics of scientific theories but also answer the semantic challenges to metaphysical realism. As will be argued, the common core of these challenges is the proposition that a (...) (metaphysical) realist semantics leads to semantic agnosticism in the sense that we are unable to grasp the proper meanings and referents of our linguistic expressions. Having established this, I will focus more specifically on the question of whether scientific realism—in its state-of-the-art account—has the resources to make reference to scientific concepts intelligible such that the semantic challenges can be answered. (shrink)

Drawing on various resources and requirements (as expressed by Dewey, Wittgenstein, Sellars, and Brandom), this paper proposes an externalist view of conceptual mental episodes that does not equate them, even partially, with vehicles of any sort, whether the vehicles be located in the environment or in the head. The social and pragmatic nature of the use of concepts and conceptual content makes it unnecessary and indeed impossible to locate the entities that realize conceptual mental episodes in non-personal or subpersonal contentful (...) entities (vehicles). Persons, who engage in social practices of deontic scorekeeping (Brandom), and who are thus able to produce appropriate inferential behaviour, enact conceptual mental episodes and the basis of their supervenience. (shrink)

Summary of Anna Pilatova’s doctoral thesis A User’s Guide to Proper Names, Their Semantics And Pragmatics The origins of this work go all the way back to my reading of Kripke’s Naming and Necessity in 1993. It had left me with a feeling of dissatisfaction that lingered long enough to inspire my MA thesis (on Internalism and Externalism in the Theories of Reference), and finally inspired the current work. Over time, I became acquainted with other influential accounts of reference of (...) proper names, but my unease with essentialism and wariness of direct designation remained. In the User’s Guide to Proper Names, I seized the opportunity to analyse what I thought was problematic with the mainstream theories of reference of proper names. I tried to tease apart a number of related doctrines about the behaviour of proper names, and thus arrive at a better understanding of how the various parts of the theories of reference I chose to analyse are related. This helped me to develop my own proposal regarding both the semantics and the pragmatics of proper names. The Guide is organised around a particular approach to the tasks of a semantic theory. According to this view, proposed by Stalnaker, a semantic theory dealing with proper names should account for the descriptive semantics of names, their foundational semantics, and the semantics of modal statements in which they figure. Descriptive semantics focuses on the contribution a proper name makes to the truth-value of sentences in which it occurs. Based on such an analysis, a proper name is assigned a semantic value, which is supposed to provide us with an interpretation of that name. A crucial part of this task is to see just what kind of thing the semantic value of a proper name is. In interpreting sentences containing proper names, one can, and often does, use the notion of possible worlds. This is especially true if the sentences in question are modal. There are various approaches to modality, which carry with them different sets of presuppositions. An analysis of the systematic features and presuppositions of various possible-world frameworks is a part of the task of the semantics of modal statements. Another task of semantics of modal statements is to investigate whence the constraints on possible worlds used in analysing these statements should derive, that is, whether, and to what degree, they should derive from the descriptive or the foundational part of the semantic enterprise. Both of these parts of a semantic theory have the potential to make predictions about the foundational semantics of proper names, which deals with the speaker’s behaviour and communication. Foundational semantics aims at answering the following question: What makes it the case that the language spoken by a particular individual or community has the very descriptive semantics it has? In this investigation, one looks at the speaker, her intentions and communicative goals, and tries to look at the strategies she uses to get her (linguistic) point across. To show the usefulness of organising the User’s Guide to Proper Names around these distinctions, and to provide their proper characterisation, is the task of the first part of the introductory first chapter, Outlining the Field and Introducing Some of the Players. In the second part of the same chapter, Setting the Scene, I give a preliminary outline of some of the notions needed to describe the theories of reference that are later investigated, that is mainly the theories proposed by Kripke, Kaplan, Lewis, and Stalnaker. The second chapter, Descriptive Semantics, focuses on the descriptive semantics proposed by Kripke and Kaplan for proper names. In the first part of the chapter, I introduce several arguments in favour of rigid designation. A closer look reveals that none of the three arguments in question -- the modal, the epistemological, and the semantic one -- is actually an argument for rigid designation. They all just argue against some forms of descriptivism. Moreover, in the case of the modal and the epistemological argument, it is relatively easy to find forms of descriptivism that are immune to the lines of reasoning proposed in these arguments. The semantic argument seems to be the strongest of the three. An analysis of a direct argument for rigid designation highlights the connection between rigid designation and certain preconceptions about the identity of individuals. A further investigation of the notion of identity of individuals across possible worlds emerges at this point as an important issue to tackle. It also becomes clear that rigid designation alone cannot fully determine the Kripkean picture of names as non-descriptive entities referring without a mediation of any sort of conceptual content. In the second part of Chapter 2, I introduce the basic notions of Kaplan’s approach to the descriptive semantics of proper names. It turns out that in order to derive the familiar Kripkean picture of proper names, one has to presuppose direct reference for names and at least some version of haecceitism for the individuals in question. While, as we show, Kaplan’s framework does not work well for proper names, it gives us conceptual tools that help us in our undertaking. In the third chapter, Modal Statements, Individuals, and Essences, I analyse three different approaches to building a possible-world framework, Lewis’s, Kripke’s, and Stalnaker’s. In each case, the same questions are asked: What is the motivation and intended field of application of this framework? What are the ontological commitments of the approach? What form of essentialism, if any, does it imply? How does it deal with the notion of an individual? In Lewis’s case, the main problem turns out to be the theory of counterparts, which is, as I show, an integral part of his approach. The concept of an individual implied by it does not seem to correspond to any intuitive reading of counterfactual statements involving individuals. The investigation of Kripke’s framework focuses on describing the weakest form of essentialism that has to be presupposed to make the proposal work. Once that is concluded, I analyse the essentialism Kripke actually proposes, and the motivation and presuppositions on which it rests. I conclude that its motivation cannot be said to come from an analysis of language and that it presupposes a particular form of scientific realism. The rest of the chapter is devoted to a reconstruction and analysis of Stalnaker’s possible world framework, which turns out to be rather more cautious about metaphysical presuppositions and more suited for an analysis of natural language. As in the two previous proposals, I try to reconstruct the notion of actual world that is presupposed here. In the fourth chapter, Foundational Semantics, I investigate the notion of proposition implied by Lewis’s, Kripke’s, and Stalnaker’s approach. I focus on propositions containing proper names, and analyse the way in which each of the conceptions mentioned above is vulnerable to the problem of logical omniscience. An analysis of Lewis’s framework reveals that the concept of proposition implied by it is so weak as to be rather uninteresting. An investigation of Kripke’s concept of proposition deals not only with the systematic issues, but also with the Pierre puzzle and various attempts at solving it. I present a number of different approaches to the problem and compare their merits. Stalnaker is very worried about the problem of logical omniscience, and yet it turns out that his conception is less vulnerable to the adverse consequences of the problem of logical omniscience than other frameworks we investigate. I point out that various pragmatic features of Stalnaker’s framework (the epistemic nature of his possible-world framework, the Gricean principles built into the notion of assertion) help to counterbalance and mitigate the scope of the problem of logical omniscience within it. In Chapter 5, User-friendly Descriptive Semantics, I present and motivate my own proposal for the descriptive semantics of proper names and the treatment of modal statements in which they figure. Basically, the aim is to preserve the notion of names as rigidly designating expressions while admitting as little metaphysics as possible. Working with epistemic possible worlds whose domain is in each case co-determined by a particular context enables me to develop a very intuitive plausible notion of individual, to which a name can be said to refer rigidly. The interpretation of modal statements is then driven not by essentialist constraints in the common sense of the term, but by context-derived limitations, which seems to be a more natural approach. In the sixth and last chapter, Names, Indexicality, and Ambiguity, I develop a view of foundational semantics inspired by the pragmatic observation that in common parlance one can say that a name, `John Smith’ for instance, can refer to numerous individuals. A lot of attention is given to the ontology of names, and the question `What is a name?’ delivers answers which are then used in a discussion about whether names should be seen as indexical or ambiguous. I adopt the ambiguity view, and propose a way of using a Stalnakerian possible-world framework to derive intuitively plausible results for some difficult cases. The weight of the discussion all through the guide rests in an examination of different kinds of presuppositions implied by various possible-world frameworks and the notion of the individual used in accounts of the behaviour of proper names. In my own account of these issues, I do without any metaphysical assumptions and aim at describing communication in terms accessible to its participants. (shrink)

Here is one argument against realism. (1) Realists are committed to the classical rules for negation. But (2) legitimate rules of inference must conserve evidence. And (3) the classical rules for negation do not conserve evidence. So (4) realism is wrong. Most realists reject 2. But it has recently been argued that if we allow denied sentences as premisses and conclusions in inferences we will be able to reject 3. And this new argument against 3 generates a new response to (...) the antirealist argument: keep 1 and 2, avoiding 4 by rejecting 3. My aim in this paper is to see how much work in the fight against anti-realism this new response can really do. I argue that there is a powerful objection to the response: 2 is in tension with the claim that denied sentences can be premisses and conclusions in inferences. But I show that, even given this objection, the new response has an important role to play. (shrink)

I examine Quine’s and Davidson’s arguments to the effect that classical logic is the one and only correct logic. This conclusion is drawn from their views on radical translation and interpretation, respectively. I focus on the latter, but I first address, independently, Quine’s argument to the effect that the ‘deviant’ logician, who departs from classical logic, is merely changing the subject. Regarding logical pluralism, the question is whether there is more than one correct logic. I argue that bivalence may be (...) subject matter dependent, but that distribution and the law of excluded middle can probably not be dropped whilst maintaining the standard meanings of the connectives. In discussing the ramifications of the indeterminacy of interpretation, I ask whether it forces Davidsonian interpreters to adopt Dummett’s epistemic conception of truth vis-à-vis their interpretations. And, if so, does this cohere with their attributing a nonepistemic notion of truth to their interpretees? This would be a form of logical pluralism. In addition, I discuss Davidson’s arguments against conceptual schemes. Schemes incommensurable with our own could be construed as wholesale deviant logics, or so I argue. And, if so, their possibility would yield, in turn, the possibility of a radical logical pluralism. I also address Davidson’s application of Tarski’s definition of truth. (shrink)

I propose a pragmatic approach to the kind of reference-shifting occurring in indexicals as used in e.g. written notes and answering machine messages. I proceed in two steps. First, I prepare the ground by showing that the arguments against such a pragmatic approach raised in the recent literature fail. Second, I take a first few steps towards implementing this approach, by sketching a pragmatic theory of reference-shifting, and showing how it can handle cases of the relevant kind. While the immediate (...) scope of the paper is restricted to indexicals and reference-shifting, and the discussion is confined to a specific range of theories and cases, the approach proposed is compatible with a fairly broad range of more or less semantically conservative theories, and many of the conclusions drawn are significant for the evaluation of pragmatic explanations in philosophy more generally. The overall goal is to offer a new perspective on the issues under discussion, and to prompt philosophers to reconsider some of the established methods by which pragmatic explanations are evaluated. (shrink)

The thesis includes six essays, each corresponding to a chapter, which have the target of widening the discussion on the limits of knowability through the consideration of some general problematics and the discussion of specific topics. The work is composed of two parts, each of three chapters. In the first part, the discussion is focused on a perspective proper of the philosophy of language. In particular, I consider the discussion on the limits of knowability from the point of view of (...) the debate between semantic realism and antirealism. The second part of the thesis is focused on the discussion on the limits of knowability from a perspective more strictly epistemological and proper of the philosophy of science. (shrink)

We conceive of many general terms we use as having satisfaction conditions that are objective in that the thought that something meets them neither entails nor is entailed by the thought that we are currently in a position in which we are ready, or warranted, to apply those terms to it. How do we manage to use a given term in such a way that it is thereby endowed, and conceived to be endowed, with satisfaction conditions that are objective in (...) this sense? In the first half of the paper, I present a number of interrelated problems for some extant metasemantical accounts of how use determines objective satisfaction conditions. In the second half, I then propose a novel account that avoids all of these problems. (shrink)

Is linguistic understanding a form of knowledge? I clarify the question and then consider two natural forms a positive answer might take. I argue that, although some recent arguments fail to decide the issue, neither positive answer should be accepted. The aim is not yet to foreclose on the view that linguistic understanding is a form of knowledge, but to develop desiderata on a satisfactory successor to the two natural views rejected here.

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a dispute in (...) the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

Crispin Wright offers superassertibility as an anti-realist explication of truth. A statement is superassertible, roughly, if there is a state of information available which warrants it and it is warranted by all achievable enlargements of that state of information. However, it is argued, Wright fails to take account of the fact that many of our test procedures are not sure fire, even when applied under ideal conditions. An alternative conception of superassertibility is constructed to take this feature into account. However, (...) it is then argued that when this revised concept of superassertibility is taken as the truth predicate of probability statements, statements whose test procedures are paradigmatically not sure fire, then any anti-realist theory of the sense of such probability statements cannot be compositional, in Dummett's sense of compositional. (shrink)

: Bereft of the illusion of an epistemic vantage point external to science, what should be our commitment towards the categories, concepts and terms of that very science? Should we, despaired of the possibility to found these concepts on rock bottom, adopt empiricist skepticism? Or perhaps the inexistence of external foundations implies, rather, immunity for scientific ontology from epistemological criticism? Philosophy's "realism debate" died out without providing a satisfactory answer to the dilemma, which was taken over by the neighboring disciplines. (...) The "symmetry principle" of the "StrongProgramme" for the sociology of science-the requirement that truth and error receive the same kind of causal explanations-offered one bold metaphysical answer, under the guise of a methodological decree. Recently, however, it has been argued that this solution is not bold enough, that the social constructivists replaced the naïve presumption of an independent nature which adjudicates our beliefs with a mirror-image presumption of a sui generis society which furnishes these beliefs autonomously. The proper metaphysics for a foundationless epistemology, argues Bruno Latour, is one which grants nature and society, object and subject, equal roles in the success and failure of science and technology; one in which history of society merges with a history of things-in-themselves. The paper analyzes the philosophical and methodological motivations and ramifications of this extraordinary suggestion. (shrink)

Michael Devitt tells us that metaphysical realism has a kind of immunity from considerations concerning the nature of truth. Part of this immunity comes from Devitt’s insistence that realism is a metaphysical issue, not a semantic one. Most of Devitt’s critics have focused on this point, arguing that a proper understanding of the realism question necessarily involves semantic considerations :65–74, 1991; Miller in Synthese 136:191–217, 2003; Putnam in Comments on Michael Devitt’s ‘Hilary and Me’, in: Baghramian Reading Putnam. Taylor and (...) Francis, Hoboken, 2012; Taylor in Models, truth, and realism. Oxford University Press, New York, 2006). But Devitt also argues at length that semantic considerations should not lead us to give up on realism regardless of whether we admit that the correct characterization of realism is metaphysical in character or not. Devitt’s view hinges on the viability of a strategy which he calls Putting Metaphysics First, which essentially involves giving “a certain temporal and explanatory priority to metaphysical concerns”. Fully explicated, Devitt’s strategy is seen to be based on an epistemological naturalism in the vein of Quine. The main idea is that if we assume a naturalism according to which the only way to know anything is empirically through experience, then we will be able to establish a version of metaphysical realism early on in our investigations. According to Devitt, the empirical evidence for this realism is much stronger than the empirical evidence for the numerous semantical and epistemological views which are put forward in favor of antirealism. So, Devitt argues, we should hold on to the realism that we establish first and build our other theories on top of it. After detailing Devitt’s approach, I offer two objections. The first problem for Devitt is that in the process of putting metaphysics first, he puts epistemological naturalism first. This fact is in tension with his claim that epistemology is a weak starting place and a poor basis of theoretical revision. The second problem is that while our experiences of objects give us evidence that those objects exist, our experiences do not tell us that the objects exist mind-independently in all the ways required for metaphysical realism, or so I contend. Thus, I argue, even if we do put naturalized metaphysics first as Devitt recommends, realism is not secured as a starting point. (shrink)

With the discovery of consistent non-Euclidean geometries, the a priori status of Euclidean proof was radically undermined. In response, philosophers proposed two revisionary interpretations of the practice: some argued that Euclidean proof is a purely formal system of deductive logic; others suggested that Euclidean reasoning is empirical, employing concepts derived from experience. I argue that both interpretations fail to capture the true nature of our geometrical thought. Euclidean proof is not a system of pure logic, but one in which our (...) grasp of the content of geometrical concepts plays a central role; moreover, our grasp of this content is a priori. (shrink)

A commonplace in contemporary philosophy is that mental content has normative properties. A number of writers associate this view to the idea that the normativity of content is essentially connected to its social character. I agree with the first thesis, but disagree with the second. The paper examines three kinds of views according to which the norms of thought and content are social: Wittgenstein’s rule following considerations, Davidson’s triangulation argument, and Brandom’s inferential pragmatics, and criticises each. It is argued that (...) there are objective conceptual norms constitutive of mental content, but that these are not essentially social. (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

Crispin Wright attempts to develop a theory of truth which could be characterized as a form of minimalism, and he is favourable to a pluralistic account which allows for many different uses of the predicate "true", including one where the word is constrained by a norm of "superassertibility". In assessing these different claims made by the author, I adopt the position held by the deflationist philosopher. I try to show that his criticism of deflationism fails, and that there is a (...) version of this doctrine which is congenial with Wright's own approach to the problem of truth. (shrink)

RésuméUne partie des raisons invoquées par Wright en faveur de sa théorie «neutre» de la vérité tiennent à ce qu'il considère comme déficiente à plusieurs égards une approche apparentée proposée par Putnam. Je soutiens ici que ces déficiences affectent soit les deux doctrines, soit ni l'une ni l'autre, mais que celle de Wright est néanmoins supérieure. À mettre ensemble l'explication du prédicat de vérité offerte par Putnam et l'extension qu'il entend lui attribuer, on se heurte en effet à un dilemme (...) : revenir au réalisme traditionnel, ou verser dans un optimisme épistémique radical. Or Putnam rejette explicitement la première branche de cette alternative, tandis que la seconde est extrêmement peu plausible. Wright, lui, évite le dilemme en demeurant en retrait par rapport aux prises de position de ce genre. (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.

This paper can be read as an attempt at providing philosophical foundations to linear logic. The only plausible form of philosophical antirealism deals with practical feasibility rather than with effectivity in principle. The very notion of recognizability is ambiguous, audit has to be considered from a stricter perspective than currently done. The intuitionistic assertability conditions are to be reinforced. This change requires a move towards a frame in which the circumstances of the application of a logical rule can be specified. (...) Gentzen's sequential calculi provide such a frame, when some structural rules have been removed or limited. (shrink)

RÉSUMÉ: Une partie des raisons invoquées par Wright en faveur de sa théorie «neutre» de la vérité tiennent à ce qu'il considère comme déficiente à plusieurs égards une approche apparentée proposée par Putnam. Je soutiens ici que ces déficiences affectent soit les deux doctrines, soit ni l'une ni l'autre, mais que celle de Wright est néanmoins supérieure. À mettre ensemble l'explication du prédicat de vérité offerte par Putnam et l'extension qu'il entend lui attribuer, on se heurte en effet à un (...) dilemme: revenir au réalisme traditionnel, ou verser dans un optimisme épistémique radical. Or Putnam rejette explicitement la première branche de cette alternative, tandis que la seconde est extrêmement peu plausible. Wright, lui, évite le dilemme en demeurant en retrait par rapport aux prises de position de ce genre. (shrink)