# On Truth At Jeffrey C. King Rutgers University

Save this PDF as:

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

### 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

### 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

### 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.

### 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

### 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

### 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

### 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

### 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

### 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

### 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

### 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

### 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

### 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.

### 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

### 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

### 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

### Two-dimensional semantics and the nesting problem

Two-dimensional semantics and the nesting problem David J. Chalmers and Brian Rabern July 2, 2013 1 Introduction Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems

### 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

### 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

### Constructing the World

Constructing the World Lecture 1: A Scrutable World David Chalmers Plan *1. Laplace s demon 2. Primitive concepts and the Aufbau 3. Problems for the Aufbau 4. The scrutability base 5. Applications Laplace

### Nominalism III: Austere Nominalism 1. Philosophy 125 Day 7: Overview. Nominalism IV: Austere Nominalism 2

Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 7: Overview Administrative Stuff First Paper Topics and Study Questions will be announced Thursday (9/18) All section locations are now (finally!)

### 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

### G. H. von Wright Deontic Logic

G. H. von Wright Deontic Logic Kian Mintz-Woo University of Amsterdam January 9, 2009 January 9, 2009 Logic of Norms 2010 1/17 INTRODUCTION In von Wright s 1951 formulation, deontic logic is intended to

### 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

### 2 Why Truthmakers GONZALO RODRIGUEZ-PEREYRA 1. INTRODUCTION

2 Why Truthmakers GONZALO RODRIGUEZ-PEREYRA 1. INTRODUCTION Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition

### The myth of the categorical counterfactual

Philos Stud (2009) 144:281 296 DOI 10.1007/s11098-008-9210-8 The myth of the categorical counterfactual David Barnett Published online: 12 February 2008 Ó Springer Science+Business Media B.V. 2008 Abstract

### Revelation, Humility, and the Structure of the World. David J. Chalmers

Revelation, Humility, and the Structure of the World David J. Chalmers Revelation and Humility Revelation holds for a property P iff Possessing the concept of P enables us to know what property P is Humility

### 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

Potentialism about set theory Øystein Linnebo University of Oslo SotFoM III, 21 23 September 2015 Øystein Linnebo (University of Oslo) Potentialism about set theory 21 23 September 2015 1 / 23 Open-endedness

### 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

### A Semantic Paradox concerning Error Theory

Aporia vol. 26 no. 1 2016 A Semantic Paradox concerning Error Theory Stephen Harrop J. L. Mackie famously argued for a moral error theory that is, the thesis that our statements concerning objective moral

### Zimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986):

SUBSIDIARY OBLIGATION By: MICHAEL J. ZIMMERMAN Zimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986): 65-75. Made available courtesy of Springer Verlag. The original publication

### Primitive Concepts. David J. Chalmers

Primitive Concepts David J. Chalmers Conceptual Analysis: A Traditional View A traditional view: Most ordinary concepts (or expressions) can be defined in terms of other more basic concepts (or expressions)

### The backtracking conditional in this example has been singled out below:

Layering modalities: the case of backtracking counterfactuals 1 2 Ana Arregui University of Ottawa 1. Introduction What are the combinatorial possibilities of modality? This question has not often been

### Modal Truthmakers and Two Varieties of Actualism

Forthcoming in Synthese DOI: 10.1007/s11229-008-9456-x Please quote only from the published version Modal Truthmakers and Two Varieties of Actualism Gabriele Contessa Department of Philosophy Carleton

### Shieva Kleinschmidt [This is a draft I completed while at Rutgers. Please do not cite without permission.] Conditional Desires.

Shieva Kleinschmidt [This is a draft I completed while at Rutgers. Please do not cite without permission.] Conditional Desires Abstract: There s an intuitive distinction between two types of desires: conditional

### This is a longer version of the review that appeared in Philosophical Quarterly Vol. 47 (1997)

This is a longer version of the review that appeared in Philosophical Quarterly Vol. 47 (1997) Frege by Anthony Kenny (Penguin, 1995. Pp. xi + 223) Frege s Theory of Sense and Reference by Wolfgang Carl

### Deflationary Nominalism s Commitment to Meinongianism

Res Cogitans Volume 7 Issue 1 Article 8 6-24-2016 Deflationary Nominalism s Commitment to Meinongianism Anthony Nguyen Reed College Follow this and additional works at: http://commons.pacificu.edu/rescogitans

### Kripke on the distinctness of the mind from the body

Kripke on the distinctness of the mind from the body Jeff Speaks April 13, 2005 At pp. 144 ff., Kripke turns his attention to the mind-body problem. The discussion here brings to bear many of the results

### Dispositionalism and the Modal Operators

Philosophy and Phenomenological Research Philosophy and Phenomenological Research doi: 10.1111/phpr.12132 2014 Philosophy and Phenomenological Research, LLC Dispositionalism and the Modal Operators DAVID

### Epistemic two-dimensionalism

Epistemic two-dimensionalism phil 93507 Jeff Speaks December 1, 2009 1 Four puzzles.......................................... 1 2 Epistemic two-dimensionalism................................ 3 2.1 Two-dimensional

### All They Know: A Study in Multi-Agent Autoepistemic Reasoning

All They Know: A Study in Multi-Agent Autoepistemic Reasoning PRELIMINARY REPORT Gerhard Lakemeyer Institute of Computer Science III University of Bonn Romerstr. 164 5300 Bonn 1, Germany gerhard@cs.uni-bonn.de

### In Defense of the Law of Noncontradiction

Edward N. Zalta 2 In Defense of the Law of Noncontradiction Edward N. Zalta Center for the Study of Language and Information Stanford University zalta@stanford.edu An important philosophical puzzle arises

### Russell on Descriptions

Russell on Descriptions Bertrand Russell s analysis of descriptions is certainly one of the most famous (perhaps the most famous) theories in philosophy not just philosophy of language over the last century.

### KRITERION JOURNAL OF PHILOSOPHY. Volume 29, Issue

KRITERION JOURNAL OF PHILOSOPHY Volume 29, Issue 2 2015 Johannes Korbmacher: Yet Another Puzzle of Ground......... 1 Jack Yip: Truthmaking as an Account of How Grounding Facts Hold.............................................................

### 542 Book Reviews. Department of Philosophy. University of Houston 513 Agnes Arnold Hall Houston TX USA

542 Book Reviews to distinguish the self-representational theory from the higher-order view. But even so, Subjective Consciousness is an important piece in the dialectical puzzle of consciousness. It is

### David Lewis (1941 ) Introduction

39 David Lewis (1941 ) ROBERT STALNAKER Introduction David Lewis is a philosopher who has written about a wide range of problems in metaphysics and the philosophy of mind and language, including the metaphysics

### The Backward Induction Solution to the Centipede Game*

The Backward Induction Solution to the Centipede Game* Graciela Rodríguez Mariné University of California, Los Angeles Department of Economics November, 1995 Abstract In extensive form games of perfect

### Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur

Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown

### 10.3 Universal and Existential Quantifiers

M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from

### What God Could Have Made

1 What God Could Have Made By Heimir Geirsson and Michael Losonsky I. Introduction Atheists have argued that if there is a God who is omnipotent, omniscient and omnibenevolent, then God would have made

### The Truth About the Past and the Future

A version of this paper appears in Fabrice Correia and Andrea Iacona (eds.), Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future (Springer, 2012), pp. 127-141. The

### Parmenides PHIL301 Prof. Oakes Winthrop University updated: 9/5/12 3:03 PM

Parmenides PHIL301 Prof. Oakes Winthrop University updated: 9/5/12 3:03 PM Parmenides and Philosophy - Parmenides represents a watershed in the history of Western philosophy. - The level of logical sophistication

### Two (Related) World Views

Edward N. Zalta 2 Two (Related) World Views Edward N. Zalta Center for the Study of Language and Information Stanford University During the past two decades, the late Hector-Neri Castañeda developed a

### Penultimate Draft: Final Revisions not Included. Published in Philosophical Studies, December1998. DEFLATIONISM AND THE NORMATIVITY OF TRUTH

Penultimate Draft: Final Revisions not Included. Published in Philosophical Studies, December1998. DEFLATIONISM AND THE NORMATIVITY OF TRUTH Deflationist theories of truth, some critics have argued, fail

### Conditionals IV: Is Modus Ponens Valid?

Conditionals IV: Is Modus Ponens Valid? UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 The intuitive counterexamples McGee [2] offers these intuitive counterexamples to Modus Ponens: 1. (a)

### On A Priori Knowledge of Necessity 1

< Draft, November 11, 2017. > On A Priori Knowledge of Necessity 1 MARGOT STROHMINGER AND JUHANI YLI-VAKKURI Abstract The idea that the epistemology of (metaphysical) modality is in some sense a priori

### HORWICH S MINIMALIST CONCEPTION OF TRUTH: Some Logical Difficulties

Logic and Logical Philosophy Volume 9 (2001), 161 181 Sten Lindström HORWICH S MINIMALIST CONCEPTION OF TRUTH: Some Logical Difficulties Aristotle s words in the Metaphysics: to say of what is that it

### Understanding Deflationism

1 Understanding Deflationism by Scott Soames Philosophical Perspectives Volume 17, 2003 2 Understanding Deflationism Scott Soames A Deflationary Conception of Deflationism. My aim here will be to say what

### The distinction between truth-functional and non-truth-functional logical and linguistic

FORMAL CRITERIA OF NON-TRUTH-FUNCTIONALITY Dale Jacquette The Pennsylvania State University 1. Truth-Functional Meaning The distinction between truth-functional and non-truth-functional logical and linguistic

### A Generalization of Hume s Thesis

Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 10-1 2006 Jerzy Kalinowski : logique et normativité A Generalization of Hume s Thesis Jan Woleński Publisher Editions Kimé Electronic

### Russellianism and Explanation. David Braun. University of Rochester

Forthcoming in Philosophical Perspectives 15 (2001) Russellianism and Explanation David Braun University of Rochester Russellianism is a semantic theory that entails that sentences (1) and (2) express

### Content and Modality: Themes from the Philosophy of Robert Stalnaker, edited by

Content and Modality: Themes from the Philosophy of Robert Stalnaker, edited by Judith Thomson and Alex Byrne. Oxford: Clarendon Press, 2006. Pp. viii + 304. H/b 40.00. The eleven original essays in this

### Counterparts. Cian Dorr. Draft of 9th March 2015 Comments welcome

Counterparts Cian Dorr Draft of 9th March 2015 Comments welcome Contents 1 A-theories and B-theories 1 1.1 Two key questions about time and modality........... 1 1.2 Propositions.............................

### John Hawthorne s Knowledge and Lotteries

John Hawthorne s Knowledge and Lotteries Chapter 1: Introducing the Puzzle 1.1: A Puzzle 1. S knows that S won t have enough money to go on a safari this year. 2. If S knows that S won t have enough money

### 1. Introduction Formal deductive logic Overview

1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special

### Humean Supervenience: Lewis (1986, Introduction) 7 October 2010: J. Butterfield

Humean Supervenience: Lewis (1986, Introduction) 7 October 2010: J. Butterfield 1: Humean supervenience and the plan of battle: Three key ideas of Lewis mature metaphysical system are his notions of possible

### Wright on response-dependence and self-knowledge

Wright on response-dependence and self-knowledge March 23, 2004 1 Response-dependent and response-independent concepts........... 1 1.1 The intuitive distinction......................... 1 1.2 Basic equations

### Epistemic two-dimensionalism and the epistemic argument

Epistemic two-dimensionalism and the epistemic argument Jeff Speaks November 12, 2008 Abstract. One of Kripke s fundamental objections to descriptivism was that the theory misclassifies certain a posteriori

### 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

### Singular Propositions *

Singular Propositions * Trenton Merricks Reason, Metaphysics, and Mind: New Essays on the Philosophy of Alvin Plantinga edited by Kelly James Clark and Michael C. Rea. Oxford University Press, 2012. I.

### Imprint A PUZZLE FOR MODAL REALISM. Dan Marshall. volume 16, no. 19 november Lingnan University. Philosophers

Philosophers Imprint A PUZZLE FOR volume 16, no. 19 november 2016 MODAL REALISM Dan Marshall Lingnan University Abstract Modal realists face a puzzle. For modal realism to be justified, modal realists

### ON NONSENSE IN THE TRACTATUS LOGICO-PHILOSOPHICUS: A DEFENSE OF THE AUSTERE CONCEPTION

Guillermo Del Pinal* Most of the propositions to be found in philosophical works are not false but nonsensical (4.003) Philosophy is not a body of doctrine but an activity The result of philosophy is not

### When we think that if the square root of two is rational then one equals zero, we think, The

Meaning, Expression, and Thought. WAYNE A. DAVIS. Cambridge: Cambridge University Press, 2003. Pp. xvii, 654. When we think that if the square root of two is rational then one equals zero, we think, The

### Intrinsic Properties Defined. Peter Vallentyne, Virginia Commonwealth University. Philosophical Studies 88 (1997):

Intrinsic Properties Defined Peter Vallentyne, Virginia Commonwealth University Philosophical Studies 88 (1997): 209-219 Intuitively, a property is intrinsic just in case a thing's having it (at a time)

### xiv Truth Without Objectivity

Introduction There is a certain approach to theorizing about language that is called truthconditional semantics. The underlying idea of truth-conditional semantics is often summarized as the idea that

### THE FREGE-GEACH PROBLEM AND KALDERON S MORAL FICTIONALISM. Matti Eklund Cornell University

THE FREGE-GEACH PROBLEM AND KALDERON S MORAL FICTIONALISM Matti Eklund Cornell University [me72@cornell.edu] Penultimate draft. Final version forthcoming in Philosophical Quarterly I. INTRODUCTION In his

### It turns out that there is an important class of sentences that we have so far pretty much avoided mentioning: modal sentences.

1. Introduction 2. Suspicions Regarding Modal Claims 3. Lewisian Realism 3.1. Overview and Motivations 3.2. Problems Metaphysics I: The Nature of Being 0 1. Introduction So far we have focused on the ontological

### derosset, Louis (2013) "What is Weak Ground?," Essays in Philosophy: Vol. 14: Iss. 1, Article

Essays in Philosophy Volume 14 Issue 1 Grounding Relation(s) Article 2 January 2013 What is Weak Ground? Louis derosset University of Vermont Follow this and additional works at: https://commons.pacificu.edu/eip

### Review Essay: Scott Soames, Philosophy of Language

Review Essay: Scott Soames, Philosophy of Language Kirk Ludwig Philosophical Quarterly of Israel ISSN 0048-3893 DOI 10.1007/s11406-013-9447-0 1 23 Your article is protected by copyright and all rights

### Ontological Pluralism, the Gradation of Being, and the Question Why is there something rather than nothing? Kris McDaniel

Ontological Pluralism, the Gradation of Being, and the Question Why is there something rather than nothing? 1. Introductory Remarks Kris McDaniel 11-29-12 Ontological pluralism is the view that there are

### Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne

Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich

### A Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the

A Solution to the Gettier Problem Keota Fields Problem cases by Edmund Gettier 1 and others 2, intended to undermine the sufficiency of the three traditional conditions for knowledge, have been discussed

### Why Is a Valid Inference a Good Inference?

Philosophy and Phenomenological Research Philosophy and Phenomenological Research doi: 10.1111/phpr.12206 2015 Philosophy and Phenomenological Research, LLC Why Is a Valid Inference a Good Inference? SINAN

### Philosophy of Language

Philosophy of Language PRINCETON FOUNDATIONS OF CONTEMPORARY PHILOSOPHY Scott Soames, Series Editor PHILOSOPHY OF LANGUAGE Scott Soames PRINCETON UNIVERSITY PRESS PRINCETON AND OXFORD Copyright 2010 by

### COUNTERFACTUALS AND THE ANALYSIS OF NECESSITY. Boris Kment University of Michigan, Ann Arbor

Philosophical Perspectives, 20, Metaphysics, 2006 COUNTERFACTUALS AND THE ANALYSIS OF NECESSITY Boris Kment University of Michigan, Ann Arbor This paper is, in part, a straightforward exercise in philosophical

### A DEFENSE OF PRESENTISM

A version of this paper appears in Zimmerman, Dean W. (ed.) Oxford Studies in Metaphysics, Volume 1 (Oxford University Press, 2004), pp. 47-82. It s reprinted in Michael Rea (ed.), Arguing About Metaphysics

### THE NATURE OF NORMATIVITY IN KANT S PHILOSOPHY OF LOGIC REBECCA V. MILLSOP S

THE NATURE OF NORMATIVITY IN KANT S PHILOSOPHY OF LOGIC REBECCA V. MILLSOP S I. INTRODUCTION Immanuel Kant claims that logic is constitutive of thought: without [the laws of logic] we would not think at

### proceedings of the aristotelian society

proceedings of the aristotelian society issue i volume cxiii 2012-2013 Resemblance Nominalism, Conjunctions and Truthmakers gonzalo rodriguez-pereyra university of oxford D r a f t P a p e r 1 8 8 8 c

This article was downloaded by: [Wayne State University] On: 29 August 2011, At: 05:20 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office: Mortimer

### Truth and Simplicity F. P. Ramsey

Brit. J. Phil. Sci. 58 (2007), 379 386 Truth and Simplicity F. P. Ramsey 1 Preamble Truth and Simplicity is the title we have supplied for a very remarkable nine page typescript of a talk that Ramsey gave

### Squeezing arguments. Peter Smith. May 9, 2010

Squeezing arguments Peter Smith May 9, 2010 Many of our concepts are introduced to us via, and seem only to be constrained by, roughand-ready explanations and some sample paradigm positive and negative

### THE ONTOLOGICAL ARGUMENT

36 THE ONTOLOGICAL ARGUMENT E. J. Lowe The ontological argument is an a priori argument for God s existence which was first formulated in the eleventh century by St Anselm, was famously defended by René

### A NOTE ON LOGICAL TRUTH

Logique & Analyse 227 (2014), 309 331 A NOTE ON LOGICAL TRUTH CORINE BESSON ABSTRACT Classical logic counts sentences such as Alice is identical with Alice as logically true. A standard objection to classical

### Nominalism in the Philosophy of Mathematics First published Mon Sep 16, 2013

Open access to the SEP is made possible by a world-wide funding initiative. Please Read How You Can Help Keep the Encyclopedia Free Nominalism in the Philosophy of Mathematics First published Mon Sep 16,

### To Appear in Philosophical Studies symposium of Hartry Field s Truth and the Absence of Fact

To Appear in Philosophical Studies symposium of Hartry Field s Truth and the Absence of Fact Comment on Field s Truth and the Absence of Fact In Deflationist Views of Meaning and Content, one of the papers

### The Philosophical Review, Vol. 88, No. 2. (Apr., 1979), pp

Spinoza's "Ontological" Argument Don Garrett The Philosophical Review, Vol. 88, No. 2. (Apr., 1979), pp. 198-223. Stable URL: http://links.jstor.org/sici?sici=0031-8108%28197904%2988%3a2%3c198%3as%22a%3e2.0.co%3b2-6

### Philosophy of Religion 21: (1987).,, 9 Nijhoff Publishers, Dordrecht - Printed in the Nethenanas

Philosophy of Religion 21:161-169 (1987).,, 9 Nijhoff Publishers, Dordrecht - Printed in the Nethenanas A defense of middle knowledge RICHARD OTTE Cowell College, University of Calfiornia, Santa Cruz,