Rescher 2001 Paradoxes
Rescher 2001 Paradoxes
Rescher 2001 Paradoxes
Nicholas Rescher
Paradoxes
Paradoxes
Their Roots, Range,
and Resolution
NICHOlAS RESCHER
OPEN COURT
Chicago and La Salle, Illinois
Brief Contents
Detailed Contents
Preface
Index of Paradoxes Discussed
Summary of Symbols, Technical Terms,
and Principles
1
2
3
4
5
6
7
8
9
10
11
12
13
Aporetics
Paradox Solution via Retention Prioritization
Plausibility as a Guide to Prioritization
Levels of Paradoxicality
Paradoxes of Vagueness
Paradoxes of Ambiguity and Equivocation
(Insufficient Distinctions)
Philosophical Paradoxes
Paradoxes of Inappropriate Presupposition
(Improper Totalities in Particular)
Mathematical Paradoxes
Semantical Paradoxes that Involve Conflicting
Claims regarding Truth
Inductive Paradoxes (Conflicts of Probability
and Evidence)
Paradoxes of Hypothetical Reasoning
(The Problem of Assumptions that Conflict
with Accepted Beliefs)
Paradoxes of Choice and Decision (Conflicting
Reasons for Action)
Bibliography
Index
VII
XIIl
xv
XiX
3
25
43
57
77
91
117
137
159
193
219
233
255
281
289
Detailed Contents
Preface
Index of Paradoxes Discussed
Summary of Symbols, Technical Terms, and
Principles
Paradoxes Discussed in Chapter 1
Aporetics
1.1 Apories and Paradoxes
1.2 Paradoxes Root in Overcommitment
1.3 Plausibility
1.4 Plausibility and Presumption
1.5 The Acceptability of Contentions
Xlll
xv
xix
1
3
3
9
15
17
20
23
25
25
32
34
37
41
43
43
46
47
51
Detailed Contents
55
57
57
59
61
65
70
Levels of Paradoxicality
4.1 Four Modes of Paradox Solution
4.2 Dissolvable Paradoxes
4.3 Decisively Resolvable Paradoxes
4.4 Indecisively Resolvable Paradoxes
4.5 The Classification of Paradoxes
75
77
77
83
84
87
Paradoxes of Vagueness
5.1
5.2
5.3
5.4
89
91
91
94
96
98
100
101
102
104
107
108
110
111
112
Detailed Contents
Xl
115
117
117
123
125
126
Philosophical Paradoxes
7.1 Philosophical Paradoxes
7.2 Philosophical Apories Tie Issues Together
7.3 Philosophical Plausibility
7.4 The Role of Distinctions
Unwarranted Presuppositions
Paradoxical Questions
Negatively Totalitarian Self-Involvement:
The Barber Paradox
8.4 Illicit Totalization Paradoxes
8.5 Immanuel Kant's Antinomies
8.6 Predictive Paradoxes
8.7 Summary
135
137
137
141
143
145
147
151
154
157
159
Mathematical Paradoxes
9.1
9.2
9.3
9.4
9.5
9.6
9.7
9.8
9.9
9.10
159
164
167
170
173
176
181
184
184
188
Detailed Contents
xu
Self-Falsification
The Liar and His Cousins
Problems of Self-Reference
Paradoxes of Truth-Claim Dissonance
The Preface Paradox
Evidential Indecisiveness
Self- Deception
The Lottery Paradox
Hempel's Paradox of the Ravens
Goodman's Grue/Bleen Paradox
191
193
193
199
203
207
213
217
219
219
221
222
224
227
231
233
233
238
242
244
245
247
249
Detailed Contents
Bibliography
Index
Xlll
253
255
255
260
264
267
269
275
281
289
Preface
The principal aim of the book is to show that a wide variety of
cognitive issues-not only the standardly recognized paradoxes
but also counterfactual conditionals and various sorts of self-reference problems--can all be accommodated by common analytical
means and have their perplexities resolved by use of the same
machinery of inconsistency management. On this basis aporetics
emerges as a versatile and fruitful instrumentality of issue clarification and problem solving.
More than a hundred and thirty major and minor paradoxes
are analyzed in the course of the discussion-including virtually all
of the best known instances of this phenomenon. Entire books
can and have been written about many of these individual paradoxes, so it should be clear from the outset that none of them will
be dealt with in their full and often complex detail. Our interest
here is in the general theory of paradoxes-in those shared and
common features in virtue of which a generic approach to paradox analysis can be articulated. On this basis, consideration of
individual paradoxes will be merely illustrative. They will be
treated not in their full and idiosyncratic detail but as case studies
that exemplify significant aspects of a general theory of paradox
analysis. So I must plead for understanding and forgiveness if the
reader is disappointed to find his or her own favorite solution of a
particular paradox overlooked. For the aim here is entirely
methodological. It is the generic procedure of dealing with paradoxes that is at the forefront here, and particular paradoxes are
treated merely as illustrations and not with a more specifically
doctrinal end in view. The aim of the present discussion is to present a way of handling paradoxes in general.
The book aims to provide some significant innovations regarding the subject at large. These innovations specifically include:
The standardization of paradox analysis through the
machinery of general aporetics.
The exploration of the distinction between truth and plausibility as an instrument of paradox analysis.
xv
XVl
Preface
The utilization of epistemic prioritization in paradox resolution and the exploration of the role of plausibility rankings in this regard.
The specification of acceptance profiles for the comparative
assessment of alternative resolutions of a paradox.
Introduction of the idea of cycles of inconsistency into
paradox analysis and implementation of the corresponding
distinction between simple and complex paradoxes.
Adoption of the Successful Identification Requirement
(SIR) as an instrument of paradox resolution adequate to
deal with the entire range of mathematical paradoxes.
The use of the Viable Introduction Principle (SIP) as a simpler and more natural replacement for Russell's Vicious
Circle Principle and its congeners in resolving semantical
paradoxes.
All in all, the aim of the book is to show that paradox analysis
is a more straightforward matter than is generally thought-and
yet not just to maintain this in the abstract but to illustrate it in
comprehensive and diversified detail.
I am grateful to several colleagues who have read the book in
manuscript and have suggested corrections and improvements, in
particular Carl Davulis, Peter Davison Galle, Alexander Pruss, and
Neil Tennant.
xvii
xviii
208-09
103
220-21
30-31
17
65-67
120-21
123-24
127-29
124-25
110--11
105
119-120
174-75
227-230
62-63
28-29
77-82
224-26
87
174-75
160-61
12,140
160-61
165-67,203-04
145-151, 172n
246
213
60-61
147-151
119-120
209
81-82,199-202
52-53,222-24
102
107-08
138-139
28-29
83
XIX
108-110
44-45
110-11
98-102
101-02
62n
8
264-66
221-22
46-47
103
93-93
219-221
139-140
249-252
264-66
93-94
266
151-54
213-15
260-63
126
213
63-65
59-60
224-26
245-49
104-05
102-04
181-83
141-42
173-74,213
170--73
176
67-68
62-63
118-19
132-33
20-22
193-94
xx
Self-Deception Paradoxes
Self-Falsification Paradoxes
Self-Negation Paradox
Sense-Deception Paradoxes
Ship of Theseus Paradox
Sir John Cutler's Stockings, Paradox of
Smashed Vase Paradox
Socratic Ignorance Paradox
Socratic Paradox of Ethics
SomethingjNothing Paradox
Sorites or Heap Paradox
Space Paradoxes, Zeno's
St. Petersburg Paradox
Supertruth Paradox
Surprise Examination (or Execution) Paradox
Teacher as Assassin Paradox
Third Man Paradox
Thompson's Lamp Paradox
Time Travel Paradox
Truth Paradox
Truth-Status Assignment Paradoxes
Unachievable Wisdom Paradox
Valid Argumentation Paradox
Voting Paradox
"Who is the Engineer?" Paradox
Zeno's Achilles Paradox
Zeno's Arrow Paradox
Zeno's Motion Paradoxes
Zeno's Moving Bodies Paradox
Zeno's Paradox of Differentiation
Zeno's Racetrack Paradox
Zeno's Space Paradoxes
221-22
194-202
203
8,46-47
86
84-86
27-28
32-33
129-130
106-07
77-82
96-98
268-69
167-69
112-14
93
117-18
247-49
121-22
12-13
209-213
258-260
169-170
255-56
13-14
98-99
100-01
98-102
101-02
94-96
59-60
96-98
Summary of Symbols,
Technical Terms, and Principles
SYMBOLS
Standard logic symbols
propositional logic: -, &, v,
~,~
quantificationallogic: 3, 'if
identity (or definition): =
deductive entailment: r
inductive implication: :}
Priority ordering: >
Set-theoretic notation: I J,
E,
Ix: Fx}
Item identification: (t x) ex
NOTE: Ix: Fx} = (ty)'ifx(xEy~Fx)
TECHNICAL TERMS
aporetic cluster: a set of propositions that are individually plausible
but collectively inconsistent. [NOTE: An aporetic cluster constitutes a paradox.]
MCS (maximal consistent subset): any consistent subset of an
aporetic cluster that becomes inconsistent through the addition of anyone of its other members.
xxi
XXII
PRINCIPLES OF IDENTIFICATORY
MEANINGFULNESS
VIR (Valid Identification Requirement): For something to be
appropriately characterized by an identifactory specification of
the format "the x that satisfies the condition C-( symbolically
(tx)Cx-the existence of a unique item of this description
xxiii
Aporetics
1.1
Chapter 1
Aporetics
Not only are there extensive scholarly discussions about paradoxes, but there is also a literature that revels in paradoxes and
unfolds episodes and narratives based on them. Belletristic writers
such as Rabelais, Cervantes, and Sterne as well as G.K. Chesterton
and J.L. Borges corne to mind here. An excellent study by R.L.
Colie examines the early phases of this literature which does, however, fall outside the focus of present concern. 4
The metaphysical poet George Herbert in his devotional poem
"Providence" wrote: "Thou art in all things one, in each thing
many/For thou art to infinite in one and all" (Lines 43-44).
Christian discourse is full of such rhetorical paradoxes. Thus
Sebastian Franck (1499-1542) published in 1534 his book
Paradoxa, a collection of 280 "paradoxes" culled from biblical
texts. 5 These include such dicta as "Victory is with the vanquished" (Triumphos penes victos) and "God is never nearer than
when far away" (Non est proprior quam procul absens deus) and
"Faith believes in unbelief' (Fides in incredulitate credit). But
Christian discourse has its logical paradoxes as well. St. Paul
explained to the Athenians that he carne to make known to them
an unknown and unknowable God. And at the religion's center
lies the great Christian paradox that death is the gateway to eternallife. However it is not with the preachers but with the theologians that we generally encounter actually communicative
paradoxes, the doctrine of the Trinity being a classic case in point.
It was with a view to issues of this sort that the theologian
Tertullian was led to his notorious dictum: credo quia absurdum
("I believe because it is absurd").
The technical literature of logic, mathematics, and philosophy
is also rife with discussions of various types of paradoxes. But
these are generally dealt with as so many individual and isolated
episodes, each requiring its own characteristic mode of approach.
There has been no attempt at an uniform, across-the-board
approach to the subject of paradoxes and their resolution. By contrast, the present discussion sees paradox as a generically uniform
4. Rabelais, Gargantua and Pentagrual; Cervantes, Don QJtixotc; Laurence Sterne,
Tristram Shandy, G.K Chesterton, The Paradoxes of Mr. Pond; and Jorge Luis Borges,
Labyrinths, are prime examples of paradox-oriented literature. Sec also Rosalie L. Colic,
Paradoxia Epidemica (Princeton: Princeton University Press, 1966).
5. Sebastian Franck, 280 Paradoxes or Wondrous Sayings. Translated by E.J. Furcha
(Lewistown, NY: Edward Mellen Press, 1986).
Chapter 1
Aporetics
Chapter 1
Aporetics
Case II
(Enough)
Case III
(Too Much)
x+y=2
3x+ 3y= 6
x+ y= 3
x- y= 3
x+y=4
2x + 2y= 5
In the first case there is too little information to make a determination possible, in the second case just enough, and in the third
too much. For the information overload of case III creates an
inconsistent situation. This inherent conflict of the claims at issue
renders them collectively inconsistent and thereby paradoxical.
The prime directive of rationality is to restore consistency
in such situations. To be sure, it is a possible reaction to paradox
simply to take contradictions in our stride. With Pascal we might
accept contradictions for the sake of greater interests, and say
that "a la fin de chacque verite, il faut ajouter qu'on se souvient
de la verite opposee" ("after every truth one must be mindful
of the opposite truth. ")10 The Greek philosopher Protagoras
(born ca. 480 B.C.), the founding father of the Sophistic school,ll
10. Blaise Pascal, Pensees, No. 791; Modern Library edition No. 566, p. 185. Recall
the dictum that "consistency is the hobgoblin of small minds."
11. For Protagoras see Zeller, Philosophie der Griechen, Vol. 1/2, pp. 1296-1304. See
also Plato's dialogues Protagoras and The Sophist.
10
Chapter 1
notoriously held that the human situation was in this way paradoxical throughout, and that anything and everything that we
believed could be argued for pro and con with equal cogency. And
he was perfectly prepared to accept the deeper paradoxical consequence that this holds also for the very thesis at issue. 12 But this
sort of resignation in the face of inconsistency is hardly a comfortable-let alone a rational-posture. Even if one's sympathies were
so inordinately wide, inconsistency tolerance should be viewed as
a position of last resort, to be adopted only after all else has failed
US. 13
12. "Protagoras ait, de omnis re in utrumque partem disputari posse ex aequo, et de hac
ipsa, an ominis res in utrumque partem disputabilis sit." Seneca, Epistola moralia, XIV, 88,
43.
13. Compare N. Rescher and Robert Brandom, The Logic of Inconsistency (Oxford:
Blackwell, 1979).
14. The terminology is adapted from the Greek aporetike techne, the "aporetic art" of
articulating, analyzing, and resolving aporia or paradoxes. The conception of such an
enterprise as central to philosophy figured prominently in the work of the German philosopher Nicolai Hartmann (1882-1950). See his Grundzuge einer Metaphysik dey Erkenntnis
(Berlin: de Gruyter, 1921; 5th ed. 1965).
Aporetics
11
15. For a fuller treatment of this issue see the author's "Ueber einen zentralen
Unterschied zwischen Theorie und Praxis." Deutsche Zeitschrift fuer Philosophie, vol. 47
(1999),pp.171-182.
Chapter 1
12
Aporetics
13
insist that (4) must be abandoned. But there are big problems
here. For the reasoning at issue fails to heed the distinction
between sentences and statements or abstract propositions (the
information that sentences purport). Actually, it is false to say, as
per (1), that truth appertains to sentences only: it is also a feature
of statements. And if we substitute "statements" for "sentences"
in the argument then (2) fails. For while human-language sentences can express statements, the facts at issue with potentially
true statements can-at least in theory-outrun the limits of
human language.
As such philosophical paradoxes indicate, the inconsistency at
issue need not be obvious, but may well lie hidden from casual
perusal. The puzzle of "Who is the engineer?" yields a vivid example of a nonphilosophical paradox of this sort. It envisages a series
of reports providing the following background information:
On a train operated by three men, Jones, Smith, and Robinson,
as engineer, brakeman, and fireman (but not necessarily
respectively), are three passengers: Mr. Jones, Mr. Smith, and
Mr. Robinson. The following information is given:
(a) Mr. Robinson lives in Detroit.
(b) Mr. Jones receives a salary of $40,000 a year.
(c) Smith beat the fireman at billiards.
(d) The passenger whose name is the same as the brakeman
lives in Chicago.
(e) The brakeman lives halfway between Chicago and Detroit.
(f) The brakeman's nearest neighbor, one of the passengers,
earns a salary exacdy three time as large as the brakeman's.
(g) Smith beat the engineer at tennis.
Here these (a)-(f) make it possible to identify the engineer. This
can be shown as follows when we use R, J, S to abbreviate the
names of the individuals at issue and J, b, e to indicate the fireman, brakeman, and engineer, respectively:
Chapter 1
14
FACT
REASON
(1) S"# f
(c)
(a), (e)
(b), (f)
(e), (4)
(a)
(8) J= b
(7), (d)
(9) J"# f
(8)
(10)R=f
(1),(9)
(11) S= e
(8), (10)
Smith is the engineer! But of course when (g) is added with its
message that S"# e, a contradiction at once results. The information overload that compromises the (g)-augmented puzzle of
"Who is the engineer?" creates an aporetic situation that results in
paradox. This fact, however, is well concealed in the fog of complexity that pervades this puzzle's information base.
Consider the statement "All of my statements made on [suchand -such a date] are false." This is in principle altogether unproblematic. Indeed if the date is one on which the only thing I said
was "2 + 2 = 5" then the statements at issue is both perfectly
meaningful and flat-out true. However, if the date at issue is the
one on which I made that very statement, then paradox is the
clear result. Thus paradox may well be a matter not only of what a
statement says but also of the contingent circumstances in which it
is made.
Take another example, that of the Deduction Paradox which
takes the following dilemmatic form:
(1) If a proposed deductive argument is valid, then the conclusion can contain no information that is not inferentially
contained in the premisses.
Aporetics
15
(2) This circumstance means that a deductively valid argument is essentially uninformative-it adds nothing new
over and above what is already in hand.
(3) If a proposed deductive argument is invalid, then it is useless. A viable conclusion cannot be based upon it.
(4) A deductive argument is thus either uninformative (as per
(2)) or pointless (as per (3)). In either case, it can accomplish no informatively useful work.
That premiss (2) is untenable here is vividly illustrated by the
"\Vho is the Engineer?" Problem. Clearly a distinction must be
drawn. Implicit information containment as per premiss (1) is one
sort of thing, and cognitively discernible informativeness is something very different, seeing that finite intelligences are not deductively omnipotent.
Paradoxes all arise in one and the same generic way, namely,
through aporetic overcommitment. In each case we have a situation in which we are minded to accept as plausible more than the
limits of consistency can manage to contain. We can, accordingly,
approach paradoxes from the angle of the preceding consideration
regarding aporetic analysis subject to the idea that addressing a
paradox is a matter of breaking the chain of inconsistency that it
involves by seeking out the weakest links of this chain.
1.3
Plausibility
assertion of claims and contentions is not something that is uniform and monolithic but rather something that can take markedly
different types or forms. For we can "accept" a thesis as necessary
and certain on logico-conceptual grounds ("Forks have tynes"),
or as unquestionably true, although only contingently so ("The
Louvre Museum is in Paris"), or in a much more tentative and
hesitant frame of mind as merely plausible or presumably true
("Dinosaurs became extinct owing to the earth's cooling when
the sun was blocked by cometary debris").
\Vhen a proposition is so guardedly endorsed we do not have
it that, a la Tarski, asserting p is tantamount to claiming that "p is
16
Chapter 1
17
Aporetics
(By hypothesis.)
By (1).)
(From (1) by
inspection. )
(As a principle of
logic.)
1.4.
Unfortunately, life being what it is, we cannot always get away with
accepting the plausible outright because actual truth is something
more selective and demanding than mere plausibility, seeing that
plausibilities-unlike truths--<:an conflict both with truths and with
one another. Distributively true statements are of course collectively
true: we have [T(p) & 11q)] ~ T(p & q). But this is emphatically
not the case with plausible let alone with merely probable state-
18
Chapter 1
18. Robens Whately, Elements of Rhetoric (Urban, 1963; first edition 1846), Pt. I, ch.
III, sect. 2.
Aporetics
19
It is in just this sense that in Anglo-American law a "presumption of innocence" operates in favor of the accused. The "burden
of proof' is carried on the other side, and the presumption stands
until it is overthrown by stronger countervailing considerations. In
virtually all probative contexts there is, for example, a standing
presumption in favor of the normal, usual, customary course of
things.
Against the claims of the senses or of memory automatically to
afford us the truth pure and simple one can deploy all of the traditional arguments of the sceptics, and take as guide the dictum of
Descartes: "All that up to the present time I have accepted as most
true and certain I have learned either from the senses or through
the senses but it is sometimes proved to me that these senses are
deceptive, and it is wiser not to trust entirely to any thing by
which we have once been deceived."19 But of course, such arguments in support of the vulnerability of sensory data serve only to
re-emphasize their role as promising truth-candidates in the sense
of presumptions rather than outright truths as such. A presumption, after all, is to be given some credit, even if not a totally
unqualified endorsement. Its epistemic standing is not rock-solid,
to be sure, but it is enough to call for a sufficient effort for its dislodging. Our commitment to a presumption may not be absolute,
but it is nevertheless a commitment all the same. 20
The plausibility tropism inherent in the principle of a presumption in favor of the most plausible alternative is an instrument of
epistemic prudence. It amounts to the sort of safety-first approach
that is known in decision theory and the theory of practical reasoning as a minimax potential-loss strategy. The guiding idea of
such a strategy is to opt in choice-situations for that alternative
which minimizes the greatest loss that could possibly ensue. 21
19. Rene Descartes, Meditations on First Philosophy, No. I, translated by R.M. Eaton.
20. Israel Scheffer makes a similar point in the temporal context of a change of mind
in the light of new information: "That a sentence may be given up at a later time does not
mean that its present claim upon us may be blithely disregarded. The idea that once a
statement is acknowledged as theoretically revisable, it can carry no cognitive weight at all,
is no more plausible that the suggestion that a man loses his vote as soon as it is seen that
the rules make it possible for him to be outvoted." Science and Subjectivity (New York,
1967), p. 118.
21. For the relevant issues at the level of decision theory in general see R.D. Luce and
H. Raiffa, Games IJnd Decisions (New York: Wtley, 1957).
20
Chapter 1
1.5.
Aporetics
21
22
Chapter 1
the anomaly posed by the statement: "Every proposition is affirmative. "23 Though false, this self-instantiating claim seems otherwise harmless. But it nevertheless has the logical consequence
"No proposition is negative." And this statement is not only false
but absurd, seeing that it itself provides a counter-instance to its
own assertion.
1. Most of the paradoxes discussed in the extensive literature of the subject involve
only a single cycle of inconsistency and accordingly have as Iowan index of inconsistency as
is possible for an inconsistent set of the size at issue.
2. On this basis, the comparative extent to which a set is inconsistent can be measured
by the ratio (k - 1) -;- (n - 1), where k is the number of MCS's and n the number of setmembers. This inconsistency index of a set can range from 0 in the case of a consistent set
to 1 in the case of a maximally inconsistent set of individually consistent propositions.
25
26
Chapter 2
An inconsistent n-et (quartet, quintet, etc.) is a set of n collectively inconsistent propositions that is minimally inconsistent in
that the deletion of anyone of which will restore overall consistency, so that every n-l sized subset of such a set is a maximal
consistent subset (MCS). Thus consider the situation where both
{( 1), (2), (3)} and ((2), (3), (4) I are inconsistent triads, and we
now take into view the set {(I), (2), (3), (4)}. Owing to the overlaps involved this is not an inconsistent quartet, since instead of
having the requisite four MCS's (one for each available proposition) it has only three: {(I), (2), (4)}, {(l), (3), (4)}, and {(2),
(3) }.
It is a readily demonstrable fact of logic that any inconsistent
set of propositions can be decomposed into (potentially overlapping) subset-components each of which is an inconsistent n-et.
Accordingly, an inconsistent set has as many "cycles of inconsistency" (as we have called them) as there are inconsistent n-ets to
this decomposition.
Paradox solution is in general a matter of bringing consistency
to an inconsistent set of propositions. On this basis, there is a
generic, across-the-board methodology for analyzing paradoxes of
all kinds. For apory resolution becomes an exercise in epistemic
damage control: confronting an inconsistent cluster we have to
restore a cognitively viable situation. And the object is to achieve
this at minimal cost-with the least possible sacrifice among the
theses towards which we were, in the first instance, favorably
inclined. Yet given the conflict among the propositions involved in
an aporetic situation, it is clear that they cannot all be true. (The
truth, after all, must constitute a consistent whole.) And so when
confronted with an aporetic situation there is really only one way
out: some of the theses that engender the conflict must be abandoned-if only by way of restriction or qualification. We have here
overextended ourselves by accepting too much-more than a due
heed for consistency can possibly support. And this means that one
and the same recourse-the abandonment of some of the propositions involved on the basis of their absolute or comparative untenability-can resolve the problem. It also means that paradox
resolution never comes cost-free: there is always something that
we must give up for the sake of recovering consistency.
Logic can tell us that our modes of reasoning are valid-that
when applied to truths they must lead to truths. But it does not-
27
cannot-tell us that when applied to plausibilities, valid arguments cannot yield implausible (or even self-contradictory) conclusions. (Mter all, a conjunction is often less plausible than
its conjuncts.) Logic thus provides no insurance against paradox. And the reason is simple. Inconsistency requires a choice
among alternatives for premiss abandonment. But logic is valuefree. It will dictate that we must make choices in the interests of
consistency resolution, but not how. It can criticize our conclusions but not our premisses. And so, as long as we are conjuring
with plausibilities, the threat of paradox dogs our steps, irrespectively of how carefully and cogently we may proceed in point of
logic.
The long and short of it is that paradox management requires
an extra- or supra-logical resource. For the way to restore consistency to an aporetic situation is to implement some sort of prioritization principle that specifies how, in a case of conflict, we
should proceed in making some of the relevant claims give way to
others. What is needed is a rule of precedence or right of way.
Considerations of priority are needed for breaking the chain of
inconsistency at its weakest link. The guiding ideas of this
approach are accordingly two:
that paradoxes of the most diverse sorts can be viewed in a
uniform way as resulting from an aporetic overcommitment to
theses which, albeit individually plausible, are nevertheless collectively incompatible. And on this basisthat paradoxes of the most diverse sorts can be resolved
through a uniform process of weakest-link abandonment in
view of the fact that some of the conflicting theses take precedence or priority over others.
And with this second point, considerations of episternic evaluation--of priority determination-become an inevitable part of
paradox management.
The general process at issue is best conveyed via some particu1ar examples, beginning with the Smashed Vase Paradox based on
the contention "There's no real harm done by breaking the
vase-after all, it's all stiU there." Now consider the theses:
28
Chapter 2
( 1) If we smash the vase into bits, the vase no longer exists as
such.
(2) There is nothing to the vase over and above the mass of
ceramic material that constitutes it.
(3) When the vase is smashed, all the ceramic material that
constitutes it still remains in existence.
(4) By (2) and (3), the vase still remains in existence after it is
smashed, contrary to (1).
Thus {( 1), (2), (3)} constitutes an inconsistent triad. And (1) and
(3) are both incontestable facts while (2) is no more than a plausible-sounding principle. We thus have no alternative but to reject
(2), as the weakest link in the chain of inconsistency, plausibility
notwithstanding. Here presumably we would say something like:
"There is more to the vase than merely the ceramic material that
constitutes it, namely the organization of that material into a certain sort of vase-shaped configuration." On this basis we reject (2)
as untenable, despite its surface plausibility.
In paradox analysis it becomes crucial to list in detail all of the
theses and principles that are essential to establishing the aporetic
collection at issue. For until the links of that chain of inconsistency are all spelled out explicidy, it is not possible to determine
with confidence where exactly is the proper place to break the
chain. If we do not have all the links set out we cannot determine
which of them is the weakest.
With a view of this methodology, consider the Happiness
Paradox of John Stuart Mill which goes as follows: 3
(1) His own happiness is the natural end of any rational agent.
(2) A rational agent will adopt whatever end is natural for a
being of his kind.
(3) Therefore (by (2) and (3)) a rational agent will adopt his
own happiness as an end).
(4) A rational agent will adopt only those ends that he can
realistically expect to achieve by striving for their
realization.
3. See Chapter 5 of his Autobiography.
29
30
Chapter 2
3. Making an inventory of the maximal consistent subsets
(MCS's) of the resulting aporetic cluster. And on this
basis4. Enumerating the various alternatives for retention/abandonment combinations (R/A-alternatives) through which
aporetic inconsistency can be averted.
31
(1) God is not responsible for the moral evils of the world as
exemplified by the wicked deeds of us humans, his creatures.
(2) The world is created by God.
(3) The world contains evil: evil is not a mere illusion.
(4) A creator is responsible for whatever defects his creation
may contain, the moral failings of his creatures included.
(5) By (1 )-( 3) God is responsible for the world as is-its evils
included.
(6) (5) contradicts (1).
Let us step back and consider the systemic standing or status of
these contentions. Thesis (5) can be put aside as a consequence of
others that carry its burden here. Thesis (3) comes close to qualifying as a plain fact of everyday life-experience. Theses (1) and (2)
are (or could reasonably be represented as being) fundamental
dogmas of Judeo-Christian theology. But (4) is at best a controversial thesis of moral theology, involving a potentially problematic denial that creatures act on their own free will and
responsibility in a way that disconnects God from moral responsibility for their actions. We thus have the priority ranking [(1), (2)]
> (3) > (4). 6 On this basis it is reasonable to take the line that one
of these aporetic theses must be abandoned in this context. And it
is easily (4) that should give way seeing that only the R/A alternative (1), (2), (3)/(4) abandons a lowest-priority thesis.
By deleting the less plausible items from an aporetic cluster so
as to restore it to consistency we purify it, as it were, in the dictionary sense of this term of "diminishing the concentration of less
desirable materials." But note that those less desirable materials
are not necessarily worthless. For even they themselves are, by
hypothesis, supposed to be more or less plausible. Though oflowest priority in one context, a plausible thesis that is caught up in
an aporetic conflict may nevertheless be able to render useful epistemic service?
6. To be sure, a committed atheist would have a very different priority ranking-one
in which (1) would presumably be the low man on the totem pole.
7. For a concrete illustration see pp. 37-38 below.
32
Chapter 2
2.2
Procedural Considerations
And when this does not do the job, we simply proceed to the next
level,
A3: Whenever application of the preceding rules of this sequence
does not settle matters, proceed to apply the same process at
the next priority level.
33
{h
34
Chapter 2
2.3
35
30%
30%
40%
55%
30%
30%
55%
15%
15%
Here polls (2) and (3) are incompatible: there is no way to redistribute the nonrespondents of these polls so as to bring them into
36
Chapter 2
37
Plausible claims, frail thought they are, still count for something. In endeavoring to accommodate insofar as possible even
those theses that we abandon-and not simply throwing them on
the trash-heap of rejected falsehoods-we position ourselves to
profit from the information they provide. To abandon a plausible
proposition in the context of resolving a paradox is not to dismiss it
as false and thereby pervasively and context-indifferently useless.
Abandonment is accordingly not something absolute but rather
contextual. And it does not abolish completely the cognitive utility that a proposition can have by virtue of its inherent plausibility.
2.4
Compound Paradoxes
38
Chapter 2
39
c
Then we would (and should) unhesitatingly abandon the trio (1),
(3), (7), even notwithstanding the fact that dismissing (5) alone
would restore consistency across the board.
Though interesting from a theoretical point of view, compound paradox is an uncommon phenomenon. None of the standard paradoxes encountered in the extensive literature of the
subject involves more than a single cycle of inconsistency-that is,
they all relate to inconsistent n-ads.
Plausibility as a Guide
to Prioritization
3.1
43
44
Chapter 3
2. The paradox was discussed by G.E. Moore in his book Ethi.s (Oxford: Clarendon,
1912) and also in P. Schilpp (ed.), The Philosophy of G.E. Moore (La Salle: Open Court,
1942), pp. 430-33, and in P. Schilpp (ed.), The Philosophy of Bertrgnd Russell (La Salle:
Open Court, 1944), p. 204. (The former of these books contains an article on Moore's
Paradox by Morris Lazerowitz [pp. 371-393].) The paradox was already known in
medieval times. Albert of Saxony discussed the paradoxical nature of propositions of the
form "Socrates believes himself deceived in believing a certain proposition A," seeing that
in believing A Socrates maintains it as true and in believing himself deceived he rejects it as
false. (See Kretzmann and Stump 1988, p. 361.) On this basis, Albert developed a com
plex argument to the effect that it is impossible for Socrates (that is, anyone) to know that
he is mistaken about a concrete matter of fact (ibid, pp. 363-64). And analogously,
William of Heytesbury (ca. 131O-ca. 1370) argued in his ReguliJe so/vendi sophismlJtg (ca.
1335) that a person cannot doubt something he knows. (See Boh 1993, pp. 48 and
67-68.) Nihil s.ire potest nisi verum became an accepted dictum.
45
3. Think of Spinoza's scornful dismissal of "one who says that he has a true idea and
yet doubts whether it may not be false" (Ethics, bk. I, prop. 8, sect. 2).
46
Chapter 3
3.2
47
EO
(B) >
<
Here we have
(1) Line segment (A) is shorter than (B). (As reported by
sight.)
(2) Line segment (A) and (B) are equally long. (As reported
by measurement.)
Since measurement is generally more reliable in such matters
than sight, we can straightforwardly resolve this apory in favor of
(2).
In this way, all optical illusions give rise to aporetic situations
that can be resolved through preferential prioritization on the
basis of larger background considerations regarding the plausibility of claims.
3.3
48
Chapter 3
(1) Suppose that three men are all sitting in a room which is
otherwise unoccupied. (2) Let one of them be called
"Henry." Now if(3) the other two are also called
"Henry," then (4) everyone in the room will have the
same first name.
49
50
Chapter 3
we shall see how priorities that are not plausible come into play
and what sorts of ground-rules are operative there. The basis for
these matters is in the end pragmatic and rests on the particular
purposes that are at issue in the various contexts of deliberation.
Overall we arrive at the following priority ordering in contexts
of inquiry. Issue-definitive stipulations come first. These have right
of way come what may. But from there on in it is a matter of plausibility. And here the order of decreasing priority stands as follows:
Definitions and acknowledged conceptually necessary
truths. (Linguistic conventions, mathematical relationships
and principles of logic included.)5
General principles of rational procedure in matters of
inquiry (inductive science) and world outlook.
Patent observational or experiential "facts of life" regarding
the world's concrete contingent arrangements.
General laws and well-confirmed generalizations.
Highly probable contentions regarding matters of contingent fact.
Reasonably warranted suppositions.
Merely provisional assumptions and tentative conjectures.
Speculative suppositions.
The middle range of this register is occupied by the sorts of
propositions that Aristotle called endoxa in the opening chapter of
his Topics-that is to say, generally acknowledged beliefs and
widely accepted opinions. (This linkage reinforces the idea that it
need not be specifically truths that are at issue.)
Certain general principles of precedence implement the preceding ordering through prioritizing
-
5. That stipulations can predominate even over these will become dear in the discussion of per impossibile reasoning in section 12.6.
51
52
Chapter 3
one context does not mean that a thesis will also be the weakest
link in others. A plausible thesis that we must reject with regret in
one setting may yet live to fight another day elsewhere. And as we
saw in Section 2.3, in the context of paradox management the
abandonment of a thesis does not necessarily preclude us from
deriving some informational benefit from it.
To be sure, a logical rigorist might object as follows:
It makes no sense to move beyond "acceptance as true" to
53
(2) The particular integer iwill not be drawn. (A very plausible, because so highly probable, proposition.)
( 3) Theses (2) holds for any-and therefore every-particular
value of i in the range 1-1,000,000. (A consequence of
(2) and the defining conditions of the problem.)
(4) By (2), (3), no integer in the range 1-1,000,000 will be
drawn.
(5) (4) contradicts (I).
Here {( I), (2), (3)} form an inconsistent triad. In view of the
indicated considerations, the priority situation is (I) > [( 2), (3)].
In view of this we have to abandon the idea that a particular integer will not be drawn-though of course we are left totally in the
dark about how this will happen. All that we can say is that some
(otherwise unspecifiable) integer in the range 1-1,000,000 will be
drawn. (Pp. 222-24 below will return to this paradox.)
Accordingly, a semantic absolutism that says "abandon only
those theses whose falsity you can specifically establish" would
plunge us into difficulty. Sometimes we can only establish that
one of a group of theses must be false but cannot carry this
through to the specificity of saying which one is false. 6 And here
lies the advantage of dealing in variable plausibility rather
than truth/falsity alone. For this enables us to resolve paradoxes
through dismissing comparatively implausible prepositions
rather than having to find propositions that are identifiably
false (as it may well prove impracticable to do). In paradox resolution we face a dilemma of choice: in the interests of consistencymaintenance some of the pertinent claims must be abandonedsome item made to give way to others. We cannot have it all and
must settle for minimizing the loss. And in this matter of damageassessment plausibility suffices to do the job.
6. The Sorites Pllrlldoxdiscussed in section 5.1 affords another good example of this.
Levels of Paradoxicality
4.1
57
58
Chapter 4
And moreover3a. The consistency-restoring dismissal of minimally plausible theses can be achieved in one single way. (In this
case the paradox is decisively resolved by plausibility
considerations.) Or3b. The consistency-restoring dismissal of minimally plausible theses can be achieved in several different but
equally eligible ways. (In this case the paradox is indecisively resolved through a mere disjunction of alternative possibilities.)
In line with item 1 of the initial list, it must be recalled that there
are two distinct routes to the meaninglessness of aporetic premisses. For it is important to distinguish between hermeneutical
and semantical meaninglessness. Hermeneutical meaninglessness
obtains when there is no way of making informatively interpretive sense of the proposition at issue: it is more or less uninterpretable nonsense. Semantical meaninglessness, by contrast,
arises when there is no possible way of assigning a stable truth
status to the proposition at issue as either definitively true or
definitively false.
We thus arrive at three levels of paradoxicality according as the
paradox in question admits of dissolution, of decisive resolution,
or merely of an indecisively disjunctive resolution. Moreover, in
the first case, we will no longer see that supposed paradox as a
really serious problem because we now view it as actually the
product of an error of some sort-to wit one that rests on the
mistake of accepting theses that are meaningless or false or not
co-tenable.
It must be noted that the difficulty of a paradox is something
quite different from its level of paradoxicality. For this is a matter
of how complicated it is to make the determinations of viability
and comparative priority needed for arriving at a solution. This is
a matter of the conceptual and epistemic hurdles one has to overcome to provide a validating rationale for the particular acceptability determinations and priority assessments that provide the
basis for paradox resolution.
Levels of Paradoxicality
4.2
59
Dissolvable Paradoxes
Zeno of Elea, who was born around 495 B.C., was one of the
most celebrated and influential pre-Socratic philosophers of Greek
antiquity.l Aristotle regarded him as the inventor of philosophical
dialectic. His famous paradoxes of motion were the subject of
innumerable treatises and discussions. Among these arguments
designed to show the impossibility of motion was his classic
Racetrack Paradox, which is represented in the following account:
A runner is to race from the starting point to the goal. But to
reach the goal he must first reach the halfway point. And to
reach this point he must first reach the halfway point to it. And
so on ad infinitum. So the runner can never make a start at
aU-he is immobilized.
The paradox at issue here roots in the following aporetic cluster:
(1) To reach any destination whatever, a runner must first
reach the halfway point en route.
(2) By repetition of this principle at issue in (1) reaching the
ultimate goal requires an infinite (unending) series of
prior goal-reachings that must be achieved in advance.
(3) Since the runner moves at a finite speed, every goal-reaching he manages to achieve requires a finite amount of
time.
(4) So in virtue of (2) and (3) reaching the goal requires an
infinite amount of time, since an infinite number of finite
quantities cannot yield a finite total.
(5) Thus the runner can never reach the goal at aU. (By (4 ).)
(6) But since this argument is general and holds for any goal
whatsoever-and thereby for any point different from the
starting point-the runner is immobilized.
60
Chapter 4
(7) Yet as we know full well, runners are not immobilized: he
can and will reach the goal.
(8) (7) contradicts (6).
t+t+t+=l
So here the dismissal of premiss (4) as false eliminates the inconsistency and thereby dissolves the paradox. But this is something
that is not obvious on the surface because here the rationale for
falsity-rejection calls for recourse to the mathematics of infinite
series.
Zeno's Racetrack paradox thus illustrates the aforementioned
difference between levels of paradoxicality and levels of difficulty.
Its paradoxicality level is low, since it is unproblematically dissolvable through rejection of a pivotal premiss. On the other hand,
establishing the untenability at issue through a broader rationale
for what it is that makes these flawed premisses untenable is an
issue of substantial subtlety and difficulty. Making a decisive resolution of a paradox stick can be a complex business.
Again, consider the following Justification Paradox that figured prominently in Aristotle's thought:
(1) A rational belief must be based on a rationale of justifying
considerations.
(2) The rationale of a belief cannot include the belief itself
since this will produce a vicious circle. No belief can figure
in its own appropriate justification. The rationale of a
belief must therefore always involve further, different
beliefs.
Levels of Paradoxicality
61
4.3
Chapter 4
62
The traveler is
Hanged
Truly
Not hanged
Not hanged
Falsely
Hanged
2. This classic paradox also has the ancient variant of the Nasty Crocodile Paradox
mentioned twice by Diogenes Laertius (Lives of the Philosophers, 44 and 82). Having
snatched a baby the nasty crocodile turned to the father: "Answer carefully," he said, "for
your baby's life depends on your truthfulness: will I eat your baby?" After thinking for a
moment the cagey father replied: "Yes, I do believe you will." For this paradox sec Prantl,
Geschichte, Vol. I, p. 493. (Ashworth 1974, p. 103, discusses the variant Bridgekeeper
Paradox featuring the functionary who threw liars into the water.)
Levels of Paradoxicality
63
64
Chapter 4
court for free tuition with the argument: "If I win this case
then by the court's judgment I will owe nothing. And if I lose,
then I will owe nothing thanks to the contract, since this is my
first case." Protagoras, being no less clever, of course argued
exactly the reverse. 3
The paradox that emerges here inheres in the following aporetic
paIr:
(1) The court's finding should be in accord with what the
contract stipulates. However(2) In the specified circumstances, that contract and the
court's ruling are bound to disagree on the following
basis:
The Court)s
Finding
A fee is due
No fee is due
Winner of
the Case
P
The contract
Specifies
No fee is due
A fee is due
Thus in no case can the court's finding be brought into line with
the contract's specification.
Now since thesis (2) represents the defining hypothesis of the
problem, there is no arguing with it. The only available option is
to make (1) give way, invoking the legal axiom that an absurd
contract is no contract because it invalidates itself (conventum
absurdum non est conventum). To be sure, the general considerations of aporetics indicating that (1) should be abandoned do not
tell us what-if anything-should be put on its place. This
requires a closer look at the substantive detail of the particular
paradoxical situation that is before us. And on this basis, the
court's only sensible option is to make a ruling and to prioritize it
over what the contract specifies in the circumstances (thereby
abandoning (1)). Now here the salient feature of this case is that
3. On ancient discussions of this paradox see Prantl, Geschichte, Vol. I, pp. 493-94.
Levels of Paradoxicality
65
the situation between the contending parties is entirely symmetric, exactly as the response of Protagoras indicates. Thus by
deploying the basic principle of justice "Treat like cases alike" the
Court's sensible ruling would be to divide the amount in contention (the student's fee) equally between the parties, awarding
just half of the agreed amount to Protagoras. To be sure, this
requires the explicit-and deliberate-sacrifice of thesis (I), but
this is entirely appropriate in the circumstances.
In any event, however, this paradox is decisively resolvable
since it is clear which aporetic premiss must be abandoned. The
only real problem here is that of why--that is, of establishing just
exactly how the justifYing grounds for this abandonment are to be
articulated. And it deserves stress that this sort of thing is often
the most challenging and difficult aspect of paradox management.
In comparing the Sancho Panza Paradox and the Contract of
Protagoras Paradox one observes that they have exactly the same
generic structure, as manifested in those alternative-detailing tabulations. (And this is also the case with the Liar Paradox to be discussed in 10.2 below.) On this basis the Stoic paradoxologists of
classical antiquity characterized such paradoxes as based on
"table-turning" (antistrophe),4 seeing a fundamental symmetry
obtains so that whatever can be said on one side can be answered
by an equivalent counterpart on the other. That is, we have the
situation that not just equally cogent but in fact structurally identical arguments can be given both for a thesis P and for its negation not-Po
4.4
Some paradoxes do not admit of a decisive resolution. For example consider the following Paradox of Existence:
(I) The real is rational: for every actual state of affairs there is
a reason why (that is, why it is so rather than otherwise).
[This is the "Principle of Sufficient Reason".]
66
Chapter 4
(2) Therefore: there is a reason for the world's existence-and
indeed for its existing as it is.
(3) The satisfactory explanation ofa mundane (world-appertaining) fact requires a mundane rationale. (For an extramundane explanation would run afoul of reason's
proscription of explaining obscurum per obscurior.)
(4) Therefore: the real has an explanation in terms of mundane
facts.
(5) Any mundane (world-appertaining) fact is either partial or
global: it must either relate to some part or aspect of
nature or to some feature of it.
(6) But the world's satisfactory explanation cannot be partitive: the whole cannot be satisfactorily accounted for
through some part or aspect of itself.
(7) Nor can the world's satisfactory explanation be of the
intra-mundane sort, for then it would be circular, seeing
that it would account for reality-as-a-whole in terms of
itself.
(8) Therefore: there is no rationally satisfactory explanation of
the existence of the-world-as-a-whole.
(9) (8) contradicts (2).
It is clear that {(I), (3), (5), (6), (7)J constitutes an aporetic cluster. Here (3), stipulates a fundamental principle regarding the
sovereignty and modus operandi of reason, and (5) is an inevitable
principle oflogic. (1), (6), and (7), by contrast, are no more than
plausible principles. We thus arrive at the following priority ranking: (5) > (3) > [(1), (6), (7)]. It emerges on this basis that the
paradox has three viable resolutions based on the preferentially
optimal R/A-alternatives (3), (5), (6), (7)/( 1); (1), (3), (5),
(7)/(6); and (1), (3), (5), (6)/(7). Three distinct pathways to
resolution are thus available:
(1) - rejection. Abandoning the idea of the explicability of the
real.
( 6 ) -rejection. Reliance on cosmic evolution. This envisions a
naturalism that sees the world's entire nature and the
Levels of Paradoxicality
67
68
Chapter 4
Given this problem situation we must examine the epistemic status of the theses at issue. Now (1)-(3) are facts fixed by the defining stipulations of the problem. (5) follows from (3). (4) and (6)
are plausible epistemic principles, albeit not as clearly plausible
and appropriate as (7). We thus obtain the following priorities
with regard to the premisses of the aporetic cluster I(1), (2), (3),
(4), (6), (7)} that stands before us:
[(1), (2), (3)] > (7) > [(4), (6)]
Levels of Paradoxicality
69
70
Chapter 4
4.5
Levels of Paradoxicality
71
meaninglessness;
falsity;
unwarranted presupposition;
72
Chapter 4
DISPLAY 4.1
CLASSIFICATION OF PARADOXES
BY SUBJECT MATTER
SEMANTICAL PARADOXES
truth-oriented paradoxes
reference-oriented paradoxes
MATHEMATICAL PARADOXES
Russell's Paradox
-
Cantor's Paradox
Berry's Paradox
Richard's Paradox
Burali-Forti's Paradox
- geometrical paradoxes
-
probabilistic paradoxes
Levels of Paradoxicality
PHYSICAL PARADOXES
PHILOSOPHICAL PARADOXES
moral paradoxes
metaphysical paradoxes
73
74
Chapter 4
Paradoxes of Vagueness
5.1
Vagueness in the application of terms is a major source of paradox. Vague terms will generally have a more-or-Iess well-defined
central core of application surrounded by a large penumbra of
indefiniteness and uncertainty. And so when a term T is vague,
non- T will automatically also be so. There will accordingly be a
fuzzy region of ambivalent overlap between T-situations and nonT situations where our plausibilistic inclination is to see the issue
both ways. The aporetic inconsistency of paradox then becomes a
tempting possibility.
The eristic (from he eristike as wrangling or dialectic) that the
Megarian school of Greek antiquity took over from the Sophists
in the fourth century B.C. was an early version of dialectic--or of
spurious dialectic according to Aristotle, l its principal opponent,
who dealt with the matter extensively in his Sophistical
Refutations. 2 It was thematically oriented towards puzzles, paradoxes, and sophisms. Aporetics is the descendant of this enterprise
as it continued through the mediation of the medieval study of
sophisms and insolubilia.
Eubulides of Miletus (born ca. 400 B.C.) was the most prominent and influential member of the Megarian school of dialecticians as whose head he succeeded its founder, Euclid of Megara, a
77
78
ChapterS
Paradoxes of Vagueness
79
an observable fact
(2) H(gI,OOO,ooo)
an observable fact
(4) -H(gI,OOO,ooo)
6. On this paradox and its ramifications see Chapter 2 of R.M. Sainsbury, Paradoxes
(2nd cd., Cambridge: Cambridge Universiry Press, 1995), pp. 23--51. Originally the paradox also had a somewhat different form, as follows: Clearly 1 is a small number. And if n is
a small number so is n + 1. But this leads straightway to having to say that an obviously
large number (say a zillion billion) is a small number. (See Prantl, Geschichte, Vol. I, p. 54.)
80
ChapterS
(1), (2)/(3)
(1), (3)/(2)
(2), (3)/(1)
The first alternative alone enables us to retain all of the top priority theses and the optimal option here is accordingly to abandon
(3). Plausible though it may seem, this thesis is less so than its
rivals: it is the weakest link in this chain of inconsistency.
And this is perfectly reasonable. For (3) is actually rather problematic. When dealing with such vague concepts that have a slippery slope, as it were, it is clear that we are in a more
confidence-inspiring situation with particular claims like (1) and
(2) and (5) than we are with an unrestricted generalization like
(3). (After all "we know a heap when we see one.") With factual
issues of this sort we stand on firmer ground with particular and
concrete matters than we do with matters of abstract generality.
And yet despite the comparative frailty of (3) we would not
(and should not) simply reject it as flat-out false. For its negation
entails (3i)[ -H(g)
& H(g,1 + 1)], and we would find it very difficult
1
indeed to conceive of sudl an i. But we do not (and need not) set
up (3)'s negation as true; instead, we have the option of seeing
(3) as plausible even though we propose to abandon it pro tem as
"contextually untenable" in the present context.
The course of traditional paradox resolution via the dismissal
of premisses as false is here made impracticable by disassembling
premiss (3) into the following multitude:
(3.1) -H(gI) ~ -H(g2)
Paradoxes of Vagueness
81
7. On Chrysippus see Zeller, Philosophie der Griechen, III/I, pp. 40--44 and 111-18.
His discussions of sophism are detailed in Prant!, Geschichte, Vol. I, pp. 487-496.
8. See Prant!, Geschichte, Vol. I, 485-496 (esp. p. 490).
9. On Zeno see Diogenes Laertius, Lives of the Philosophers, VII, 1-160. See also
Zeller, Philosophie der Griechen, Vol. III/I, pp. 28-34.
10. Ibid. 43-44 and 82. See also Zeller, Philosophie der Griechen, Vol. III/I, p. 116.
11. Zeller, Philosophie der Griechen. Vol. III/I, p. 116. For this paradox see Chapter
10 below.
82
ChapterS
less. 12 However, with only the triochotomy of true/false/meaningless in hand-in contrast to the presently contemplated mechanism of comparative plausibility-this led the Stoics into difficulty
with the analysis of The Heap Paradox where this machinery is
clearly insufficient. Thus it is greatly to his credit that Chrysippus
made the important point that the Heap Paradox (Sorites) cannot
be resolved on the basis of classing the premisses as true or false
or meaningless but requires a total suspension of judgment as to
truth status. 13
What makes this Heap perplexity a "paradox of vagueness" is
that the imprecision of what a "heap" is undermines the accept~ -H(g., + I)]
ability of a generalized principle like V'i[ -H(g.)
,
which rides roughshod over the fact that a slippery slope is at
issue here. This sort of generalization rests on the mistaken
impression that the concept at issue is more sharply defined than
is the case. This can be seen graphically by looking at the situation
from a variant angle. Thus consider the (overly brief) series:
HHH??? HHH
Note here that the insertion Qf a group of indeterminate (neither
H nor H) cases between the H's and the H's enables us to retain
the rule:
Whenever gj is a non-heap, thengj + 1 is not a heap that is, a
non-heap is never succeeded by a heap.
This thesis is, of course, subject to the interpretation that there
ar~ now two ways of failing to be a heap, namely to be non-heap
(H) or to be an indecisive or borderline heap (as indkated by?).
It is now clear that (1) a single step forward from H will never
carry us over to H, while nevertheless (2) -.a sequence of steps
along the series will eventually carry us from H's to H's.
The equally notorious Phalakros (or Bald Man) Paradox (from
the Greek phalakro~a bald man) is closely related since it simply
12. See Riistow 1908, p. 115: Cassantes autem dicunt, quod dicens se dicere falsum
nihil dicit, or again non err TJerum nec falsum, quia nullam tale est propositio. See also
Prantl, Geschichte, Vol. IV, p. 41.
13. See Prantl I, 489. Sextus Empiricus, AdTJ. Math, VII, 416. Cicero, Academica, II,
29 and 93. See Zeller, Philosophic der Griechen, Vol. III/I, p. 116.
Paradoxes of Vagueness
83
5.2
84
ChapterS
5.3
Paradoxes of Vagueness
85
arises whether what remains at the end is still the same pair of
stockings.
This story leads to the following paradox:
( 1) When a smallish repair is effected on a stocking what
results is still the same stocking. (Yet carried on sufficiently this can result in a total replacement of that stocking's fabric.)
(2) The final stocking results from the initial one through a
succession of smallish repairs.
( 3) Ergo (by (1) and (2)) the final stocking is the same as the
original.
(4) When an ongoingly "repaired" material object like a
stocking (or a car or a piece of furniture) no longer has a
single bit of material in common with what was there initially it cannot count as the same object.
( 5) Ergo (by (2) and (4)) the final pair of stockings is no
longer identical with the original pair-contrary to (3).
The group {(I), (2), (4)) obviously constitutes an inconsistent
triad, (3) and (5) being derivative claims. Now (2) is an observable fact. And (1) and (4) are general principles which, though
both eminently plausible, are nevertheless such that (1) enjoys
some advantage in point of its plausibility. (This advantage roots
in the fact that (4) is the more ambitious in its range and generality.) We thus arrive at the priority ranking:
(2(1(4)
ChapterS
86
be that it deserves to be relegated to the bottom of the plausibility ranking. And this demand can presumably be met by noting
that familiarity with automobile repair and with the gradual
replacement of the cellular material of a human body inure us to
the prospect of identity despite replacement.
This paradox also takes the version of the Ship of Theseus
Paradox, which is repaired plank by plank and spar by spar until
not a bit of the original ship remains. Plutarch tells us that on
Theseus's return journey to Athens from slaying the Minotaur, his
men preserved the ship by replacing its rotten timbers with new
ones. 16
The following paradox is at issue here:
(1) Whenever only a single part is interchanged, the resulting
ship remains the same, as was.
(2) When the totality of parts is interchanged the shops are
interchanged.
(3) By (1) the initial and final ships in the possession of each
of the parties are unchanged at the end of the operation.
(4) By (2) the initial and final ships in the possession of each
of the parties have been interchanged.
(5) (4) contradicts (3).
Here (1) and (2) are inconsistent. And seeing that (2) seems
more plausible than (1), the best plan would be to abandon (1) in
its full generality, viewing it as a principle of limited flexibility that
"can be stretched only so far." To be sure, it is somewhere
between difficult and impossible to be precise about the limits of
this flexibility since where a limit is not precise one cannot indicate it precisely. And it is this circumstance that marks the paradox
as one of vagueness.
16. Plutarch's Lives, "Life of Theseus," 22-23. Clearly when only one or two planks
are replaced it is still the same ship. But as the process continues, how long does this situation persist. Is it still the same ship when all of its fabric has been replaced?
Paradoxes of Vagueness
87
17. The idea (and terminology) of a hermeneutic circle is due to Wilhelm Ditthey
(1833-1911), who saw this conception ofa reciprocal interpretative dependency of part
and whole as recurring at many levels, not just sentence/paragraph, but paragraph/book,
book/genre, genre/cultural tradition. Dilthey regarded this phenomenon as characteristic
of interpretation in the human sciences in general, not just at the textual level, but in plastic arts, cultural mores, ways of thinking, and other reactions of the human sciences. On
the hermeneutic circle see D.C. Hoy, The CriticlJl Circle: LiterlJture IJnd Hinory in
ContemporlJry Hermeneutics (Berkeley: University of California Press, 1978), and Paul
Ricoeur, Hermeneutics IJnd the HumlJn Sciences (Cambridge: Cambridge University Press,
1981).
88
Chapter 5
Paradoxes of Ambiguity
and Equivocation
(Insufficient Distinctions)
6.1
91
92
Chapter 6
3. Aristotle, Soph. Bien., 177blO-12. Another example he offered was: "This dog is a
father. This dog is yours. Therefore, this dog is your father" (ibid. 179b14-1S; but the
example occurs already in Plato's Buthydemus 298D-E). Or again: "One can only give
what one has. But one can give somebody a kick. And yet a kick is not the sort of thing
one can have" (ibid, 171aS.)
4. Aristotle, Metaphysics, Book IV, Chapters 3-4, and compare Categories, Chapter 5.
93
94
Chapter 6
(3) It is never appropriate to accept (all of) a group of inconsistent propositions.
The exit from paradox in the face of this inconsistent triad lies in
noting the equivocation of the term "accept" as between (i) the
stronger sense of "accept as true" and (ii) the weaker sense of
"accept as credible/plausible" or "accept as a promising truthcandidate" or the like. In sense (i), thesis (3) is correct but (1) is
false, while in sense (ii) thesis (1) is correct but (3) is false. (And
different things are at issue here: provisional acceptance as true is
no more actual acceptance as true than a bronze owl is an actual
owl.) Thus in neither case will all of those incompatible propositions obtain together, and the paradox is thus resolved. Any piece
of well-articulated reasoning is subject to the (usually tacit) presupposition that identical terms are being used in a uniform sense:
that where different senses or uses of a term are at issue this will
be made explicit by some appropriate terminological complication. Equivocal premisses become disconnected from one another.
In this sort of way, the identification of equivocal, ambiguous, or
vague terms can often unravel an apparent paradox.
Equivocation paradoxes can accordingly be seen as involving a
failure to satisfy a requisite communicative presupposition.
Working our way out of a distinction-neglecting paradox
requires close attention to the use of words in order to overcome
the verbal miscalculations that can arise. It is, after all, clear that
one principal avenue to paradox proceeds by running together
things that should be separated.
6.2
Zeno of Elea, born around 490 B.C., devised some of the most
celebrated paradoxes of all time-widely discussed and debated
already in classical antiquity. 5 Eight of these have come down to
5. On Zeno see Zeller, Philosophie der Griechen, Vol. I/I, pp. 746-765, as well as
Gregory Vlastos, "Zeno ofElea" in P. Edwards (cd.), The Encyclopedia of Philosophy, Vol. 8
(New York: Macmillan, 1967), pp. 368-379, and also G.E.L. Owen, "Zeno and the
Mathematicians," Proceedings of the AristoteliIJn Society, Vol. 58 (1957-58), pp. 199-222.
An informative collection of discussions of Zeno's paradoxes is Wesley C. Salmon (cd.),
Zeno's PIJrIJdoxes (Indianapolis: Bobbs Merrill, 1970), which also offers a bibliography of
some 140 entries.
95
96
Chapter 6
6.3
97
7. This statement of the paradoxes is paraphrased from the texts given in John Burnet,
Early Greek Philosophy, 4th ed. (London: Macmillan, 1930), pp. 315-16.
98
Chapter 6
the level of ideas current in his time. For these paradoxes all pivot
on the erroneous supposition that what is infinitely divisible must
be infinitely great. This would indeed be a telling argument
against the atomist if they were to hold that spatial units admit of
infinite divisibility-which it was the very reason for being of their
theory to deny. But it certainly does not hold against the geometers-once they developed their theory of space to a level of sufficient sophistication.
99
Here theses (1) and (3) are perfectly in order. But the chain of
inconsistency is broken at (2) which actually does not foUow from
(1) at all because the move from "at no stage of the sequence" to
"never" is simply inappropriate.
The fact of it is that a deep underlying equivocation is at work
in the paradox as between "the sequence of catch-ups is unending
(limitless) in step?' and "the sequence of catch-ups is unending
(limitless) in time." The two expressions have a different sense.
For the catch-up sequence just does not cover the whole of the
future, seeing that it converges to a final limit even as t + + t +
... converges to 1. Thus the steps of that sequence, even in endless totality, wiU only cover a finite timespan.
Zeno's Achilles paradox is thus decisively resolvable through
the recognition that an equivocation unravels the aporetic inconsistency through which it arises. (Whoever thinks that this unfavorable series does not sum up to one but always falls short of it
just does not understand the function that those three little dots
are serving here: they stand for et cetera, meaning and all the
rest. )
Along these same lines, there is a cognate paradox already
discussed by Aristotle (Physics, 239b 9-14). It runs essentially as
follows:
100
6.5
Chapter 6
101
6.6
102
Chapter 6
A. On the other hand, B will have traveled two units of distance since it will not only have passed all of C, but have trav-
~~
~ti=j
After 1 Minute
A
B
12. For Eubulides see Section 1 of Chapter 5. Diogenes Laertius Lives of the
Philosophers, Bk. II, Sect. 10, 108-110 and Bk. VII, Sect. 7, 187. See also Prantl
GeschiclTte, Vol. I, pp. 50-58, and Aristotle, Soph. Bien., 179a32ff.
103
Chapter 6
104
6.8
Further Riddles
Consider the riddle: "Tom and John both had (different) cars.
John said that he had the fastest car in town and Tom said the
same thing. Did Tom agree with John?" A paradox arises here
which might be called The Reiteration Paradox:
(1) John said that he had the fastest car in town.
(2) Tom said so too: that is, Tom said that John has the
fastest car in town.
(3) Tom said so too: that is, Tom said that he (himself) had
the fastest car in town.
(4) By (1) and (2) Tom and John are in agreement.
(5) By (1) and (3) Tom and John are in disagreement.
(6) (4) contradicts (5).
As (2) and (3) make transparently clear, this paradox roots in
equivocation. For the expression "the same thing" as used in stating the riddle can mean either the same contention or statement
(viz., "John has the fastest car in town") or the same sentence or
13. Prantl, Geschichte, Vol. I, pp. 37-38.
105
form of words (viz. "I myself have the fastest car in town"). Here
the paradox is resolved by noting that one cannot have it both
ways, and that with either alternative one member of the pair
(5 )-( 4) becomes untenable so that the paradox is dissolved.
And this sort of mismatch is generally the case with such riddles. Thus consider the classic riddle:
Q: What has four sets of wheels and flies?
A: A garbage truck.
This riddle is supposed to baffle us because things that fly just do
not have four sets of wheels. And so the following Garbage Truck
Paradox looms up before us:
(1) The object at issue has four sets of wheels and flies.
(2) Natural objects that fly (such as birds) do not have wheels.
( 3) Artifacts that fly (such as airplanes) do not have four sets
of wheels-they have two.
(4) The object at issue is either natural or artificial.
(5) Therefore: the object at issue just cannot both have "sets
of wheels" and also fly, contrary to (1).
Escape from this riddle paradox lies in remarking the ambiguity of
"flies." The riddle creates the expectation that "flies" is a verb
here. But of course this could also be a noun, with "has flies" =
possess or is accompanied by flies. Thus (1) and (5) are disconnected by the fact that (1) sees "fly" as an insect-indicative word
while (5) sees it as a transport-indicative verb. Again, that crucial
(if tacit) supposition of a uniformity of meaning is violated. And
once the appropriate distinctions are introduced, the premisses of
this Garbage Truck Paradox are disconnected with the result that
the paradox dissolves. As Aristotle stressed, the drawing of distinctions affords an effective device for the management of equivocation paradoxes. 14
106
Chapter 6
The sophists of pre-Socratic Greek antiquity relished something/nothing puzzles. IS They deliberated over such questions as
"If nothing ever comes from nothing, how can anything come to
be?" And they were drawn to such riddles as:
15. Gorgias even entitled his treatise "On Nature or That Which Is Not."
16. Lewis Carrol's Alice in Wonderland offcrs thc following variant: "I see nobody on
the road," said Alice. "I only wish I had such eyes," The king remarked in a fretful tone.
"To be able to see Nobody! And at that distance too! Why, it's as much as I can do to see
real people, by this light!"
107
6.9
108
Chapter 6
oped four arguments against motion that were, in effect, variations on the theme of Zeno. However, the most famous paradox
proposed by Diodorus Cronus is the following Master Argument
Paradox: 18
(1) There is contingency in nature, that is, there are actual
states of affairs that are not necessary but merely contingent
(in that their non-realization is, theoretically, possible).
(2) The possible cannot engender the impossible: no possible
state of affairs can produce a consequent one that is
impossible.
(3) Once a state of affairs is realized it is impossible to change
it: whatever is actual thereby becomes necessary. And so .
after the fact the nonoccurrence of anything actual is
impossible.
(4) By (2) and (3) no possible state of affairs can result in the
nonoccurrence of anything actual. For the nonoccurrence
of anything actual is (ultimately) impossible by (3) and the
possible cannot engender the impossible (by 2). In consequence, anything actual is necessary.
(5) (4) contradicts (1).
What we have here is a paradox of equivocation. We must distinguish between what is necessary or impossible after the fact and
what is so even in prospect.
Thus (2) is problematic and can obtain only if suitably construed. For what is possible before the fact can indeed engender
something that is impossible after the fact on grounds of being
incompatible with it.
109
On this basis, we will have to abandon at least one of(2) and (4).
However, since in the existing circumstances these two contentions are to all visible intents and purposes "in exactly the same
boat," we have little option but to abandon both of them, plausible though they seem.
And the justification for doing so could plausibly run as follows: Both (2) and (4) rest on the "definitive factor" supposition
that "personal identity" is a clearly defined, precisely articulated
llO
Chapter 6
6.11
Along these lines consider the Morning Star Paradox due (in
essence) to the German mathematician GottIob Frege:
(1) The Morning Star is not the same as the Evening Star.
(2) The Morning Star is the same as the planet Venus.
(3) The Evening Star is the same as the planet Venus.
(4) The Morning Star is the same as the Evening Star. (From
(2) and (3)-contrary to (1).)
Here again there is a paradox of equivocation. The expression
"the Morning Star" and "the Evening Star" refer to the same
object by different characterizations associated with different
identificatory-descriptive properties. Hence (1) is appropriate
because distinctly different modes of identification are at issue. But
the objects of reference-the things being referred to---are one and
the same, and both (2) and (3) are appropriate on this basis. The
items at issue with "the Morning Star" and "the Evening Star"
are different identificationally but identical referentially, and we
must correspondingly distinguish between the sense of the identificatory expression at issue and its objective reference. With "is the
III
same as" construed identificationally (2) and (3) are false but (1)
is true; with "is the same as" construed referentially (1) is false
but (2) and (3) are true. Accordingly, this distinction dissolves the
paradox since the sense of the relevant terms needed to render
certain of its premisses true will falsify others.
The situation is substantially the same as that of the Relation
Riddles of Eubulides. We have to do with one and the same thing
under different identifying characterizations.
112
6.13
Chapter 6
19. The Surprise Examination Paradox was initially presented as a surprise hanging
paradox and eventually also recast into other guises (such as a surprise military inspection
or a surprise wanime blackout). Its original version was presented in a paper by W.V.
Quine circulated in the early 1940s but not published until a decade later as "On a So
Called Paradox" (Mind, vol. 62 [1953], pp. 65--67; reprinted in Quine 1966). In the
meantime, it was discussed by D.]. O'Connor (1948), L.J. Cohen 1950, M. Scriven 1951,
P. Weiss 1952, and others. For a survey of proposed solutions see Avishai Margalit and
Maya Bar-Hillel, "Expecting the Unexpected," Philosophia, vol. 13 (1983), pp. 263-288.
113
Here (2) implies that the examination may occur on Friday. But
(1) and (3) imply that the examination cannot occur on Friday
(since it will then obviously be predictable when it has not yet
occurred by Thursday).
How is this chain of inconsistency to be broken? Let us examine the possibilities. As regards plausibility, we have it that (1) and
(2) state fixed facts that are parts of the defining condition of the
problem. What is at issue here lies (by hypothesis) entirely within
the teacher's power. Thus (3) is the weakest link in the chain and
we have it that the plausibility situation is [(1), (2)] > (3), with
(1), (2 )/( 3) as the appropriate resolution thanks to its optimal
retention profile of {I, OJ.
There is in fact good reason to see (3) as problematic. Its vulnerability roots in the fact that it suffers from a vitiating equivocation by failing to fix the temporal as-oJ-when specification of the
impredictability or surprise at issue. (After all, no event is surprising after the fact.) Now on Friday, on the morning of the schoolweek's last day, one can no longer see as surprising the threatened
examination that has not occurred up to that time. That is, the
timing of the examination can no longer be surprising as of then.
But at the time of the announcement prior to the week at issue--or
indeed on the Monday of that week itself-the fact of the exam's
falling on Friday would assuredly be a surprise since it certainly
could not then be predicted on the basis of evidence in hand. To
be sure, as of the end of school on Thursday the surprise will be
gone. But the choice of Friday would certainly be a surprise during the week before. And the same with any other day of the
114
Chapter 6
Philosophical Paradoxes
7.1 Philosophical Paradoxes
Paradoxes arise in philosophy principally because of discord within
the wider community of philosophers. Conflicting doctrines find
their advocates. One philosopher or school builds up a case for
one contention and another philosopher or school builds up a
case for an rival contention incompatible with the first. If (or,
rather since) the plausibility of a philosophical contentions must
be understood on the liberal democratic basis of having some
philosophers on its side (rather than approval of one authoritative
philosopher or school), it's little wonder that plausible contentions can come into aporetic conflict in this domain.
Opponents of Plato's Theory of Ideas, deployed the notorious
"Third Man)) Paradox which stands effectively as follows: 1
(1) What makes distinct objects into items of the same type is
assimilation to an Idea. Individual men are alike as men
because they all participate in similarity-kinship to the
ideal and eternal archetype of Man. (This, in essence, it
the core of Plato's theory.)
(2) But if this is so in general, then what assimilates this or
that individual man to the Man-idea must be their common participation in yet another super-idea, Man No.2,
that assimilates a man and the Man-idea to one another.
1. The Third Man argument was launched against the Theory of Ideas by Parmenides
in Plato's dialogue of that name. It was emphatically endorsed by Aristotle in Metaphysics,
990blS-23 and 1031bI9-1032a7. See Prantl, Geschichte, Vol. I, pp. 18-19.
117
us
Chapter 7
Philosophical Paradoxes
119
120
Chapter 7
Here (1) is dearly the more speculative and problematic contention, seeing that (2) is effectively a "fact of life." But (1 )'s
abandonment would presumably be coordinated with a distinc-
2. On theological paradoxes see H. Schr6cr, Die Denkform der Paradoxaljtiit als theologisches Problem (Gottingen: Vandenhoeck and Ruprecht, 1960). See also Gale 1991.
3. On this paradox and its theological and psychological ramifications see Howard A.
Slaatte, The Persistence ofParadox (New York: Humanities Press, 1968).
Philosophical Paradoxes
121
tion between life at the level of individuals and life at the level of
species. Thus thesis (1) would be accepted with regard to largescale aggregates of individuals but not with regard to particular
individuals. Indeed, the mortality of individuals could/would be
represented as a means to foster the well-being of the mass. Here,
as so often, distinctions provide a means towards salvaging something in the wake of thesis abandonment.
The Time Travel Paradox is a science fiction fixture: 4
(1) Time travel is theoretically possible.
(2) By going into the past, the time traveler can encounter
his own ancestors.
(3) The time traveler can interact with the people he meets,
and-in particular-can kill them.
(4) In view of (3), the time traveler can prevent his own birth
by killing one of his antecedents.
(5) Contrary to (1), time travel is impossible since it involves
the absurd prospect of preventing one's own birth.
The possible modes of resolution are readily surveyed:
(1) -abandonment. Rejecting the possibility of time travel
altogether.
(2) - abandonment. Rejecting the possibility of time-travel
access to certain spatial sectors of the temporal past.
(3) -abandonment. Enjoining the time traveler to causal
impotence in at least some domains.
(4) - abandonment. Precluding the time traveller from certain
kinds of self-interference.
4. On time travel and its philosophical ramifications see John Earman, "Recent Work
on Time Travel," in S. Savitt, ed., Time's Arrow Today (Cambridge: Cambridge University
Press, 1995).
122
Chapter 7
5. For ramifications of this paradox and many related paradoxical issues see Gale
1991.
Philosophical Paradoxes
123
7.2
(4) But then since the facts at issue at any stage of the explanation must be explained, and this explanation itself
requires something new and yet unexplained (by (4)), it
follows that no fact can ever be explained satisfactorily.
124
Chapter 7
Philosophical Paradoxes
125
6. The aporetic nature of philosophy and its implications are explored in detail in
Nicholas kscher, The Strife of Systems (Pittsburgh: University of Pittsburgh Press, 1985).
The book is also available in Spanish, Italian, and German translations.
126
7.4
Chapter 7
Philosophical Paradoxes
127
128
Chapter 7
Philosophical Paradoxes
129
Use of such a distinction enables us to resolve an aporetic cluster-yet not by simply abandoning one of those paradox-engendering theses but rather by qualifying it. (Note, however, that
once we follow Zeno and Plato in replacing (2) by (2' )-and
accordingly reinterpret matter as representing a "mere phenomenon"-the substance of thesis (4) is profoundly altered; the old
contention can still be maintained, but it now gains a new significance in the light of new distinctions.)
What is sometimes called the Socratic Paradox in ethical
theory turns on Socrates's thesis that "nobody does wrong willingly." 8 This leads to the following line of argumentation:
(1) Rational and well-informed people often act wronglyand willingly so.
(2) A rational person will only do willingly that which he
believe will-in the circumstances-yield a greater balance
of positive as against negative results.
(3) To choose the wrong deliberately damages the psyche of
the agent to an extent that is automatically greater than
whatever benefits that wrong action may otherwise yield
him.
(4) By (2) it is only through mistakenly believing that-contrary to (3)-a wrong action yields a positive balance of
benefit that a rational person will do wrong willingly.
130
Chapter 7
Philosophical Paradoxes
131
9. For this paradox and related issues in philosophical theology see Gale 1991.
10. There are, of course, more radical possibilities such as the atheist's all-out rejection
of the very possibility of God.
132
Chapter 7
struction of omnipotence. And just this was the alternative generally favored among the medieval scholars. As they saw it, it is
omnipotence in the "can do literally anything" sense of the term
that is the weak spot here. For "omnipotence" cries out to be
construed as "can do anything that is possible" or "can do anything that a God-like being could reasonably want to do." And if
(2) is abandoned--or, rather, reconstrued in the proposed waythen the inconsistency is resolved.
This example conveys an important lesson. The use of distinctions interacts with plausibility considerations. For there is good
reason for the policy of fixing upon the least plausible aporetic
premiss and dividing it by a saving distinction. It is, after all, more
than likely that the burden of carrying the "bad" side of the distinction was the source of the implausibility involved.
To be sure, distinctions are not needed if all that concerns us is
averting inconsistency; simple thesis abandonment, mere refusal
to assert, will suffice to that end. Distinctions are necessary, however, if we are to maintain informative positions and provide
answers to our questions. We can guard against inconsistency by
refraining from commitment. But that leaves us empty-handed.
Distinctions are the instruments we use in the (never-ending)
work of rescuing our assertoric commitments from inconsistency
while yet salvaging what we can.
The history of philosophy is accordingly shot through with the
use of distinctions to avert aporetic difficulties. Already in the dialogues of Plato, the first systematic writings in philosophy, we
encounter distinctions at every turn. In Book I of the Republic,
for example, Socrates's interlocutor quickly falls into the following
Self-Advantage Paradox:
(1) Rational people always pursue their own best interests.
(2) Nothing that is in a person's best interest can be disadvantageous to their happiness.
(3) Even rational people will-and must-sometimes do
things that prove disadvantageous to their happiness.
Here, inconsistency is averted by distinguishing between two
senses of the "happiness" of a person-namely the rational contentment of what agrees with one's true nature and what merely
Philosophical Paradoxes
133
Paradoxes of
Inappropriate Presupposition
(Improper Totalities
in Particular)
8.1
Unwarranted Presupposition
137
138
Chapter 8
1. M.e. Escher, The Graphic Work of M.e. Escher (New York: Duell, Sloan, and
Pearce, 1961), p. 47. There's also Steinberg'S drawing of the same subject in Saul
Steinberg, The Passport (New York: Harper, 1954).
139
2. Patrick Hughes and George Brecht, Vicious Circles and Infinity (Garden City:
Doubleday, 1975).
3. For this paradox see Diogenes Laertius, LiJ'es of the Philosophers, II, 35. The moderns changed the referent here from father to wife, but political correctness calls for reversion to the original form. The American Philosophical Association's "Guidelines for the
Non-Sexist Use of Language" (http://apa.udel.edu/apa/publications/texts/nonsexist/
html) specifically mentions the wife-beater riddle as an instance of the introduction of sexual stereotypes into philosophical discourse. (lowe this reference to Karen Arnold.)
140
Chapter 8
8.2
141
Paradoxical Questions
Yes
No
No
Yes
5. All questions involve some prcsuppositions---cven if only the minimalistic one that
they are answerable. On these issues of question epistemology see the author's Empirical
Inquiry (Totowa: Rowman and Littlefield, 1982).
142
Chapter 8
8.3
143
8. For this paradox see Russell 1918 and T.S. Champlin, Reflexive Paradoxes
(London: Routledge, 1988), esp. pp. 172-74. Also called the Barber of Ser>ille Paradox, it
is an informal variant of Russell's Paradox in set theory (for which see pp. 170-73 below).
144
Chapter 8
(1) There is---or can be-a barber who answers to the specifications of the narrative.
(2) This barber of the narrative (like any other) either does or
does not shave himself, but not both.
(3) If the barber shaves himself then, by the narrative's stipulation he is not someone who shaves himself.
(4) If the barber does not shave himself then, by the narrative's stipulation he does shave himself.
(5) Thus either way a contradiction ensues.
The optimal point at which to break the chain of consistency here
is clearly at its very start with that hypothetical barber himself. For
there is not and cannot be a barber who answers to the specified
conditions. The barber paradox thus is vitiated from the very outset, by being predicated on the supposition of a barber who cannot possibly be. That purported introduction of a barber upon
the stage of discussion misfires-it fails to introduce.
Again consider the closely related Bibliography Paradox arising
from the following account:
There certainly are bibliographies of bi bliographies (and lists
of lists and registers of registers). And such a bibliography (or
list of register) is complete ifit lists all bibliographies (etc.) But
of course most bibliographies will be incomplete when they
leave something out. And one bibliography that many of them
will leave out is themselves. Such a bibliography may be characterized as self-omitting. But now consider this idea of selfomitting bibliographies. And let us contemplate the idea of a
complete bibliography of these-a bibliography that lists all
(and only) the self-omitting bibliographies. Will such a bibliography include itself? Clearly this question plunges us into
paradox.
What we have here is once more a paradox based on an erroneous
and untenable presupposition, namely that there can be such a
bibliography (or list or register). There cannot. The very idea of
such an item is absurd, as the articulation of the paradox itself
makes manifest.
145
146
Chapter 8
But the modus operandi of X-specification is such that X is supposed itself to be an item of the range of our variable x) yetc. This
being so, we can particularize the preceding generalization to X
so as to obtain:
X enc X iff -X enc X.
Paradox is now upon us. But so is its resolution. For this contradiction itself straightaway negates our preceding assumption that
that initial totalization item does (or can) exist.
The issue is thus straightforward. We confront the question:
Does this totalitarian X-item encompass itself X-wise or not?
Does that set of sets include itself, that list of lists list itself, that
picture of pictures picture itself, and so on? And paradox occurs
147
8.5
The general idea we have been considering, inappropriate totalization, played an important role in the philosophy of Immanuel
Kant-although he approached the issue in a positive rather than
negative light. As he saw it, the four classic "Antinomies" of
Critique of Pure Reason exemplify the preceding situation. These
Kantian Antinomies run as follows:
I.
148
Chapter 8
149
As Kant saw it, the natural place to break this chain of contradiction is at thesis (1) which-so he maintains-is the weak spot of
the antinomy. For him the proper lesson to be drawn is that only
identifiable particulars can exist as proper objects of physically
oriented predication whereas abstract totalities are vitiatingly
problematic in this regard.
The four Kantian antinomies arise from a series of corresponding questions of a common format
Is the ultimate unit of A limited or unlimited in point of B?
where the four cases stand as follows:
A
spatio-temporal distribution
physical presence
lawful determination
150
Chapter 8
151
and thereby incomplete. A<; far as actual knowledge goes, absolutistic totalities are off limits-be it the totality of actual experience (the self) or of its objects (the world) or of its rationale
(ultimate purpose or God).10 Such ideas represent useful mindcontrivances for the assessment of actual knowledge but do notcannot-themselves constitute actual objects of knowledge. For
Kant, they are not entities at all, but only practical resources,
thought instrumentalities useful only for contrasting what we
actually have with what we would ideally like. For him, those
improperly totalized items simply cannot constitute objects of
knowledge. And paradox accordingly results because here the presupposition of existence is not satisfied.
8.6
Predictive Paradoxes
152
Chapter 8
The answer
given is
YES
Correct
False
NO
Incorrect
True
11. The example is adapted from John L. Casti, Searching for Certainty (New York:
Morris, 1990), p. 42.
153
So the predictor
YES
false
NO
false
CAN'T SAY
immaterial
So the predictor
YES
false
NO
false
CAN'T SAY
immaterial
Chapter 8
154
8.7
Summary
The overall lesson that emerges from the analysis of these paradoxes of inappropriate presupposition is that these can in general
be regarded from a reverse point of view. That is, they can also be
construed as reductio ad absurdum arguments that establish the
untenability of that inappropriate presupposition itself. 14
'no'?" (See also Popper's "Indeterminism in Classical Physics and in Quantum Physics,"
British Journal for the Philosophy of Science, Vol. 1 (1950) 117-133 and 173-195 (see p.
183).) The problem with this panicular example is that the temporality at issue is spurious.
For the predictor's incapacity to answer the given question--other than by CAN'T SAYroots in its incapacity to answer its detemporalized counterpart: "If asked 'Is G a theorem?'
will you answer 'yes' or 'no'?" Given the speciousness of its temporalization, the question
at issue is not genuinely predictive. Its incapacity to answer may render that predictor cognitiTJely imperfect, but it is not predictiTJely imperfect.
13. On these issues see the author's Predicting the Future (Albany: State University of
New York Press, 1998).
14. For more on such reduction-to-absurdity argumentation see Chapter 12 below.
155
Mathematical Paradoxes
9.1
159
160
Chapter 9
(for example) there are just as many even integers as there are
integers all told because every integer can be paired with it double
as per:
1,2,3,4,5, ...
I I I I I
2,4,6,8, 10, ...
This yields the rather more picturesque Hilbert)s Hotel Paradox.
With an ordinary (finite) hotel, no more guests can be accommodated once the rooms are filled. Not so with Hilbert's hotel, with
its infinity of rooms bearing the numbers of the integers:
1, 2, 3, 4, 5, ...
Even though every room is filled-Room No. i with guest No. i,
for i = 1,2,3, ... -further guests can always be accommodated.
When Messrs. A and B check in, the manager simply directs the
desk clerk to make some room changes: "Let's put A in No.1,
and B in No.2, and then shift Guest No. 1 to Room No.3, and
Guest No.2 to Room No.4, and so on." Although full,
Hilbert's Hotel can always take in more guests. Even an infinity
of new quests can be accommodated via the instruction "Let's
just move Guest No. i to Room 2i," for all i. That certainly
opens up a lot of rooms. And there is no real paradox here-no
actual inconsistency-as long as we do no make the mistaken
presumption that the same arithmetical groundrules (such as N +
1 > N) that hold on ordinary finite quantities will hold for infinite ones as well. l
"How can there possibly be an infinite set-for example, the
set of all integers-when such a set must be complete (contain all
integers) and yet represents a collection that can never be completed, since no matter how many integers it already includes
there are yet more of them to be added?" But this objection is
based on the mistaken idea that a set needs to be specified by
1. On the same basis, somebody With an infinite income (a dollar for every integer)
could payout a like amount in income taxes and still have the initial amount left, dollar for
dollar.
Mathematical Paradoxes
161
some sort of sequential listing of its content and yet cannot admit
a complete inventory which is indeed something that can only be
done with finite sets. The reality of it is that sets can be specified
simply in terms of a condition of membership.
In analyzing mathematical paradoxes we can again map out
the possible approaches to resolution in the usual way by identifying the RjA-alternatives. An illuminating starting point here is
afforded by Cantor's Paradox of set theory. Georg Cantor
(1845-1918), the German mathematician and founder of the theory of sets, proved the important theorem that for any and every
set, the set of all of its subsets-its so-called power set-has a cardinality (mathematical size) that is greater than that of the original set. This means that there can be no greatest set, and
therefore also no set of all sets, since such a supposed total would
at once yield a larger one.
This power set business engenders an aporetic situation for the
idea of a set of all sets, symbolically Ix: x is a set}. For this set
leads at once to Cantor)s Paradox which runs essentially as follows:
(1) For any and every predicate F, there exists the set of all
items that have F-symbolically Ix: Fx} or more fully
(ty) Vz (Fz == z E y).
(2) The characterization " - - - is a set" specifies a predicate.
(3) Hence (by (1) and (2)) the set of all sets exists.
(4) Provably (by Cantor's Theorem): Any set gives rise to a set
oflarger cardinality than itself (namely its power set-the
set of all its su bsets ) .
(5) Hence (by (3) and (4)) the power set of the set of all sets
must have a larger cardinality then that set itself, since it
includes all its subsets.
(6) But a set of cardinality greater than that of the set of all
sets, is patendy impossible.
(7) Hence (by (6)) a set of all sets cannot exist.
(8) (7) contradicts (3).
162
Chapter 9
3y[Cy&V'z(Cz
~z
= y)]
163
Mathematical Paradoxes
true if there is exactly one item that satisfies C and this item
has the feature F.
false if there is exactly one item that satisfies the condition
C and this item does not have the feature F.
y~
Fx)
For an aspiring set-specification of this format to yield a welldefined set we must pre-establish the unique determination of the
item supposedly at issue.
What we have in the case of failure in this regard is a referential singularity of much the same kind as the arithmetical singu1arity that arises when we attempt to divide by zero. In the former
164
Chapter 9
9.2
Mathematical Paradoxes
165
166
Chapter 9
objects answering to the condition C, then X must not itself be one of the items whose
status in relation to C must be settled enroute to setting the boundaries of (lX)Cx itself.
This principle is, in its effect, closely akin to Russell's Vicious Circle Principle (VCP)
already discussed in the preceding chapter. It too can serve to sideline various mathematical paradoxes.
Mathematical Paradoxes
167
9.3
Pseudo-Objects
5. See Prantl, Geschichte, Vol. IV, p. 42. The text cited by Prantl deserves closer analysis than it has received to date.
6. Occam was criticized in the fourteenth century on exactly the same point on which
Russell was criticized in the twentieth, namely that his strictures ruled out harmless selfreference ("Some propositions are true" or "All propositions can be discussed") along
with the paradoxical ones ("All propositions are false"). See Ashworth 1974, p. 105.
7. Note that the infeasibility of such a truth would also make for a negative answer to
the question: "Is truth-as-a-whole finitely axiomatizable?"
168
Chapter 9
Mathematical Paradoxes
169
Recall that a valid argument is one whose premisses entail its conclusion, and that a sound argument is a valid argument with true
premisses. But now consider the following Valid At;gumentation
Paradox:
(1) A valid argument cannot have a conclusion that claims
more information than is provided by its premisses.
(2) By the thesis (1), (I) is not a valid argument.
(3) (I) is a valid argument, for there is no way for its premisses
to be true and its conclusion false (which is the definition
of argument validity).
(4) (3) contradicts (2).
Chapter 9
170
The exit from paradox here lies in noting the argument's failure
to distinguish between suppositional (or conditional) truths and
categorical truth. Moreover-and this is the presently crucial
point-the salient flaw of (1) lies in its blatant violation of the
Successful Identification Principle (SIP).
9.4
Russell's Paradox
One of the most notorious paradoxes encountered in twentiethcentury logic and mathematics is RusseWs Paradox, based on the
idea of "the set of all sets that do not contain themselves," symbolically {x: x ~ x}. (Here E is set membership and ~ its denial.)
We thus envision a certain set R supposedly defined through the
following specification of its membership:
By definition (of R): R is the set of all non-self-containing
sets, so that S E Riff S ~ S
This specification is supposed to provide a contextual definition of
R (in the specific context of membership attribution). And perplexity arises here when we ask whether or not R contains itself.
For if R e R, then by the definition of R we have R e R. And if
R ~ R, then by the definition of R we have R e R. Thus contradiction results either way.
Given these considerations, we confront the following aporetic
situation:
(1) R as defined by the preceding specification exists as a welldefined set-that is, one such that any existing item either
is or is not a member of it.
(2)
ReR~R~R
(3) ReR
(4)
R~R~RER
(5) ReR
(6) (3) contradicts (5)
by the definition of R
from (2) by standard logic
by the definition of R
from (4) by standard logic
Mathematical Paradoxes
171
172
Chapter 9
Mathematical Paradoxes
173
9.S
P}
174
Chapter 9
We arrive at a paradox. The predicate "heterological" is heterological (and thus self-applicable) iff it is not so.
The scope for resolution here is narrow, since there is nothing
to attack save (Het) itself. Our best bet here is to take the line
that it rests on an erroneous presupposition, namely the supposition that H as a predicate of predicates is eligible for inclusion
within the range of the variable F at issue in the preceding specifi-
Mathematical Paradoxes
175
176
Chapter 9
T = (t V) VR VS [ V( R, S)
R( R, S)]
9.6
Mathematical Paradoxes
177
178
Chapter 9
natural language such as English is contained in the textseries which first presents in alphabetic order all possible
texts of one-letter length, and then all texts of alphabetic
length two, and then all texts of alphabetic length three,
and so on.
(2) Since any particular (positive) integer can be identified in
12. Koyre 1946. However, instead of the present line that any integer can be identified very briefly in the second mode, Koyn:'s resolution takes a different line: "La question: 'peut-on ou ne peuton pas "nommer" un nombre donne en tent de syllables?'-ne
comportera plus de reponse, n'offrant plus aucun sens determine" (p. 17).
Mathematical Paradoxes
179
180
Chapter 9
How many words must I use to instruct you to write this sentence?
There are various alternatives here:
(1) Write the sentence: "Now is the time for all good men to
come to the aid of the party."
(2) Write the standard typing practice sentence.
(3) Write the sentence in the box.
Short of specifying the eligible ways of presenting the instruction
at issue, that italicized question is simply not well-defined. It is
like asking you how many dollars must be spent in getting
from New York to Los Angeles without indicating whether this is
to be by boat, on foot, by train, by plane, by cab, and so forth.
The question as it stands is lost in a fog of meaning-obscuring
indefini teness.
One can also question premiss (3) from another angle, namely
that of the difference between the prospective and the retrospective standpoint. Consider "Every book has a title." This is true
(or at least presumably so) retrospectively: every book we have
dealt with so far has a title. But it is not true-or at least not true
yet-for the books of the future that have not yet been produced,
let alone titled. And similarly with "Every number has a name."
This is certainly true of any and all real numbers that we specifically consider. But since the real numbers are uncountably infinite
while the available names are at best countably infinite, there are
too few names to go around. Any and every number that we
might come to discuss can (ipso facto) be named and identified.
But this is not true for all numbers in toto. (If we have only ten
minutes, I can introduce you to any person in the ballroom, but
not to every person.)
The perplexity at issue is also akin to that of the puzzle: What
are we to call some thing that has no identifying name? WeHlet's adopt the convention: It shall be Nameless. But now-Io and
behold!-it is not this any more. But the fact is that there is an
equivocation going on here, as between the level of discourse at
the initial state of things antecedent to the renovation of terminology and the ultimate state of things that ensues thereafter. In
the post-designation circumstances, there indeed is something
that has no name; in the post-designation circumstances, there is
Mathematical Paradoxes
181
not. Contradiction is thus averted by drawing a suitable distinction (just as Aristotle said it has to be).
Accordingly, we need not look to mathematics for paradoxes
of this sort. For consider the purportedly identifying expression at
issue in the following narrative:
Some persons are mentioned in a written text of some sort-a
biography or a "wanted" bulletin or perhaps a birth certificate.
Other persons are never mentioned in any written text-like a
remote Eskimo fisherman or Anatolian shepherd, they live out
their existence in unmentioned obscurity. But now consider
the descriptive expression: The oldest living textually unmentioned individual. Note the anomaly that we just now haveto all appearances-managed to mention this individual.
This paradox is essentially of the same type as that of Berry. A
similar mistaken presupposition is at work, seeing that we once
more have a purportedly identifying expression that violates the
Successful Identification Principle (SIP) which effectively embargoes the problematic idea of defining an "unmentioned individual" as "one not adverted to in any text-that of the present
discussion included."
9.7
Richard's Paradox
The perplexity known as Richard's Paradox emerges from the following line of thought. 13
Let D be the set of decimals that can be specified in a finite
number of words. We can, of course, present this set by means
of an infinite list, by listing first (in alphabetical order) all those
decimals that can be specified by one word (such as zero =
.0000 ... ), then by two words, and so on. But now construct
a new decimal as follows: Begin with the first decimal in the
list and look at its first decimal place. Should this be n, then let
13. Richard's paper "Les principes de la mathematique et la probleme des ensembles"
was originally published in the RwuegenerllJe des sciences pures et appliquees in 1905. It is
translated in Heijenoort 1967, pp. 143-44.
182
Chapter 9
Mathematical Paradoxes
183
184
Chapter 9
than any axiomatically formalized systematization of the arithmetic involved is able to capture explicitly. IS
9.8
Burali-Forti's Paradox
Mathematical Paradoxes
185
And in the search for such a rationale they have been guided by
the "many birds with one stone" guideline of seeking for a mechanism that can at one stroke accomplish the needed work with
various-and indeed ideally with all-of the paradoxes. This
search has not been entirely successful, but useful progress has
nevertheless been made. In particular, following Peano, F.P.
Ramsey distinguished two types of paradoxes: (1) the mathematical invoking the concepts of set, element, or number, and (2) the
semantical invoking the concepts of truth, reference, or identificationY The former, so Ramsey held, could all be handled by the
simple theory of types (without type ramification and the axiom
of reducibility). And latter could be handled by a variety of
restrictions upon proper linguistic usage. This point of view has
been widely accepted.
But another option can also be envisioned that dispenses with
the cumbersome machinery of type theory. For as regards the
mathematical paradoxes themselves, these can be divided into two
main groups:
186
Chapter 9
Now the paradoxes of the second group are not too alarming. For
one thing, they can be averted as actual contradictions by observing that they rest upon inappropriate presuppositions regarding
the relation between the formalized definitions of numbers and
their informal, extra-systematic specification. Moreover, these
paradoxes call into question not so much the consistency of formalized mathematics as its completeness in relation to looser, informal ideas. They indicate a G6delian discrepancy between what can
be said within a formalized system of arithmetic and what can be
said about it by externalized means. And they indicate that the
second will always press beyond the limits of the former: that no
formalization can capture the whole of what can truly be said
about arithmetic.
However, the paradoxes of the former group are threatening
to the very consistency of mathematics itself. And a variety of farreaching strategies have therefore been proposed for their elimination, preeminently the following four: 18
I.
II.
Mathematical Paradoxes
187
lesser type then this object, so that every meaningful assertion about a totality is of a higher type than that totality
itself. Accordingly, no meaningful statement about a set
can attribute to it any members that are not of a lesser
type. (Note that this precludes the meaningfulness of
x EX, which attributes to an object (x) a feature (elementpossession) that mentions an object of equal type-level,
namely x itself.)
IV. Language Level Theory Language/Metalanguage
Distinction (Tarski)
Discourse always proceeds at a particular level in a hierarchy of languages. And talk about an object at some level
automatically shifts what is said to the next level. Hence
expressions like "All statements (or all predicates) such
that ... " must be construed as "All level i statements (or
predicates) such that ... " And this statement, being at
level i + 1, does not--cannot-refer to itself. Statements
of the format "This statement is ... " are automatically illformed-in effect non-statements.
In the context of this fourth approach, Tarski was able to show
that if the usual logical principles are accepted, then no language
is semantically self-encompassing in the sense of providing the
means for discussing the truth and falsity of its own expressions.
For with those conditions satisfied it will always be impossible to
construct an assertion of the Liar-Paradox type which attributes
falsity to itself. Given that a coherent language is inadequate to
self-characterization we are driven to a hierarchy of languages of
different levels where we can ascend to level n + 1 to discuss a
language of level n, but where the means of totalization to all levels at once is not and cannot be made available. In particular we
cannot even speak of generalization as being true or false flat-out,
but only as being so at this or that level of the hierarchy of languages and meta-languages. However, this paradox-averting
upshot is purchased at the great price of forgoing the unencumbered generality of discourse that we would clearly like to have in
mathematics as elsewhere.
188
Chapter 9
Mathematical Paradoxes
189
natural-by way of being inherently plausible and not arbitrary or ad hoc to the particular case in hand.
not too weak-by way of failing to deal with other versions
or reformulations of the paradox at issue.
190
Chapter 9
Self-Falsification
Any contradiction-in-terms (contradictio in adjecto) is automatically paradoxical. To speak of "learned ignorance" is at once to
attribute and to deny sagacity. To locate something in a utopia
(literally a "noplace") is to gainsay the very locatedness that is
being claimed. But such "paradoxes" are mere rhetorical tropes,
and sensible interpreters at once recognize that caution is needed
with such literary flourishes because one must not take them too
literally, even as is the case with metaphor or analogy.
However discourse that is blatantly self-falsifying is something
else again. There are different forms of self-negation: A statement
can occur in a context such that it
is incompatible with its own claim to meaningfulness (by
somehow proclaiming the claim's own meaninglessness).
(Example: "This statement is nonsense.")
is incompatible with its own claim to truth (by maintaining
the claim's own falsity or indeterminacy). (Example: "This
statement is false.")
is at odds with asserting the claim itself. (Example: "No
claim made by statements on this page is true.")
193
194
Chapter 10
Semantical Paradoxes
195
(3) By (1) and (2), the statements in question are either true
or false but not both.
(4) Thanks to their content, both statements are false if true
and true if false. Hence we must either class them both as
true or both as false.
(5) By (1) and (4), the statements in question are not semantically meaningful.
(6) (5) contradicts (2).
Here I(1), (2), (4) I constitutes an inconsistent triad. But save for
intuitionist logicians (1) constitutes a truth embodied in our definitional understanding of what is at issue with semantical meaningfulness. And (4) is a fact-of-life in the situation at hand.
2. See Prantl, Geschichte, Vol. IV, p. 37, pp. 145 and 146; and G.E. Hughes, John
Buridan on Self-Reference (Cambridge: Cambridge University Press, 1982), pp. 51, 58.
See also Albert of Saxony as discussed in Norman Kretzmans and Eleonore Stump's, The
Cambridge Translations of Medinal Philosophical Texts, Vol. I, Logic and Philosophy of
LIInguage (Cambridge: Cambridge University Press, 1988), pp. 342-43. As the medievals
saw it as insoluble (insolubilium) it is not just a sophism, but specifically a proposition that
poses a truth-value amphiboly, that is, a proposition such that there are structurally equivalent arguments for classing it as true and as false.
Precisely because insolubilia were not really outside the range of the solublc-and
indeed the authors who discussed them all proposed solutions-renaissance writers preferred the Ciceronian term inexplicabilia, which, of course, has problems of its own. (See
Ashworth 1974, p. 114_)
196
Chapter 10
(2)
Truth-value of S if
the assignment of
(1) is appropriate
(3)
Agreement between
(2) and the sentence
itself?
No
No
Semantical Paradoxes
197
198
Chapter 10
(L) L is true.
Semantieat Paradoxes
199
200
Chapter 10
Semantical Paradoxes
201
son who says that he is now lying speak truly?" This SelfFalsification Paradox now at issue roots in the thesis:
(5) This statement (that is, this very statement now being
enunciated) is false.
This statement confronts us with the perplex:
We class S as
We class S as
Truth-value of S' in
consequence of the preceding
status of what if claims
Chapter 10
202
because in doing so we would in effect verify it. Instead we canand indeed should-proceed to view this statement (S) in a wider
context:
(1) S is a semantically meaningful statement-that is, it is
either true or false and not both.
(2) Given what it asserts, if S is true-that is, if it is true that S
is false-then it is false. And(3) Given what is asserts, if S is false, then it is true.
Semantical Paradoxes
203
There is also the Self-Negation Paradox where truth and falsity are now not at mention. It pivots on the proposition P which
asserts: "This proposition-viz. P itself-does not obtain." We
thus have:
(P) not-P
This directly gives rise to a paradox, as follows:
(1) PH not-P
not-P
From (1)
From (1)
(2)
P~
(3)
not-P~
(4) not-P
(5) P
Here (1) is the source of the difficulty all by itself. But what
exactly is wrong with it? It is simply untenable because it concurrently claims and disclaims P. In consequence, (1) does not specifY a hermeneutically meaningful statement-we can make no
sense of it. As we have seen time and again, such statements that
violate the SIP principle are a fertile source of paradox.
10.3
Problems of Self-Reference
204
Chapter 10
And again, consider a statement that is specified as the conjunction of itself with some claim:
(S) S & c
Semantical Paradoxes
205
tion as such, but self-referential statement introductions or specifications. Self-referential statements are often not only unproblematic in meaning but even true. 11 There is nothing anomalous
about "This sentence contains a verb." and "This sentence occurs
on p. 205 of this book" or "This sentence is written in English."
There is nothing wrong with the self-referential contention "This
statement is an affirmative proposition formulated in English" or
with "This denial that cats are crustaceans is a true statement
about felines." What does go amiss is the introduction of an item
on the stage of discussion in a way that presupposes it as already
available as a term of the kind at issue. For example, to write
(L) L is a truth.
206
Chapter 10
Only a very few assertoric processes will engender paradox automatically and invariably. Direct or indirect self-negation of the following sort is an obvious example:
The statement preceding the next statement is meaningless.
All generalizations have exceptions. 12
However, the difficulty is more subtle with statements which
themselves counter-exemplify that which they overly assert:
No proposition is negative.
All generalizations are true.
Here the first statement is a negative proposition (something
whose existence it itself denies) and the second is a false generalization (again something whose existence it itself denies). Since
the mere existence of these statements establishes their own falsity, there is no way to establish harmony as between what statement T is and what it claims.
In the end, then, it is best to take a discerning and differentiated view of self-reference, recognizing that it can take both lawful
and illicit forms. A general point is at issue here, namely that there
is a great difference between saying that something is a process
that can engender paradox and that it is a process that must engender paradox. The sorts of paradox-inviting assertoric processes that
we have considered here--equivocation, self-reference, questionable totalization and problematic presupposition, for example-are
merely paradox facilitating and not paradox necessitating. And one
must accordingly always distinguish between illicit and innocuous
uses of such a process. The sensible policy is to indicate more
specifically the conditions under which such processes are likely to
produce inconsistencies. And this means that wholesale measures
of paradox avoidance-an embargo on self-reference, for example-are generally involved in overkill by eliminating much that is
harmless along with the inappropriate.
12. This statement is obviously a generalization. According to its own assertion it thus
has exceptions. But generalizations with exceptions are false. Ergo if true, then it is falseand false on the basis of its own explicit content.
Semantical Paradoxes
207
(P2 ) not-P2
Both involve the same sort of self-negation that is at issue with P
above.
208
Chapter 10
209
13. On this paradox, due to Albert of Saxony, see Kretzmann and Stump 1988, p.
353.
14. See William and Martha Kneale, The Development of Logic (Oxford: Oxford
University Press, 1985), p. 228. Another version of this paradox envisions a card with one
sentence written on each side. The one reads "The sentence on the other side of this card
is true" and the other reads "The sentence on the other side of this card is false."
210
Chapter 10
Again consider:
It is - - - that a - - - statement is
Here let the blanks be filled in by true (1) or false (P). Note now
the following survey of possibilities.
15. HenlY Aldrich, Artis logicae compendium (London, 1691). See Ashworth 1974,
pp. 18,114.
211
Semantical Paradoxes
The truth-values
we supply are
IT
TF
FT
FF
Chapter 10
212
again lies in rejecting the culprit statement (here (1)) as semantically meaningless.
Another case that merits consideration is the variant TruthStatus Misallocation Paradox presented by the following two
groups of statements:
Group A
1. Most statements of Group B are true
2. 2 + 2 = 4
3. 2 + 2
GroupB
1. Most statements of Group A are false
2. 2 + 2 = 4
3. 2 + 2
Here the only way to make Al true is to make BI true, yet the
only way to make BI true is to make Al false. Again, in reverse,
the only way to make BI true is to make Al false, yet the only
way to do this is to make BI false. Thus neither Al nor BI can be
true. But, by analogous reasoning, neither Al nor BI can be false.
The only way out is again to dismiss some of the key statements
involved-specifically Al and BI-as (semantically) meaningless
in the present context. As in the previous examples there is here a
clash between the external (semantical) status of the problematic
statements and their (internal) meaning-content. Such explicitly
or obliquely (contextually) self-falsifying statements are also a fertile source of paradox. Collectively unsatisfiable statement groups
of the sort at issue here are the verbal analogue of the geometric
anomalies of Escher drawings.
A generic contention regarding an otherwise unspecified item,
"X is a Siamese cat" or "X is an odd integer" or "X is an affirmative statement"-a propositional function, as it is called-will be
true of some things and not true of others. In particular some
propositional functions will be true of themselves, for example "X
Semantical Paradoxes
213
10.5
214
Chapter 10
something paradoxical going on with this otherwise far from outlandish disclaimer because the overall set of implicit truth-claims
at issue here is, in aggregate, incoherent. The statements of the
main text are flatly asserted and thereby claimed as truths while
the preface statement affirms that some of them are false. Despite
an acknowledgement of a collective error there is a claim to distributive correctness. Our author obviously cannot have it both
ways.I7
To clarify the situation it is helpful to let T serve as abbreviation for the conjunction of statements of the text and P analogously for the preface. On this basis we straightaway establish the
aporetic nature of our author's declarations. For we have both of
the following:
(1) T, that is, "Tis true," which is tantamount to "All components of Tare true."
(2) P, that is, "Some few of the (otherwise unspecified components of 7) are false."
Something has to give way here. But how are we to resolve this
perplex?
Perhaps the most sensible way to look at the matter is something like this. The prominence our author gives to P through its
synoptic role in his preface prioritizes it over T. Thus P must be
accepted while Tis abandoned in its composite totality. (However
the plausibility of T gives us an incentive to salvage as much as we
can, so that we would presumably settle for prefixing to the text
T the (otherwise tacit) preliminary statement "All but some few
of the statements that follow are true.") The course of subsequent
events can then be allowed to determine just which of the otherwise unidentified statements turn out to be falsehoods.
The idea of plausible claims yields a prospect for authorship
that is seldom exploited. For authors who advance their claims in
the mode of plausibility can proceed on a tentative basis and need
not present their assertions as categorical claims to truth. In con-
17. On the Preface Paradox se A.N. Prior, "On a Family of Paradoxes," Notre Dame
Journal of Formal Logic, Vol. 2 (1961), pp. 26-32. See also D.C. Makinson, "The Paradox
of the Preface," Analysis, vol. 25 (1965), pp. 205-{)7.
215
Inductive Paradoxes
(Conflicts of Probability
and Evidence)
11.1
Evidential Indecisiveness
An important source of paradox is constituted by evidential situations where the epistemic issues are so complicated and knotty
that their upshot is indecisive. We find ourselves confronted with
a series of claims for each of which there is much to be said by
way of support and substantiation, but which are nevertheless collectively inconsistent. Just what to conclude now becomes a problematic issue.
Such a situation of conflicting evidence arises, for example,
when one credible witness or source of information declares p and
another not-po Or again when one evidential datum speaks for p
and another for not-p, as when we want to determine somebody's
height and are informed both that she is expert at gymnastics
(most good gymnasts being rather short) and at basketball (most
basketball adepts being very tall).
It is a plausible principle of inductive reasoning that where the
available evidence (E) gives strong inductive support (=> ) to a certain conclusion (C) then this conclusion can be inferred as per the
inferential pattern of modus ponens:
(MP)
E~C
:. C
219
220
Chapter 11
(3) El ~Cl
By hypothesis
(4) E2~ C2
(5) C 1
By hypothesis
(6) C 2
(7) (6) contradicts (5)
Here 1(1), (2), (3), (4)} are an inconsistent quartet. Now (2) is
(by hypothesis) a given fact, and (3)-(4) are also fixed in place the
defining stipulation of the problem. We thus have the priority
ranking: [( 3), (4)] > (2) > (1). Accordingly, the proper link at
which to break the chain of inconsistency is with the principle (P).
The fact is that this is not a universally valid principle that
deserves flat-out acceptance, but only a plausible rule of inductive
inference that can only be employed in circumstances devoid of
counter-indications, unlike those of the situation that we presently
confront.
This example also conveys another lesson. It is sometimes said
that paradox occurs when apparently acceptable premisses yield
apparently unacceptable conclusions by apparently cogent arguments. 1 But the present example shows that we can speak simply
of valid arguments here. For that "seemingly cogent argumenta-
1. See, for example, R.M. Sainsbury, Paradoxes, 2nd ed. (Cambridge: Cambridge
Press, 1995), p. 1.
Unive~ity
Inductive Paradoxes
221
11.2
Self-Deception
Not only are people sometimes deceived, but they can also
deceive or delude themselves about all sorts of things-about
being a good driver for example. (Paradoxically, some 80 percent
of drivers think they drive better than the average driver.) To be
sure, there are, strange though it may seem, some issues about
which people cannot possibly deceive themselves. For example,
one cannot deceive oneself about:
being liable to self-deception.
being sometimes mistaken.
Here "deceiving oneself" would simply substantiate the point at
issue.
Self-deception can occur when it is we ourselves rather than
the evidence that are indecisive. It involves accepting in one frame
of one's mind or in one phase of one's thinking something that
one rejects in another without acknowledging the incompatibility.2 It is effectively a matter of "being of two minds" about something, so that here both "X is minded to reject p" and "X is
minded to accept p" come to figure as concurrently applicable
contentions. The Of Two Minds Paradox that results stands
roughly as follows:
( 1) X accepts p (on the basis of certain considerations).
(2) X rejects p (on the basis of others).
( 3) X qualifies as a fully rational person who keeps his beliefs
compatible and consistent.
222
Chapter 11
11.3
Inductive Paradoxes
223
2, 3, ... , 100. Here each outcome one is only an "one-in-a-hundred shot." each is very unlikely. So if we have the following manifold of outcomes:
O( i)
then any and every particular outcome-claim is distinctly improbable. (And we could make it even more so by letting the lottery
have a thousand or even a million entries.)
Now if we were to let high probability be our guide to outright acceptance, then clearly we would have to accept "Not
O( i)" systematically, for any particular i. This leads straightaway
to paradox. For on the one hand we now accept:
X(i)
Not-O(i)
for every value of i in the range 1, 2, ... , 100. But on the other
hand we must also accept:
224
Chapter 11
3. Acceptance alternatives:
All 100 posibilities for the group X, X(l)-X(lOO) with
one omission among the X(i) and also X(l)-X(lOO)
5. Priority ranking:
X> [X(l), X(2), ... ,X(lOO)]
6. Optimal resolution:
A disjunction of all the R/A alternatives that exclude
exactly one of the X( i).
Here we would, as ever, want to break through the "chain of
inconsistency" by seeking out the weak links of the chain. But
unfortunately, the circumstances of the example do not permit us
to differentiate among those plausible theses X( i), all of which lie
on the same plane-to all visible appearances. Apart from recognizing that at least one of the XU) must be false, any more definite resolution of the paradox is impracticable. The specifics as to
the choice between one alternative and another remain undecided, so that this resolution of the apory again represents an
inconclusive disjunction of uneliminable alternatives.
11.4
Inductive Paradoxes
225
The situation at issue here is such that we confront the following aporetic cluster:
( 1) The theses
(HI) All ravens are black
(H2) All non-black objects are non-ravens
state logically equivalent hypotheses.
(2) If two hypotheses are logically equivalent, then any datum
that confirms the one must also confirm the other-and
will do so to the same extent.
(3) A black raven will confirm HI (to some nontrivial extent),
and analogously a non-black non-raven (such as a white
shoe) will similarly confirm H2 (to some nontrivial
extent).
(4) However, a white shoe will not confirm HI (or at least
will not do so to any extent worth mentioning).
It is clear that these theses are inconsistent, seeing that (1 )-( 3)
entail the denial of(4).
Since (1) is an unproblematic fact of logic, and (3 )-( 4) represent rock-bottom intuitions of inductive thought, it is thesis (2)
that attracts our suspicions. The priority situation stands at (1) >
[(3), (4)] > (2). We are thus led to the R/A option
(1),(3),(4)/(2) as the appropriate resolution, exhibiting as it does
the resolution optimal priority profile {1, 1, O}.
But what reason is there for thinking (2) to be the weak link in
the chain here? Let us consider this question more closely.
It helps to clarify matters to consider the situation as represented in a Venn diagram of the following sort:
R
[1]
226
Chapter 11
Inductive Paradoxes
11.5
227
green if examined before the temporal referencepoint to and if examined thereafter blue. (to is an
arbitrary moment of future time.)
228
Chapter 11
blue
7. For a survey of objections and positions see Henry E. Kyburg, Jr., "Recent Work
on Inductive Logic," (American Philosophical {bIarterly, vol. 1 [1964]), who summarizes
his discussion with the observation "The problem of finding some way of distinguishing
between sensible predicates like 'blue' and 'green' and the outlandish ones suggested by
Goodman, Barker, and others, is surely one of the most important problems to come out
of recent discussions of inductive logic" (p. 266).
Inductive Paradoxes
229
(2) Claims for which the available evidence speaks equally are
equally credible.
(3) A is highly credible.
(4) B is not credible.
(5) (4) and (5) are incompatible.
Goodman himself effectively resolves this perplex by holding that
(1) is the weak spot here. For, as just indicated, he saw a generalization's evidentiation as hinging on the linguistic "entrenchment" of the predicates in whose terms the generalization is
formulated. On this basis it becomes a pivotal consideration of
Goodman that "green" is a widely used familiar and customary
conception. For Goodman, principles of inductive reasoning are
"justified by their conformity with our inductive practice"-as
indeed holds analogously with principles of deductive reasoning
also. s Goodman characterizes this conformity with practice as
"entrenchment," and in this regard "green" wins out easily over
"grue" because, plainly, "green," as the subject of innumerably
more prior projections (predictions), has a more impressive biography. The predicate "green," we may say, is much better
entrenched then the predicate "grue."9
However, the basic problem with this approach-and the reason why most theorists have found it unsatisfying-is that accustomed "entrenchment" as such does not seem able to bear the
weight of the structure that is being built upon it. For the crux is
clearly a matter not simply of the fact that a predicate is
entrenched but of the underlying issue of why it is entrenched. It
is a matter not just of custom but of the greater utility and effi8. See Goodman 1955(3), p. 63.
9. Ibid., p. 94.
230
Chapter 11
10. Note that (1) suffers from the frailty that its invocation of equally weighty support
it exhibits exactly the same flaw encountered in Hempel's Paradox of the Ravens. (See pp.
224-26.)
11. See Stalker 1999.
Paradoxes of Hypothetical
Reasoning (The Problem
of Assumptions that Conflict
with Accepted Beliefs)
12.1
To this point the focus has been upon paradoxes that arise in contexts where the choice between retention and abandonment is a
matter of how loudly the probative considerations of evidence and
conceptual cogency speak for the truth or plausibility of the relevant contentions. But we shall now deal with contexts of supposition-of postulation, assumption, or hypothesis where claims of
actual truth are put aside and disbelief suspended. When a statement is stipulated in this way it thereby acquires a priority status
that is independent of and indifferent to whatever supportive
indication for its truth there mayor may not be in other regards.
In virtue of their status as such, hypotheses acquire an automatic
priority in our reasoning. Like it or not we have to take them in
stride and make the best and most of things on that basis-at least
for the time being. l
A "counterfactual conditional" along the lines of "If Napoleon
had stayed on Elba, the battle of Waterloo would never have been
1. The treatment of suppositions presented in this chapter was initially set out in the
author's "Belief-Contravening Suppositions," The Philosophical Rc"piew, vol. 70 (1961), pp.
176-196. It was subsequently developed in Hypothetical Reasoning (Amsterdam: North
Holland, 1964).
233
234
Chapter 12
235
236
Chapter 12
(1) P
(2) q
(3) -( -p & q), or equivalently p v -q
Now let it be that you are going to suppose not-po Then of
course you must remove (1) from the list of accepted facts and
substitute:
(I') -p
But there is now no stopping. For together with (3) this new item
at once yields -q, contrary to (2). Thus that supposition of ours
that runs contrary to accepted fact (viz., not-p) has the direct consequence that any other arbitrary truth must also be abandoned.
237
pvq
not-q
But now when p is replaced by not-p so that the first thesis is
negated, we shall have to reject at least one of the other two. But
logic alone does not tell us which way to go. The situation is
totally ambiguous in this regard. When an inconsistency arises, all
that logic can do is to insist that consistency must be restored. It
will not tell us how to do this. This requires some altogether
extra-logical resource.
And this is always the case. If we assume, say "Napoleon died
in 1921" we have to choose between keeping his age (and thus
having him born in 1769) and keeping his birthday (and thus
having him live to age 152). And nothing about the counterfactual itself provides any guidance here. The situation in this regard
is totally ambiguous and indeterminate: we are simply left in the
dark about implementing the counterfactual assumption at issue.
To decide matters in one way or the other and remove the ambiguity at issue we need to have additional, hypothesis-transcending
information-a mechanism of precedence and priority to enable
us to chose among the alternatives that confront us. Let us see
238
Chapter 12
12.2
Counterfactual Conditionals
Consider the counterfactual "If the letters A and B were indistinguishable-say that both alike looked like X-then the random
series ABBABAAAB. . . would become the uniform series
XXXX. ... " The situation issues in the following paradox:
(1) The given A-B series is not uniform. (A known fact.)
(2) A is indistinguishable from B. (The issue-definitive supposition, which contradicts our realization that A can in fact
be distinguished from B.)
(3) The series is uniform. (Given (2) every A-B series is now
uniform.)
Since (2)'s consequence (3) contradicts (1), the pair I( 1), (2) I
represents an aporetic duo. But owing to (2)'s priority status as an
issue-definitive hypothesis, (1) must give way to it. And so we
arrive at the counterfactual conditional under consideration.
Again, consider the more complex situation of counterfactual
reasoning in the context of the conditional: "if this stick were
made of copper, it would conduct electricity." The situation is as
follows:
(1) This stick is made of wood.
(2) This stick is not made of copper.
(3) Wood does not conduct electricity.
(4) Copper does conduct electricity.
(5) This stick does not conduct electricity.
And now let us introduce the (1 )-modifying assumption:
( 6) This stick is made of copper.
How is consistency now to be restored?
239
Note that our initial givens fall into two groups: general laws
(3), (4), and particular facts (1), (2), (5). Now when (6) is introduced as an issue-definitive hypothesis we of course have to abandon (1) and (2) in the wake of this assumption. But that still does
not restore consistency since (6) and (4) still yield not-( 5).
However, the aforementioned standard policy of prioritizing more
general principles such as laws over particular facts in counterfactual contexts leads to the priority schedule: [(3), (4)] > (5). And
this means that it is (5) rather than (4) that should now be abandoned. We thus arrive at the natural (5 )-rejecting counterfactual
conditional:
If this stick were made of copper, then it would conduct
electricity (since copper conducts electricity).
in place of the "unnatural," (4 )-rejecting counterfactual conditional:
If this stick were made of copper, then copper would not
conduct electricity (since this stick does not conduct electricity).
Suppose, however, that for the sake of contrast we take the radical
step of altering the fabric of natural law by contemplating the
assumption:
(6') Wood conducts electricity.
We would now of course have to abandon (3) in the wake of this
issue-definitive hypothesis. But again this is not enough, seeing
that (6') and (1) will again yield not-(5). At this point, however,
we must resort to the principle: in counterfactual contexts, particular mode-oj-composition statements take priority over particular
mode-of-behavior-statements.5 And this means that the priority
schedule will be: (6') > (1) > (5). Accordingly, it is once more
240
Chapter 12
inherendy more general than a specific item-and one particular mode of behavior. The
prioritization at issue is thus provided for by the standard policy of giving precedence to
what is more general, pervasive, and fundamental.
241
once the problem of counterfactuals is seen in this light, its assimilation to the broader issue of aporetic reasoning becomes
straightforward, seeing that counterfactual conditionals cry out
for analysis in terms of the priority-geared machinery of paradoxmanagement with which we have been operating throughout. (It
is just that the principles of priority determination are distinctively
different in this domain.)
For the sake of another illustration, consider the counterfactual "If Puerto Rico were a state of the Union, the U.s. would
have 51 states." Here the following three propositions may be
taken as known givens:
( 1) Puerto Rico is not a state of the Union.
(2) There are 50 states.
(3) The list of the states includes all the following: Alabama,
Arizona, and so on.
(4) The list of the states includes only th~ following: Alabama,
Arizona, and so on.
Now consider introducing the fact-contravening supposition: suppose that not-(1), that is, suppose Puerto Rico to be a state.
In embarking on this assumption we obviously now have to
jettison (1) and (4) and replace them by their negation. But this is
clearly not enough. The set {not-(l), (2), (3)} still constitutes an
aporetic trio. To keep within the limits of consistency we must
also abandon either (2) or (3). Of course we have a choice
between these two. And with it we arrive at a choice between two
alternative counterfactuals.
(A) If Puerto Rico were a state, then there would be 51 states
since all of the following are states: Alabama, Arizona, and
so on. (Here we retain (3) and abandon (2).)
(B) If Puerto Rico were a state, then one of the present states
would have departed, since there are just 50 states. (Here
we retain (2) and abandon (3).)
Now it is clear that the first of these is plausible and the second
distinctly less so. The question comes down to a matter of priority
242
Chapter 12
and precedence. And the answer is (3) > (2), its justifYing rationale being as follows: The number of states has repeatedly
changed throughout U.S. history as new states were added to the
Union. But no state has ever dropped out-and the attempt on
the part of some to do so proved a disastrous failure. The generalization "States can enter the union" is a more tenable contention
than "States can leave the union." The crux is that in these counterfactual contexts (unlike the fictional case), well-established
generalizations take precedence over particular facts. Hence (3) is
distinctly more tenable than (2) and the first of the indicated
counterfactuals accordingly is more eligible then the second.
The example accordingly illustrates a general situation.
Counterfactuals arise when assumptions that conflict with some
of the factual beliefs at our disposal are introduced into the wider
setting of other accepted beliefs. And the process of consistency
restoration via plausibility that is effective with other paradoxes
also applies straightforwardly and constructively in this present
case-subject, however, to the crucial considerations (i) that
hypotheses and their logico-conceptual consequences now
assume a position of prime priority and (ii) that the usual principle of specificity prioritization familiar from factual contexts is
now reversed seeing that well-established generalizations will
take precedence here.
12.3
Further Examples
243
244
Chapter 12
245
12.5
Reductio-ad-Absurdum Reasoning
not- T, Pi' P2 ,
... ,
Pn ~ contradiction
246
Chapter 12
247
In mathematics this sort of proof of a fact by deriving a contribution from its negation is characterized as an indirect proof.
The contrast between hypothetical and reductio reasoning is
instructive. In hypothetical reasoning the assumptions we make
are issue definitive stipulations and consequently allowed by fiat to
prevail come what may. In reductio reasoning, however, our
assumptions are merely provisional and must in the end give way
in cases of a conflict with established facts. The situation is thus
altered radically from that of counterfactual reasoning. There
assumptions were seen as fixed points around which everything
else had to revolve. Their priority was absolute. With reductio ad
absurdum reasoning, however, the matter is reversed. Here
assumptions are viewed as merely provisional hypotheses and
accordingly become frail and vulnerable: they stand at the foot of
the precedence-priority scale. And the circumstance that established propositions prevail over mere hypotheses in this context
makes reductio-ad-absurdum reasoning a relatively straightforward business.
7. See James F. Thompson, "Tasks and Super-Tasks," Analysis, vol. 15 (1954), pp.
1-13; reprinted in R-M. Gale, The Philosophy of Time (London: Macmillan, 1968).
248
Chapter 12
t=
249
12.6
Per-Impossibile Reasoning
Impossible suppositions are not just false but necessarily false, that
is, in logical conflict with some necessary truths, be the necessity
250
Chapter 12
251
252
Chapter 12
Paradoxes of Choice
and Decision
(Conflicting Reasons
for Action)
13.1
255
J.
256
Chapter 13
257
258
Chapter 13
#1
#2
Result
swerves
swerves
persists
persists
swerves
persists
swerves
persists
a draw
#2 wins
#1 wins
a collision
259
260
Chapter 13
I CHOOSE
$1
$10
I GET IF
THE WISE CHOICE
IS ACTUALLY $1
I GET IF
THE WISE CHOICE
IS ACTUALLY $10
I GET IF
THERE ISNO
WISE CHOICE
$1
$20
$11
$10
$10
$I
By choosing $10 I sustain a trivial comparative loss if worst comes to worst and am substantially better off in any other case.
5. For a many-sided discussion of the problem see Richmond Campbell and Lawring
Sowden (eds.), Paradoxes of Rationality and Cooperation: Prisoner's Dilemma and
Newcomb's Problem (Vancouver: University of British Columbia Press, 1985). See also
Brams 1976.
261
against your accomplice and she will ensure that the courts will
treat you leniently-provided that your confession turns out to
be useful for her case. Note further: (1) The utility of your confession depends on whether or not your accomplice keeps
silent. (Ifhe does, your confession is valuable, while ifhe too
confesses, its value is substantially diminished.) (2) If neither of
you confesses, then the prosecutor's case is in fact so weak that
both of you will almost certainly receive no more than a rather
light penalty. Accordingly we may suppose the following punishment schedule, measured in years lost in incarceration:
Action
You
Accomplice
You
Accomplice
confess
confess
not confess
not confess
confess
not confess
confess
not confess
5
1
10
2
5
10
1
2
262
Chapter 13
(2)
263
264
13.3
Chapter 13
In 1960 the American physicist William A. Newcomb propounded a paradox that has beguiled theorists in recent decades. 6
NewcombJs Paradox is presented by the problem situations of the
following narrative:
The Predictor says: "Here are two boxes A and B. You may
pick one or both. You see that I am now putting this $1,000
into box A. And as regards box B, be informed that I have
already put in a million dollars if I predicted that you will
choose just one box, but nothing if I predicted that you would
choose both boxes. Knowing my extensive track record as a
good predictor, you would be well advised to heed that prediction." How do you choose?
This problem straightaway engenders a paradox because the following theses are all plausible in this situation.
(1) The reasonable thing to do is to pick both boxes. (After
all you will then get whatever there is to be gotten.)
(2) The reasonable thing is to be guided by expected value
calculations.
(3) An appropriate expected-value assessment can be carried
out as follows:
Let P be the probability that the Predictor has forecast your
picking both boxes. Then your gain will be as follows:
You choose A only:
$1,000
p(O) + (l-p)(I,OOO,OOO) =
(l-p)( 1,000,000)
265
1,000
>
roughly one-third
266
Chapter 13
267
7. Strictly speaking the units of reward should be measured in "utility" rather than in
money.
8. For a discussion of A11ais's paradox situations see R. Duncan Luce and Howard
Raiffa, GlnneSIJnli Decisions (New York: WLley, 1957).
268
Chapter 13
269
13.5
9. On the origin of the problem in the work of Nicholas and Daniel Bernoulli see
Isaac Todhunter, A History of the Mathematical Theory of Probability (New York: G.E.
Stechert, 1931), pp. 134 and 220-22.
10. On this problem see the author's "Predictive Incapacity and Rational Decision" in
The European ReTliew, vol. 3 (1995), pp. 325-330.
Chapter 13
270
predicts correctly
predicts incorrectly
predicts correctly
predicts incorrectly
take
not take
not take
take
Z,X
X
neither
Z
survive
die
surVIve
die
p (+ 1-) + (I - p) (- I)
EV (not take) = p (+ I) + (I - p) (- I)
Accordingly EV (take) < EV (not take), irrespective of the
value of p. (Note that the small superscripted minus sign -
271
means "a smidgeon less" and comes into play owing to the
minor negative side effect of taking the pill.)
On this basis, the expected-value comparison envisioned in
orthodox decision theory appears to rule against taking that
pill, quite independently of any estimate of how good a predictor Dr. Psycho is or isn't.
272
Chapter 13
11. To be sure, if you knew for certain that one of the two analyses had
you might be able to effect a second-order expected value comparison_
to
be correct,
273
12. On the different groundrules of decision in factual and practical contexts see the
author's "Ueber einen zentralen Unterschied zwischen Theorie und Praxis," Deutsche
Zeitschriftfor Philosophie, vol. 47 (1999), pp. 171-182.
13. On the historical background of the Buridan's Ass perplex see the author's
"Choice Without Preference" in his Essays in Philosophical Analysis (Pittsburgh: University
of Pittsburgh Press, 1969), pp. I11-lS7.
274
Chapter 13
275
ment and deferring the matter for another day when ampler information becomes available. Or we can haver between the unresolvable alternatives P and Q by the simple device of disjunction, that
is by adopting P-or- Q and being no more committal than that.
But in practical matters of decision and action the situation wears
a different aspect. Here inaction is itself a mode of action.
Confronted with a choice between doing A and doing B we face
the choice system:
do nothing
doA
do B
And here it may well be that doing nothing is the very worst of
available alternatives-as the example of the Buridan's Ass paradox brings vividly to realization.
This aspect of the matter give a special bite to the paradoxes of
practice.
In solving theoretical and practical paradoxes alike we want to
minimize the damage. But damage is measured very differently in
these two domains. Theoretical damage consists in the epistemic
error of accepting what is false or implausible. But practical damage can be something even more troubling of a more grave and
painfully affecting sort. And this is why those paradoxes like the
Prisoner's Dilemma or the Dr. Psycho Paradox, whose difficulty
lies in the fact that here the very principles of proper damage assessment are in question, are peculiarly troublesome.
13.6
276
Chapter 13
In the course of these deliberations we have met with a considerable array of "tools of the trade" in matters of paradox resolution. Prominent among these are:
dis-ambiguation
dissolution through equivocation removal
presupposition rejection or invalidation
meaningfulness denial and concept invalidation
implausibility dismissal
item abolition (on grounds of inappropriate hypostatization)
prioritization of "deeper" principles and "superior"
alternatives
hypothesis invalidation (through reductio, for example)
choice resolution through preferentiability validation
All of these processes can provide a means for reestablishing
consistency when confronted with a family of inconsistent
premisses.
The striking feature of all of these resources is that in terms of
their thematic locus in the cognitive scheme of things they all
belong rather to the domain of rhetoric than to that of theoretical
logic proper. In the sections devoted to sophisms and insolubilia
in Prantl's classic Geschichte der Logik im Abendlande one encounters time and again a complaint to the effect that "this sort of
thing belongs rather to rhetoric than to logic." And Prantl's sensibilities in this matter are entirely correct. (What one can object to
is his reaction to this circumstance-based on the sentiment that
if something does not belong to logic proper, then it is not all
that important.)
Be this as it may, the problem of resolving aporetic conflicts
recurs in a diversified variety of contexts, preeminently including
the purely hypothetical, the proof-theoretic (reductio ad absurdum), the evidential, and the philosophical. But throughout,
277
278
Chapter 13
1. Purely hypothetical contexts. In restoring consistency, salvage as much information as you can. Hence give priority
to the comparatively more informative-contextually
stronger-statements. Keep what is more general and
fundamental in place. The determinative issue is: "What
are the informatively weakest links in the chain of
inconsistency? "
2. Reductio ad absurdum contexts. In maintaining consistency
give priority to what has already been established.
Therefore, it will be those conflict-engendering assumptions themselves that must give way. The determinative
issue is: "Which claims are minimally at odds with what is
already established?"
3. Evidential-inductive contexts. In restoring consistency, preserve as much as you can of the probative/evidential fabric.
Always make more weakly evidentiated claims give way to
those that are more strongly evidentiated. The determinative issue is: "Where are the evidentially weakest, probatively most vulnerable links in the chain of inconsistency?"
4. Counter/actual contexts. In restoring consistency give
prime precedence to issue-definitive assumptions. And from
there on in opt for the least amount of factual disruption
that can be managed, thus proceeding as in case 2 above.
5. Philosophical contexts. In restoring consistency maintain
overall credibility. Give priority to those propositions that
provide for the systematically optimal combination of plausibility (evidentiation) and problem resolving (informative-
14. The context-dependent nature of the project of conflict resolution means the
aporetic approach is able to unify imponant aspects of the theory of reasoning in very different domains (proof theory, empirical inquiry, hypothetical reasoning, philosophical reasoning) within a single overarching integrating perspective. This unification patently
integrates the author's approach to these various issues in such books as Hypotheti&a/
Reasoning (1967), Plausible Reasoning (1974), Empiri&al Inquiry (1982), and The Strife
of Systems (1985), and thereby unifies in a synoptic perspective the pragmatic tendency of
my overall position.
279
ness). (The process here is accordingly a hybrid mix-a balanced combination or fusion of the evidential and the hypothetical approaches.) The determinative issue is: "What are
the least plausible links in the chain of inconsistency-those
whose abandonment would minimally impede the construction of a coherent system of understanding?"
As this survey indicates, different purposes are at work in different
contexts. The purposive/teleological character of the particular
enterprise at issue provides the guiding basis for the different
ground-rules of precedence-determination that are operative in
these different contexts.
The salient point with respect to inconsistency-resolution is
one of pragmatics, of rational practice and procedure. Different
contexts of deliberation reflect different ranges of purpose. And it
is this teleological issue of the purposive orientation of the relevant context that determines what sorts of principle of priority
will be operative within it. For it is their capacity to facilitate the
realization of the relevant purposes that determines the appropriateness of the requisite principles of prioritization.
Bibliography
NOTE: Regrettably there is as yet no general history of paradoxes.
However, the thinkers who dealt with them in classical antiquity
are all discussed in Eduard Zeller's magisterial Philosophie der
Griechen in ihrer Geschichtlichen Entwicklung published in Leipzig
by O.R. Reisland in three massive double volumes, 6th ed., 1919.
The paradoxes themselves are discussed in greater detail, albeit in
general rather dismissively, in Carl Prantl's Geschichte der Logik
ime Abendlande, published in Leipzig in three volumes in 1855
by S. Hirzel, which offers much information on ancient and
medieval contributions to the subject. Salmon 1970 gives a
comprehensive bibliography on Zeno's paradoxes. Riistow 1910
gives a synoptic account of the history of the Liar Paradox and its
cognates.
On paradoxes among the medieval schoolmen see the extensive bibliography presented in Ivan Boh, Epistemic Logic in the
Later Middle Ages (London: Routledge, 1993). Medieval texts on
insolubles and sophisms are available in Buridan 1977, Grabmann
1940, Heytesbury 1979, Hughes 1982, Kretzmann and
Kretzmann 1990, Nicholas of Cusa 1954, Perreiah 1978, Rijk
1962-67, and Wyclif 1986. And for analyses on these topics see
Biard 1989, Bottin 1976, Kretzmann et al. 1982, Read 1993, and
Weidemann 1980. On semantic paradoxes in the sixteenth century see the section of that title in Ashworth 1974. And for the
Renaissance see Colie 1966.
281
282
Bibliography
Bibliography
283
284
Bibliography
Grabmann, Martin. 1940. Die Sophismataliteratur des 12. und 13. Jahrhunderts,
mit Textausgabe eines Sophisma des Boetius pon Dacien. Munster:
Aschendorff.
Grelling, Kurt. 1936. The Logical Paradoxes. Mind, vol. 45, pp. 481-86.
- - - . 1937. Der Einfluss der Antinomien auf die Entwicklung der Logik im
20 Jahrhunders, TraMux du Ixieme congres international de philosophie,fasc,
vol. VI, pp. 8-17.
Grelling, Kurt, and Leonhard Nelson. 1907-1908. Bemerkungen zu den
Paradoxien von Russell und Burali-Forti. Abhandlungen der Fries]schen
Schule n.s., Vol. 2, pp. 301-334.
Hallden, Soren. 1949. The Logic of Nonsense. Uppsala: Lundequistska
Bokhandeln.
Hamblin, c.L. 1986. Fallacies. Revised ed. Newport News: Vale Press.
van Heijenoort, Jean, ed. 1967. From Frege to Godel: A Source Book
in Mathematical Logic] 1879-1931. Cambridge, MA: Harvard University
Press.
- - - . 1967. Logical Paradoxes. In The Encyclopedia of Philosophy. Paul
Edwards ed. New York: Macmillan.
Heiss, Robert. 1928. Der Mechanisumus der Paradoxien und das Gesetz der
Paradoxienbildung. Philosophischer Anzeiger, vol. 3, pp. 403-432.
Helmer, Olaf. 1934. Remarques sur Ie probleme des antinomies. Philosophisches
Jahrbuch der Gorresgesellschaft, vol. 47, pp. 421-24.
Helrnont, J. B. van. 1650. A Ternary of Paradoxes. Ed. and translated by Walter
Charleton. London: James Flesher.
Heytesbury, William. 1979. On Insoluble Sentences: Chapter One of His Rulesfor
Solping Sophisms. Translated with an introduction and a study by P.V. Spade.
Toronto: Pontifical Institute of Mediaeval Studies. Mediaeval Sources in
Translation, No. 21.
Hinske, Norbert. 1965. Kant's Begriff der Antinomie und die Etappen seiner
Ausarbeitung, Kant-Studien, vol. 56, pp. 485-496.
Hintikka, Jaakko. 1957. Vicious Circle Principle and the Paradoxes. Journal of
Symbolic Logic, vol. 22, pp. 245-49.
Hofstadter, Douglas R.. 1980. Godel, Escher, Bach: An Eternal Golden Braid.
New York: Random House.
---.1986. Metamagical Themes New York: Basic Books.
Hofstadter, Douglas R.., and Daniel C. Dennett. 1981. The Mind]s I: Fantasies
and Reflections on the Self and Soul. New York: Basic Books.
Hughes, George Edward. 1982. John Buridan on Self-Reference: Chapter Eight
of Buridan]s Sophismata. Cambridge: Cambridge University Press.
Hughes, Patrick, and George Brecht. 1975. Vicious Circles and Infinity: A
Panoply of Paradoxes. Garden City, NY: Doubleday.
Hyde, M. J. 1979. Paradox: The Evolution of a Figure of Rhetoric. In. R..L.
Brown Jr. and M. Steinman Jr., eds., Rhetoric 78: Proceeding of Theory of
Rhetoric: An Interdisciplinary Conference. Minneapolis: University of
Minnesota Center for Advanced Studies in Language, Style, and Literary
Theory, pp. 201-225.
Bibliography
285
286
Bibliography
Bibliography
287
288
Bibliography
Index
Brams, Steven J., 255, 260n5,
264n6,282
Brandom, Robert, 10n13
Brecht, George, 139n2, 284
Buckle, Henry, 245
Burali-Forti, Cesare, 184, 188,282
Burgess, Theodore C., 282
Buridan, Jean, 273-74
Buridan, John 21,93, 196, 198,
281-82
Burley, Walter, 233-38
Burley's principle, 235-38
Burnet, John, 97n7
Burns, L.C., 282
cassatio, 81
289
290
Index
291
Index
ideas, Plato's theory of, 117-19
impredicable predicates, 173-74
improper totalities, 137-155
inappropriate presupposition,
137-155
incompleteness of arithmetic, 205
inconsistency, 25-27
inductive paradoxes, 219-230
information, discrepancy, II
Intisar-Ul-Haque, 284
Kneale,~illtiam,209nI4,284
J.L., 285
D.C., 214n17
~andeviUe, Bernard de, 7
~argalit, Avishai, 112nI9, 285
~artin, Robert L., 200nlO, 285
mathematical completeness, 186
mathematical consistency, 186
~akinson,
292
philosophical paradoxes, 117-133
Plato, 3, 9n11, 12n12, 92n3, 93, 95,
106,107,117-18,128-29,
208-09
Plato's theory of ideas, 117-19
plausibility, 15-20,43-53
Plutarch, 86
Poincare, Henri, 172, 173, 186
Popper,~IFL, 153n12,154n12
Prantl, Carl, 12n17, 62n2, 64n3,
65n4, 77n2, 78n5, 79n6, 81n7,
81n8, 82nI3,102nI2, 104n13,
117nl, 165n3, 167n5, 195n2,
198n3, 199n4, 199n5,199n6,
199n7,276,281
predicates, heterological, 174-75
predicates, impredicable, 173-74
prediction, problems of, 151-54
presupposition, inappropriate,
137-155
principle of noncircularity, 123
principle of sufficient reason, 123
principles of comprehensiveness,
123
Prior, A.N., 286
prioritization, propositional, 27-31
Probst, P, 287
propositional plausibility, 43-53
propositional prioritization, 27-31
Protagoras, 9, 63, 64, 65
Pruss, Alexander, 211n16
pseudo-objects,167-170
Quine, W.v.O., 68, 69, 112nI9,
185n17,286
Rabelais, Fran.;:ois, 5, 5n4
Raiffa, Howard, 19n2, 267n8
Ramsey, Frank P., 185
Rapaport, Anatol, 286
Raven, J.E., 98n8, 100n9, 101n11
Read, Stephan, 281, 286
reductio-ad-absurdum, 245-49
referential paradoxes, 110-11
referential singularities, 163-64
Resnick, Michael D., 264n6
Index
resolution, of paradox, 61-70
Richards, T.]., 181-85, 188,286
Ricoeur, Paul, 87n17
riddles, 102-07
Rijk, Lambertus Marie de, 281,
286
Riverso, Emmanuele, 286.
Rivetti, Barbo, 286
Rozeboom, W.W., 286
Russell, Bertrand, 67, 143n8, 166n4,
167,170-76,185-86,188-89,
204,286--87
Riistow, Alexander, 82n12, 200,
281,287
Ryle, Gilbert, 287
Sainsbury, Richard Mark, 79n6,
220nl,287
Salmon, Wesley C., 281, 287
Saperstein, Milton FL, 287
Scheffer, Israel, 19n20
Schilder, Klaas, 287
Schofield, 98n8, 100n9, 101n11
Schopenhauer, Arthur, 4
SchrOer, Helmut, 120n2, 287
Scriven, Michael, 112nI9, 287
self~eception, 221-22
self-falsification, 193-206
self-involvement, totalitarian,
143-47
self-negation, 203
self-reference, 186,203-07
semantic absolutism, 51-53
semantical paradoxes, 193-206
Seneca, 10n12
Sextus Empiricus, 82n13
Shakespeare, William, 4
Shaw, G.B., 4
singularity, referential, 163-64
Skyrms, Brian, 287
Slaatte, Howard A., 120n3, 287
Smullyan, Raymond M., 287
Socrates, 32-33, 78,130, 133, 195,
208-09
sophisms, 3, 167
Sowden, Lanning, 264n6
Index
Spencer, Herbert, 245
Spinoza, Benedictus de, 45n3, 124
Sr. Paul, 5, 120, 200n8
Stalnaker, Robert, 222n3, 227n5,
230n11
Steinberg, Saul, 138nl
Stenius, Erik, 287
Sterne, Laurence, 5, 159
Strawson, P.F., 287
Stroll, Avrum, 287
Stump, Eleonore, 44n2, 195n2,
209nI3,235n4,285
successful identification principle,
181,204,207-08
successful introduction principle,
164-67,176,188
Sullivan, Arthur, 138, 142
Tarski, Alfred, 287
Tertullian, 5, 120
theory of type levels, 186-87
Thines, Georges, 287
Thompson, James, 247-49
Thompson, M.H., Jr., 287
Thompson's lamp, 247-49
Todhunter, Isaac, 269
Toms, E., 288
totalitarian self-involvement,
143-47
totalities, improper, 137-155
truth claims, 193-206
Urbach, B., 288
Urbach, Peter, 153n12
Urquhart, W.S., 288
293
PHILOSOPHY
'AIl generalizations are false.' The smallest integer that cannot be identified in less than
fourteen words.' 'If your dog is a father then he must be your father.'
Paradoxes. which start from the seemingly acceptahle and arrive at the seemingly
unacceptable, have puzzled and inspired thinkers since the dawn of history. Paradoxes
range from the trivial and easily solvable to the genuinely mystifying and profound.
Attempts to solve them have sometimes changed the course of philosophy, logic, and
mathematics.
Nicholas Rescher's new hook not only presents a readable account of more than 130
parddoxes, including all the best-knmvn ones, but also develops a new general theory of
parddoxes. The author's theOlY encompasses several innovations, such as: the exploration
of the distinction bet\veen truth and plausihility; cycles of inconsistency; the distinction
hetween simple and complex paradoxes; epistemic prioritization in paradox resolution;
and acceptance profiles for the comparative assessment of alternative resolutions of a paradox.
Professor Reschcr demonstrates in detail that paradox analysis is more straightforward
than generally believed, and that it can be standardized by the system he calls "general
aporetics." offering a practi<:al method of paradox management.
"Nicholas Rescher~" Paradoxes is a comprehensive SIIl7'e}' q(pbilosophical, pragmatic,
semantic, and logical paradoxes. It is a mastel.tit! illtrodliCtiOIl to aporetics. an excellent
handbook. alld al/ illl'aillable companioll to cOllrses ill logic alld critical thinkillg epistem%g).', a lid other areas of philosophy. "
-Risto Hilpinen
University of Miami
"Nicholas Rescher COl'ers el'e!)' impol1allf paradox ill tbe literatllre, frum the logicosemantical alld lI1athemalicaltu the predictive alld practical. His general project is to
shou' hOll' paradox-resolution is (I special kind (if illcor1sistellC.y-resollltioll. 1be su'eepillg
thea!)' he p"ts font 'a I'd ll'ill be of illterest to epistemologists, belief-revisio/l theorists. decision-theorists, alld logicialls. Ille book will be recogllized as a landmark of COlliprehellsiveness and sopbistictltioll ami till inl'alliable resolfrce./br stlldellt alld researcber alike . ..
-Neil Tennant
Ohio State University
Open Court
ISBN 0-8126-9437-6
0-8126-9436-8 (Clolh)
I II
ISBN 0-8126-9437-6
9 7
94376
52495
II
PHILOSOPHY
'Al l generalizations are false. ' 'The smallest integer that cannot be identified in less than
fourteen words.' 'If your dog is a father then he must be your father. '
Paradoxes, which start from the seemingly acceptable and arrive at the seemingly
unacceptable, have puzzled and inspired thinkers since the dawn of history. Pamdoxes
range from the trivial and easily solvable to the genuinely mystifying and profound.
Attempts to solve them have sometimes changed the course of philosophy, logic, and
mathematics.
Nicholas Rc-<;cher's new book not only presents a readable account of more than 130
paradoxes, including aU the best-known ones. but also develops a new general theory of
paradoxes. The author's theOlY encompasses several innovations, such as: the exploration
of the distinction between truth and plausibility; cycles of inconsistency; the distinction
between simple and complex paradoxes; epistemic prioritization in paradox resolution:
and acceptance profties for the comparative assessment of alternative resolutions of a paradox.
Professor Resch!;:r demonstrates in detail that pamdox analysis is more straightforward
than generally believed, and that it can be standardized by the system he calls "general
aporetics.' offering a pmctical method of paradox management.
ilL
Open Court
0-8126-9436-8
I II
ISBN 0-8126-9437-6
9 7
94376
52495
II