Some Logical Paradoxes from Jean Buridan

Similar documents
John Buridan. Summulae de Dialectica IX Sophismata

Puzzles for Divine Omnipotence & Divine Freedom

Am I free? Freedom vs. Fate

Chadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN

William Ockham on Universals

Aquinas' Third Way Modalized

What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing

Fatalism and Truth at a Time Chad Marxen

Phil 435: Philosophy of Language. [Handout 7] W. V. Quine, Quantifiers and Propositional Attitudes (1956)

Revisiting the Socrates Example

TWO VERSIONS OF HUME S LAW

Topics and Posterior Analytics. Philosophy 21 Fall, 2004 G. J. Mattey

Free will & divine foreknowledge

John Buridan on Essence and Existence

Possibility and Necessity

Definite Descriptions, Naming, and Problems for Identity. 1. Russel s Definite Descriptions: Here are three things we ve been assuming all along:

Empty Names and Two-Valued Positive Free Logic

Durham Research Online

LGCS 199DR: Independent Study in Pragmatics

The Paradox of the Question

Millian responses to Frege s puzzle

Comments on Truth at A World for Modal Propositions

OSSA Conference Archive OSSA 5

An Alternate Possibility for the Compatibility of Divine. Foreknowledge and Free Will. Alex Cavender. Ringstad Paper Junior/Senior Division

Phil 435: Philosophy of Language. P. F. Strawson: On Referring

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

ELEMENTS OF LOGIC. 1.1 What is Logic? Arguments and Propositions

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

356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, t

Class 33 - November 13 Philosophy Friday #6: Quine and Ontological Commitment Fisher 59-69; Quine, On What There Is

BENEDIKT PAUL GÖCKE. Ruhr-Universität Bochum

Universals. If no: Then it seems that they could not really be similar. If yes: Then properties like redness are THINGS.

The Problem of Divine Foreknowledge and Human Freedom

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity

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

Beyond Symbolic Logic

Is the Existence of the Best Possible World Logically Impossible?

A Liar Paradox. Richard G. Heck, Jr. Brown University

15. Russell on definite descriptions

Foreknowledge, evil, and compatibility arguments

University of St Andrews, Reino Unido. Resumen. Abstract

Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.

Utilitarianism. But what is meant by intrinsically good and instrumentally good?

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

The cosmological argument (continued)

Faith and Philosophy, April (2006), DE SE KNOWLEDGE AND THE POSSIBILITY OF AN OMNISCIENT BEING Stephan Torre

Selections from Aristotle s Prior Analytics 41a21 41b5

Libertarian Free Will and Chance

Semantic Entailment and Natural Deduction

Russell: On Denoting

Anselm, On Truth. 2. The Truth of Statements (ch. 2): What is the truth of a STATEMENT?

THE PROBLEM OF CONTRARY-TO-FACT CONDITIONALS. By JOHN WATLING

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

Wittgenstein on the Fallacy of the Argument from Pretence. Abstract

Does the Skeptic Win? A Defense of Moore. I. Moorean Methodology. In A Proof of the External World, Moore argues as follows:

In Search of the Ontological Argument. Richard Oxenberg

A Primer on Logic Part 1: Preliminaries and Vocabulary. Jason Zarri. 1. An Easy $10.00? a 3 c 2. (i) (ii) (iii) (iv)

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

Moore on External Relations

5: Preliminaries to the Argument

On possibly nonexistent propositions

10.3 Universal and Existential Quantifiers

Truth, Signification and Paradox. Stephen Read. The Real Proposition. Bradwardine s Theory Buridan s Principle 1 / 28. Truth, Paradox.

On Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1

Truthmakers for Negative Existentials

Figure 1 Figure 2 U S S. non-p P P

Courses providing assessment data PHL 202. Semester/Year

Quantificational logic and empty names

Department of Philosophy. Module descriptions 2017/18. Level C (i.e. normally 1 st Yr.) Modules

Broad on Theological Arguments. I. The Ontological Argument

Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion

Argumentation Module: Philosophy Lesson 7 What do we mean by argument? (Two meanings for the word.) A quarrel or a dispute, expressing a difference

SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES

The Subject Matter of Ethics G. E. Moore

Early Russell on Philosophical Grammar

Divine command theory

Class #9 - The Attributive/Referential Distinction

The paradox we re discussing today is not a single argument, but a family of arguments. Here s an example of this sort of argument:!

A Discussion on Kaplan s and Frege s Theories of Demonstratives

The Sea-Fight Tomorrow by Aristotle

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 2. Background Material for the Exercise on Inference Indicators

Conditionals II: no truth conditions?

Introduction to Philosophy

Desires Kris McDaniel and Ben Bradley

Has Nagel uncovered a form of idealism?

On Possibly Nonexistent Propositions

John Buridan, Questions on Aristotle s Physics

Coordination Problems

16. Universal derivation

MULTI-PEER DISAGREEMENT AND THE PREFACE PARADOX. Kenneth Boyce and Allan Hazlett

Instrumental reasoning* John Broome

Boghossian & Harman on the analytic theory of the a priori

Logic Appendix: More detailed instruction in deductive logic

What we want to know is: why might one adopt this fatalistic attitude in response to reflection on the existence of truths about the future?

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University

Free will and foreknowledge

Comments on Van Inwagen s Inside and Outside the Ontology Room. Trenton Merricks

A SOLUTION TO FORRESTER'S PARADOX OF GENTLE MURDER*

10 CERTAINTY G.E. MOORE: SELECTED WRITINGS

Transcription:

Some Logical Paradoxes from Jean Buridan 1. A Chimera is a Chimera: A chimera is a mythological creature with the head of a lion, the body of a goat, and the tail of a snake. Obviously, chimeras do not exist. So, it should be obvious that any statement which asserts something about a chimera is false. Consider: A chimera is in my pocket. A chimera is lying down. A chimera is breathing fire. But, it gets a little less clear with statements like the following: A chimera is a mythological creature. A chimera has the head of a lion. A chimera is pictured above. And still LESS clear when chimera is the subject of a tautology: A chimera is a chimera. For, logically, any statement that has the form X is X is necessarily true. For instance: A table is a table. A duck is a duck. Aquinas is Aquinas In short, Buridan has identified a tension between these two claims: (1) Any assertion made about something that does not exist is false. (2) Any assertion of the form X is X is true. <A chimera is a chimera> fits both (1) and (2). So which is it? Is it true or false? Reply: Buridan concludes that the statement is false. This is because its subject term supposits for nothing (i.e., REFERS to nothing). Basically, we should interpret the statement as making the claim that Something exists that is a chimera, and that thing is a chimera. But it is FALSE that something exists that is a chimera. 1

The conclusion is that (2) only applies when X actually refers to something. Worry: But, then, <Aristotle s horse was brown> is also false? After all, his horse is long dead i.e., it no longer exists so Aristotle s horse doesn t refer to anything. Reply: Aristotle s horse DOES exist at some time or other (in this case, it exists in the past). So, it DOES refer (to something in the past). But, chimeras don t exist at ANY time. [But, then, did I say something false when I said that a chimera is a mythological creature that has the head of a lion, body of a goat, and tail of a snake? Do fictions exist in SOME sense at least (e.g., as concepts, or abstract things, or ideas?)] 2. Today You Ate Raw Meat: Imagine that you bought some raw meat yesterday. Today, you cooked it and ate it. Did you actually eat RAW meat? Consider: 1. Whatever you bought yesterday is what you ate today. 2. But, yesterday you bought raw meat. 3. Therefore, today you ate raw meat. Reply #1: The thing you ate today is NOT the thing you bought yesterday! For, the thing you bought yesterday had the property of rawness (a property which the thing that you ate today lacked). (He also mentions that some of the matter has probably evaporated.) It is commonly thought that if two things are numerically identical, then they must share all and only exactly the same properties. (For instance, compare the properties of Samuel Clemens with the properties of Mark Twain.) So, since one has a property that the other lacks (namely, rawness), they cannot be the same object. [Problem: Is the cell phone in your pocket the one that you bought? After all, surely the one in your pocket has many properties that the phone you bought did NOT have. Even worse: Do YOU continue to exist over time? You probably think that you do. But, at noon you are sitting and at 1pm you are standing different properties. How, then, can these both be one and the same individual? This is the problem of temporary intrinsics ] Reply #2: When we predicate properties of things, we really are saying that thing has that property AT A TIME. So, imagine that today is Tuesday and that you bought the meat on Monday. What premise 2 really says is that you bought meat that had the property of Monday-Rawness. But, what the conclusion says is that you ate something that had the property of Tuesday-Rawness. Not only is this false, but the argument is no longer valid the conclusion does not follow from the premises. 2

[These days we say that we have time-indexed properties. Perhaps the thing that you buy and the thing that you eat ARE one and the same object. Only, the property of rawness is indexed to Monday. For instance: The argument would be valid if we interpret the conclusion as saying merely that, Today (Tuesday) you eat something that has the property of Monday-Rawness. Note that this solves the problem of temporary intrinsics. You do not have conflicting properties at noon and 1pm because they are time-indexed. In other words, what you REALLY have are the properties of sitting-at-noon and standing-at-1pm.] 3. You Believe That You Are A Donkey: Imagine that you see a figure in the distance walking on all fours. It appears to be a donkey. Unbeknownst to you, it is your father, wearing the hide of a donkey and crawling around on all fours. You re a donkey: 1. Whoever believes that her father is a donkey believes herself to be the offspring a donkey (and therefore herself a donkey). 2. You believe that your father is a donkey (in the story above). 3. Therefore, you believe that YOU are a donkey. Reply: Buridan rejects premise 2. In the story, you do not believe the proposition <My father is a donkey>. Rather, you believe <That thing in the distance is a donkey>. (However, you do not also believe that the thing in the distance is your father.) To illustrate the distinction: You can imagine that your dad comes closer and you suddenly realize it s him and say, Whoa! I thought you were a donkey! But, Buridan is pointing out here that, strictly speaking, this is not the right way to put it. You did NOT think that your DAD was a donkey. What you SHOULD have said is, Whoa! I thought I was looking at a donkey, but I was actually looking at you! 4. I Owe You a Horse: We made a deal and I promised to give you one good horse. I do not own any horses, but I promised to make good on the deal by Easter. (Buridan also considers an alternative scenario where you sold me some mustard for $1, but I haven t paid you yet.) The following seems true: I owe you a horse. (or $1) But is it? Let us consider all of the horses that exist. There is the king s horse (Blackie). But, I do not owe you Blackie. There is the pope s horse (Tawny). But I do now owe you Tawny. There is Peter s horse (Brownie). But I do not owe you Brownie. And so on 3

1. I do not owe you Blackie; or Tawny; or Brownie; etc. 2. If it is true of every horse that I do not owe you that horse, then I do not owe you a horse. 3. Therefore, I do not owe you a horse. [If you have taken Symbolic Logic, the problem can be stated as follows: Let Hx = x is a horse ; Oxyz = x owes y to z ; c = Chad ; a = Agatha (your name is now Agatha) I owe you a horse translates into predicate logic as: (ꓱx)(Hx Ocxa) In English: There exists an x such that x is a horse, and Chad owes x to Agatha. But, existentially quantified statements are really just giant disjunctions in disguise. For instance, if there were only THREE horses in existence (Blackie, Tawny, and Sapphire), the formula above could be re-written as follows: [(Hb Ocba) (Ht Octa)] (Hs Ocsa) In English: Either Blackie is a horse that Chad owes to Agatha OR Tawny is a horse that Chad owes to Agatha OR Sapphire is a horse that Chad owes to Agatha. But a disjunction is only true if at least one of its disjuncts is true. But, NONE of the individual disjuncts are true. Therefore, the entire disjunction is false. Or, in other words, the statement <I owe you a horse> is false. Whoa ] Reply: Buridan points out that if <I owe you a horse is true> then it follows that <I owe you Blackie, or I owe you Tawny, or I owe you Brownie, etc.>. But the only way that this disjunction is true is if at least one of its disjuncts is true. However, it would be completely arbitrary to claim that some SINGLE disjunct is true while the others are false. (For instance, we might say that I owe you Tawny, but not Blackie, Brownie, or any of the others but this seems false, for there is no more reason to think that I owe you Tawny than any of the other horses.) So, if it is true that I owe you a horse, the only reasonable conclusion is that ALL of the disjuncts are true; that is, I owe you ALL of the horses. This ends up being Buridan s solution. The alternative is that I owe you NONE of them in which case, I do not owe you a horse at all. But this is false. So, I owe you ALL of them. Worry: I cannot fulfill my obligation unless I give you EVERYTHING that I owe. In that case, I won t have fulfilled it unless I give you each and every horse. 4

Reply: No. I only owe you ALL of the horses in this sense: Every single horse in existence is such that, if I were to deliver that horse to you, I would fulfill my obligation to you. [What do you think? Are you satisfied with this solution? Perhaps I owe you a horse should not be understood as entailing that There is some horse that I owe you?] 5. I Say Something False: These days, the paradox is usually put like this: This statement is false. The statement above must be either true or false. So which is it? (1) It is true: If so, then it is false. (because, if true, it follows that what it asserts is correct; and what it asserts is that it is false.) (2) It is false: If so, then it is true. (because, if false, then the assertion that it makes is correct; in which case it follows that it is true.) Uh-oh. This is the famous Liar Paradox (some state it as, This statement is a lie ). [If you think that the paradox is ONLY generated because the statement refers to itself, then consider this variant: The green statement is true. The blue statement is false.] Reply: Buridan concludes that the statement is false. Why? His answer rests on the following move: Buridan claims that every statement, <A>, ENTAILS (or, as he puts it, virtually implies ) a second statement of the form < A is true>. On Buridan s view, <A> is false if it either (a) signifies something false, or (b) virtually implies something false! i.e., <A> is true if and only if it meets these TWO conditions: (a) Things must really be just as <A> signifies, and (b) Things must really be just as < A is true> signifies. Normally, adding this second criterion makes no difference. For instance, consider a mundane proposition like <All donkeys are mammals>. Now: (a) Things really are just as <All donkeys are mammals> signifies; i.e., in reality, all donkeys really ARE mammals. (b) Things ALSO really are just as < All donkeys are mammals is true> signifies; i.e., in reality, the statement <All donkeys are mammals> really IS true. 5

Since both conditions are met, the statement is true. But, for self-referential statements like the Liar Paradox, something weird happens: Conditions (a) and (b) come apart. Let us return to the statement, <This statement is false>. If it is to be true, then, according to Buridan s proposal, the following would BOTH need to be the case: (a) <This statement is false> signifies correctly; i.e., signifies the way things really are. (b) < This statement is false is true> signifies correctly. Now, <This statement is false> is either true or false. Let s consider both possibilities: Suppose that: < This statement is false is true> In this case, criterion (b) is clearly met i.e., < This statement is false is true> signifies correctly (for, we ve stipulated that this is what we re supposing). However, criterion (a) is NOT met. For, things are NOT just as <This statement is false> signifies (for, this statement signifies that it is false, which is contrary to our supposition that it is in fact true). Suppose that: < This statement is false is false> In this case, criterion (a) is met i.e., <This statement is false> signifies the way things really are. (It asserts what, according to our assumption, really is the case.) However, (b) is NOT met, for things are NOT really just as < This statement is false is true> signifies. For, by supposition, we ve stipulated that the very opposite is the case. Either way, the statement is false (for, either way, it fails to fulfill Buridan s two criteria for truth). In short, Buridan would respond to the initial accusations as follows: (1) If we suppose that < A is true>, this entails that <A> is false. YES! (2) If we suppose that < A is false>, this entails that <A> is true. NO! <A> is still false [But, is the account circular? We can t know whether <A> is true until we figure out whether < A is true> is true. Even worse, is it also the case that, in turn, we can t know whether < A is true> is true until we figure out whether < A is true is true> is true? And so on Of course, Buridan may try to insist that criterion (b) ONLY applies to selfreferential statements. If so, then the solution is ad hoc, since there is no good reason for (b) to not apply to ALL statements (other than because it avoids both circularity and the Liar Paradox). Furthermore, not all liar paradoxes involve self-reference. See note above.] 6

6. You Will Throw Me In The Water: Consider this case: Plato is guarding a bridge which crosses a river, where Socrates arrives and wants to cross. Plato makes a vow: If the very next proposition that you utter is true, I will let you cross, he says. But, if it is false, I will throw you into the water. Socrates thinks for a moment and then says, You will throw me into the water. What should Plato do in order to keep his vow? Let Socrates pass: If Plato does this, then Socrates had said something false, in which case Plato should have thrown Socrates into the river. Throw Socrates into the water: If Plato does this, then Socrates had said something true, in which case Plato should have let Socrates cross. Reply: Buridan asks three questions: (1) Was Socrates assertion true or false? Note that, since it is about a future event, there is no way to know whether it is true or false at the time Socrates utters it. (2) Was Plato s vow true or false? Plato made a conditional claim (i.e., an if-then statement), and conditionals are only false when their antecedent is true (the part right after the if ) and their consequent is false (the part right after the then ). For instance, if I say to you, If you pass the exam, then I will give you an A, I have said something false only if you do pass the exam (i.e., the antecedent is true) but I do NOT give you an A (i.e., the consequent is false). In short, I have lied. Note that Plato has really made a DOUBLE-conditional claim. Buridan notes that, either way, Plato has lied. For, either way, Socrates has fulfilled the condition (i.e., the antecedent) of one of the two conditionals, but whichever one he fulfills will be the one that has a false consequent. In other words, one of the following claims is a lie: If you say something true, then I will let you pass. (If the antecedent is fulfilled, then the consequent is false, because Plato does NOT let Socrates pass). If you say something false, then I will throw you into the water. (If the antecedent is fulfilled, then the consequent is false, because Plato does NOT throw Socrates into the water.) (3) What should Plato do to keep his vow? He can t do anything to keep it. You shouldn t make vows like this.(though, some have suggested that Plato should first let Socrates cross and then drag him back and THEN throw him into the river!) 7

7. Buridan s Ass (Or, Al-Ghazali s Dates): Buridan is most famously known for the Buridan s Ass puzzle. Traditionally, the puzzle is as follows: Buridan s Ass: There is a donkey standing in between two equally appealing piles of hay. Not having any reason to prefer one over the other, the donkey cannot decide which one to go to, and so instead stands forever paralyzed between them, and starves to death. Though Buridan penned dozens of puzzles involving donkeys, this particular one is not actually among them though, it does seem plausible that he would say this, as it fits with his views about choice and action. As it turns out, the best example in medieval philosophy of this sort comes instead from Al-Ghazali (though it seems to originate in Aristotle). Al-Ghazali asks us to imagine the following case: Ghazali s Dates: There is a hungry man, and before him are two equally ripe dates. Neither of them is prettier than the other; or nearer; or better in color; and so on. In short, there is nothing to distinguish them. What does he do? Ghazali says that we must respond in one of the following three ways: (1) Claim that the man takes one of the two dates arbitrarily. Problem: Every choice is made for some REASON. But, there is NO reason to prefer one over the other (the balance of reasons between them is EXACTLY 50-50), so there is no reason to explain why the man chooses one date and not the other. (2) Claim that the man is unable to prefer one over the other, and so remains paralyzed by indecision motionless until he starves to death. But, Al-Ghazali dismisses this possibility as absurd. (3) Object to the example on the grounds that it is impossible, claiming that there could never be a situation where two options provide one with an EXACT balance of TOTALLY equal reasons in favor of each. Al-Ghazali dismisses this too, claiming that he has just STIPULATED that it is so. Ghazali was interested in this question because philosophers had asked whether God could have created the universe one year sooner? Or two? God seems to have no reason to have created the universe at exactly the moment He did. Yet He DID. Therefore, it MUST be the case that arbitrary decisions between identical options is possible. In short, Ghazali endorses option (1), above. [What do you think? Is that the correct answer?] 8