INHISINTERESTINGCOMMENTS on my paper "Induction and Other Minds" 1

Similar documents
I WISH TO CONSIDER a line of objection to the traditional Analogical

SAVING RELATIVISM FROM ITS SAVIOUR

In essence, Swinburne's argument is as follows:

Prompt: Explain van Inwagen s consequence argument. Describe what you think is the best response

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

Truth At a World for Modal Propositions

10 CERTAINTY G.E. MOORE: SELECTED WRITINGS

Critical Thinking 5.7 Validity in inductive, conductive, and abductive arguments

Précis of Empiricism and Experience. Anil Gupta University of Pittsburgh

Foreknowledge, evil, and compatibility arguments

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

Proofs of Non-existence

IN DEFENCE OF CLOSURE

Is the Existence of the Best Possible World Logically Impossible?

In Search of the Ontological Argument. Richard Oxenberg

Evidential arguments from evil

- We might, now, wonder whether the resulting concept of justification is sufficiently strong. According to BonJour, apparent rational insight is

Alvin Plantinga addresses the classic ontological argument in two

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

LOGIC LECTURE #3: DEDUCTION AND INDUCTION. Source: A Concise Introduction to Logic, 11 th Ed. (Patrick Hurley, 2012)

A CRITIQUE OF THE FREE WILL DEFENSE. A Paper. Presented to. Dr. Douglas Blount. Southwestern Baptist Theological Seminary. In Partial Fulfillment

A Critique of Friedman s Critics Lawrence A. Boland

ISSA Proceedings 1998 Wilson On Circular Arguments

In Defense of Radical Empiricism. Joseph Benjamin Riegel. Chapel Hill 2006

Detachment, Probability, and Maximum Likelihood

Chapter 9- Sentential Proofs

ROBERT STALNAKER PRESUPPOSITIONS

What should I believe? Only what I have evidence for.

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres

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

Can Negation be Defined in Terms of Incompatibility?

ARGUMENTS. Arguments. arguments

Lecture Notes on Classical Logic

CONCEPT FORMATION IN ETHICAL THEORIES: DEALING WITH POLAR PREDICATES

Informalizing Formal Logic

The Names of God. from Summa Theologiae (Part I, Questions 12-13) by Thomas Aquinas (~1265 AD) translated by Brian Shanley (2006)

1.2. What is said: propositions

Here s a very dumbed down way to understand why Gödel is no threat at all to A.I..

What God Could Have Made

Unifying the Categorical Imperative* Marcus Arvan University of Tampa

Semantic Entailment and Natural Deduction

Induction, Rational Acceptance, and Minimally Inconsistent Sets

Choosing Rationally and Choosing Correctly *

In Part I of the ETHICS, Spinoza presents his central

Puzzles for Divine Omnipotence & Divine Freedom

Should We Assess the Basic Premises of an Argument for Truth or Acceptability?

On the Alleged Incoherence of Consequentialism. by Robert Mckim and Peter Simpson

Conference on the Epistemology of Keith Lehrer, PUCRS, Porto Alegre (Brazil), June

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

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

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

Does Deduction really rest on a more secure epistemological footing than Induction?

Understanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002

Kripke on the distinctness of the mind from the body

PLANTINGA ON THE FREE WILL DEFENSE. Hugh LAFoLLETTE East Tennessee State University

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

In Defense of The Wide-Scope Instrumental Principle. Simon Rippon

Logic I or Moving in on the Monkey & Bananas Problem

Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1

DEFEASIBLE A PRIORI JUSTIFICATION: A REPLY TO THUROW

Instructor s Manual 1

Lecture 3. I argued in the previous lecture for a relationist solution to Frege's puzzle, one which

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

ON JESUS, DERRIDA, AND DAWKINS: REJOINDER TO JOSHUA HARRIS

Against "Sensible" Naturalism (2007)

WHY THERE REALLY ARE NO IRREDUCIBLY NORMATIVE PROPERTIES

Sufficient Reason and Infinite Regress: Causal Consistency in Descartes and Spinoza. Ryan Steed

Lecture 4. Before beginning the present lecture, I should give the solution to the homework problem

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

Moral Relativism and Conceptual Analysis. David J. Chalmers

Lonergan on General Transcendent Knowledge. In General Transcendent Knowledge, Chapter 19 of Insight, Lonergan does several things:

Divine Eternity and the Reduplicative Qua. are present to God or does God experience a succession of moments? Most philosophers agree

Ayer and Quine on the a priori

CHAPTER III. Of Opposition.

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

CLASS #17: CHALLENGES TO POSITIVISM/BEHAVIORAL APPROACH

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

Argument Basics. When an argument shows that its conclusion is worth accepting we say that the argument is good.

Explanatory Indispensability and Deliberative Indispensability: Against Enoch s Analogy Alex Worsnip University of North Carolina at Chapel Hill

SMITH ON TRUTHMAKERS 1. Dominic Gregory. I. Introduction

Review of Ontology and the Ambitions of Metaphysics by Thomas Hofweber Billy Dunaway University of Missouri St Louis

1. Introduction Formal deductive logic Overview

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

Why There s Nothing You Can Say to Change My Mind: The Principle of Non-Contradiction in Aristotle s Metaphysics

FREEDOM OF CHOICE. Freedom of Choice, p. 2

Reply to Robert Koons

WARRANT AND DESIGNING AGENTS: A REPLY TO JAMES TAYLOR

5 A Modal Version of the

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

Aristotle on the Principle of Contradiction :

TWO VERSIONS OF HUME S LAW

Evaluating Arguments

Three Kinds of Arguments

ACTUALISM AND THISNESS*

Philosophy 5340 Epistemology Topic 4: Skepticism. Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument

Who or what is God?, asks John Hick (Hick 2009). A theist might answer: God is an infinite person, or at least an

PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF?

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

THE INFERENCE TO THE BEST

A Review of Neil Feit s Belief about the Self

Transcription:

DISCUSSION INDUCTION AND OTHER MINDS, II ALVIN PLANTINGA INHISINTERESTINGCOMMENTS on my paper "Induction and Other Minds" 1 Michael Slote means to defend the analogical argument for other minds against certain objections I raised, and to provide a sound version of that argument. 2 I believe that neither of these ventures is successful. The analogical position, as traditionally understood, is the claim that a person can inductively infer the existence of other minds from what he knows about his own mind and about physical objects. Of course this body of knowledge must not include such propositions about physical objects as "that human body over there is animated by a human mind," or "this automobile was designed by a human mind"; nor could my evidence for the existence of other minds be that I have it on the authority of some of the best minds in the country. The body of knowledge in question must not entail that there are any other minds. In "Induction and Other Minds" I used the term "total evidence" to refer to this body of knowledge, defining that term as follows: S's total evidence is the set of propositions such that p is a member of it if and only if (1) p is either necessarily true or solely about S's mental states or solely about physical objects, or a consequence of such propositions and (2) S knows p to be true. (p. 443) 3 In order to state the Analogical Position, furthermore, I employed the term "determines by observation" in a technical sense a sense such that one can determine by observation that pain behavior is being displayed on a given occasion, but cannot determine by observation that someone else is in pain (pp. 442-443). 1 This Review, XIX, 3 (March, 1966). 2 Mr. Slote's comment is also entitled "Induction and Other Minds," this Review, XX, 2 (December, 1966). 3 All page references in the text refer to my original article.

INDUCTION AND OTHER MINDS, II 525 I then defined 11 a simple inductive argument for S" as an argument of the following form: Every A such that S has determined by observation whether or not A is B, is such that S has determined by observation that A is B. Therefore probably every A is B. (pp. 446-447) A direct inductive argument for S, we may say, is an ordered pair of arguments the first member of which is a simple argument a for S, and the second a valid deductive argument, one premiss of which is the conclusion of a, the other premisses being drawn from S's total evidence (p. 447). Now according to the Analogical Position (as I stated it) there must be, for any (or almost any) person S, a set K of propositions each member of which is such that S has a direct argument for it but no direct argument against it. Among the members of K we should presumably find the following: (a) (b) (c) (d) (e) (f) (g) I am not the only being that feels pain. There are some pains that I do not feel. Sometimes certain areas of my body are free from pain. There are some pains that are not in my body. There are some cases of pain that are not accompanied by pain behavior on the part of my body. I am the only person who feels pain in my body. Sometimes someone feels pain when I do not. My direct argument for (a), for example, would go as follows: Hence (1) Every case of pain behavior such that I have determined by observation whether or not it was accompanied by pain in the body displaying it, was accompanied by pain in that body. (2) Probably every case of pain behavior is accompanied by pain in the body displaying it. 4 But then on a certain occasion I observe that (3) B over there (a body other than my own) is displaying pain behavior. 4 Steps (1) and (2) on pp. 449 and 456-457 of my article "Induction and Other Minds" are misstated. They are correctly stated on pp. 443-444.

526 ALVIN PLANT INGA Since I feel no pain in B, I con So B probably contains a pain. clude and (b) (a) There are some pains I don't feel I am not the only being that feels pain. My criticism of the Analogical Position began by noting a peculiarity of the inference of (2) from (1). It is of course possible that someone feel a pain in a body other than my own when I feel nothing there. But it is also possible that some person or sentient creature feel a pain in my body when I feel none (Eve Black could feel a pain in the shoulder she shared with Eve White when the latter felt no pain at all). I cannot, accordingly, determine by observation that a given bodily area is free from pain, although of course I can determine by observation that J feel no pain there. Hence if the sample class of my simple inductive argument is the set of cases of pain behavior of which I have determined by observation whether or not they are accompanied by pain in the body displaying that behavior, then it is not possible that my sample class contain a counterinstance to the conclusion of my argument. Noting that arguments of this sort deserve to be regarded with the gravest suspicion, I suggested the following principle: (A) A simple inductive argument for S is acceptable only if it is logically possible that its sample class contain a counter instance to its conclusion. I think A is correct. There are some peculiar arguments involving crowmen, swanegs, and croites, however, that do not violate A but seem defective in pretty much the same way as those that do (pp. 451-452). I therefore suggested that A should be replaced by (A') Where a, ß, is an inductive argument for S, ß is of the form All A's have B, and C is any part of ß; a, ß is acceptable for S only if the propositions S has examined an A and determined by observation that it lacks C and S has examined an A and determined by observation that it has C are both logically possible, (p. 453) If we accept (A) or (A') we shall have to reject the Analogical Position, as I stated it above; for it seems impossible to find direct arguments that support the members of K but do not violate (A)

INDUCTION AND OTHER MINDS, II 527 and (A'). 5 The point of my paper, however, was that the Analogical Position is confronted with a dilemma. For either we accept some such principle as (A) or (A') or we do not. If we do, then we have no direct arguments for the members of K; and the Analogical Position fails. If we do not, then we find that there are direct arguments for the denials of the members of K arguments as strong as the ones for the members of K and again the Analogical Position fails. Mr. Slote, however, believes that (Ä) is too strong and presents three reasons for thinking so: (1) Where "F" and "G" range over properties, F and (G or not G) is the same property as F. But then every property will be a part of every property and no argument will be acceptable on (A'). (2) Some of the inferences we make in everyday life violate (Ä). (3) (A') rules out any argument whose conclusion is of the form: All A's are B where B contains a part C such that all A's are C is necessarily true. Two of these objections are easily disposed of. (A) and (Ä) are designed to apply to the analogical arguer's attempt to reason from what he knows about physical objects and his own mental state to conclusions about mental states not his own. Hence (A) and (A') are designed to apply to simple inductive arguments rather than inductive arguments generally. (This qualification was explicitly included in the statement of (A) and should have been included in the statement of (A').) Accordingly, the second of Slote's objections does not bear on (A'). In stating (A), moreover, I added that it applies only where the conclusion of the simple inductive argument in question is not necessarily true (p. 452). This qualification should have been explicitly incorporated in the statement of (Ä) as well (by adding the phrase "provided that it is neither necessarily true that all A's are C nor that no A's are C"). This meets the third objection. Slote's first objection, however, is not so easily dealt with. Apparently he means to hold (where F and G are any properties) 5 With one exception; there is a direct argument for (c) (p. 455) that does not violate (A) or (A').

528 ALVIN PLANTINGA that F is truth functionally equivalent to a property like F or (G and not-g); and that if P and P' are truth functionally equivalent properties, then P is the very same property as P'. It therefore follows that there is only one truth functionally tautologous property, and only one truth functionally inconsistent property. Now Slote does not explain the notion of truth functional equivalence of properties (presumably the explanation would proceed in terms of the truth functional equivalence of certain associated propositions). But, insofar as I understand it, the suggestion that there is just one truth functionally tautologous property and one truth functionally inconsistent property seems to me quite implausible as implausible as the corresponding suggestion that there is just one truth functionally tautologous proposition and one truth functionally inconsistent proposition. Nevertheless I cannot think of much by way of argument against this claim, and Slote is quite right in pointing out that (A') is acceptable only if it is not the case that if F and G are any truth functionally equivalent properties, then F is the very same property as G. Hence anyone who (mistakenly, in my view) accepts this latter principle will find (A') unacceptable. But of course one cannot defend the Analogical Position against my criticism merely by providing a reason for rejecting (A'); to think that one could, would be to overlook the dilemmatic character of that criticism. (And in any event (A), which Slote says he accepts, yields the very same results as (A') with respect to the direct arguments I considered for and against the members of K). What is required, to rehabilitate the Analogical Position, is a sound inductive principle P that rules out the various arguments against the members of K but does not pay the same compliment to the arguments for the members of K. Apparently this is what Slote attempts in the second part of his paper. The principle he suggests is the conjunction of his K, S and U with my (A); he then suggests an argument that supports the conclusion that someone else feels or pretends to feel pain and does not violate this principle. 6 (No doubt similar arguments could be found for at least some of the other members of K.) Slote's argument proceeds as follows: Stote's "Induction and Other Minds," pp. 348-350.

INDUCTION AND OTHER MINDS, II 529 (a) Every case of (full blown) pain behavior on the part of my (human) body (that I can remember) has been accompanied by pain or the pretense of pain. So (b) (It is reasonable to believe that) every case of (full-blown) pain behavior (on the part of every human body) is accompanied by pain or the pretense of pain. But So (c) (d) That human body over there is displaying (full-blown) pain behavior. (It is reasonable for me to believe that) someone is feeling pain or else pretending to be in pain. 7 And since, on the occasion in question (as we may suppose) I am neither feeling pain nor pretending to be in pain, it follows that (e) (It is reasonable for me to believe that) someone else (or something else) is feeling pain or pretending to be in pain, and therefore there is at least one other mind. 8 Now Slote says on page 350 that he accepts my principle (A); I suspect, however, that in fact he does not. For according to (A), an Analogical Argument for other minds is acceptable only if it is possible that its sample class contain a counterinstance to its conclusion. The sample class of an argument (as I was using the term) is the subset of the reference class of which x is a member if and only if it has been determined, by the appropriate per son (s), whether or not x has the sample property. Since the sample property, in the argument Slote suggests, is the property of being accompanied by pain or the pretense of pain, the analogical arguer cannot determine by observation that some member of the reference class lacks the sample property; he cannot so determine that a case of full-blown pain behavior on the part of some human body is unaccompanied by pain or the pretense of pain. (All he can do, along these lines, is determine that some member of the reference 7 8 Ibid., p. 351. Ibid., p. 352.

530 ALVIN PLANT INGA class is unaccompanied by pain or the pretense of pain on his part). Accordingly, Slote's argument violates (A). Why then does he claim to accept that principle? The explanation, no doubt, is that Slote is using the term 'sample class' in a much broader way than I was. Apparently he takes the class of full-blown cases of pain behavior on the part of his body to be the sample class of the argument he suggests. And it is certainly true that some member of this class could contain a counterinstance to the conclusion; it is possible that such a case of pain behavior be unaccompanied by pain or the pretense of pain. (Of course one could not determine by observation that this class contained a counterinstance to the conclusion; no proposition entailing the existence of such a case of pain behavior could be a part of the one's total evidence.) As Slote uses the term 'sample class,' it seems that just any subset S of the reference class (or perhaps any subset S of the reference class such that someone knows that all, or some proportion, of the members of S have the reference property) can serve as the sample class of an acceptable analogical argument. Suppose we let 'A*' name the version of (A) that results when we understand 'sample class' as Slote means to use it. Now the important point to notice here is this: Slote's attempt to rehabilitate the analogical argument is successful only if it provides a set of arguments for the members of K and a sound inductive principle P such that P is not violated by the arguments for the members of K but is violated by the arguments against the members of K. If Slote rejects (A) in favor of (A*), then the principle he suggests would be the conjunction of his principles K, S, and U with (A*). 9 But this principle does not rule out the arguments against the members of K. Consider, for example, the following: So (1) Every case of full-blown pain behavior on the part of my body has been accompanied by pain in my body. (2) (It is reasonable for me to believe that) every case of (fullblown) pain behavior (on the part of any human body) is accompanied by pain in my body. 9 Ibid., pp. 348-350.

INDUCTION AND OTHER MINDS, II 531 If (as is most likely) it is part of my total evidence that (3) On many occasions human bodies display pain behavior when I feel no pain. then I have an argument from my total evidence for (4) There are pains in my body that I do not feel, and hence for (5) I am not the only person that feels pain in my body. which contradicts (f) of K. Now the inference of (2) from (1) does not violate Slote's principles K and S, or U. Neither does it violate (A*), since it is certainly possible that there be cases of fullblown pain behavior on the part of my body that are not accompanied by pain in my body. 10 This inference does violate both (A) and (A'); but it does not violate the principles by which Slote replaces them. Similarly, I can argue for the conclusion that I feel every pain in any human body (and by an extension of the argument, every pain in any body), which contradicts (b) of K: (6) Every pain in my body (that I can remember) has been felt by me. So probably (7) Every pain in any human body is felt by me. Again, the inference of (7) from (6) does not violate Slote's principles K, S, or U. And although it does violate (A) and (A'), it does not violate (A*), since it is possible, as Slote agrees, that there be a pain in my body that I do not feel. (Eve Black might feel a pain in the body she shares with Eve White when the latter feels nothing). How, exactly, does this bear on Slote's proposed rehabilitation of the Analogical Position? As follows: Slote has not successfully restated that position, for the principle he suggests as a replacement for (A) and (A') does not rule out the direct arguments against the members of K. Hence the members of K are not, 10 Nor, incidentally, will my total evidence contain any reason for supposing that the class of cases of pain behavior on the part of my body is a biased sample with respect to the property of being accompanied by pain in my body.

532 ALVIN PLANT INGA on Slote's reconstruction of the principle, directly supported by my total evidence. But further: we can find an argument of the same sort for the denial of an essential premiss of the analogical argument Slote suggests. 11 For Hence (8) Every case of pain behavior on the part of my body that has been accompanied by pain or the pretense of pain, has been accompanied by pain or the pretense of pain on my part. (9) Probably every case of pain behavior (on the part of any human body) is accompanied by pain or the pretense of pain on my part. My total evidence, however, will contain the information that (10) There are many cases of full-blown pain behavior that are not accompanied by pain or the pretense of pain on my part. Hence probably (11) There are many cases of full-blown pain behavior that are not accompanied by pain or the pretense of pain. Once more, the inference of (9) from (8) does not violate Slote's K, U, or S. Nor does it violate (A*), for it is possible that there be a case of pain behavior on the part of my body that is accompanied by pain or the pretense of pain but is not accompanied by pain or the pretense of pain on my part. (This inference, however, does run afoul of my principle (A); it is not possible for me to determine by observation that there is a case of pain behavior on the part of my body that is accompanied by pain or the pretense of pain, but not by pain or the pretense of pain on my part.) Now an essential premiss of Slote's analogical argument is (b) (It is reasonable for me to believe that) every case of (fullblown) pain behavior (on the part of any human body) is accompanied by pain or the pretense of pain. 12 But what we see is that on Slote's principle the analogical arguer has not the slightest reason to suppose (b) true. There is an 11 12 Slote's "Induction and Other Minds," p. 351. Ibid., p. 351.

INDUCTION AND OTHER MINDS, II 533 argument from his total evidence against the proposition that every case of pain behavior is accompanied by pain or the pretense of pain an argument that is quite as acceptable, given Slote's principles A*, K, U, and S, as the argument he offers for it. But then Slote's restatement of the Analogical Position is unsuccessful; it falls victim to the objection I urged in "Induction and Other Minds." Calvin College.