# On Truth At Jeffrey C. King Rutgers University

Size: px
Start display at page:

Transcription

1 On Truth At Jeffrey C. King Rutgers University I. Introduction A. At least some propositions exist contingently (Fine 1977, 1985) B. Given this, motivations for a notion of truth on which propositions can be true at worlds according to which they don t exist. 1. (Fine 1977) Some propositions seem to correctly (partly) characterize worlds in which they don t exist. a. The proposition that Will Ferrell doesn t exist and a deprived Ferrell-less world. 2. (Adams 1981, King 2007) The following seems true to most of us: 1. It is possible that Will Ferrell didn t exist. a. But for 1 to be true, the proposition that Will Ferrell doesn t exist must be true according to some possible world w. 3. (Stalnaker 2009) Possible worlds are maximal, which requires that for any world w and any proposition p, either p or ~p is true according to w. a. Consider a proposition p that fails to exist at some world w. b. Plausible to think ~p doesn t exist at w either. c. But since w is maximal, either p or ~p is true according to w. C. I ll call the notion of truth according to which propositions can be true according to worlds where they don t exist truth at; I ll use true in for the notion of truth according to which propositions must exist at worlds to be true there. D. In King (2007) I defended a novel account of propositions. 1. On the view defended there, it seems likely that all propositions exist contingently. E. Other theoretical commitments 1. Actualism the actual world exhausts all that there is. 2. Serious actualism: an entity possesses a property at a world w only if it exists at w F. The Plan 1

2 1. State my account of propositions. 2. Explain why propositions exist contingently on that view. 3. Discuss some features we want truth at to have. 4. Formulate my account of truth at and discuss some of its consequences. II. A Theory of Propositions A. Motivation for the theory 1. Perhaps the most common view of propositions is that they are eternal, abstract entities that by their very nature and independently of all minds and languages represent the world as being a certain way and so have truth conditions. 2. I cannot accept this view. 3. Having decided that propositions can t be the sorts of things that represent/have truth conditions by their very natures and independently of minds and languages, one can either reject propositions altogether or construct an account of propositions on which they were somehow endowed with their representational capacities. a. Given the many jobs propositions perform in philosophy, I set out to do the latter. b. I call the resulting account an account of naturalized propositions. B. Statement of the theory 1. An object possessing a property, n objects standing in an n-place relation, n properties standing in an n-place relation and so on are all facts. a. If an object o possesses the property P, there is a fact of o possessing P. 1 If not, there is no such fact. 2. I claim propositions are certain kinds of facts. a. If a proposition is true, it is made true by a fact (or facts) distinct from it. b. So, for example, the fact that is the proposition that Rebecca swims is distinct from the fact of Rebecca swimming and the latter makes the former true. 1 I am purposely using this rather unwieldy expression a/the fact of o possessing P, as I also did in King (2007), to avoid saying the fact that o possesses P. The latter expression is an expression of ordinary English and it is a substantive claim that the English expressions beginning the fact that designate what I am calling facts here. Hence I don t want to use these expressions. 2

4 a. First, in so far as one finds serious actualism intuitively compelling, one finds it intuitively plausible to think that it is correct to deny that an object possesses a property or stands in a relation at a world according to which it doesn t exist. i. This, in turn, suggests that a proposition that denies that an object possesses a property or stands in a relation ought to be true at a world according to which the object doesn t exist. ii. And it is plausible to think that Not[Ra 1,,a n ] denies that a 1,,a n (in that order) stand in R. ii. But then it should be true at a world according to which at least one of a 1,,a n fails to exist. b. Second, intuitively, it just seems as though the propositions that Socrates doesn t exist, that Socrates isn t tall and so on are true at worlds where Socrates doesn t exist. c. Third, and related to this, counterfactuals such as the following intuitively seem true: 2. If I hadn t existed, I wouldn t have been six feet tall. i. Assuming that the truth of such counterfactuals requires the consequent to be true at (some range of ) worlds where the antecedent is, the truth of such counterfactuals seems to require that the proposition that I am not six feet tall is true at worlds according to which I don t exist. 3 IV. Adams on truth at and propositions of the form applep or p, where p is a singular proposition about o. A. Adams claims that any proposition of the form applep or p, where p is a singular proposition about o, is false at any world w according to which o doesn t exist. 1. As Adams himself recognizes, this has many unfortunate consequences. a. For example, consider the following proposition: (3) Not[Bush exists] Not[Bush exists] 2. So why does Adams adopt the view that any proposition of the form p or applep, where p is a singular proposition about o, is false at worlds where o doesn t exist? 3 Not to mention requiring that the proposition that I don t exist is true at worlds according to which I don t exist, (the counterfactual hardly seems vacuously true!). Note that if this is correct, counterfactuals invoke true at in the sense that for a counterfactual to be true, the proposition expressed by its consequent must be true at (some range of) worlds at which the proposition expressed by its antecedent is true. 4

6 world where it doesn t exist; but a proposition of the form of (5) where Ψ is a property (and so Ψ(o) is atomic) can be true at a world where o doesn t exit. iii. So by Adams lights (5) asserts that o lacks a property rather than ascribing the property of non-ψ-ing to o. But then Adams need to explain why (4), unlike (5), does attribute a property (again, presumably the property of possibly Ψ-ing) to o. c. Second problem (related to previous point): it is at least a little odd to claim that while propositions of the form (5) need not ascribe properties to o, the results of embedding them under a modal element must: (6) Not[Ψ(o)] i. Surely we should be told why the modal element has this effect. ii. After all, in the case of negation, we do have an explanation of why a complex proposition consisting of negation embedding a singular proposition about o need not ascribe a property to o. Such a proposition may require for its truth at a world merely that o fails to possess a property. iii. But what is the account of why embedding a singular proposition that doesn t ascribe a property to o under a modal element yields a proposition that does ascribe a property to o? Some explanation of this should be given. C. Adams second reason for thinking that propositions of the form p and applep, where p is a singular proposition about o, are false at worlds where o doesn t exist. 1. Adams thinks that such propositions ascribe properties to the proposition that p. 2. I assume he means that a proposition of the form (4) Ψ(o) where Ψ(o) is a singular proposition about o, attributes to Ψ(o) the property of being possible. 3. If that s right, the truth of the proposition Ψ(o) at a world w requires Ψ(o) to possess this property there, in violation of serious actualism. 4. Problems with Adams second reason for thinking that propositions of the form applep or p, where p is a singular proposition about o, are false at any world w according to which o doesn t exist. a. Consider again the case of negation and the proposition that Adams doesn t exist: 6

8 3. Third, we took the intuitive truth of counterfactuals like If Socrates hadn t existed, he wouldn t have been tall to be evidence that the proposition that Socrates isn t tall is true at worlds where Socrates doesn t exist. B. The same three reasons can be given in the present case. 1. First, for the proposition that possibly Socrates exists to be true at w the proposition that Socrates exists must be true at some w. This doesn t seem to require Socrates to exist or possess any properties at w at all! Hence, we have an intuitive account of how the proposition that possibly Socrates exists can be true at a world w where Socrates doesn t exist that is consistent with serious actualism. 2. Second, when we ask whether the proposition that it is possible that Socrates exists is true at worlds where he doesn t exist, again intuitively the answer is yes. But then, just as in the case of the proposition that Socrates doesn t exist, this is at least some reason to think that the proposition really is true at such a world. 3. Third, consider the following counterfactual: 9. If Socrates hadn t existed, it would have (still) been possible that he existed. Such counterfactuals again strike people as true. But their truth presumably requires the proposition that it is possible that Socrates existed to be true at worlds where Socrates and the proposition that Socrates exists don t exist. So here again the truth of 9 provides some evidence that the proposition that it is possible that Socrates exists is true at worlds according to which he doesn t exist. C. To square the conclusion that the proposition that possibly Socrates exists can be true at a world w where Socrates doesn t exist with serious actualism, we have to say that this proposition being true at such a world doesn t require Socrates or the proposition that Socrates exists to possess an properties at w. 1. In particular, it doesn t require Socrates to possess the property of possibly existing at w and it doesn t require the proposition to possess the property of being possible at w. 2. But something similar has to be said in the case of the proposition that Socrates doesn t exist. a. It can be true at a world w without Socrates possessing the property of nonexistence at w and without the proposition that Socrates exists possessing the property of not being the case at w. 3. Finally, it is worth noting that our intuitions regarding the proposition that Socrates doesn t exist and the proposition that possibly Socrates exists contrast sharply with our intuitions regarding propositions that do require Socrates or the proposition that Socrates exists to possess properties in order to be true at a world. 8

9 a. Intuitively, we think the proposition that Socrates doesn t exist and the proposition that possibly Socrates exists are true at a world where Socrates doesn t exist. b. Intuitively, we do not think the proposition that Socrates is snubnosed or the proposition that Plato believes Socrates exists are true at such a world. D. In short, the serious actualist who thinks that singular propositions about Socrates don t exist at worlds where Socrates doesn t exist should hold that the propositions that Socrates doesn t exist and that possibly Socrates exists are on par in relevant respects. To the extent that you, like me, think the former should be true at worlds where Socrates doesn t exist, you should think the latter should be as well. VI. Preliminaries to the definition of truth at A. Possible worlds 1. I take merely possible worlds to be uninstantiated, maximal properties that the universe could have had. a. The modality here is primitive. b. As to maximality, the natural idea is to begin with all properties the universe could have had. i. Call these world properties. ii. Say that a world property p necessitates a world property q iff it is impossible for p to be instantiated and q not be instantiated. A world property p antinecessitates a world property q iff it is impossible for p to be instantiated and for q to be instantiated. 5 Again here, the modality is primitive. iii. A maximal world property p is one such that for any world property q, p necessitates or anti-necessitates q. 2. The properties that I take to be possible worlds exist uninstantiated in the actual world. a. Hence, the existence of possible worlds is compatible with actualism: the uninstantiated properties that are possible worlds exist in the actual world. 5 The characterizations of world properties necessitating and anti-necessitating other world properties bear an obvious resemblance to Plantinga s (1976) characterizations of states of affairs including and precluding each other. 9

10 b. Of course, propositions exist in the actual world as well. c. In attempting to characterize a relation between propositions and possible worlds---the truth at relation we are attempting to characterize a relation that obtains between propositions and worlds in the actual world. B. I ll adopt the view that a proposition of the form [Ra 1,,a n ] (where R is an n- place relation) is false, and its negation is true, at a world according to which at least one of a 1,,a n doesn t exist. C. As I said in discussing Adams, I ll also hold that propositions of the form p and applep, where p is a singular proposition about o, can be true at worlds where o doesn t exist. D. Worlds w according to which something is F, though there is no (actual) individual o such that according to w o is F. 1. Though my father Richard has no brother, he might have had one. So according to some possible world w, Richard has a brother. 2. Assume again that nothing in the actual world could have been Richard s brother. 3. Then the fact that Richard has a brother according to w cannot be the result of some actual thing having the property of being Richard s brother according to w. 4. So how is it that Richard has a bother according to w? a. On views like Adams (1981) or Stalnaker s (2008a, 2008b), where possible worlds are sets of propositions, it is easy for w to do this. b. But how is it that worlds construed as I construe them as maximal properties the world might have had are such that according to them Richard has a brother? c. Let s say in such a case that the world depicts Richard having a brother. d. Presumably, worlds depict Richard having a brother by depicting a bunch of properties being jointly instantiated and depicting the thing that instantiates these properties as bearing relations to other things. i. On this picture, worlds depict actual individuals as possessing properties and standing in relations and also depict bunches of properties being jointly instantiated (and represent the joint instantiater as bearing relations to other things) without depicting any (actual) object as instantiating these properties (and bearing relations to other things). ii. For example, a world might depict the properties P, Q and the relational property Ra (where R is a two-place relation) as standing in the relation of joint instantiation. 10

11 5. On my view of properties and possible worlds as properties the universe might have had, the properties that are worlds are quite complex and have lots of parts. 6 a. For example, any world that depicts humans existing has the property of being human as a part; and any world that depicts me as existing has me as a part. Similarly, when a world depicts a nonactual individual as existing by depicting properties as jointly instantiated and relations as obtaining, there is a part of the world that does this depicting (which itself is complex and has the properties it depicts as instantiated and the relations it depicts as obtaining as parts). b. Call these parts of worlds, whereby nonactual individuals are depicted by depicting properties as jointly instanced, relations as obtaining, etc. faux individuals. c. When a world depicts a faux individual by depicting properties being jointly instantiated and relations obtaining, I ll say the world depicts the faux individual as possessing the properties and standing in the relations. d. I assume faux individuals are world bound; no faux individual in one world is the same faux individual as a faux individual in another world. VII. A definition of truth at A. Suppose our language contains n-place predicates ('A', 'B', with or without numerical subscripts) for all n>0; individual variables ('x','y', with or without numerical subscripts) and names ('a','b','c', with or without numerical subscripts). 1. Assume our languages also contains the one-place sentential connective ~ ;the twoplace sentential connective & ; the determiners 'every' and 'some'; and the operator possibly. 2. The syntax is as follows: 1. If δ is a determiner, α is a variable and Σ is a formula containing free occurrences of α [δασ] is a quantifier phrase. 2. If Π is an n-place predicate and α 1,...,α n are names or variables, [Πα 1,...,α n ] is a formula. 3. If Ω is a quantifier phrase and Σ is a formula, then [ΩΣ] is a formula. 4. If Ψ and Φ are formulas, so are [Φ] and [Φ&Ψ]. 6 This view of some properties and relations being complex and having other properties and relations as parts is discussed in King (2007), especially Chapter 7. 11

12 5. If Φ is a formula, so is possibly[φ]. Sentences are formulae with no free variables. B. Formulae express propositional frames as follows: 1. The propositional frame expressed by [Πα 1,...,α n ] is [Π * α 1 *,...,α n * ], where Π * is the n-place relation expressed by Π; α i * (1<i<n) is the bearer of α i if α i is a name, and α i itself if α i is a variable. 2. The propositional frames expressed by ~Σ and [Σ&Ψ] are NOT[Σ ] and [Σ AND Ψ ], respectively, where NOT and AND are the truth functions expressed by ~ and &, respectively; and Σ, Ψ are the propositional frames expressed by Σ and Ψ, respectively. 3. The propositional frame expressed by [[δξσ]ψ] (where ξ is a variable) is [[δ ξσ ]Ψ ], where Σ, Ψ are the propositional frames expressed by Σ, Ψ respectively; and δ * is the semantic value of δ. 4. The propositional frame expressed by possibly[σ] is POSSIBLY[Σ ], where Σ is the propositional frame expressed by Σ and POSSIBLY is a function that maps a proposition S and world w to true iff for some w, S is true at w. 5. I call these propositional frames because they include things expressed by formulae containing free variables. Propositions are propositional frames containing no free variable. D. Assume we have a set W of possible worlds and for every w ε W, we have the domain D w of (non-faux) individuals that exist according to w. 1. Further, assume that for each world w, we have functions that assign individuals in D w or faux individuals that exist according to w to variables and assign individuals to themselves For a world w, let g w be such a function. Also, let Θ, Ξ, Ω be propositional frames, R be an n-place relation (1< n), e 1,,e n be individuals or variables, ξ be a variable, EVERY and SOME be the semantic values of every and some, and POSSIBLY as above. 3. Then g w satisfies a propositional frame Ξ relative to w iff 7 Since faux individuals are complex parts of worlds, there is nothing odd about functions assigning them to variables. However, note that g w assigns to variables only faux individuals that exist according to w. As I said above, I view faux individuals as world bound and so I don t try to say under what conditions a faux individual in w is the same faux individual as a faux individual in another world w. 12

13 1. Ξ = [R e 1,,e n ]: w depicts g w (e 1 ), g w (e n ) in that order standing in R. 2. Ξ = NOT[Ω]: g w fails to satisfy Ω relative to w. 3. Ξ = [Θ AND Ω]: g w satisfies both Θ and Ω relative to w. 4. Ξ = [[SOME ξ Ω] Θ]: some g w that differs from g w at most on what it assigns to ξ satisfies Ω and Θ relative to w. (similar clause for [[EVERY ξ Ω] Θ]) 5. Ξ = POSSIBLY[Ω]: for some w and some g w that agrees with g w on all the free variables in Ω, g w satisfies Ω relative to w. 8 Finally, a proposition X is true at w iff every function g w satisfies X relative to w; otherwise, it is false at w. VIII. But what about McMichael (1983)? A. Consider the following sentence: 10. It is possible that Richard King should have had a brother who was a lawyer but might not have been a lawyer. 10a. x(rx & Lx & ~Lx) 1. On standard semantic approaches, the truth of 10 in the actual world requires there to be a possible world w containing an individual o who is Richard s brother and a lawyer and for there to be another world w in which o fails to be a lawyer. 2. The problem is that for the actualist, there are no merely possible (i.e. possible and non-actual) individuals. 3. Hence, assuming, as before, that no actual person could have been my father s brother, there is no w that contains an individual o that is a lawyer and Richard s brother. 4. Of course, on my view, there will be a world that depicts the properties of being Richard King s brother and being a lawyer as jointly instantiated. a. And that there is such a world containing such a faux individual makes the following sentence true: 11. It is possible that Richard King should have had a brother who was a lawyer. 8 See previous note. If g w assigns a faux individual in w to some variable in Ω, then for w w, g w cannot agree with g w on all variables in Ω. 13

14 5. But for 10 to be true we would have to be able to make sense of the faux individual in w that makes11 true existing in some w ( w) and not being a lawyer there. 6. Nothing in the machinery I have sketched does this. Hence, the proposition expressed by 10 is false for all I ve said to this point. B. I am inclined to think that the actualist should accept this conclusion. 1. That 10 is false is something we learn when we learn that actualism is true. 2. Though there might have been things that aren t actual in the sense that merely possible worlds depict properties being jointly instantiated without depicting any actual object instantiating them, it is just false to say that such things might have been different from the way such worlds depict them as being. C. However, one might also try to explain why 10 seems true by claiming that it aims at a true claim in the vicinity. 1. What s true is that if certain merely possible worlds, say w, had been actual, there would have been individuals who aren t in fact actual; and had that been so, these individuals might have been different from the way there are in w. 14

### 1. Introduction. Against GMR: The Incredulous Stare (Lewis 1986: 133 5).

Lecture 3 Modal Realism II James Openshaw 1. Introduction Against GMR: The Incredulous Stare (Lewis 1986: 133 5). Whatever else is true of them, today s views aim not to provoke the incredulous stare.

### The Metaphysics of Propositions. In preparing to give a theory of what meanings are, David Lewis [1970] famously wrote:

The Metaphysics of Propositions In preparing to give a theory of what meanings are, David Lewis [1970] famously wrote: In order to say what a meaning is, we must first ask what a meaning does, and then

### Comments on Truth at A World for Modal Propositions

Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into

### Theories of propositions

Theories of propositions phil 93515 Jeff Speaks January 16, 2007 1 Commitment to propositions.......................... 1 2 A Fregean theory of reference.......................... 2 3 Three theories of

### On possibly nonexistent propositions

On possibly nonexistent propositions Jeff Speaks January 25, 2011 abstract. Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition

### On Possibly Nonexistent Propositions

Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. LXXXV No. 3, November 2012 Ó 2012 Philosophy and Phenomenological Research, LLC On Possibly Nonexistent Propositions

### Propositions as Cambridge properties

Propositions as Cambridge properties Jeff Speaks July 25, 2018 1 Propositions as Cambridge properties................... 1 2 How well do properties fit the theoretical role of propositions?..... 4 2.1

### A Defense of Contingent Logical Truths

Michael Nelson and Edward N. Zalta 2 A Defense of Contingent Logical Truths Michael Nelson University of California/Riverside and Edward N. Zalta Stanford University Abstract A formula is a contingent

### Resemblance Nominalism and counterparts

ANAL63-3 4/15/2003 2:40 PM Page 221 Resemblance Nominalism and counterparts Alexander Bird 1. Introduction In his (2002) Gonzalo Rodriguez-Pereyra provides a powerful articulation of the claim that Resemblance

### 16. Universal derivation

16. Universal derivation 16.1 An example: the Meno In one of Plato s dialogues, the Meno, Socrates uses questions and prompts to direct a young slave boy to see that if we want to make a square that has

### An alternative understanding of interpretations: Incompatibility Semantics

An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.

### 10. Presuppositions Introduction The Phenomenon Tests for presuppositions

10. Presuppositions 10.1 Introduction 10.1.1 The Phenomenon We have encountered the notion of presupposition when we talked about the semantics of the definite article. According to the famous treatment

### Why the Traditional Conceptions of Propositions can t be Correct

Why the Traditional Conceptions of Propositions can t be Correct By Scott Soames USC School of Philosophy Chapter 3 New Thinking about Propositions By Jeff King, Scott Soames, Jeff Speaks Oxford University

### Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014

Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional

### Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying

### Possibility and Necessity

Possibility and Necessity 1. Modality: Modality is the study of possibility and necessity. These concepts are intuitive enough. Possibility: Some things could have been different. For instance, I could

### Philosophy 125 Day 21: Overview

Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 21: Overview 1st Papers/SQ s to be returned this week (stay tuned... ) Vanessa s handout on Realism about propositions to be posted Second papers/s.q.

### Generalizing Soames Argument Against Rigidified Descriptivism

Generalizing Soames Argument Against Rigidified Descriptivism Semantic Descriptivism about proper names holds that each ordinary proper name has the same semantic content as some definite description.

### Nature of Necessity Chapter IV

Nature of Necessity Chapter IV Robert C. Koons Department of Philosophy University of Texas at Austin koons@mail.utexas.edu February 11, 2005 1 Chapter IV. Worlds, Books and Essential Properties Worlds

### Presuppositions (Ch. 6, pp )

(1) John left work early again Presuppositions (Ch. 6, pp. 349-365) We take for granted that John has left work early before. Linguistic presupposition occurs when the utterance of a sentence tells the

### TWO VERSIONS OF HUME S LAW

DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY

### Truth At a World for Modal Propositions

Truth At a World for Modal Propositions 1 Introduction Existentialism is a thesis that concerns the ontological status of individual essences and singular propositions. Let us define an individual essence

### What is the Frege/Russell Analysis of Quantification? Scott Soames

What is the Frege/Russell Analysis of Quantification? Scott Soames The Frege-Russell analysis of quantification was a fundamental advance in semantics and philosophical logic. Abstracting away from details

### This paper is about avoiding commitment to an ontology of possible worlds with two primitives:

Modal quantification without worlds 1 Billy Dunaway University of Michigan, Ann Arbor June 27, 2012 Forthcoming in Oxford Studies in Metaphysics, vol. 8 This paper is about avoiding commitment to an ontology

### From Necessary Truth to Necessary Existence

Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing

### Is mental content prior to linguistic meaning?

Is mental content prior to linguistic meaning? Jeff Speaks September 23, 2004 1 The problem of intentionality....................... 3 2 Belief states and mental representations................. 5 2.1

### II RESEMBLANCE NOMINALISM, CONJUNCTIONS

Meeting of the Aristotelian Society held at Senate House, University of London, on 22 October 2012 at 5:30 p.m. II RESEMBLANCE NOMINALISM, CONJUNCTIONS AND TRUTHMAKERS The resemblance nominalist says that

### Quantificational logic and empty names

Quantificational logic and empty names Andrew Bacon 26th of March 2013 1 A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On

### Privilege in the Construction Industry. Shamik Dasgupta Draft of February 2018

Privilege in the Construction Industry Shamik Dasgupta Draft of February 2018 The idea that the world is structured that some things are built out of others has been at the forefront of recent metaphysics.

### To appear in Philosophical Studies 150 (3): (2010).

To appear in Philosophical Studies 150 (3): 373 89 (2010). Universals CHAD CARMICHAEL Stanford University In this paper, I argue that there are universals. I begin (section 1) by proposing a sufficient

### Facts and Free Logic. R. M. Sainsbury

R. M. Sainsbury 119 Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and the property of barking.

### Facts and Free Logic R. M. Sainsbury

Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and

### Stout s teleological theory of action

Stout s teleological theory of action Jeff Speaks November 26, 2004 1 The possibility of externalist explanations of action................ 2 1.1 The distinction between externalist and internalist explanations

### A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic 1. Introduction The concern here is criticism of the Kripkean representation of modal, logical truth as truth at the actual-world

### Some proposals for understanding narrow content

Some proposals for understanding narrow content February 3, 2004 1 What should we require of explanations of narrow content?......... 1 2 Narrow psychology as whatever is shared by intrinsic duplicates......

### Unnecessary Existents. Joshua Spencer University of Wisconsin-Milwaukee

Unnecessary Existents Joshua Spencer University of Wisconsin-Milwaukee 1. Introduction Let s begin by looking at an argument recently defended by Timothy Williamson (2002). It consists of three premises.

### Transworld Identity or Worldbound Individuals? by Alvin Plantinga (excerpted from The Nature of Necessity, 1974)

Transworld Identity or Worldbound Individuals? by Alvin Plantinga (excerpted from The Nature of Necessity, 1974) Abstract: Chapter 6 is an attempt to show that the Theory of Worldbound Individuals (TWI)

### ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,

### Review of "The Tarskian Turn: Deflationism and Axiomatic Truth"

Essays in Philosophy Volume 13 Issue 2 Aesthetics and the Senses Article 19 August 2012 Review of "The Tarskian Turn: Deflationism and Axiomatic Truth" Matthew McKeon Michigan State University Follow this

### THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the

THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally

### Broad on Theological Arguments. I. The Ontological Argument

Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that

### Propositions as Cognitive Event Types

Propositions as Cognitive Event Types By Scott Soames USC School of Philosophy Chapter 6 New Thinking about Propositions By Jeff King, Scott Soames, Jeff Speaks Oxford University Press 1 Propositions as

### Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): 47 54. Abstract: John Etchemendy (1990) has argued that Tarski's definition of logical

### Reply to Kit Fine. Theodore Sider July 19, 2013

Reply to Kit Fine Theodore Sider July 19, 2013 Kit Fine s paper raises important and difficult issues about my approach to the metaphysics of fundamentality. In chapters 7 and 8 I examined certain subtle

### Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

### Comments on Saul Kripke s Philosophical Troubles

Comments on Saul Kripke s Philosophical Troubles Theodore Sider Disputatio 5 (2015): 67 80 1. Introduction My comments will focus on some loosely connected issues from The First Person and Frege s Theory

### ACTUALISM AND THISNESS*

ROBERT MERRIHEW ADAMS ACTUALISM AND THISNESS* I. THE THESIS My thesis is that all possibilities are purely qualitative except insofar as they involve individuals that actually exist. I have argued elsewhere

### Can Negation be Defined in Terms of Incompatibility?

Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Abstract Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus primitives

### Necessity. Oxford: Oxford University Press. Pp. i-ix, 379. ISBN \$35.00.

Appeared in Linguistics and Philosophy 26 (2003), pp. 367-379. Scott Soames. 2002. Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity. Oxford: Oxford University Press. Pp. i-ix, 379.

### That -clauses as existential quantifiers

That -clauses as existential quantifiers François Recanati To cite this version: François Recanati. That -clauses as existential quantifiers. Analysis, Oldenbourg Verlag, 2004, 64 (3), pp.229-235.

### Varieties of Apriority

S E V E N T H E X C U R S U S Varieties of Apriority T he notions of a priori knowledge and justification play a central role in this work. There are many ways in which one can understand the a priori,

### Pronominal, temporal and descriptive anaphora

Pronominal, temporal and descriptive anaphora Dept. of Philosophy Radboud University, Nijmegen Overview Overview Temporal and presuppositional anaphora Kripke s and Kamp s puzzles Some additional data

### Truth and Disquotation

Truth and Disquotation Richard G Heck Jr According to the redundancy theory of truth, famously championed by Ramsey, all uses of the word true are, in principle, eliminable: Since snow is white is true

### Bertrand Russell Proper Names, Adjectives and Verbs 1

Bertrand Russell Proper Names, Adjectives and Verbs 1 Analysis 46 Philosophical grammar can shed light on philosophical questions. Grammatical differences can be used as a source of discovery and a guide

### Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6

Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6 1 6.7 Presuppositional quantifier phrases 2 6.7.1 Both and neither (1a) Neither cat has stripes. (1b) Both cats have stripes. (1a) and

### Act individuation and basic acts

Act individuation and basic acts August 27, 2004 1 Arguments for a coarse-grained criterion of act-individuation........ 2 1.1 Argument from parsimony........................ 2 1.2 The problem of the relationship

### ACTUALIST COUNTERPART THEORY * Jennifer Wang Stanford University Forthcoming in Journal of Philosophy

ACTUALIST COUNTERPART THEORY * Jennifer Wang Stanford University Forthcoming in Journal of Philosophy Here are two different ways of talking about other possibilities. The first involves using the explicitly

### VAGUENESS. Francis Jeffry Pelletier and István Berkeley Department of Philosophy University of Alberta Edmonton, Alberta, Canada

VAGUENESS Francis Jeffry Pelletier and István Berkeley Department of Philosophy University of Alberta Edmonton, Alberta, Canada Vagueness: an expression is vague if and only if it is possible that it give

### Russell: On Denoting

Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of

### Millian responses to Frege s puzzle

Millian responses to Frege s puzzle phil 93914 Jeff Speaks February 28, 2008 1 Two kinds of Millian................................. 1 2 Conciliatory Millianism............................... 2 2.1 Hidden

### Bennett and Proxy Actualism

Michael Nelson and Edward N. Zalta 2 1. Introduction Bennett and Proxy Actualism Michael Nelson Department of Philosophy University of California, Riverside Riverside, CA 92521 mnelson@ucr.edu and Edward

### Category Mistakes in M&E

Category Mistakes in M&E Gilbert Harman July 28, 2003 1 Causation A widely accepted account of causation (Lewis, 1973) asserts: (1) If F and E both occur but F would not have occurred unless E had occured,

Comments on Ontological Anti-Realism Cian Dorr INPC 2007 In 1950, Quine inaugurated a strange new way of talking about philosophy. The hallmark of this approach is a propensity to take ordinary colloquial

### Remarks on a Foundationalist Theory of Truth. Anil Gupta University of Pittsburgh

For Philosophy and Phenomenological Research Remarks on a Foundationalist Theory of Truth Anil Gupta University of Pittsburgh I Tim Maudlin s Truth and Paradox offers a theory of truth that arises from

### Foreknowledge, evil, and compatibility arguments

Foreknowledge, evil, and compatibility arguments Jeff Speaks January 25, 2011 1 Warfield s argument for compatibilism................................ 1 2 Why the argument fails to show that free will and

### Presupposition and Rules for Anaphora

Presupposition and Rules for Anaphora Yong-Kwon Jung Contents 1. Introduction 2. Kinds of Presuppositions 3. Presupposition and Anaphora 4. Rules for Presuppositional Anaphora 5. Conclusion 1. Introduction

### Truthmakers for Negative Existentials

Truthmakers for Negative Existentials 1. Introduction: We have already seen that absences and nothings cause problems for philosophers. Well, they re an especially huge problem for truthmaker theorists.

### Propositions and Same-Saying: Introduction

Propositions and Same-Saying: Introduction Philosophers often talk about the things we say, or believe, or think, or mean. The things are often called propositions. A proposition is what one believes,

### Propositional Attitudes and Mental Acts. Indrek Reiland. Peter Hanks and Scott Soames have recently developed similar views of propositional attitudes

Penultimate version forthcoming in Thought Propositional Attitudes and Mental Acts Indrek Reiland Introduction Peter Hanks and Scott Soames have recently developed similar views of propositional attitudes

### Objections to the two-dimensionalism of The Conscious Mind

Objections to the two-dimensionalism of The Conscious Mind phil 93515 Jeff Speaks February 7, 2007 1 Problems with the rigidification of names..................... 2 1.1 Names as actually -rigidified descriptions..................

### Scott Soames: Understanding Truth

Philosophy and Phenomenological Research Vol. LXV, No. 2, September 2002 Scott Soames: Understanding Truth MAlTHEW MCGRATH Texas A & M University Scott Soames has written a valuable book. It is unmatched

### Quine: Quantifiers and Propositional Attitudes

Quine: Quantifiers and Propositional Attitudes Ambiguity of Belief (and other) Constructions Belief and other propositional attitude constructions, according to Quine, are ambiguous. The ambiguity can

### Presupposition: An (un)common attitude?

Presupposition: An (un)common attitude? Abstract In this paper I argue that presupposition should be thought of as a propositional attitude. I will separate questions on truth from questions of presupposition

### Oxford Scholarship Online Abstracts and Keywords

Oxford Scholarship Online Abstracts and Keywords ISBN 9780198802693 Title The Value of Rationality Author(s) Ralph Wedgwood Book abstract Book keywords Rationality is a central concept for epistemology,

Comments on Lasersohn John MacFarlane September 29, 2006 I ll begin by saying a bit about Lasersohn s framework for relativist semantics and how it compares to the one I ve been recommending. I ll focus

For a symposium on Imogen Dickie s book Fixing Reference to be published in Philosophy and Phenomenological Research. Aboutness and Justification Dilip Ninan dilip.ninan@tufts.edu September 2016 Al believes

### Philosophy 125 Day 4: Overview

Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 4: Overview Administrative Stuff Final rosters for sections have been determined. Please check the sections page asap. Important: you must get

### Draft January 19, 2010 Draft January 19, True at. Scott Soames School of Philosophy USC. To Appear In a Symposium on

Draft January 19, 2010 Draft January 19, 2010 True at By Scott Soames School of Philosophy USC To Appear In a Symposium on Herman Cappelen and John Hawthorne Relativism and Monadic Truth In Analysis Reviews

### Russell and Logical Ontology. This paper focuses on an account of implication that Russell held intermittently from 1903 to

1 Russell and Logical Ontology Introduction This paper focuses on an account of implication that Russell held intermittently from 1903 to 1908. 1 On this account, logical propositions are formal truths

### Entailment as Plural Modal Anaphora

Entailment as Plural Modal Anaphora Adrian Brasoveanu SURGE 09/08/2005 I. Introduction. Meaning vs. Content. The Partee marble examples: - (1 1 ) and (2 1 ): different meanings (different anaphora licensing

### Philosophy of Mathematics Nominalism

Philosophy of Mathematics Nominalism Owen Griffiths oeg21@cam.ac.uk Churchill and Newnham, Cambridge 8/11/18 Last week Ante rem structuralism accepts mathematical structures as Platonic universals. We

### On a priori knowledge of necessity 1

< Draft, April 14, 2018. > On a priori knowledge of necessity 1 MARGOT STROHMINGER AND JUHANI YLI-VAKKURI 1. A priori principles in the epistemology of modality It is widely thought that the epistemology

1 Paradox of Deniability Massimiliano Carrara FISPPA Department, University of Padua, Italy Peking University, Beijing - 6 November 2018 Introduction. The starting elements Suppose two speakers disagree

### A Problem for a Direct-Reference Theory of Belief Reports. Stephen Schiffer New York University

A Problem for a Direct-Reference Theory of Belief Reports Stephen Schiffer New York University The direct-reference theory of belief reports to which I allude is the one held by such theorists as Nathan

### Completeness or Incompleteness of Basic Mathematical Concepts Donald A. Martin 1 2

0 Introduction Completeness or Incompleteness of Basic Mathematical Concepts Donald A. Martin 1 2 Draft 2/12/18 I am addressing the topic of the EFI workshop through a discussion of basic mathematical

### Analyticity and reference determiners

Analyticity and reference determiners Jeff Speaks November 9, 2011 1. The language myth... 1 2. The definition of analyticity... 3 3. Defining containment... 4 4. Some remaining questions... 6 4.1. Reference

### Truth and Molinism * Trenton Merricks. Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, 2011.

Truth and Molinism * Trenton Merricks Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, 2011. According to Luis de Molina, God knows what each and every possible human would

### ROBERT STALNAKER PRESUPPOSITIONS

ROBERT STALNAKER PRESUPPOSITIONS My aim is to sketch a general abstract account of the notion of presupposition, and to argue that the presupposition relation which linguists talk about should be explained

### A defense of contingent logical truths

Philos Stud (2012) 157:153 162 DOI 10.1007/s11098-010-9624-y A defense of contingent logical truths Michael Nelson Edward N. Zalta Published online: 22 September 2010 Ó The Author(s) 2010. This article

### Fundamentals of Metaphysics

Fundamentals of Metaphysics Objective and Subjective One important component of the Common Western Metaphysic is the thesis that there is such a thing as objective truth. each of our beliefs and assertions

### Direct Reference and Singular Propositions

Direct Reference and Singular Propositions Matthew Davidson Published in American Philosophical Quarterly 37, 2000. I Most direct reference theorists about indexicals and proper names have adopted the

### What are Truth-Tables and What Are They For?

PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at

### A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned

### PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE

PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE Now, it is a defect of [natural] languages that expressions are possible within them, which, in their grammatical form, seemingly determined to designate

### Metaphysical Necessity: Understanding, Truth and Epistemology

Metaphysical Necessity: Understanding, Truth and Epistemology CHRISTOPHER PEACOCKE This paper presents an account of the understanding of statements involving metaphysical modality, together with dovetailing

### UC Berkeley, Philosophy 142, Spring 2016

Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion

### 1 expressivism, what. Mark Schroeder University of Southern California August 2, 2010

Mark Schroeder University of Southern California August 2, 2010 hard cases for combining expressivism and deflationist truth: conditionals and epistemic modals forthcoming in a volume on deflationism and

### Bob Hale: Necessary Beings

Bob Hale: Necessary Beings Nils Kürbis In Necessary Beings, Bob Hale brings together his views on the source and explanation of necessity. It is a very thorough book and Hale covers a lot of ground. It