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

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

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)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

Certain anti-realisms about mathematics are distinguished by their taking proof rather than truth as the central concept in the account of the meaning of mathematical statements. This notion of proof which is meaning determining or canonical must be distinguished from a notion of demonstration as more generally conceived. This paper raises a set of objections to Dummett's characterisation of the notion via the notion of a normalised natural deduction proof. The main complaint is that Dummett's use of normalised natural deduction (...) proofs relies on formalisation playing a role for which it is unfit. Instead I offer an alternative account which does not rely on formalisation and go on to examine the relation of proof to canonical proof, arguing that rather than requiring an explicit characterisation of canonical proofs we need to be more aware of the complexities of that relation. (shrink)

Michael Dummett's anti-realism is founded on the semantics of natural language which, he argues, can only be satisfactorily given in mathematics by intuitionism. It has been objected that an analog of Dummett's argument will collapse intuitionism into strict finitism. My purpose in this paper is to refute this objection, which I argue Dummett does not successfully do. I link the coherence of strict finitism to a view of confirmation — that our actual practical abilities cannot confirm we know what would (...) happen if we could compute impracticably vast problems. But to state his case, the strict finitists have to suppose that we grasp the truth conditions of sentences we can't actually decide. This comprehension must be practically demonstrable, or the analogy with Dummett's argument fails. So, our actual abilities must be capable of confirming that we know what would be the case if actually undecidable sentences were true, contradicting the view of confirmation. I end by considering objections. (shrink)

This paper offers a reconstruction of Wittgenstein's discussion on inductive proofs. A "algebraic version" of these indirect proofs is offered and contrasted with the usual ones in which an infinite sequence of modus pones is projected.

Douglas Edwards is arguably the most prominent contemporary advocate of moderate alethic pluralism. Significantly influenced by Crispin Wright and Michael Lynch, his work on the nature of truth has become widely discussed in the topical literature. Edwards labels his version of moderate alethic pluralism determination pluralism. At first blush, determination pluralism appears philosophically promising. The position deserves thoughtful consideration, particularly because of its capacity to accommodate the scope problem. I argue, however, that upon analysis the view is better understood as (...) a form of metaphysical dualism or what I will call meta-dualism. Furthermore, determination pluralists face a dilemma; there appears to be an instability at the core of their dualistic model. On the one horn of the dilemma, they need a clear metaphysical demarcation at the interface of their two necessary domains. On the other horn, they seem to need to a metaphysically vague boundary at the interface of their two necessary domains. Determination pluralism needs substantial revision. (shrink)

According to the argument from moral disagreement, the existence of widespread or persistent moral disagreement is best explained by, and thus supports, the view that there are no objective moral truths. One of the most common charges against this argument is that it “overgeneralises”: it implausibly forces its proponents to also deny the existence of objective truths about certain matters of physics, history, philosophy, etc. (“companions in guilt” objections) or even about the argument’s own conclusion or its own soundness (“self-defeat” (...) objections). My aim in this article is to provide a detailed clarification and assessment of this overgeneralisation charge. Various (mostly empirical) issues relevant to assessing the above objections have so far not been sufficiently investigated. Nevertheless, there are good reasons to believe that realists have exaggerated the significance of their overgeneralisation charge. Both its companions in guilt and its self-defeat versions likely fail. (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)

There is a standard story told about the rise and fall of ordinary language philosophy: it was a widespread, if not dominant, approach to philosophy in Great Britain in the aftermath of World War II up until the early 1960s, but with the development of systematic approaches to the study of language—formal semantic theories on one hand and Gricean pragmatics on the other—ordinary language philosophy more or less disappeared. In this paper we present quantitative evidence to evaluate the standard story (...) of the rise and fall of ordinary language philosophy, building on the topic model of over 30,000 philosophy articles in Weatherson (2022). Using a combination of qualitative judgment and a topic-model-based measurement of similarity between individual articles, we find evidence that supports the first part of the standard story, according to which ordinary language philosophy arises in the 1940s, peaks between the early 1950s and the late 1960s, and then rapidly declines. But we argue that there is also evidence of a "new wave" of ordinary language philosophy in the early 21st century that defies the second part of the standard story. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

In recent years an increasing number of psychologists have begun to explore the prevalence, causes and effects of ordinary people’s intuitions about moral realism. Many of these studies have lacked in construct validity, i.e., they have failed to measure moral realism. My aim in this paper accordingly is to motivate and guide methodological improvements. In analysis of prominent existing measures, I develop general recommendations for overcoming ten prima facie serious worries about research on folk moral realism. G1 and G2 require (...) studies’ answer choices to be as metaethically comprehensive as methodologically feasible. G3 and G4 prevent fallacious inferences from intuitions about related debates. G5 and G6 limit first-order moral and epistemic influences. G7 address studies’ instructions. And G8 and G9 suggest tests of important psychological presuppositions. (shrink)

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

A feature of Frege's philosophy of arithmetic that has elicited a great deal of attention in the recent secondary literature is his contention that numbers are ‘self‐subsistent’ objects. The considerable interest in this thesis among the contemporary philosophy of mathematics community stands in marked contrast to Kreisel's folk‐lore observation that the central problem in the philosophy of mathematics is not the existence of mathematical objects, but the objectivity of mathematics. Although Frege was undoubtedly concerned with both questions, a goal of (...) the present paper is to argue that his success in securing the objectivity of arithmetic depends on a less contentious commitment to numbers as objects than either he or his critics have supposed. As such, this paper is an articulation and defense of both Frege's analysis of arithmetic and Kreisel's observation. (shrink)

Wittgenstein's conception of infinity can be seen as continuing the tradition of the potential infinite that begins with Aristotle. Transfinite cardinals in set theory might seem to render the potential infinite defunct with the actual infinite now given mathematical legitimacy. But Wittgenstein's remarks on set theory argue that the philosophical notion of the actual infinite remains philosophical and is not given a mathematical status as a result of set theory. The philosophical notion of the actual infinite is not to be (...) found in the mathematics of set theory, only in a certain associated philosophy – what Wittgenstein calls a certain kind of “prose”. (shrink)

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Some platonists truly agonize over the ontological commitments which their platonism demands of them. Peter van Inwagen, for example, confesses candidly,I am happy to admit that I am uneasy about believing in the existence of ‘causally irrelevant’ objects. The fact that abstract objects, if they exist, can be neither causes or [sic] effects is one of the many features of abstract objects that make nominalism so attractive. I should very much like to be a nominalist, but I don't see how (...) to be one …. (shrink)

We present a series of arguments for logical nativism, focusing mainly on the meaning of disjunction in human languages. We propose that all human languages are logical in the sense that the meaning of linguistic expressions corresponding to disjunction (e.g. English or , Chinese huozhe, Japanese ka ) conform to the meaning of the logical operator in classical logic, inclusive- or . It is highly implausible, we argue, that children acquire the (logical) meaning of disjunction by observing how adults use (...) disjunction. Findings from studies of child language acquisition and from cross-linguistic research invite the conclusion that children do not learn to be logical—it comes naturally to them. (shrink)

In “Epistemic Modals,” Seth Yalcin argues that what explains the deficiency of sentences containing epistemic modals of the form ‘p and it might be that not-p’ is that sentences of this sort are strictly contradictory, and thus are not instances of a Moore-paradox as has been previous suggested. Benjamin Schnieder, however, argues in his Yalcin’s explanation of these sentences’ deficiency turns out to be insufficiently general, as it cannot account for less complex but still defective sentences, such as ‘Suppose it (...) might be raining.’ Consequently, Schnieder proposes his own, expressivist treatment of epistemic modals which he thinks can explain the deficiency of both the original sentence type as well as more complex cases of embedded sentences containing epistemic modals. In this study, I argue that although Schnieder is right to draw our attention to the explanatory failure of Yalcin’s account, we aren’t forced to adopt Schnieder’s expressivist account of epistemic modals. I defend instead a contextualist-friendly alternative which explains the deficiencies of all the relevant sentence types, while avoiding both the defects of Yalcin’s account and the intuitive costs of expressivism. (shrink)

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (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.

The problem I address is: how are cogent inferences possible? In § 1 I distinguish three senses in which we say that one is “compelled” by an inference: automatic, seductive-rhetorical and epistemic compulsion. Cogency is epistemic compulsion: a cogent inference compels us to accept its conclusion, if we accept its premises and we aim at truth. In §§ 2–3 I argue that cogency is intelligible if we consider an inference as a compound linguistic act in which several component acts are (...) related to one another by a commitment that the premises support the conclusion. Non-automatic inferences are primarily public acts in an intersubjective context. But cogency arises in special contexts described in § 4, epistemic contexts, where the participants care for truth, i.e. are intellectually virtuous. An inference is cogent in an epistemic context if it stands up to all the objections raised in the context. In § 5 I consider three different kinds of cogent inferences. In § 6 I argue that in all three cases cogency is fallible and propose a fallibilist variety of inferentialism. In § 7 I distinguish context of utterance and contexts of evaluation. Cogency is relative to epistemic contexts of evaluation. However, validity, i.e. stable cogency, is transcontextual. (shrink)

The paper focuses on Gottlob Frege’s so called Context Principle (CP hereafter), which counts as one of the most controversial points of his philosophy. Due to its importance and centrality in Frege’s thought, a detailed discussion of the principle requires a detailed analysis of almost all aspects of his philosophy. Obviously, such a task cannot be successfully accomplished here. Thus I limit myself to address only two questions concerning the CP: what role does the principle play (in Grundlagen) and how (...) can we interpret it. Addressing the first problem is required in order to address the second. Most authors interpreted CP from the perspective of Frege’s later distinction between sense and reference, which I will call the ‘semantic interpretation’. Although I accept this perspective as valuable and important, I will initially inverse the action and I will try to approach CP, and generally Grundlagen, in a more natural way, contextually, namely setting them in the initial logicist plan of the Begriffschrift. Finally, I will try to provide an interpretation concerning the alleged conflict between CP and Frege’s compositionality thesis such that they could coherently stay together. (shrink)

RÉSUMÉ: L'objectif de cet article est essentiellement négatif. Suivant en cela Dummett, j'introduis deux manières attrayantes d'interpréter le Sinn original de Frege, que j'appelle respectivement la doctrine du sens privé et la doctrine du sens public. Je montre que ces conceptions ne peuvent être utilisées dans le traitement frégéen de l'oratio obliqua. Il faut donc abandonner soit l'interprétation du Sinn par Dummett, soit le traitement frégéen de l'oratio obliqua.

On the Dummettian understanding, anti-realism regarding a particular discourse amounts to (or at the very least, involves) a refusal to accept the determinacy of the subject matter of that discourse and a corresponding refusal to assert at least some instances of excluded middle (which can be understood as expressing this determinacy of subject matter). In short: one is an anti-realist about a discourse if and only if one accepts intuitionistic logic as correct for that discourse. On careful examination, the strongest (...) Dummettian arguments for anti-realism of this sort fail to secure intuitionistic logic as the single, correct logic for anti-realist discourses. Instead, antirealists are placed in a situation where they fail to be justified in asserting monism (that intuitionistic logic is the unique correct logic). Thus, antirealists seem forced either to accept pluralism (i.e. one or more intermediate logic is at least as `correct’ as intuitionistic logic–an option I take to be unattractive from the anti-realist perspective), or they must be anti-realists about the realism/anti-realism debate (and, in particular, must refuse to assert the instance of excluded middle equivalent to logical monism or logical pluralism). (shrink)

Abstract The paper is concerned with the status of vague predicates. It is argued that they are for the most part ?classifiers?, which are covertly comparatives and name not monadic properties but relations. The Sorites Paradox, it is claimed, is thus defused and a verdict theory of vague predicates is presented. Our practice in using vague words is described and it is contended that in our use of these predicates we always have a permanent possibility of independent demarcation. Wittgenstein's picture (...) of the wall and the swamp is deployed to avoid the Transition Problem and it is argued against Fregeans that we need vague language for the advancement of knowledge and understanding. (shrink)

Amongst those views sometimes attributed to the later Wittgenstein are included both a deflationary theory of truth, as well as a non-factualism about certain regions of discourse. Evidence in favor of the former attribution, it is thought, can be found in Wittgenstein’s apparent affirmation of the basic definitional equivalence of ‘p’ is true and p in §136 of his Philosophical Investigations. Evidence in favor of the latter attribution, it might then be presumed, can be found in the context of the (...) so-called ‘private language argument’, wherein Wittgenstein provides an expressivist treatment of first-person present tense sensation utterances. In this paper, by contrast, I will argue that Wittgenstein’s later philosophy is best understood as endorsing neither a non-factualism about sensation utterances, nor a deflationism about truth. Wittgenstein should instead be understood as offering a ‘mixed’ view of sensation utterances according to which some while not others are apt for expressivist treatment. Moreover, he should be thought of as identifying truth-conditions with semantic ‘correctness-conditions’, and thus truth with semantic ‘assertibility’. (shrink)

There is an incompatibility between the deflationist approach to truth, which makes truth transparent on the basis of an antecedent grasp of meaning, and the traditional endeavour, exemplified by Davidson, to explicate meaning through of truth. I suggest that both parties are in the explanatory red: deflationist lack a non-truth-involving theory of meaning and Davidsonians lack a non-deflationary account of truth. My focus is on the attempts of the latter party to resolve their problem. I look in detail at Davidson's (...) more recent work and suggest that it seeks to articulate a primitive notion of truth that may balance between a notion that collapses into deflationism and one that is wholly subsumed under a general theory of interpretation. I conclude that this tightrope walk is ultimately unsuccessful. Equally, however, some reasons are provided for thinking that deflationism might be equally unsuccessful with its problem. 'Truth or meaning?' remains an open question. (shrink)

A criticism is offered of the chief argument employed by Davidson to debunk the notion of “metaphorical meaning”, which exploits the static nature of standard truth-conditional semantics. We argue, first, that Davidson's argument fails, and go on to suggest, secondly, that truth-conditional semantics would profit if the static feature were abandoned and were replaced by a processual, dynamic conception of meaning. We try to show that this processual aspect can be captured without making the ensuing semantic theory open to the (...) charge of psychologism. (shrink)

The object of this paper is to show why recent research in the psychology of deductive and probabilistic reasoning does not have.