In discussing propositional quantifiers we have considered two kinds of variables: variables occupying the argument places of connectives, and variables occupying the argument places of predicates.We began with languages which contained the first kind of variable, i.e., variables taking sentences as substituends. Our first point was that there appear to be no sentences in English that serve as adequate readings of formulas containing propositional quantifiers. Then we showed how a certain natural and illuminating extension of English by prosentences did provide (...) perspicuous readings. The point of introducing prosentences was to provide a way of making clear the grammar of propositional variables: propositional variables have a prosentential character — not a pronominal character. Given this information we were able to show, on the assumption that the grammar of propositional variables in philosopher's English should be determined by their grammar in formal languages (unless a separate account of their grammar is provided), that propositional variables can be used in a grammatically and philosophically acceptable way in philosophers' English. According to our criteria of well-formedness Carnap's semantic definition of truth does not lack an ‘essential’ predicate - despite arguments to the contrary. It also followed from our account of the prosentential character of bound propositional variables that in explaining propositional quantification, sentences should not be construed as names.One matter we have not discussed is whether such quantification should be called ‘propositional’, ‘sentential’, or something else. As our variables do not range over (they are not terms) either propositions, or sentences, each name is inappropriate, given the usual picture of quantification. But we think the relevant question in this context is, are we obtaining generality with respect to propositions, sentences, or something else?Because people have argued that all bound variables must have a pronominal character, we presented and discussed in the third section languages in which the variables take propositional terms as substituends. In our case we included names of propositions, that-clauses, and names of sentences in the set of propositional terms. We made a few comparisons with the languages discussed in the second section. We showed among other things how a truth predicate could be used to obtain generality. In contrast, the languages of the second section, using propositional variables, obtain generality without the use of a truth predicate. (shrink)

There is a well-known gap between metamathematical theorems and their philosophical interpretations. Take Tarski’s Theorem. According to its prevalent interpretation, the collection of all arithmetical truths is not arithmetically definable. However, the underlying metamathematical theorem merely establishes the arithmetical undefinability of a set of specific Gödel codes of certain artefactual entities, such as infix strings, which are true in the standard model. That is, as opposed to its philosophical reading, the metamathematical theorem is formulated (and proved) relative to a specific (...) choice of the Gödel numbering and the notation system. A similar observation applies to Gödel’s and Church’s theorems, which are commonly taken to impose severe limitations on what can be proved and computed using the resources of certain formalisms. The philosophical force of these limitative results heavily relies on the belief that these theorems do not depend on contingencies regarding the underlying formalisation choices. The main aim of this paper is to provide metamathematical facts which support this belief. While employing a fixed notation system, I showed in previous work (_Review of Symbolic Logic_, 2021, 14(1):51–84) how to abstract away from the choice of the Gödel numbering. In the present paper, I extend this work by establishing versions of Tarski’s, Gödel’s and Church’s theorems which are invariant regarding _both_ the notation system and the numbering. This paper thus provides a further step towards absolute versions of metamathematical results which do not rely on contingent formalisation choices. (shrink)

From the popular view that the property of truth adds nothing not already inherent in its bearers it has been inferred that classical theories of truth are thereby refuted. Taking as representative a version of deflationism based on a certain way of interpreting the Tarskian schema convention T–and popularly called "disquotational"–I argue that the view is beset by fatal difficulties. These include: an unavoidable awkwardness in handling indexicals; an inability to accept anything more than a too anemic notion of a (...) truth condition, leaving it defenseless against clearly inadequate alternatives; and an incapacity to show that its characteristic biconditional can support any acceptable dependency claims (made evident by replacing the biconditional with 'because'). Finally, were there no predicate on the order of 'is true', this would not annihilate the property of being true or the current grounds for philosophical inquiries about it. This is an important clue to why deflationary approaches in general are dead ends. (shrink)

Psychology’s emphasis on empirical investigation has long benefited from conceptual developments taking place in its intellectual community, but also from cognate areas in Philosophy. This paper explores the implications for empirical psychology of a recent conceptual proposal advanced within the philosophy of perception by Bence Nanay. In particular, Nanay proposes that “pragmatic representations”, i.e., perceptual representations of the properties of objects necessary for the successful completion of actions, are the rightful target for a success semantics. A success semantics is, roughly (...) speaking, a theory of contents according to which the truth conditions of representations are to be identified with the success conditions of actions guided by the representations. The problem arises for Nanay’s proposal in that the empirical scrutiny of the contents of a pragmatic representation requires that one first ascertains their content, but it is not at all clear whether this could possibly be done given the non-linguistic character of pragmatic representations on the one hand, and the linguistic character of third-personal verbal data acquired through an heterophenomenological methodology on the other. This and other concerns raise worries about the empirical scrutability of Nanay’s proposal. (shrink)

Naturalist theories of representation have been attacked on the grounds of being too liberal on the minimal conditions for intentionality: they treat several states that are not representational as genuine representations. Behind this attack lies the problem of demarcation: what are the minimal conditions for intentionality that a state should satisfy to be genuinely representational? What are the limits of intentionality? This paper develops a dual proposal to solve this problem. First, I defend the explanatory role criterion in order to (...) assess proposals of minimal conditions for intentionality. I start by proposing the success pattern condition: a state represents a given external feature provided that there is a success pattern present in the behavioural output, and the system uses this state as a proxy for the presence of this external feature. However, this condition is not sufficient for minimal intentionality – there are both intentional and non-intentional success patterns. Another minimal condition is, hence, required to draw this distinction. I propose the constancy mechanism condition: a state is representational provided that the system employs a constancy mechanism in its production. The success pattern and constancy mechanism conditions jointly constitute the dual proposal for minimal intentionality. I argue that this proposal is explanatorily justified and, so, properly demarcates the limits of intentionality. (shrink)

ABSTRACT In her paper “On the Nature of Judgment”, published in 1919 in Mind, Dorothy Wrinch aimed at understanding how Russell’s multiple relation theory of judgement might be made to work. In this paper we will focus on Wrinch’s claim that on the theory it is impossible, as it should be, to judge nonsense. After having presented the prima facie objection to the theory created by nonsense and what we can take her solution to such a problem to imply, we (...) will show how Wrinch can resist the two main objections that have been moved to such a solution, whether as explicitly attributed to Wrinch or discussed without mentioning her. The conclusion will be, contrary to what one might be tempted to think, that even if there might be reasons to take the multiple relation theory as doomed, Wrinch was the first to show us that nonsense is not one of those reasons. (shrink)

This essay argues that deflationism is incompatible with the phenomenon of referential indeterminacy. This puts the deflationist in the difficult position of having to deny the possibility of what otherwise seems like a manifest and theoretically important phenomenon. Section 1 provides background on deflationism. Section 2 considers an intuitive argument by Stephen Leeds to the effect that deflationism precludes RI; the essay argues that this argument does not succeed. The rest of the essay presents its own, distinct argument for the (...) incompatibility of deflationism and RI. Section 3 argues that direct RI—RI that is not simply a derivative of some other, nonreferential instance of indeterminacy—is strictly incompatible with deflationism. Section 4 considers a couple of different ways the deflationist might try to achieve indirect RI—via indeterminate identity and indeterminate synonymy—and argues that each is unsatisfactory. (shrink)

A common objection against deflationist theories of truth is that they cannot do justice to the correspondence intuition, i.e. the intuition that there is an explanatory relationship between, for instance, the truth of ‘Snow is white’ and snow's being white. We scrutinize two attempts to meet this objection and argue that both fail. We then propose a new response to the objection which, first, sheds doubt on the correctness of the correspondence intuition and, second, seeks to explain how we may (...) nonetheless have come to have that intuition. (shrink)

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

The semantics of our event talk is a complex affair. What is it that we are talking about when we speak of Brutus’s stabbing of Caesar? Exactly where and when did it take place? Was it the same event as the killing of Caesar? Some take questions such as these to be metaphysical questions. I think they are questions of semantics—questions about the way we talk and about what we mean. And I think that this conflict between metaphysic and semantic (...) concerns is indicative of a “deep indeterminacy” (Bennett’s phrase) in our event concept. We do talk about events; but what events a statement is about is not something that can be inferred from the event names we use; it depends heavily (more heavily than with ordinary material objects) on local context and unprincipled intuitions. This paper illustrates this view in connection with two examples: the phenomenon of vagueness and the dispute over identity statements. (shrink)

The essay which follows is about the relationship between mind and language. Most recent thought about intentionality has it that (i) mental states of individuals are largely, or in the most fundamental cases, independent of social facts about public languages, and (ii) these social facts are derived from, or constituted by, the mental states of individuals. The purpose of this essay is to challenge this individualist orthodoxy (as well as the view of the relationship between mind and action which often (...) accompanies it), and suggest in its place a communitarian picture of intentionality which gives public languages a role to play in the constitution of thought. (shrink)

Descartes famously argued that animals were mere machines, without thought or consciousness. Few would now share this view. But if other animals have conscious lives, what are they like, how do they differ from ours, and how would we ever know anything about them? This lecture will address this question by looking at the kinds of thoughts we might share with animals, and looking at philosophical and empirical arguments for how our thoughts might differ from theirs.

The objective of this dissertation is to write the first pages of the biography of paleobiological data. I will focus on i) the genesis of this kind of data as it emerged in German stratigraphy and paleontology between the mid 19th and the early 20th centuries and ii) how the conceptualization of the paleontological data was reformulated and taken as the starting point for studying the patterns of the diversity of life in deep time between the 1940s and 70s. This (...) is the turning point that marks the ‘coming into being’ of specifically paleobiological data. I will reconstruct in detail how it was possible to transform an incomplete and misleading material object — the fossil record that can be admired in a museum —into a no longer misleading source of knowledge. I will namely describe the genesis of the paleobiological practice by retracing the encounter of two different approaches to the fossil record between the mid 19th and early 20th centuries in German academia and their later diffusion into English-speaking countries. (shrink)

This thesis engages with three topics and the relationships between them: (i) the phenomenon of disagreement (paradigmatically, where one person makes a claim and another denies it); (ii) the normative character of disagreements (the issue of whether, and in what sense, one of the parties is “at fault” for believing something that’s untrue); (iii) the issue of which theory of what truth is can best accommodate the norms relating belief and truth. People disagree about all sorts of things: about whether (...) climate is changing, death penalty is wrong, sushi is delicious, or Louis C.K. is funny. However, even focusing on disagreements in the evaluative domain (e.g., taste, moral and comedic), where people have the intuition that there is ‘no fact of the matter’ about who is right, there are significant differences that require explanation. For instance, disagreement about taste is generally perceived as shallow. People accept to disagree and live comfortably with that fact. By contrast, moral disagreement is perceived as deep and sometimes hard to tolerate. Comedic disagreement is similar to taste. However, it may involve an element of ‘intellectual snobbery’ that is absent in taste disagreement. The immediate questions are whether these contrasts allow of precise characterization and what is responsible for them. I argue that, once a case is made for the truth-aptness of judgments in these areas, the contrast can be explained in terms of variable normative function of truth – as exerting a lightweight normative constraint in the domain of taste and a stricter constraint in the moral domain. In particular I claim that while truth in the moral domain exerts a sui generis deontic control, this normative feature of truth is silent in both the taste and the comedic domains. This leads me to investigate how to conceive of truth in the light of normative variability. I argue that an amended version of deflationism – minimally inflated deflationism – can account for the normative variability of truth. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)

A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. But it's hardly a conceptual or analytical truth that if a glass contains water, then it contains H2O-molecules. Neither is it a priori. The fact that water is composed of H2O-molecules was an empirical discovery made in the eighteenth century. (...) The fact that all bachelors are unmarried was not. But neither is a logical truth, so how do we explain the difference? Two-dimensional semantics is a framework that promises to shed light on these issues. The main purpose of this thesis is to understand and evaluate this framework in relation to various alternatives, to see whether some version of it can be defended. I argue that it fares better than the alternatives. However, much criticism of two-dimensionalism has focused on its alleged inability to provide a proper semantics for certain epistemic operators, in particular the belief operator and the a priori operator. In response to this criticism, a two-dimensional semantics for belief ascriptions is developed using structured propositions. In connection with this, a number of other issues in the semantics of belief ascriptions are addressed, concerning indexicals, beliefs de se, beliefs de re, and the problem of logical omniscience. (shrink)

An axiomatic theory of abstract objects is developed and used to construct models of Plato's Forms, Leibniz's Monads, Possible Worlds, Frege's Senses, stories, and fictional characters. The theory takes six primitive metaphysical notions: object ; n-place relations ,G,...); x,...x exemplify F x...x); x exists ; it is necessary that "); and x encodes F "). Properties and propositions are one place and zero place relations, respectively.objects are objects which necessarily fail to exist E!x"). The two most important proper axioms are (...) that no possibly existing object encodes any properties E!x F)xF)), and for every expressible condition on properties, there is an abstract object which encodes just the properties satisfying the condition x) )), where has no free x's). Semantically, an abstract object encodes a property iff the property is an element of the set of properties correlated with the object. Two abstract objects will be identical just in case they encode the same properties. Abstract objects may exemplify properties as well--being non-red, not having spatial location, etc. ;The models of Forms, Monads, and Possible Worlds consist in: identifying these philosophical entities as different species of abstract objects through definitions of the object language, and either showing that there are consequences of the theory which are reasonable facsimiles of assertions made by important philosophers or showing that there are many interesting theorems which capture our own intuitions about these entities . The model for Frege's Senses consists in: developing a language in which the abstract objects generated by the theory serve as the senses of names and descriptions, and showing that the data may be consistently translated into the language preserving truth. Finally, the model for fictional characters consists in: assigning abstract objects to serve as the denotations of names of stories and characters, and showing that such an assignment allows us to understand how the intuitively true sentences about stories and characters have the truth value that they do. ;The material is structured as follows. In Chapters I, III, and V, the elementary, modal, and typed theories of abstract objects are developed, respectively. In Chapters II, IV, and VI, these theories are applied, respectively. Each of the theoretical chapters is subdivided as follows: 1--The Language; 2--The Semantics; 3--The Logic; and 4--The Proper Axioms. Thus, the proper axioms of the theory are couched in a precisely defined and interpreted language, and the logic allow us to prove the consequences of the theory. (shrink)