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 paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

What is the relationship between unconscious and conscious intentionality? Contemporary philosophy of mind treats the contents of conscious 10 intentional mental states as the same kind of thing as the contents of un- conscious mental states. According to the standard view that beliefs and desires are propositional attitudes, for example, the contents of these states are propositions, whether or not the states are conscious or unconscious. I dispute this way of thinking of conscious and unconscious content, and propose an alternative, (...) which helps to explain why the various mental things that are called unconscious deserve that label. (shrink)

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.

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...) that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

One of the deepest ideological divides in contemporary epistemology concerns the relative importance of belief versus credence. A prominent consideration in favor of credence-based epistemology is the ease with which it appears to account for rational action. In contrast, cases with risky payoff structures threaten to break the link between rational belief and rational action. This threat poses a challenge to traditional epistemology, which maintains the theoretical prominence of belief. The core problem, we suggest, is that belief may not be (...) enough to register all aspects of a subject’s epistemic position with respect to any given proposition. We claim this problem can be solved by introducing other doxastic attitudes—genuine representations—that differ in strength from belief. The resulting alternative picture, a kind of doxastic states pluralism, retains the central features of traditional epistemology—most saliently, an emphasis on truth as a kind of objective accuracy—while adequately accounting for rational action. (shrink)

Recent philosophy of language has been profoundly impacted by the idea that mainstream, model-theoretic semantics is somehow incompatible with deflationary accounts of truth and reference. The present article systematizes the case for incompatibilism, debunks circularity and “modal confusion” arguments familiar in the literature, and reconstructs the popular thought that truth-conditional semantics somehow “presupposes” a correspondence theory of truth as an inference to the best explanation. The case for compatibilism is closed by showing that this IBE argument fails to rule out (...) two kinds of deflationism: the position Field famously accused Tarski of having; and a less familiar version of the view that defines reference in terms of a deflated notion of truth. Finally, the distinction between unifying and constitutive explanation is used to forestall the response that correspondence theory is literally part of mainstream semantics. (shrink)

A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of content and semantic value (...) must nevertheless ensure a tight connection between the two. But, she contends, there is a crucial disanalogy between the views that follow Lewis and the views that follow Dummett. Stanley’s Dummettian view is argued to contain a fatal flaw: On such views, there is no way to secure an appropriate connection between semantic value and a theoretically motivated notion of assertoric content. I will review the background issues from Dummett, Evans, Lewis, and Stanley, and provide a principled way of bridging the gap between semantic value and a theoretically motivated notion of assertoric content. (shrink)

that there is something rationally or conceptually defective in judging that an act is right without being in any way motivated towards it—is one which has tended to lead either to error theories of ethics on the one hand, or acceptance of the truth of internalism on the other. This paper argues that it does play a kind of subject-setting role, but that our responses to cases can be rationalised without requiring that internalism is true for ethical realism to be (...) vindicated. Instead what is required is that something like internalism be believed to be true. The widespreadness of the internalist intuition is part of what makes it the case that some actions are right and others wrong. Of course these beliefs might be false—as the present author holds—consistent with ethical realism, just so long as they are widely held, and whatever else it takes to vindicate realism is the case. In such a situation, widespread false belief would be part of what makes it so that some acts are right, and others wrong. (shrink)

_ Source: _Page Count 25 The familiar challenges to historiographical knowledge turn on epistemological concerns having to do with the unobservability of historical events, or with the problem of establishing a sufficiently strong inferential connection between evidence and the historiographical claim one wishes to convert from a true belief into knowledge. This paper argues that these challenges miss a deeper problem, viz., the lack of obvious truth-makers for historiographical claims. The metaphysical challenge to historiography is that reality does not appear (...) to co-operate in our cognitive endeavours by providing truth-makers for claims about historical entities and events. Setting out this less familiar, but more fundamental, challenge to the very possibility of historiography is the first aim of this paper. The various ways in which this challenge might be met are then set out, including ontologically inflationary appeals to abstract objects of various kinds, or to “block” theories of time. The paper closes with the articulation of an ontologically parsimonious solution to the metaphysical challenge to historiography. The cost of this approach is a revision to standard theories of truth. The central claim here is that the standard theories of truth have mistaken distinct causes of truth for truth itself. This mistake leads to distorted expectations regarding truth-makers for historiographical claims. The truth-makers of historiographical claims are not so much the historical events themselves but atemporal modal facts about the order of things of which those events were a part. (shrink)

_ Source: _Page Count 25 The familiar challenges to historiographical knowledge turn on epistemological concerns having to do with the unobservability of historical events, or with the problem of establishing a sufficiently strong inferential connection between evidence and the historiographical claim one wishes to convert from a true belief into knowledge. This paper argues that these challenges miss a deeper problem, viz., the lack of obvious truth-makers for historiographical claims. The metaphysical challenge to historiography is that reality does not appear (...) to co-operate in our cognitive endeavours by providing truth-makers for claims about historical entities and events. Setting out this less familiar, but more fundamental, challenge to the very possibility of historiography is the first aim of this paper. The various ways in which this challenge might be met are then set out, including ontologically inflationary appeals to abstract objects of various kinds, or to “block” theories of time. The paper closes with the articulation of an ontologically parsimonious solution to the metaphysical challenge to historiography. The cost of this approach is a revision to standard theories of truth. The central claim here is that the standard theories of truth have mistaken distinct causes of truth for truth itself. This mistake leads to distorted expectations regarding truth-makers for historiographical claims. The truth-makers of historiographical claims are not so much the historical events themselves but atemporal modal facts about the order of things of which those events were a part. (shrink)

Many philosophers think that moral objectivism is supported by stable features of moral discourse and thinking. When engaged in moral reasoning and discourse, people behave ‘as if’ objectivism were correct, and the seemingly most straightforward way of making sense of this is to assume that objectivism is correct; this is how we think that such behavior is explained in paradigmatically objectivist domains. By comparison, relativist, error-theoretic or non-cognitivist accounts of this behavior seem contrived and ad hoc. After explaining why this (...) argument should be taken seriously (recent arguments notwithstanding), I argue that it is nevertheless undermined by considerations of moral disagreement. Even if the metaphysical, epistemic and semantic commitments of objectivism provide little or no evidence against it, and even if the alternative explanations of ‘objectivist’ traits of moral discourse and thinking are speculative or contrived, objectivism is itself incapable of making straightforward sense of these traits. Deep and widespread moral disagreement or, rather, the mere appearance of such disagreement, strongly suggests that the explanations operative in paradigmatically objective discourse fail to carry over to the moral case. Since objectivism, no less than relativism, non-cognitivism and error-theories, needs non-trivial explanations of why we behave ‘as if’ objectivism were correct, such behavior does not presently provide reason to accept objectivism. (shrink)

This paper presents a position called Scheme-based Alethic Realism, which reconciles a realist position on the nature of truth with a pluralistic Kantian perspective that allows for multiple environments in which truthmaking relationships are established. We argue that truthmaking functions are constrained by a stable phenomenal world and a stable cognitive architecture. This account takes truth as normatively distinct from epistemic justification while relativizing the truth conditions of our statements to what we call Frameworks. The pluralistic aspect allows that these (...) stable elements, while constraining representational and linguistic schemes, do not define a single framework for truthmaking relations. We strengthen this position by considering themes on situated rational agency from cognitive science and artificial intelligence, arguing that whatever enables or supports rational action within a particular environment must figure into some account of truth and truthmaking, and vice versa. (shrink)

Later Wittgenstein is famous for having related meaning and use. Nonetheless, thanks to Dummett and Kripke, and the debates they provoked, a conventional wisdom is nowadays available: Wittgenstein, so the story goes, adopted a theory of meaning in terms of assertability conditions. This paper claims that it is wrong to attribute such a theory to the Investigations. For such a thesis to go through, one of the following two scenarios should be confirmed. It should either be true that Wittgenstein reduces (...) all meaning-engendering uses and conditions of use to assertion and assertability conditions, or that he invokes assertability conditions to show that meaning is always use. But, I will be claiming, the first scenario is excluded by Wittgenstein’s thoughts about the role of assertion and his thoughts about the sense-force distinction, while the second scenario is excluded by Wittgenstein’s thoughts about truth. (shrink)

Dummettian anti-realism repudiates the realist's notion of verification-transcendent truth. Perhaps the most crucial element in the Dummettian attack on realist truth is the critique of so-called realist semantics, which assigns verification-transcendent truth-conditions as the meanings of (some) sentences. The Dummettian critique charges that realist semantics cannot serve as an adequate theory of meaning for a natural language, and that, consequently, the realist conception of truth must be rejected as well. In arguing for this, Dummett and his followers have appealed to (...) a certain conception of linguistic knowledge. This paper examines closely the appeal to speakers' knowledge of linguistic meaning, its force and limitations. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion’s indispensable substantive (...) explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (shrink)

ABSTRACT In ‘The philosophical basis of intuitionistic logic’, Michael Dummett discusses two routes towards accepting intuitionistic rather than classical logic in number theory, one meaning-theoretical and the other ontological. He concludes that the former route is open, but the latter is closed. I reconstruct Dummett's argument against the ontological route and argue that it fails. Call a procedure ‘investigative’ if that in virtue of which a true proposition stating its outcome is true exists prior to the execution of that procedure; (...) and ‘generative’ if the existence of that in virtue of which a true proposition stating its outcome is true is brought about by the execution of that procedure. The problem with Dummett's argument then is that a particular step in it, while correct for investigative procedures, is not correct for generative ones. But it is the latter that the ontological route is concerned with. (shrink)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

Consider the following 'principles':2(Norm of Belief Schema) Necessarily, a belief of is correct (relative to some scenario) if and only if p (at that scenario) — where 'p' has the aforementioned content .(Generalized Norm of Belief) Necessarily, for all propositions , a belief of is correct (relative to some scenario) if and only if is true (at that scenario).Both 'principles' appear to capture the aim(s) of belief. (NBS) particularizes the aims to beliefs of distinct content-types. (GNB) generalizes these aims of (...) beliefs as truth. Properly understood, the instances of (NBS) appear to be at least approximately true as does (GNB). Of course, one might harbor concerns about whether these are mere .. (shrink)

Recent years have seen an explosion of interest in the semantics of knowledge-attributing sentences, not just among epistemologists but among philosophers of language seeking a general understanding of linguistic context sensitivity. Despite all this critical attention, however, we are as far from consensus as ever. If we have learned anything, it is that each of the standard views—invariantism, contextualism, and sensitive invariantism—has its Achilles’ heel: a residuum of facts about our use of knowledge attributions that it can explain only with (...) special pleading. This is not surprising if, as I will argue, there is a grain of truth in each of these views. (shrink)

The age-old question “What is truth?” is not an unambiguous one. There are at least two different meanings. In one sense, it is a semantic question about the meaning of the word “truth” and/or a metaphysical question about the nature of the property of truth, that is, how truth can be defined in terms of other notions, if it is definable at all. In another sense, it is an epistemological question about the criterion or test of truth, that is, how (...) we can recognize or accept (empirical) propositions as true. Ayer, in Language, Truth and Logic (LTL) and some other articles, tried to convince us that when we attempt to elucidate a theory of truth, we are only engaging in the epistemological project of finding the criterion of truth. This anti-semantical and anti-metaphysical view is based on Ayer’s (radical) deflationism about truth. In this chapter, I will argue that since Ayer did not accept that the criterion of truth is intimately related to the concept of truth, he can be seen as a deflationist about the nature of truth and as an advocate of a certain (Schlickian) kind of correspondence conception about the criterion of truth. His position would not be tenable if he had maintained what some of his contemporaries accepted, namely that there is a close connection between the two truth-theoretical tasks: the definitional and the criterial one. (shrink)

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL has (...) helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...) cannot be true or false, so what does it mean to say that your inference is valid? It cannot mean that the truth of its premise guarantees the truth of its conclusion. One is thus faced with what is known as “Jørgensen’s dilemma” (Ross 1941: 55-6): it seems that imperative logic cannot exist because logic deals only with entities that, unlike imperatives, can be true or false, but it also seems that imperative logic must exist. It must exist not only because inferences with imperatives can be valid, but also because imperatives (like “Enter” and “Don’t enter”) can be inconsistent with each other, and also because one can apply logical operations to imperatives: “Don’t enter” is the negation of “Enter”, and “Sing or dance” is the disjunction of “Sing” and “Dance”. A standard reaction to this dilemma consists in basing imperative logic on analogues of truth and falsity. For example, the imperative “Don’t enter” is satisfied if you don’t enter and is violated if you enter, and one might say that an inference from an imperative premise to an imperative conclusion is valid exactly if the satisfaction (rather than the truth) of the premise guarantees the satisfaction of the conclusion. But before getting into the details, more needs to be said on what exactly imperatives are. (shrink)

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

A study in philosophical methodology aimed at providing a clear view of the scope and limits of philosophical inquiry.

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

The question how to turn the principles implicitly governing the concept of truth into an explicit definition of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth. A surprising 'by-product' of Tarski's effort to bring truth under control was (...) the breathtaking finding that truth is in a precisely defined sense ineffable, that no non trivial language can contain a truth-predicate which would be adequate for the very 4 language. This implied that truth proved itself to be strangely 'language-dependent': we can have a concept of truth-in-L for any language L, but we cannot have a concept of truth applicable to every language. In a sense, this means, as Quine put it, that truth belongs to "transcendental metaphysics", and Tarski's 'scientific' investigations seem to lead us back towards a surprising proximity of some more traditional philosophical views on truth. 3. TARSKI'S THEORY AS A PARADIGM So far Tarski himself. Subsequent philosophers then had to find out what his considerations of the concept of truth really mean and what are their consequences; and this now seems to be an almost interminable task. (shrink)

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

The paper offers a critical examination of a prominent, “quasi-deflationist” argument advanced in the contemporary debate on the semantic paradoxes against non-naive and non-transparent theories of truth. The argument claims that truth unrestrictedly fulfils certain expressive functions, and that its so doing requires the unrestricted validity of naivety and transparency principles. The paper criticises the quasi-deflationist argument by considering some kinds of cases in which transparency and naivety arguably fail. In some such cases truth still fulfils the relevant expressive functions (...) without being transparent or naive; in some other such cases, truth does not fulfil the relevant expressive functions and other conceptual resources must be called upon. Thus, in different ways, all such cases belie the quasi-deflationist argument’s insistence that naivety and transparency should be unrestrictedly valid for truth unrestrictedly to fulfil the relevant expressive functions. There might however be other reasons for solving the semantic paradoxes by revising classical logic, and the paper in effect closes by offering versions of the liar paradox that rely on compelling but opacity-friendly truth-theoretic principles. (shrink)

What is the difference between belief and desire? In order to explain the difference, recent philosophers have appealed to the metaphor of.

I consider the problem of reflective knowledge faced by views that treat sensitivity as a sufficient condition for knowledge, or as a major ingredient of the concept, as in the analysis I advance in Scepticism and Reliable Belief. I present the problem as concerning the correct analysis of SATs — beliefs to the effect that one of my current beliefs is true. I suggest that a plausible analysis of SATs should treat them as neither true nor false when they ascribe (...) truth to a non-existent belief. I argue that the problem is inescapable if we construe SATs as ascribing the property of truth to a belief. Deflationism manages to avoid the problem of reflective knowledge, but it does so by violating alethic priority — the principle that our account of representation must be built on our account of truth. I argue that we can avoid the problem of reflective knowledge while preserving alethic priority with a pragmatist account of truth — according to which truth is explicated in terms of the rules that govern the practice of assessing judgments and related items as true or false. (shrink)

According to a common objection to epistemological naturalism, no empirical, scientific theory of knowledge can be normative in the way epistemological theories need to be. In response, such naturalists as W.V. Quine have claimed naturalized epistemology can be normative by emulating engineering disciplines and addressing the relations of causal efficacy between our cognitive means and ends. This paper evaluates that "engineering reply" and finds it a mixed success. Based on consideration of what it might mean to call a theory "normative," (...) seven versions of the normativity objection to epistemological naturalism are formulated. The engineering reply alone is sufficient to answer only the four least sophisticated versions. To answer the others, naturalists must draw on more resources than their engineering reply alone provides. (shrink)

The view that truth is the norm of assertion has fallen out of fashion. The recent trend has been to think that knowledge is the norm of assertion. Objections to the knowledge view proceed almost exclusively by appeal to alleged counterexamples. While it no doubt has a role to play, such a strategy relies on intuitions concerning hypothetical cases, intuitions which might not be shared and which might shift depending on how the relevant cases are fleshed out. In this paper, (...) I reject the knowledge view on principled grounds. More specifically, by appeal to a principle which is motivated independently of the debate over the norms of assertion and which is already accepted by many proponents of the knowledge view, I show the knowledge view to be false while simultaneously accounting for why it might seem to be true. In doing so, I provide a novel defence of the unfashionable truth view. (shrink)

Abstract: According to deflationism, grasp of the concept of truth consists in nothing more than a disposition to accept a priori (non-paradoxical) instances of the schema:(DS) It is true that p if and only if p.According to contextualism, the same expression with the same meaning might, on different occasions of use, express different propositions bearing different truth-conditions (where this does not result from indexicality and the like). On this view, what is expressed in an utterance depends in a non-negligible way (...) on the circumstances. Charles Travis claims that contextualism shows that ‘deflationism is a mistake’, that truth is a more substantive notion than deflationism allows. In this paper, I examine Travis's arguments in support of this ‘inflationary’ claim and argue that they are unsuccessful. (shrink)

I begin by contrasting two facets of belief: that belief is a response to a sufficiency of evidence and that belief plays a role in one’s representation of reality. I claim that these conceptions of belief are in tension because whilst the latter – Representationalism – requires Logical Coherence of belief the former – Thresholdism – conflicts with Logical Coherence. Thus we need to choose between conceptions. Many have argued that the Preface Paradox supports Thresholdism. In contrast I argue that (...) Representationalism has a more plausible response to the paradox. (shrink)

What the world needs now is another theory of vagueness. Not because the old theories are useless. Quite the contrary, the old theories provide many of the materials we need to construct the truest theory of vagueness ever seen. The theory shall be similar in motivation to supervaluationism, but more akin to many-valued theories in conceptualisation. What I take from the many-valued theories is the idea that some sentences can be truer than others. But I say very different things to (...) the ordering over sentences this relation generates. I say it is not a linear ordering, so it cannot be represented by the real numbers. I also argue that since there is higher-order vagueness, any mapping between sentences and mathematical objects is bound to be inappropriate. This is no cause for regret; we can say all we want to say by using the comparative truer than without mapping it onto some mathematical objects. From supervaluationism I take the idea that we can keep classical logic without keeping the familiar bivalent semantics for classical logic. But my preservation of classical logic is more comprehensive than is normally permitted by supervaluationism, for I preserve classical inference rules as well as classical sequents. And I do this without relying on the concept of acceptable precisifications as an unexplained explainer. The world does not need another guide to varieties of theories of vagueness, especially since Timothy Williamson (1994) and Rosanna Keefe (2000) have already provided quite good guides. I assume throughout familiarity with popular theories of vagueness. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)