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)

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)

This dissertation concerns the foundations of epistemic modality. 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

Primitivists about truth maintain that truth cannot be analysed in more fundamental terms. Defences of primitivism date back to the early years of analytic philosophy, being offered by G.E. Moore, Bertrand Russell, and Gottlob Frege. In more recent years, a number of contemporary philosophers—including Donald Davidson, Ernest Sosa, Trenton Merricks, Douglas Patterson, and Jamin Asay—have followed suit, defending their own versions of primitivism. I'll begin by offering a brief history of primitivism, situating each of these views within the landscape of (...) primitivist truth theories and detailing some of their core motivations and apparent shortcomings. To close the discussion, I'll offer a diagnosis of the prospects of primitivism, focusing on the mystery challenge, which has loomed large throughout the history of primitivist truth theories, and the methodology that should be used in evaluating primitivist (and other) truth theories going forward. (shrink)

Primitivist theories of truth have been defended by some of the luminaries of analytic philosophy, including the early Moore and Russell, Frege, Davidson, and Sosa. In this paper, I take up a contemporary primitivist theory that has been systematically developed throughout a sizeable body of work but has yet to receive sustained critical attention—Jamin Asay's primitivist deflationism. Asay's major ambitions are to defend a novel primitivist account of the concept truth and to harmonise that account with a deflationary theory of (...) the property truth. I will elaborate a thoroughgoing critique of primitivist deflationism, arguing that we have reason to doubt all of the five theses that constitute the view. Along the way, I will also highlight a number of possible escape routes for the primitivist deflationist, explaining how they can make the view more resilient even as they compel us to rework some of its central commitments. (shrink)

In this paper, I briefly outline the notion of a truth-conditional meaning-theory and introduce two prominent problems it faces. The“extensionality problem” arises because not all correct specifications of truth-conditions are meaning-giving. The “explanatory problem”concerns the extent to which truth-conditional meaning-theories can contribute to the task of clarifying the nature of linguistic meaning.The “principle of humanity” is supposed to resolve both issues simultaneously. I argue that it fails to do so.

Many philosophers accept a response constraint on normative reasons: that p is a reason for you to φ only if you are able to φ for the reason that p. This constraint offers a natural way to cash out the familiar and intuitive thought that reasons must be able to guide us, and has been put to work as a premise in a range of influential arguments in ethics and epistemology. However, the constraint requires interpretation and faces putative counter-examples due (...) to Julia Markovits, Mark Schroeder, and others. This paper develops and motivates an interpretation of the response constraint that avoids the putative counter-examples. (shrink)

Charles Travis has developed a distinction between “the historical” and “the conceptual”, which underlies his influential contributions to the philosophy of language and perception. The distinction is based on the observation that there are, for any thought, indefinitely many different circumstances that would render it true. The generality of thoughts and concepts contrasts with the particularity of the sensible world. I challenge the assumption that what exhibits such generality cannot belong to the sensible world. I also defend a version of (...) the claim that perception involves the exercise of conceptual capacities. (shrink)

According to the Dependency Theory, truth asymmetrically depends on the world, in the following sense: true propositions are true because the world makes them true. The Dependency Theory strikes many philosophers as incontrovertible, but in this paper I reject it. I begin by presenting a problem for the Dependency Theory. I then develop an alternative to the Dependency Theory which avoids that problem. This alternative is an immodest Identity Theory of Truth, and I end the paper by responding to Dodd’s (...) charge that immodest Identity Theories are incoherent. (shrink)

In a recent article, Hofweber presents a new, and surprising, argument for idealism. His argument is surprising because it starts with an apparently innocent premiss from the philosophy of language: that ‘that’-clauses do not refer. I do not think that Hofweber's argument works, and my first aim in this paper is to explain why. However, I agree with Hofweber that what we say about ‘that’-clauses has important metaphysical consequences. My second aim is to argue that, far from leading us into (...) idealism, denying that ‘that’-clauses refer is the first step toward a kind of direct realism about belief. (shrink)

In On What Matters, Derek Parfit defends a new metaethical theory, which he calls non-realist cognitivism. It claims that normative judgments are beliefs; that some normative beliefs are true; that the normative concepts that are a part of the propositions that are the contents of normative beliefs are irreducible, unanalysable and of their own unique kind; and that neither the natural features of the reality nor any additional normative features of the reality make the relevant normative beliefs true. The aim (...) of this article is to argue that Parfit’s theory is problematic because its defenders have no resources to make sense of the nature of normative truth, which is an essential element of their view. I do this by showing how the traditional theories of truth are not available for the non-realist cognitivists. (shrink)

I start from Phillips' discussion of Rhees's dissatisfaction with the idea of a language‐game. Then, from a rereading of Moore, I go on to exemplify interconnected uses of the expressions “language‐game,”“recurrent procedure,”“world‐picture,”“formal procedure,”“agreement in judgment,”“genre picture” and “form of life.” The discussion is related to sense perception, our knowledge of time and space, and the picture‐theory. These topics connect with Wittgenstein's earlier treatment of the will – which changed markedly later. The subtext (in footnotes) confronts (i) the sceptical methods of (...) Descartes and Hume with the grammatical methods of Leibniz, Kant and Wittgenstein, and (ii) the realism of Leibniz and the Tractatus with the transcendental idealism of Kant. My conclusion is that, although the method of Wittgenstein's later work remains in a sense grammatical, (i) in its new form it can free us from the conviction that the intellect can and must resolve one way or the other the conflicts that arise in the course of the latter confrontation, and that (ii), although release from such a conviction is to be seen as the aim of philosophical discourse in general, it allows philosophy to retain its overriding significance. A positive element in that lies in the respect the method demands for that in a human life which is transcendental to the activity of scientific theorising: respect, therefore, for the unique perspective of the individual historical agent. (shrink)

Wilfrid Sellars is widely known for two positions that he calls “nominalism.” On the one hand, there is his “psychological nominalism,” according to which any awareness one might have of abstract entities—be they properties, relations, or facts—is a thoroughly linguistic affair, and so cannot be presupposed in thinking about the process of learning a (first) language. On the other hand, there is his ontological nominalism, according to which the world, as it is in itself, is fundamentally a world of concrete (...) particulars and so does not ultimately contain such things as properties, relations, or propositionally-structured facts. Sellars clearly takes these two sorts of “nominalism” to go together. However, one of the most influential inheritors of Sellars's philosophy, Robert Brandom, thinks that they do not. Brandom endorses the former, but denies that the latter “is in the end so much as intelligible.” In this paper, I articulate the connection between Sellars's psychological and ontological nominalism and draw on Brandom's own development of Sellars's functional role semantics to argue, against Brandom, that Sellars's ontological nominalism not only harmonizes with the rest of his philosophical commitments, but is actually made fully intelligible by the very aspect of Sellars's theory that Brandom himself develops. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

ABSTRACTIt has become standard to treat Kant’s characterization of pure apperception as involving the claim that questions about what I think are transparent to questions about the world. By contra...

Parfit denies that the introduction of reasons into our ontology is costly for his theory. He puts forth two positions to help establish the claim: the Plural Senses View and the Argument from Empty Ontology. I argue that, first, the Plural Senses View for ‘exists’ can be expanded to allow for senses which undermine his ontological claims; second, the Argument from Empty Ontology can be debunked by Platonists. Furthermore, it is difficult to make statements about reasons true unless these statements (...) include reference to objects in reality. These arguments show the instability of Parfit’s claimed metaethical advantages over naturalism. [Open access]. (shrink)

The identity conception of truth holds that a thinkable is true just in case it is a fact. As such, it sets itself against correspondence theories of truth, while respecting the substantive role played by truth in respect of enquiry. In this article, I motivate and develop that view, and, in so doing, promote a particular conception of sense. This allows me to defend the view from two substantial criticisms. First, that the identity conception of truth is incoherent in respect (...) of its treatment of objects in the realm of reference, and, second, that it is committed to a view of the world in which ordinary objects have no place. (shrink)

The identity theory of truth takes on different forms depending on whether it is combined with a dual relation or a multiple relation theory of judgment. This paper argues that there are two significant problems for the dual relation identity theorist regarding thought’s answerability to reality, neither of which takes a grip on the multiple relation identity theory.

It is widely believed that the “strong programme” in the sociology of knowledge comes into serious conflict with mainstream epistemology. I argue that the programme has two aspects—one modest, and the other less so. The programme’s modest aspect—best represented by the “symmetry thesis”—does not contain anything to threaten much of the epistemological mainstream, but does come into conflict with a certain kind of epistemological “externalism”. The immodest aspect, however—in the form of “finitism”—pushes the programme towards a radical form of relativism (...) about truth. Accepting these points will allow us to put an end to much unnecessary debate surrounding the strong programme, and allow a more fruitful discussion to begin.Author Keywords: Author Keywords: Strong programme; Epistemology; Normativity; Relativism; Finitism. (shrink)

It is argued that we should distinguish ontic truth––the True––that Frege claimed is sui generis and indefinable, from the semantic concept, for which Tarski provided a definition. Frege’s argument that truth is not definable is clarified and Wittgenstein’s introduction of the distinction between saying and showing is interpreted as an attempted response to Frege’s rejection of the correspondence theory. It is argued that conflicts between realism and Dummettian anti-realism result from their proponents not thoroughly distinguishing between the two closely connected (...) ways of thinking about truth. Last, the distinction is used to clarify and endorse the Fregean claim that all true sentences indicate the True, identified as ontic truth. (shrink)

(2005). The unimportance of being modest: a footnote to McDowell’s note. International Journal of Philosophical Studies: Vol. 13, No. 1, pp. 89-93. doi: 10.1080/0967255042000324362.

The identity theory of truth, according to which true thoughts are identical with facts, is very hard to formulate. It oscillates between substantive versions, which are implausible, and a merely truistic version, which is difficult to distinguish from deflationism about truth. This tension is present in the form of identity theory that one can attribute to McDowell from his views on perception, and in the conception defended by Hornsby under that name.

In this paper I investigate the claim that truth is a relational property. What does this claim really mean? What is its import?—Is it a basic feature of the concept of truth; or a distinctive feature of the correspondence theory of truth; or even both? After introducing some general ideas about truth, I begin by highlighting an ambiguity in current uses of the term ‘relational property’ in the truth debate, and show that we need to distinguish two separate ideas: that (...) truth is a relational property, and that truth is an extrinsic property. I go on to examine what both of these ideas are in more detail, and consider what would need to hold for truth to be in either of these categories. I then discern where all the main competitors in the truth debate stand on these issues. In doing so we learn more about these views and what they entail, and build a general picture of what stances different theories of truth take on whether truth is extrinsic or relational. Moreover, in doing this we will be able to answer one of the questions with which we began: whether truth’s being extrinsic or relational is something that, if accepted, lends support to the correspondence theory of truth. We will see that this is not so, and discern some interesting variations between various theories of truth on the issues of whether truth is extrinsic or relational. Following this we will be in a better position to judge whether the notions of extrinsicality or relationality are basic features of the concept of truth. In the final part of the paper I argue that, even if we are not in a position to conclude that they are basic features, they are features that any prospective theory of truth needs to take seriously. (shrink)

John McDowell has defended a position called minimal empiricism, that aims to avoid the oscillation between traditional empiricism’s commitment to a set of contents working as external justifiers for our system of beliefs and a coherentist position where our thought receives no constraint from the world. We share McDowell’s dissatisfaction with both options, but find his minimal empiricism committed to the idea of a tribunal of experience where isolated contents are infused into our network of inferences. This commitment is prone (...) to sceptical attacks and waters down McDowell’s holism. We propose to retain McDowell’s partial re-enchantment of nature—without appealing to McDowell’s Kantian conception of experience—, and argue that it is sufficient to avoid the oscillation and to make sense of the objectivity of thought. (shrink)

A popular claim in recent philosophy of mind and action is that events only exist once they are over. This has been taken to have the consequence that many temporal phenomena cannot be understood ‘from the inside’, as they are unfolding, purely in terms of events. However, as I argue here, the claim that events exist only when over is incoherent. I consider two ways of understanding the claim and the notion of existence it involves: one that ties existence to (...) the logic of quantification, and another that assimilates the existence of an event to that of a continuant. The first of these, I argue, cannot be the right way to understand the target claim, as there are serious logical obstacles to regarding this notion of existence as temporally variable. The second, on the other hand, leaves it ultimately mysterious what the existence of an event could amount to. I close with the suggestion that the undeniable temporal asymmetries which parties to the debate are interested in are properly understood in perspectival, not ontological, terms. (shrink)

Is there good reason to worry about celebrity involvement in democratic politics? The rise of celebrity politicians such as Donald Trump and Vladimir Zelensky has led political theorists and commentators to worry that the role of expertise in democratic politics has been undermined. According to one recent critique, celebrities possess a significant degree of epistemic power that is unconnected to appropriate expertise. This presents a problem both for deliberative and epistemic theories of democratic legitimacy, which ignore this form of power, (...) and for real existing democracies attempting to meet the standards of legitimacy set out by these theories. But do these critiques apply to democratic elitism? In this paper, we argue that recognition of celebrity epistemic power in fact represents a valuable resource for supporting the legitimacy and practice of democratic elitism, though these benefits do come with certain risks to which elite theories are particularly vulnerable. (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 comprise a materially adequate fragment of the language of thought, and endeavor to show how such algebras provide the resources necessary to resolve Russell's paradox of propositions. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are dually isomorphic. I examine, in particular, 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)

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 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 dual. I examine, in particular, 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)

Thinking and using a language are two different but similar activities. Thinking about thinking and thinking about language use have been two major strands in the history of philosophy. One of the principal similarities is that they are both rational activities. As a result, the ability to think and the ability to use a language require being able to recognise and respond to reasons. However, there is a further feature of these activities: we humans are able to have explicit knowledge (...) of how those activities work and what is done by performances in those activities. Thus, theorists face at least two constraints: 1. An account of a rational activity must be compatible with the possibility of agents engaging in that activity. 2. Having described an activity, it must be possible to have knowledge of an activity which is correctly described like that. There are a variety of accounts of how thinking works and how using a language works, and further variation in accounts of what is involved in explicit understanding of particular performances. These accounts can be distinguished by their views of the nature of the reasons that govern performances in that activity and by their views of the way a description of the activity relates to the way the activity proceeds. I argue that any description of thinking or language use requires showing how the truth conditions of thoughts/sentences are determined, and how the truth values of thoughts/sentences affects the way the activity proceeds. I then argue that in order to have explicit knowledge of what we do, truth has to be a substantial evaluative property of uses of language, and furthermore a truth conditional theory of meaning has to be taken as the description of the rationality of using a language. The big result is that, because in understanding language we understand truth, the philosophy of language is first philosophy. (shrink)