Hack
Hack
LOGICS
SUSAN HAACK
Reader in Phílosophy, University of Warwick
1 'Philosophy of logics' 1
z Validity u
Assessing arguments 11
3 Sentence connectives 28
Formal considerations 28
Adequate sets oj connectiues: Junctional completeness ;
Characteristic matrices: decidability; Many-oalued logic
The meanings of the connectives 30
Formal languages and informal readings; 'tonk' ,· Aims of
Jormalisatüm; '&' and 'and', 'v ' and 'or', etc.
vili Contente
4 Quantifiers 39
The quantifiers and their interpretation 39
Metaphysical interlude: Quine on quantification and
ontology 43
The criterion of ontological commitment; Substitutional
quantification ami ontology
The choice of interpretation 50
Substitutional quantifiers ami truth ; Too few names?;
Tense; Modality; Second-order quantification
5 Singular terms 56
Singular terms and their interpretation 56
Names 57
Names as purely denotative; Names assimilated to
descriptions
Descríptions
Non-denoting names: fiction
7 Theories of truth 86
A summary sketch 86
Dejinitions oersus criteria of truth
Correspondence theories 91
Coherence theories 94
Pragmatic theories 97
The semantic theory 99
Adequacy conditions on definitions of truth ; Material
adequacy; Formal correctness ; Tarski's dejinition of truth;
Informal account; Formal account
Commentary on the semantic theory IIO
Tarski's own estimate; Popper's claims on behalf of
Tarski' 1 theory; Da'Vidson' s use of Tarski' 1 theory
Contente ix
8 Paradoxes 135
The Liar and related paradoxes 135
"Set-theoretical' versus 'semantic' paradoxes?
'Solutions' to the paradoxes 138
Requirements on a solution; Russell' s solution : the theory
of types, the vicious circle principie; Tarski's solution:
the hierarchy of languages; Kripke' s solution : groundedness
Paradox without 'false'; sorne remarks about the
redundancy theory of truth; and thc V.C.P. again 149
Glossary 243
Advice on reading 253
Bibliography 255
Index 267
PREFACE
One thing, at least, should be quite clear by now: that whether or not
a formal system should count as a logic is itself a question which
involves quite deep and difficult philosophical issues. It is ali to the
good that the pervasiveness of philosophical problems in logic be
evident at the outset. For the very rigour that is the chief virtue of
formal logic is apt, also, to give it an air of authority, as if it were above
philosophical scrutiny. And that is a reason, also, why I emphasise the
plurality of logicalsystems; for in deciding between alterna ti ves one is
often obliged to acknowledge metaphysical or epistemological pre-
conceptions that might otherwise have remained implicit.
2
Validity
Assessing arguments
Argumenta are assessed in a great man y ways; sorne, for
instance, are judged to be more persuasive or convincing than others,
sorne to be more interesting or fruitful thanothers, and so forth. The
kinds of assessment that can be made can be classified, in a rough and
ready way, like this:
(i) logical: is there a connection of the appropriate sort between
the premises and the conclusion?
(ii) material: are the premises and conclusion true?
(iii) rhetorical: is the argument persuasive, appealing, interesting
to the audience?
I have given only the vaguest indication of the kinds of question
characteristic of each dimension of assessment, but a rough indication
should be adequate for present purposes. The separate category given
to rhetorical considerations is not intended to suggest that the validity
of an argument, or the truth of its premises, is quite irrelevant to its
persuasiveness; it is intended, rather, to allow for the fact that, though
if people were completely rational they would be persuaded only by
valid arguments with true premises, in fact often enough they are
persuaded by invalid arguments or arguments with false premises,
and not persuaded by sound (cf. p. 14 below) arguments (see e.g.
Thouless 1930, Stebbing 1939, Flew 1975, Geach 1976 for discussion
of, and advice on how to avoid, such failures of rationality).
In what follows I shall be almost exclusively concerned with the
first, logical, dimension of assessment. Within this dimensión, in turn,
I need to distinguish different standards of assessment which may be
employed: an argument, that is, m.ay be judged to be deducti'Ve/y oalid,
12 Phil.osophy of logics
Extra-systematic validity
The conceptions of validity, syntactic and semantic, con-
sidered thus far, are system-relative and apply only to formal argu-
ments. What is going on, though, when one judges an informal
argument to be valid? One is claiming, I take it, that ita conclusion
follows from its premises, that its premius couldn't be true and its
conclusion false. (If, besides being valid, an argument has true
premises - and so, being valid, true conclusion too - it is said to be
sound.) When, intuitively, we judge sorne ordinary, informal argu-
ments good and others bad, something like this conception of validity
is probably being deployed. Of course, judging an argument 'good' is
apt to involve more than judging it valid; but we recognise that
validity is an important, though not the only, virtue of an argument.
The question arises, whether there is also an informal extra-
systematic conception corresponding to the system-relative 'notions
of theoremhood and logical truth. I think that there is, though I sus-
I A dífferent sense of ' aound', applying not to logical a}'ltema but to
argumenta, will be defined below.
Validity 15
pect that it is somewhat less developed and central than the extra-
systematic idea of validity (another reason for treating logical truth
as a special case of validity rather than vice-versa). The extra-
systematic idea of a valid argument as one such that its premises
couldn't be true and its conclusion false, adapted to the case of a single
statement (as the formal definitions were adapted to the case of
'zero-premise conclusions ') yields the notion of a statement that
couldn't be false - the notion, in other words, of a necessary truth.
And something like this idea is indeed to be found at the informal
level. For example, one judges that sorne statements are 'tautologous';
this, in the non-technical sense, means that those statements are
trivially true, they just (as the etymology of 'tautologous' suggests)
say the same thing twice, and consequently -they couldn't be false.
The informal notion of a tautology, of course, is broader than the
technical usage, which includes only logical truths of truth-functional
logic. And the informal idea of a necessary truth is also broader than
the formal idea of a logical truth ( cf. ch. 10 § 1 ). It should occasion no
great surprise that these informal conceptions have themselves been
refined with the development and study of formal logical systems.
But what is one to say of the connection between the system-
relative conceptions of validity, applicable to formal arguments, and
the extra-systematic conception, applicable to informal arguments?
Something like this: formal logical systems aim to formalise informal
argumente, to represent them in precise, rigorous and generalisable
terma; andan acceptable formal logical system ought to be such that,
if a given informal argument is represented in it by a certain formal
argument, then that formal argument should be valid in the system
just in case the informal argument is valid in the extra-systematic
sense.
revise the rules of the system, or one may, instead, especially i_f the �
- le
ofinfo_rmal mvahdtty
isagreeablysimple and plausible and the in�i�on
not strong, revise one's opinion of the vahdity of the mform�l argu-
ment, or else one's opinion of the appropriateness representmg t_hat
of
lo?tc�l
informal argument in this particular way. And_ on_ce a form�l
like_ly_ that �t will m
system becomes well-established, of co�r�, it t�
tum tutor one's intuitions about the validity or invalidity of informal
arguments. Following Peirce (who in turn borrowed the_ �
ter nology
from the medieval logicians] one may call one's unreflective Judgment
of the validity of informal arguments the logica utens, the more
rigorous and precise judgments developed as, through reflection on
these judgments, formal systems are devised, the logica docens. The
picture is somewhat like fig. 1.
Inductioe strength
Inductive strength could be characterised, syntactically or
semantically, relatively to formal systems of inductive logic. How-
ever, since there is no formal system of inductive logic which has
anything approaching the kind of entrenchment that classical deduc-
tive logic enjoys, the extra-systematic idea has, in the case of inductive
strength, an especially central role. The idea is that an argument is
inductively strong if its premises give a certain degree of support,
even if less than conclusive support, to its conclusion: if, that is, it is
improbable that its premises should be true and its conclusion false.
(Notice that if one puts it this way all deductively valid arguments
would count as inductively strong; deductive validity will be a limit
case of inductive strength, where the probability of the premises'
being true and the conclusion false is zero.)
It is worthy of notice, however, that in his characterisation of the
extra-systernatic idea of inductive strength Skyrms (1966 pp. 9-11)
insista on the formulation: 'it is improbable, given that the premises
are true, that the conclusion is false', beca use he doesn't want to
allow that the high probability of its conclusion or the low probability
of its premises should be sufficient, of themselves, for the inductive
strength of an argument. Significantly, then, his view of inductive
strength is closely analogous to the relevance logicians' conception of
deductive validity.1
N'otational variants
Typographically different expressions may be used for the
same operations (e.g. for the same truth-functions), Among the com-
monest current notational variants one finds:
for negation: -p, -p, p, Np
for disjunction: p v q, Apq
for conjunction: p & q, p · q, p II q, Kpq
for material implication: p --+ q, p ::, q, Cpq
for material equivalence: p = q, p ..... q, p - q, Epq
for universal quantification: (x), (Vx), Ax, TI.t"
for existential quantification: (3x), (Ex), Vx, LX
The last notation, in each case, is Polish notation, which has the
advantage of being bracket-free; operators precede the formulae they
govern, and scope is determined without brackets.
where the use ofthe 'metavariables' 'A', 'B', 'C' indicates that no
Validity :u
matter what wff of the language is put for these letters, the resulting
wff is an axiom.
Quite apart from divergences of notation and presentation already
mentioned, different formulations may simply have different sets of
axioms/rules, even when notational differences are allowed for: their
sets of axioms/rules may overlap or even be entirely distinct. As an
example, compare Mendelson's and Meredith's axiom schemata, both
in'-' and '-+', for z-valued sentence calculus:
Mendelson's set:
1. (A -+ (B-+ A))
2. ((A-+ (B-+ C))-+ ((A-+ B)-+ (A -+ C)))
3. ((-B -+-A) -+ ((-B -+ A) -+ B))
Meredith's:
1. ((((A-+ B)-+ (-C-+-D))-+ C)-+ E)-+
((E-+ A)-+ (D-+ A))
(And see Prior 1955 pp. 301ff., Mendelson 1964 pp. 40-1 for altema-
tive axiom sets.)
The example just given is of altemative axiom sets for the z-valued
sentence calculus; the alternative formulations yield just the same
sets of theorems and valid inferences. Another way in which formula-
tions may differ is that they may result in different theorems or valid
inferences; for example, Intuitionist sentence logic lacks sorne
classical theorems, including double negation and excluded middle.
the same form with true premises and false conclusion, that isn't con-
clusive proof that an argument is valid (cf. Massey 1974).
What one seeks, to show an argument is invalid, is a structurally
similar argument with true premises and false conclusion; and this
suggests that there is sorne truth in the dictum that arguments are
valid or invalid 'in virtue of their form '. And formal logical systems
are devised to represent in a schematic, generalised way the structure
which we judge to be shared by a group of informal arguments, and
to be the basis of their validity or invalidity. This is apt to suggest, in
tum, a picture of informal arguments as having a unique, recognisable
structure, as composed, as it were, of a skeleton, the expressions which
constitute its form, clothed in flesh, the expressions which constitute
its content; and of the formal logician as simply devising symbols to
represent the 'logical constants ', the structural components. But this
oversimplifies. A better picture, 1 think, is this. One recognises struc-
tural similarities between informal arguments, similarities charac-
teristically marked by the occurrence of certain expressions, such as
'and' or 'unless' or 'every '. (But one shouldn't expect each informal
argument necessarily to have a unique place in this pattern.) The
formal logician selects, from among the expressions whose occurrence
marks structural similarities, those which (for various reasons, truth-
functionality, for instance; cf. ch. 3 §2) are promising candidates for
formal treatment.
This picture - sketchy as it is - already begins to explain why it
should be that attempts to specify which expressions of English
should be counted as 'logical constants' should have a tendency to
conclude with a somewhat uncomfortable admission that not all
suitably 'topic-neutral' expressions (Ryle 1954), not all the expres-
sions which seem to be essential to the validity of informal arguments
(von Wright 1957) are represented in the symbolism of formal logic;
for instance, 'several' is as topic-neutral as, and may be as essential to
an argument as, 'all'; the formal logicians' equipment includes an
analogue of the latter but not of the former. Compare Ouine's
enumeration of the logical constants: ' ... basic particles suc.h as "is",
"not", "and", "or", "unless", "if", "then", "neither", "nor",
"sorne", "all", etc.' (1940 p. 1); it is notable that the list comprises
just those English expressions that can comfortably be represented
within the classical sentence and predicate calculi, and that it excludes
'necessarily' and 'possibly', for instan ce, no doubt beca use of Quine's
scepticism about the intelligibility of modal logic. The 'etc.', of
24 Philosophy of logics
course, helps not at all, since one is given no indication what would
count as a permíssible addition to the list. .
The relation between informal arguments and their formal repre-
sentations is, as this would lead one to expect, not straightforward!y
one-one. An informal argument may be appropriately represented tn
dífferent ways in different formalisms; for instan ce:
'p, so q' is invalid, but '(x)Fx & (x)Gx, so (x) (Fx & Gx)' ia valid¡
and since the latter reveals more of the structure of the original,
informal argument than the former one might be tempted to think
that the best formal representation will be the one that exhibits the
most structure, But my informal argument can be represented, again
in the symbolism of predicate calculus, with further structure
revealed, as:
(x) (Fx V Gx) & (x) (Hx v Jx)
(x) ((Fx V Gx) & (Hx v lx))
which, like the original, is valid. Notice that this supplies the original
argument with a representation within the standard predicate calculus
by quantifying over events and treating adverbs as predica tes of events;
another possibility would be to extend the standard formalism, e.g. by
the addition of predicate operators to represent adverbs. In the case of
modal adverbs, 'necessarily' and 'possibly ', this k.ind of extension of
the vocabulary of formal logic has already taken place.
I Formal considerations
I shall begin by sketching sorne important formal features of
the sentence connectives, and proceed to a consideration of sorne
philosophical questions about the meanings of the connectives.
primitive, 'A V B' can be defined as' -A� B ', and then 'A & B' as
' - ( -A V - B)'; with 'I ' or ',¡.' primitive ' - A' can be defined as
'AIA' or 'A,1-A '. Sorne formulations employ a constant, 'F', which is
always to have the value /, and define ' -A ' as 'A � F'. In each case
the correctness of the definitions can be checked by comparing the
truth-tables of definiens and definiendum and observing that they
correspond to the same truth-function.
Many-valued logic
Of course, it would be possible to devise many-valued
matrices characteristic for z-valued sentence calculus. I call z-valued
sentence logic "z-valued ' rather than 'many-valued' beca use this is
the smallest number of values which can supply a characteristic
matrix. By an 'n-valued logic' I shall understand a system which has
a characteristic matrix with n values and no characteristic matrix wíth
m values for m < n, Sorne of the systems I referred to as 'deviant' have
finite characteristic matrices; not unexpectedly, one motivation for
devising such systems has been the belief that sorne sentences within
the scope of logic are neither true nor false, but either are truth-
valueless, or, perhaps, have an intermediate truth-value: a belief
which will receive closer attention in ch. 11. Other deviant systems,
such as Intuitionist and sorne quantum logics, have no finite but only
infinite characteristic matrices. In what follows, 'many-valued logic'
will mean 'n-valued logic for 2 < n < oo', except when I specifically
speak of infinittly many-valued systems.
30 Philosophy of logics
'tonk'
Prior has argued that the meanings of the connectives can-
not derive from the axioms/rules of the system in which they appear,
nor from their truth-tables, but must be given by their English
readings. (If he were right, of course, the 'meaning-variance' view of
many-valued logics, mentioned above, would be refuted.) Prior (1960,
1964) presents a purported reductio ad absurdum of the thesis that there
are 'analytically valid inferences ', inferences, that is, the validity of
which arises solely from the meanings of the logical constants con-
tained in them. According to this thesis, the inference from 'A & B'
to 'A' is analytically valid, for the meaning of '&' is completely given
by the rules of inference of &-introduction and &-elimination. Prior
argues that 'in this sense of "analytically valid" any statement may be
inferred, in an analytically valid way, from any other statement'
(1960 p. 130). Suppose the meaning of 'tonk' to be given by the rules
of inference:
(T1) from 'A' to infer 'A tonk B' ('tonk-introduction')
(T2) from 'A tonk B' to infer 'B' ('tonk-elimination')
Using these rules, A � B, for any A and B:
(1) A assumption
(2) A tonk B (1), (Ti)
(3) B (2), (T2)
32 Philosophy of logics
AiSI offormalisation
Sorne more needs to be said, however, about the way formal
logieal systems aim to represent intuitively valid inferences. One
could think of a formal logical system as being devised in something
like the following way. Sorne informal arguments are intuitively
judged to be valid, others invalid. One then constructs a formal
language in which the relevant structural features of those arguments
can be schematically represented, and axioms/rules which allow the
intuitively approved, and disallow the intuitively disapproved, argu-
ments. This, of course, is at best a very sketchy 'rational reconstruc-
tion ' and is not intended as detailed, serious history. Still, while
I concede that formal logics have sometimes been devised simply out
of mathematical curiosity, 1 think that something like the procesa
I have described was at work when, for instance, Frege devised hia
Sentence connectioes 33
Begriffsschrift. Of course, the standard logical languages are now so
familiar that one is no longer very conscious of how and why they
were first constructed. But the same process can be seen in recent
attempts to devise new formalisms for hitherto neglected kinds of
argument; see, for example, the procedure adopted by D. K. Lewis
1973 in devising his analysis of counterfactuals.
Well, supposing that this is roughly right, what is its significance
for questions about the meanings of the connectives? Something,
I think, like this: first, both the syntax and pure semantics (levels (i)
and (ii)) and the informal readings and depraved semantics (levels (iii)
and (iv)) may be expected to contribute to the meanings of the con-
nectives; for part of the object of the enterprise is to have levels (i)
and (ii) adequately represent (iii) and (iv).
However, if formal logic faithfully followed informal arguments in
ali their complexity and vagueness there would be little point in
formalisation; one aims, in formalising, to generalise, to simplify, and
to increase precision and rigour. This means, 1 think, that one should
neither expect nor desire a direct formal representation of all the
informal arguments judged, extra-systematically, to be valid. Rather,
pre-syatematic judgments of validity will supply data for the con-
struction of a formal logic, but considerations of simplicity, precision
and rigour may be expected to Iead to discrepancies between informal
arguments and their formal representations, and even in sorne cases
perhaps to a reassessment of intuitive judgments. One uses intuitive
judgments of sorne arguments to construct a formal theory which
gives verdicts, perhaps quite unexpected verdicts, on other argu-
ments; and one might eventually sacrifice sorne of the original
judgments to considerations of simplicity and generality. These
points relate, of course, to the interdependence of one's judgments of
the correctness of a translation of an informal argument into a formal
Ianguage and one's pre-systematic view of its validity, remarked in
ch. 2. (An example would be the standard rendering of 'Ali Fs are Gs'
as '(x) (Fx-+ Gx)', which is true if its antecedent is false, i.e. if there
are no Fs. It is pretty doubtful whether one would pre-systematically
have agreed that, say, all unicorns are purple, and pretty certain that
one would not have agreed that all unicorns are purple and ali
unicoms are orange.)
One should recognise, then, that a failure on the part of a formal
system to represent ali the knoba and bumps of the informal argu-
menta it aystematises is not necesearily objectionable. On the other
34 Philosophy of logics
hand, one must be wary of assuming that ali adjustments are acce�t-
able · one needs to ask whether the gains in simplicity and generahty
eompensate for the discrepancy. Sorne of the knobs and bumps of
English may be important. These remarks may seem disagreeably
vague; I shall try to make them more specific by considering a couple
of examples.
Why do the usual formal logics have, for example, ' & ', to be read
'and ', but no formal analogue of 'because' or 'but'; and '(3 ... ) ', to
be read 'at least one ', but no formal analogue of 'several' or 'quite a
few'? Two features of the favoured expressions suggest themselves:
truth-functionality and precision.
'&' is truth-functional; and truth-functions are especially readily
amenable to formal treatment - notably, they allow the possibility of
a mechanical decision procedure. This is no doubt why the formal
logician has an analogue of 'and' but none of 'because' or 'but';
'and ', in at least a large class of uses, is truth-functional, whereas the
truth-value of 'A because B' depends not only on the truth-values of
'A' and 'B', but also on whether Bisa reason for A, and the truth-
value of 'A but B' also upon whether the combination of A and Bis
surprising. 'At least one' and 'all' are not truth-functions (though in
the special case of a finite universe they are equivalent to 'Fa V Fb V
... v Fn' and 'Fa & Fb & ... & Fn' respectively). But they are -
unlike 'several' and 'quite a few' - precise. It is notable that one
common reading of '(3 ... )', 'sorne', is vaguer than '(3 ... )' itself;
'at least one' is a more accurate reading. (Other sciences share logic'a
tendency to precisify and idealise ; compare the extensionlesa points
of geometry or the frictionlesa surfaces of mechanics.)
However, while it is clear that truth-functional and precise exprés-
sions are preferable from the point of view of simplicity and rigour to
non-truth-functional or vague expressions, it is not so clear that this
preference is overriding. For non-truth-functional operators - 'L'
and 'M' for 'necessarily' and 'possibly', for example - are used by
formal logicians. Von Wright has suggested (1963) a system with a
sentence connective ' T', to be read 'and then ', which preserves the
temporal sense which 'and' sometimes has in English.! And, while
the standard predicate calculus restricts itself to 'all' and 'at least
I
A related point ís that the standard logical apparatus ís insensitive to
temporal conaiderationa; one is uaually advised to understsnd ita
'p'a and 'q's tenaeleaaly. Sorne proposala for ternporal logica are
discuaaed in ch. 9 § 3.
Sentence connectioes 35
one', Altham (1971) has devised a logicwith quantifiersfor 'many'
and 'few'.
The desirability of truth-functionality is quite uncontroversial;
but it is equally clear that a logic restricted to truth-functions would
be unacceptably limited. How essential precision is to the formal
logical enterprise is more controversial. Dummett's objection to
allowing epistemic 'logics' as genuinely logics, you will recall, was
that 'k.nows' and 'believes' are inherently vague. Other logicians,
however, have deliberately made use of vague ideas. For example, in
an analysis of counterfactual conditionals (' If it had been the case that
A it would have been the case that B') D. K. Lewis (1973, especi-
ally ch. 4) proposes to employ the admittedly vague idea of similarity
between possible worlds (roughly, 'in all those possible worlds most
similar to the actual world, but in which A, B '); he defends his
compromise with vagueness by observing that the vagueness of the
analysans is unobjectionable since the analysandum is itself vague.
Zadeh, with his 'fuzzy logic' (see e.g. 1975), proposes an even more
radical departure from logic 's traditional concern with precision. I
doubt whether such departures are justified by their results so far, but
much more argument would be needed to show that this doubt is
well-founded; cf. ch. 9 §4.
A-+(B-+A)
-A-+ (A-+B)
(A-+B) V (B-+A)
These are the 'paradoxes of material implication '. The 'paradoxes'
result if one reads '-+' as 'if' or 'implies'; C. l. Lewis comments that
the third of the above theorems says that if one takes any two sen-
tences at random from a newspaper, either the first will imply the
second, or the second the first. Reflection on these 'paradoxes' led
Lewis to propose a stronger conditional, 'A --3 B' where ' --3' is
strict implication, defined as 'Necessarily (A-+B)'. 'Necessarily
( A --+ B) ', given the standard semantics for modal logic, is supposed
to be true if B is true in all possible worlds in which A is true. Other
implication relations, modelled on strict implication, have been offered
in analysis of counterfactuals (see Stalnaker 1968, D. K. Lewis 1973).
However, strict implication has its own paradoxes; briefly, justas
a false proposition materially implies any proposition, and a true one
is materially implied by any proposition, so an impossible proposition
strictly implies anything, and anything strictly implies a necessary
proposition. ReJevance logicians consequently propose a stricter con-
ditional yet, which requires a relation of relevance between antecedent
and consequent (see Anderson and Belnap 1975 § 1). These logicians
object to calling '-+' 'material implication', as well as to reading it
'If ... then --- '; 'immaterial negation ', they suggest, would be no
more inappropriate. They also extend their critique of truth-
functional logic to disjunction - remember that in the standard system
'A-+B' is equivalent to' -A V B' - arguing that the informal 'or'
is, like 'if ', intensional.
38 Philosophy of logics
(3x) Fx
(x)(y)(Fy = x =y)
Quantifiers
(if this isn't obvious, observe that you could read the above formula
as 'If there are two Fs, they're the same '); so 'There is exactly one x
which is F' is:
(3x) (y) (Fy = x = y)
and 'There are exactly two xs which are F' is:
(3x) (3y)(z) (Fz = x = z v y = z)
and so forth.1 Less specific numerical quantífiers, such as 'many' and
'few', have also received formal treatment (Altham 1971), along the
lines of 'at least n' and 'at most n' for variable n.
The distinctions made in the previous chapter between the informal
readings of the symbols of a formal language (level (iii)), their formal
interpretation (level (ii)), and the informal explanation offered of the
formal semantics (level (iv)), applies, of course, to the quantifiers as
well as the sentence connectives. Whereas in the case of the connec-
tives the main controversy centred around the question, how ade-
quately the truth-functional connectives represent their English
analogues, in the case of the quantifiers a key issue concerns their
appropriate formal interpretation, lt is often observed that the
universal quantifier is analogous to conjunction:
(x) Fx = Fa & Fb & Fe & ... etc.
and the exístential quantifier to disjunction:
(3x) Fx = Fa v Fb v Fe V ••• etc.
Indeed, for a theory for which the domain is finite (e.g. where the
variables range over the members of the British government) a uni-
versally quantified formula is equivalent to a finite conjunction and
an existentially quantified formula to a finite disjunction. However,
for a theory with an infinite domain (e.g. where the variables range
over the natural numbers) quantified formulae can be represented
only by infinitely long conjunctions or disjunctions - the ' ... etc.' is
ineliminable. So an acceptable interpretation will have to supply the
1 Part of the logicist programme consisted in the definition of the natural
numbers as certain sets; o as the set of o-membered sets, 1 as the set
of r-rnembered sets, ... nas the set of n-membered sets, for inatance.
Notice how this defines the nominal use of numbers (as in '9 > 7') in
terrns of the adj�ctival use (as in 'There are 9 planeta'), which can,
as I have just explained, be expressed in terma of quantifiers and
identity.
42 Philosophy of logics
interpretati?n
requisite generality. And in fact two distinct styles of
have been offered for the quantifiers. The objectual interpretatton
appeals to the oalues of the variables, the objects over which the
variables range:
'(x) Fx' is interpreted as 'For all objects, x, in the
domain, D, Fx'
'(3x) Fx' interpreted
is as 'For at least one object, x, in the
domain, D, Fx.'
On the 'model-theoretic' approach the domain, D, is a set of objects
assigned as the range of the variables - as it might be, the natural
numbers, persons, fictional characters, or whatever; the 'absolute'
approach, however, requires D to be 'the universe ', i.e. all the o bjects
there are. The restricted domains assigned on the model-theoretic
approach aren't necessarily subsets of 'the universe', though; the
set of fictional characters, for instance, wouldn't be (ch. 5 §.4.). The
substitutiona] interpretation appeals, not to the values, but to the
substituends for the variables, the expressions, that is, that can be
substituted for the variables:
'(x) Fx' is interpreted as' All substitution instances
of 'F ... ' are true'
'(3x) Fx' is interpreted as 'At least one substitution
instance of 'F ... ' ie true.'
The objectual interpretation is championed by - among others -
Quine and Davidaon; the substitutional interpretation by - among
others - Mates and Marcus. Both interpretatione have a pretty long
history; Russell's explanations of the quantifiers, for instance, are
sometimes of the one and sometimes of the other character. However,
it would be fair to say, I think., that the objectual interpretation is
generally thought of as standard, the substitutional as a challenger
whose credentials stand in need of scrutiny. There are, as this suggests,
two possible views about the status of the two styles of interpretation:
that they are rivals, only one of which can be 'right' ; or that they
may both have their uses. I, in the company of e.g. Belnap and Dunn
1968, Linsky 197z, Kripke 1976, shall tak.e the second, more tolerant,
view of the matter.
But this is not to say that nothing hangs on which interpretation is
chosen, On the contrary, the choice may have important philosophical
consequences. I shall not be able to consider all the ramificationa in
detail; I shall, however, sketch an account of the crucial role played
Quantifiers
43
by the objectual interpretation in Quine's ontological views, This will
be worthwhile both for the sake of illustrating the metaphysical issues
which are apt to be entangled with questions about the interpretation
of formal languages, and also with a view to showing subsequently
(ch. 10) how Quine's ideas about quantification and ontology effect
his attitude to the intelligibility of modal logic.
:E'
o
...e
"'
(1)
ni �
........
e
.2
....
fj
� :o . .o. t.:·=e
(1)
l;¡ §
in
.s
·p
�
E,.;
�
"'
·¡: e �
"' E..
.... Cj
"'
> o
'fi(1) ....C"
s.["' 'o ...
(1)
.s .....:¡ 'o"' ·=
(1)
(1)
"O
.... o ....
·;:::
.§... cil cS (1)
;:l 1
u
"' "'
i:: ...
..e:: ...u
;:l
c3 ]
"O
i::
o
(1)
:"¡¡§ ...E a u
...
<l.)
"'CI (1)
...
...
<l.)
..e:: .23
� <l.)
·"' :;a"' ..e
1:s e � o
�
...
V
N
� E-<"' e» tlD
¡¡;
Quantifiers 45
quantifiers? The criterion is put in various, not always equivalent,
forms:
entities of a given sort are assumed by a theory if and only if
some of them must be counted among the oalues of the
variables, in order that the statements affirmed in the theory
be true. ( 1953a p. 103)
to say that a given existential quantification presupposes
objects of a given kind is to say simply that the open
sentence which follows the quantifier is true of sorne
objects of that kind and none not of that kind. (1953a p. 131)
The idea is - roughly- that one tells what a theory says there is by
putting it in predicate calculus notation, and asking what kinds of
thing are required as values of its variables if theorems beginning
'(3x) ... ' are to be true. (So a theory in which '(3x) (x is prime and
x > 1 ,000,000)' is a theorem is committed to the existence of prime
numbers greater than a million, and afortiorito the existence of prime
numbers and to the existence of numbers.) It is obvious that the
criterion applies only to interpreted theories. It is important, also, that
the criterion is to apply only when the theory is expressed in primitive
notation; if quantification over numbers is only an abbreviation for
quantification over classes, for instance, then the theory is committed
to classes but not to numhers. Quine's criterion is a test of what a
theory says there is, not of what there is. What there is is what a true
theory says there is. The refusal to admit intensional entities acts as
a sort of preliminary filter; theories which say there are intensional
entities are not, in Ouine's view, really intelligible, so a fortiori they
are not true.
Quine's explanation of his criterion leaves a good deal to be
desired. AB Cartwright observes in 1954, sorne formulations - the first
one quoted above, for instance - employ such locutions as 'has to',
'must', 'require '; yet these are intensional idioms, and Quine offi-
cially urges that these should be shunned. Quine has explicitly claimed
that his criterion is extensional (1953a pp. 15, 131);1 and sorne formu-
1 He allows that when the criterion is applied to a theory not in
quantificational fonn, an intensional element will be introduced in the
fonn of an appeal to a correct translation of thst theory into predicate
calculus (1953a, p. 131). 'Ibis concession, together with Quine's thesis
of the indetenninacy of translation (1g6oa ch. a) leads to the thesis of
ontological r�/atwity (19Ó8). But my preserrt concern is whether the
criterion itaelf can be put in an a:tensional way.
46 Philosaphy oj logics
lations - the second quoted above, for instance - are given purely in
extensional terms. The question is whether extensional forrnulations
are adequate. Scheffler and Chomsky (1958) argue rather persuas�v.ely
that they are not. The problem is how to understand the condition
'the open sentence which follows the quantifier is true of sorne objects
of a certain kind and none not of that kínd' in the extensional formu-
lation. lf it is read '3 objects of kind k such that the open sentence is
true of them and of non e not of that kind ', it follows that it is impos-
sible to say that a theory says there are objects of kind k, without
oneself saying that there are objects ofkind k, for '3 objects of kind k .. ."
itself involves ontological commitment. But if it is read 'If the open
sentence is true of any objects, it is true of sorne objects of k.ind k and
of none not of that kind ', it follows that any theory which is com-
mitted to anything that doesn't exist is thereby committed to every-
thing that doesn't exist, for if the antecedent is false, the conditíonal
is true. But if the criterion cannot be adequately stated extensionally
it fails by Quine's own standards. Sorneone who didn't share Quine's
scruples, of course, might find the criterion acceptable notwith-
standing its intensional character. But there are further questions to
be asked about the reaaons Quine offers for the criterion.
One important reason why Quine locates ontological commitment
in the variables is that he thinks that the tliminability of singular terms
shows that the ontological cornmitment of a theory cannot reside in
its narnes. This raises two questiona: is Quine right to claim that
singular terma are eliminable] and, is he right to think that if they are,
ontological commitment must be carried by bound variables? 1 shall
take these questions in turn.
Quine's proposal for the elimination of singular terma has two
stages: first, singular terms are replaced by definíte descriptions, and
then the definite descríptions are eliminated in favour of quantifiers
and variables.
(i) In the case of sorne proper names at least, one can supply a
definite description which denotes the same thing: 'the teacher of
Plato' for 'Socrates ', for example. To avoid the difficulties which
rni�ht sometimes be encountered in finding an ordínary predicate
rehably true of just the individual denoted by a name, Quine proposes
the construction of artificial predica tes, and defines 'a' (as,' Socrates ')
as' (1x) Ax' (as, 'the x which socratises'). One could think of the new
predicate, 'A', Quine suggests, as meaning ' = a• ( so ' ... socratises '
rneans ' ... is identical with Socrates '). However this unofficial com-
Quantifiers 47
ment is not to be thought of as defining the new predicates, for the
whole point of introducing them is to get rid of names altogether; it is
merely an intuitive explanation of predicates which must be taken as
primitive.
(ii) The second stage is to use Russell's theory of descriptions to
eliminate the definite descriptions which now replace singular terms.
This eliminates definite descriptions in favour of quantifiers, variables,
and identity ( details in ch. 5 § 3), thus:
The x which is F is G = df. There is exactly one F and
whatever is F is G
i.e. in symbols:
G((1x)Fx) = df, (3x) ((y) (Fy = x = y) & Gx)
Thus, sentences containing names (as, 'Socrates took poison ') can be
replaced by sentences containing descriptions (' The x which socratises
took poison '), and then by sentences containing only quantifiers and
varia bles (' There is just one x which socratises and whatever socratises
took poison ').
Quine draws the conclusion (1953a p. 13) that, since 'whatever we
say with the help of narnes can be said in a language which shuns
names altogether ', it cannot be names, but must be the quantified
variables, which carry ontological commitment.
The thesis of the eliminability of singular terms has come in for
criticism (see e.g. Strawson 1961). But the real doubt concerns, not so
much the formal feasibility of Quine's proposal, as its philosophical
significance. The fact that Quine can supply an appropriate definite
description to replace a name only by the use of predicates which,
though officially unanalysable, are unofficially explained with the help
of names ('A' means '= a') scarcely reassures one that the
eliminability of singular terms really shows them to be ontologically
irrelevant.
Equally unsettling is the discovery that not only singular terms, but
also quantifiers and variables, are eliminable. In the combinatory logic
due to Schonfinkel and Curry - and, ironically enough, explained by
Quine himself in 196ob - variables are supplanted by predicate
operators called 'combinators '. The predica te operator 'Der ', for
'derelativisation', turns an n-place predicate into an (n- 1)-place
predicate. lf 'F' is a r-place predicate, say ' ... is a dog', 'Der F' is an
o-place predica te - a closed sen ten ce - 'Something is a dog'; if
48 Philosophy of logics
' ... R---' is a z-place predi cate, say ' ... bites --- ', 'Der R' is a I -place
predicate, ' ... bites something', and 'Der Der R' a o-place predicate,
'Something bites something '.
'Jnv ', for 'inversion ', reverses the order of the places of a z-place
predicate; so '((lnvR) ... , ---)' means '---R ... '. 'Ref", for 'reflexive',
tums a z-place predicate into a r-place reflexive predicate; so 'Re/ R'
means ' ... has R to itself'. The procedure is generalised to polyadic
predicates and to compound predications; and the upshot is a transla-
tion without quantifiers of the formulae of quantification theory, in
which inversion provides for permutation of the order of variables,
reflexion for repetition of variables, and derelativisation for
quantification.
Quine concedes that his criterion doesn't apply directly to com-
binatory logic, but observes that it can be applied indirectly, via the
translation of combinatory into quantified formulae. But this is only
to obscure the issue, which is that if the eliminability of singular terms
were a good reason for denying that they carry ontological cornmit-
ment, the eliminability of quantifiers should presumably be as good
a reason for refusing them ontological significance.
This makes clearer, I think, the very considerable importance which
Quine's insistence on the objectual interpretation of the quantifiers has
for his ontological criterion. Though the same theory could be
expressed using singular terms as well as quantifiers, or combinatory
operators instead of quantifiers, its quantificational form reveals its
ontological commitments most transparently, Quine thínks, because
a senience of the form '(3x) ... ' says that there is something whirh ...
To insist on the correctness of the criterion ... is, indeed,
merely to say that no distinction is being drawn between
the 'there are' of 'there are universals ', 'there are
unicorns ', 'there are hippopotami ' and the 'there are' of
'(3x) ', 'there are entities x such that ... '
And deviation from the objectual interpretation would threaten the
criterion:
To contest the criterion ... is simply to say either that the
familiar quantificational notation is being used in sorne
new sense (in which case we need not concern ourselves]
or else that the familiar 'there are' of 'there are universals'
et al. is being used in sorne new sense (in which case again
we need not concern ouraelves). (1953a p. 105)
Quantifters 49
On the objectual interpretation '(3x) Fx' means that there is an
object x, in the domain, D, which is F. Now, if one takes D to be 'the
universe' - everything there is- which, it seems, is what Quirie
assumes, then, indeed, '(3x) Fx' means that there is an ( existent, real)
object which is F; cf. Quine's use of 'entity' in the passage just
quoted.
If '(3x) Fx' means "There is an (existent) object which is F' then,
if it is a theorem of a theory that (3x) Fx, then that theory says that
there is an object which is F; and if one says that there are Fs, one is
committed to there being Fs. The objectual reading of the quantifier
does indeed locate ontological commitment in the bound variables of
a theory. Perhaps I may rewrite Quine's slogan: to be said to be is to
be the value of a variable bound by an objectual quantifier; it's less
memorable, but truer, that way ! Notice, though, that Quine's criterion
now begins to look oddly obligue: as if one discovered that a theory
which says there are so-and-so's is ontologically committed to so-and-
so's by first translating it into predicate calculus notation, and then
appealing to the objectual interpretation of the quantífiers to show
that its existential theorems say that there are so-and-so's.
The serious work has to be done in deciding which ostensibly
existential assertions of a theory need remain in primitive notation,
and which are eliminable by suitable paraphrase. An example would
be Morton White's proposal (1956) to reduce "There is a possibility
that James will come', which seems to assert the existence of possí-
bilities, to 'That James will come is not certainly false', which does
not. (There are still tricky philosophical questions to be asked about
the significance of paraphrase here, though I shan't pause over them
now; but see Alston 1958 for a critique of the idea that paraphrase
may elimínate ontological commitment, and cf. Lewis 1973 ch. 4,
where it is assumed that paraphrase preserves ontological com-
mitment.)
out true; but it is not inevitable that the truth-conditions for t�e
appropriate substitution instances will bring an ontological comm1t-
ment. An example: the presence in predicate calculus of theorems
such as:
(3.x)Fxv-Fx
which on the objectual interpretation says that there is at least one
object which is either F or not F, i.e. that there is at least one object,
is embarrassing if one thinks it oughtn't to be a matter of logic that
anythi"ng exists. Would a substitutional interpretation avoid the exis-
tential commitment of the embarrassing theorems? Well, on that
interpretation the theorem means that:
At least one substitution instance of 'F ... V - F ... ' is true.
If only names which denote an object are admitted as substituends,
then on this interpretation too predicate calculus will require at least
one object. But if non-denoting terms, like 'Pegasus ', are allowed as
substituends, then ontological commitment may be avoided. This
illustrates the way that substitutional quantification defers ontological
questions, shifting them from the quanti.fiers to the names. Quine is
apt to suggest that this relocation of existential questions is a deplor-
able evasion of metaphysical responsibility ! But I shall suggest
subsequently that it may have advantages.
Since on the substitutional reading '(3x) Fx' means that at least one
substitution-instance of 'F.. .' is true, if this metalinguistic quantifier
is interpreted objectually, it will be committed to the existence of the
appropriate expressions, the substitution-instances. But this will not
be so if it too is interpreted substitutionally.
of 'F ... ' is true'); if the quantifiers are interpreted objectually the
defi.nition of truth will be less direct. Now Tarski proposes, as a
'material adequacy condition' on definitions of truth, that any
acceptable defi.nition must have as consequence all instances of the
'(T)-schema': 'S is true iff p ', where 'S' names the sentence 'p '; and
Wallace 1971 fears that if a substitutional interpretation is adopted
the defi.nition of truth will not meet this requirement. But Kripke has
argued ( 1976) that Tarski's condition isn't violated; and anyway there
may be reservations about the requirement itself. So I shall assume
that the substitutional interpretation isn't objectionable on this score.
Tense
Its supporters argue, however, that sometimes the substitu-
tional interpretation offers advantages over the objectual. F or instan ce,
Marcus suggests that a substitutional reading will avoid difficulties
about tense. Strawson had asked (1952 pp. 15�1) how to represent
'There was at least one woman among the survivors': 'There is (was?)
at least one x such that x is (was?) a woman and ... '? 1 think it
unlikely that this problem will be solved by a substitutional reading:
'At least one aubstitution inatance of ' ... ' is (was?) true'. lt is true,
52 Philosophy of logics
Modality
Marcus also suggests, with, 1 think, more justice, that
substitutional quantification could resolve sorne problems about the
interpretation of modal predicate logic. From the presumably true
sentence:
Necessarily (the Evening Star = the Evening Star)
Second-order quantification
If, as on the objectual interpretation, '(3x) ... ' says that there
is an object such that ... , and '(x) .. .' that for all objects, ... , then it
is to be expected that the appropriate substituends for bound vari-
ables should be expressions whose role is to denote objects, that is to
say, singular terms. Quine, indeed, sornetimes defines a singular term
Quantifiers 53
as an expression which can take the position of a bound variable. On
the substitutional interpretation, however, quantification is related
directly not to objects, but to substituends; and so there is no parti-
cular need to insist that only expressions of the category of singular
terms rnay be bound by quantifiers. The substitution class could be
the class of singular terrns, but could equally be the class of predicates,
or the class of sentences ... etc.
On the objectual interpretation, therefore, just as a first-order
quantification like:
1. (3x) Fx
says that there is an object (individual) which is F, a second-order
quantification, like:
2. (3F)Fx
says that there is an object (property) which x has,
and:
3· (3p)(p--+-p)
says that there is an object (proposition) which materially implies its own
negation. The natural restriction on the substitution class obliges one
to construe bound 'F' and 'p' as syntactically like singular terrns; it
will be observed that this strains the reading, since if 'F' is a singular
terrn, 'Fx' rnust be read as 'x HAS F' to make a grarnrnatical sentence.
And the interpretation in terrns of objects obliges one to regard
second-order quantification as cornrnitting one to (abstract) objects.
Not caring for such supposed objects as properties or propositions,
but obliged by the objectual interpretation to allow that second-order
quantification would commit hirn to their existence, Quine prefers
not to indulge in second-order quantifi.cation at all, but to confine
hirnself to first-order theories.
However, with the substitutional interpretation one is not restricted
to singular terms as substituends; and while in the case of first-order
quantification singular terrns would be suitable, in the case of
second-order quantification as in 2 and 3 predicate letters or sentence
letters, respectively, would be the appropriate substituends. 2 will
say that sorne substitution instance of ' ... x' is true, 3 that sorne
substitution-instance of ' ... �- ... 'is true. Now it is no longer neces-
sary to strain the reacling of the bound variables to make them
54
�
�
E..;
>.
� bO
o
� o...
t t
e::o
-s.
u, -e
� $ tí11) e::<si
� �
i::
:E' t"'
'"4
o �...;
s E-,, o
::,
\,,)
l"l
�
¡:x:¡ bO
a ti:
Quantifiers 55
name-like, and of course there is no commitrnent to intensional
objects, since there is no commitment to objects (see fig. 3).
These thoughts have sorne relevance, 1 think, to metaphysical
issues. Nominalists admit the exístence only of particulars, whereas
realists, or Platonists, also allow the reality of universals. C. S. Peirce
thought that the influence of nominalism on the history of philosophy
since Ockham had been so pervasive that nominalism and 'nomin-
alistic Platonism ', the view that universals are a sort of abstract
particular, had come to seem the only alternatives; rejecting both, he
urged a realism which, rather than assimilating them, allowed the
difference between particulars and universals. Now if only names are
substitutable for bound variables one is, as it were, obliged to choose
between a kind of nominalism (allow only first-order quantification,
with variables replaceable by names of particulars: Quine's position)
anda kind of nominalistic Platonism (allow second-order quantifica-
tion, with variables replaceable by names of abstract objects, prop-
erties or propositions: Church's position). Allowing substituends
from other syntactical categories, however, gives a third option; which
may well be, from a metaphysical point of view, appealing.
Other important issues also depend upon the provision of an
acceptable interpretation of second-order quantifiers. One of these is
the feasibility of the redundancy theory of truth; and the considera-
tions of the present section will be highly pertinent when I come, in
ch. 7 §7, to discuss that question in detail.
5
Singular terms
2 Names
I'll take the first question first. The alternatives are sketched
in table 1.
Sorne preliminary comments about the distinction between proper
names and definite descriptions may be in order. Ordinarily the dis-
tinction isn't hard to draw, but there are sorne expressions which are
tricky to classify; for example, although the Morning Star isn't a star,
but a planet (Venus), it is still called 'the Moming Star', so that 'the
Morning Star' seems to have become more like a name and less like
a description than, perhaps, it was originally; the capital letters may
be significant of this intermediate status. (The University of Warwick
isn't at Warwick, either.) Furthermore, not all names are of the same
kind; logicians are apt to take as their examples names of persons or,
less commonly, places, but there are also titles of books, brand
names, trade names ... ( and notice how trade names have a ha bit of
tuming into common nouns, and even verbs, e.g. 'hoover'). It is also
worthy of attention that logicians are fondest of the names of famous
people ('Aristotle', 'Napoleon' etc.); and salutary to recall that there
are no doubt many Aristotles and Napoleons, and only a background
of shared infonnation to make us all think of the same one. Drawing
58 Phiwsophy of logics
. ?
TABLE 1. Do proper names haoe meaning as toell as denotation ·
Yes No
Frege proper names have Mill proper names
Russell the sense of sorne have denotation
(Quine) co-desígnative definite but no connota-
description known to tion
the speaker Ziff and are not part
of the language
Wittgenstein proper names have
Searle the sense of sorne Kripke proper names
indeterminate sub- are' rigid
set of sorne open- designators';
ended set of causal account
co-designative of the correct
descriptions use of names
Burge proper names as
(Davidson) predicates
same as the reference of 'b' (they stand for the same object), the sense
of 'a' is different from the sense of 'b ', and this difference accounts
for the greater informativeness of (i) over (ii).1
Frege explains the informativeness of true statements of the form
'a = b' as arising from the difference of sense of the names 'a' and 'b '.
How would Kripke, who doesn't admit that names have senses, and
according to whom ali true identities are necessary, explain it? His
explanation is that, though statements of the form 'a = b' are neces-
sary, not ali necessary statements can be known a priori; that is, it
may be a discovery, for ali that it is necessary, that a is b. For instance,
the name 'Hesperus' was given to a certain heavenly body seen in the
evening, and the name 'Phosphorus' to a heavenly body seen in the
morning; both are rigid designators, and designators, as it turns out,
of the very same heavenly body (the planet Venus); but astronomers
had to discooer, and didn't know a priori, that they designate the same
heavenly body. (Kripke comments that there is nothing especially
remarkable about one's knowing of sorne proposition that it is neces-
sary iJ it is true, and yet not knowing whether it is true; Goldbach's
conjecture would be an example.)
Frege, however, regards proper names as having sense as well as
reference. By 'proper name' Frege understands both ordinary names
and definite descriptions (he says that a name is any expression that
1 Although the distinction is originally introduced specifically for names,
it is extended to apply to predicates, and then, on the principie that the
aense (reference) of of a compound expression is to depend on the
aense (reference) of its parts, to sentences. Thus:
expreuion seme referenc«
proper narne meaning of the narne object
preclicate meaning of the predicate expression concept
sentence proposition truth-value
The reference of a sentence must be ita truth-value, Frege argues,
since if sorne component of a sentence is replaced by another with
a clifferent sense but the same reference (as 'The Morning Star is
a planet '/' The Evening Star is a planet ') it is the truth-value that
remains unchanged, Always strongly anti-psychologistic, Frege stresses
that the sense, or meaning, of an expression is to be clistinguished from
the idea that may happen to be associated with that expression; so
when he saya that the sense of a sentence is the 'thought' (Gedanke) it
expresses, he means 'proposition' rather than 'idea'. In 'oblique'
contexts, Frege adds (Le. intensional contexts, e.g, inclirect speech),
sentences have, not their customary, but an 'indirect' reference, the
direct reference being the customary sense, i.e, the proposition
expressed. So in 'Tom said that Mary would come', the reference of
'Mary would come' is not its truth-value, but the proposition that
Mary would come.
62 Philosophy of logics
3 Descriptions
Though Frege and Russell both equate the meaning of
(ordinary) proper names with that of corresponding definite descrip-
tions, they give quite different explanations of the way these
descriptions work.
According to Russell's theory of descriptions (Russell 1905) defi.nite
descriptions, such as 'the tallest mountain in the world', are 'incom-
plete symbols ', that is to say, they are contextually eliminable. Russell
gives, not an explicit definition enabling one to replace a definite
description by an equivalent wherever it appears, but a contextual
definition, which enables one to replace sentences containing defi.nite
descriptions by equivalent sentences not containing definite descrip-
tions:
El (1x) Fx = df. (3x)(y)(Fy = x = y)
i.e. 'the F exists' means 'rhere is exactly one F', and
G((1x) Fx) = df. (3x) (y) (Fy � x = y) & Gx
i.e, 'the F is G' means 'there is exactly one F and whatever is F is G '.
The latter will consequently have two 'negations':
- (3x) (y) (Fy = x = y) & Gx
i.e. 'It is not the case that (there is exactly one F and whatever is F
is G)', and:
(3x) (y) (Fy = x = y) &-Gx
i.e. 'There is exactly one F and whatever is F is not G'.
Of these, only the first is the contradictory of "The F is G'; the latter
is its contrary. (In general, in fact, it has to be indicated what scope
a definite description has when it is in a compound sentence.)
Russell rernarks that the grammatical form of sentences like "The
tallest mountain in the world is in the Himalayas' is misleading as
to their logical form: what he means is that, whereas the English
66 Philosophy of logia
official stress on the use of expressions might have led one to expect.
It might be a helpful artífice to distinguish between reference an_d
denotation or designation, and to use the former for the pragmatic
notion (what speakers do) and the latter for the semantic one (what
expressions do); then one can, if one wishes to adopt Donellan's
standards of successful reference, say that a speaker may refer to a
person or thing by the use of an expression which doesn't denote that
person or thing. One advantage of this is to make clear that one needn't
regard Donellan's account of the 'referential use' of definite descrip-
tions as a rival to Frege's or Russell's theory.
I Three approaches
A recurrent issue in the philosophy of logic concems the
question, with what kind of item logic deals, or perhaps primarily
deals, The altematives offered are usually sentences, statements and
propositions, or, more rarely these days, judgments or beliefs. 1 have
put the question in a deliberately vague way, since more than one
issue seems to be involved. Once again, as with the issue about the
meanings of connectives, quantifiers, etc., the problem concems the
relation between formal and informal arguments: what in informal argu-
menta corresponds to the well-formed formulae of formal languages?
It may be useful to distinguish three approaches to the question:
(i) syntactic: what, in natural languages, is the analogue of
the 'p', 'q' of formal logic?
In speaking thus far of 'sentence calculus ', 1 did not mean to beg this
question. Sorne prefer to speak of 'propositional calculus', "proposi-
tional variables', "propositíonal connectives'; and so far I have said
nothing to justify my preference for the former usage.
(ii) semantic: what kind of ítem is capable of truth and falsity?
Since formal languages aim to represent those informal arguments
which are valid extra-systematically, that is, which are truth-
preserving, this will relate closely to the first issue.
{iii) pragmatic:1 what kinds of item should one suppose
1
1 ca11 this the pragmatic approach because pragmatics is concerned
with relations between expresaions and the usen of thoee expresaiom
(' ayntax' and 'semantics' were explained in ch. s), I derive thi• way
of aeparating the iasuea from Gochet 197:a.
Sentences, statements, propositions
75
to be the 'objects' of belief, knowledge, supposition,
etc.?
(' Know ', 'believe ', 'suppose ', etc. are sometimes called the verbs of
'propositional attitude'.) Since one can know, believe or suppose
either something true or something false, the third will relate quite
closely to the second issue.
For the present, however, 1 shall not discuss (iii) (but cf. pp. 124-'7
and ch. 12 §3); 1 shall comment first, very briefly, on (i), and then, at
greater length, on (ii).
4 Truth-bearers
If an argument is valid, then if its premises are true, its con-
clusion must be true too; so presumably premises and conclusions
need to be the kind of item capable of being true or false. So, many
writers have considered it very important to decide whether it is
sentences, statements or propositions which are properly called 'true'
or 'false'. The issue has many ramifications; it has been suggested,
for example, that confusion about truth-bearers underlies the
semantic paradoxes (Bar-Hillel 1957, Kneale 1971), that it motivates
the proposals for many-valued logics (Lewy 1946, Kneale and Kneale
1962, Kripke 1975 p. 7000), that it vitiates Russell's theory of
descriptions (Strawson 1950). I have already commented (ch. 5 §3) on
the last of these; I'll have something to say about the first in ch. 8,
and about the second in ch. 11.
The dispute about truth-bearers usually proceeds along sorne such
lines as the following: since truth is presumably a property, one
should be able to identify the type of item which possesses it; it is
usually taken for granted either that only one of the candidates
can be the truth-bearer, or that one is primary and the others
somehow derivative. The ensuing debate about which items are the,
or the primary, truth-bearers, however, has been, to my mind,
neither very conclusive nor very fruitful. You will shortly see what
I mean.
Several writers (Strawson 1950, Pitcher introduction to 1964,
Putnam 1971, for example) have claimed that it is irnproper, or even
meaningless, to speak of sentences as being true or false. The argu-
80 Philosaphy of logics
ments offered for this claim, however, seem pretty inconclusive. One
is that if sentences were true or false sorne sentences would be some-
times true and sometimes false; another is that sorne sentences, non-
declarative sentences, for instance, just aren't capable of truth or
falsíty, so not ali sentences could be true or false. But a gate, after ali,
can quite properly be called red or green, though it may have one
colour one year and another the next; and sorne glass, stained glass for
instance, can properly have colour predicates ascribed to it, despite
the fact that sorne glass is colourless (cf. Lemmon 1966, R. J. and S.
Haack 1970).
Though these arguments certainly don't show that sentences can-
not properly be called true or false, they may suggest an apparently
more promising line of thought: that whatever items be ch osen as
truth-bearers, they should be such that (i) they can be relied upon not
to change their truth-value, and (ii) all items of the relevant kind are
either true or false. The acceptability of these desiderata will need
investigation, of course. But even leaving that question aside for the
present, it tums out that statements and propositions are scarcely
more successful than sentences in these respects.
(i) Whether a statement can change its truth-value depends,
obviously, on how exactly one understands 'saying the same thing
about the same thing'. But on an intuitive understanding, at least,
two utterances conceming the same Jones, half a minute apart, of
'Jones is wearing an overcoat ' would presumably say the same thing
about the sarne thing. Yet one utterance could be true and thc other
false, if J ones put on or took off his overcoat in the interval. Of course,
one could guarantee against statements changing their truth-velues
by tightening up the criteria for statement identity so far that no
non-simultaneous utterances count as making the same statement.
But this would, in effect, correlate statements one-one with sentence
tokens, and then one might justifiably wonder what the point was of
introducing statements as distinct from sentences.
Since the sense of a sentence may remain stable over a considerable
period, the proposition expressed by a sentence could also, pre-
sumably, change its truth-value; for instance, the proposition
expressed by the sen ten ce 'Louis XIV is dead' was once false and is
now true. Sorne writers (Frege 1918, Moore 1953, Kneale 1971, for
instance) have responded to this difficulty by tightening up the
criteria of propositional identity so as to disallow change of truth-
value; this seems to be vulnerable to a similar objection to that made,
Sentences, statements, propositions 81
sponding to 'p' and 'q' are tensed, then the time reference should
stay constant throughout the argument; if they contain indexicals
like 'I', 'he', 'now', their reference should stay constant through the
argument; and if they're ambiguous, they should be used in the same
sense throughout the argument. Otherwise, though the formal argu-
ment is valid, its supposed analogue in informal argument is apt to
be invalid; if, for instance, the last condition is not observed, one has
a 'fallacy of equivocation '.
This way of putting the problem has the advantage of metaphysical
neutrality, so that it raises neither nominalist nor Platonist hackles;
and yet it seems to ask the right questions about how to apply formal
logic to informal argument. And the fact that the constraints on what,
in informal argument, can stand where 'p' and 'q' do in formal logic,
reflect the identity conditions proposed for the various candidate
truth-bearers is sorne confirmation of my claim to have reformulated
the original problem rather than replace it by a different one. (But it
turns out, interestingly, that in its reformulated version the problem
arises even on the theories which do not regard truth as a property.)
The reformulated problem does not refer to 'truth-bearers'
directly, but, rather, asks what vagaries of the sentences put for 'p'
and 'q' may interfere with validity. In the case of classical sentence
logic this amounts to asking what may prevent the same sentence's
having the same truth-value at different occurrences within an argu-
ment; it is because an ambiguous sentence may be true in the
premises and false in the conclusion that equivocation interferes with
validity. But the greater generality of the reformulated problem
should prompt another look at the relations between validity and
truth.
Validity again
I observed earlier that to insist that logic deal only with items
which are either true or false is to give uncharitably short shrift to
non-bivalent logics. Furthermore, ifsuch enterprises as imperative or
erotetic logic (logic of questions) are to be feasible, it must be con-
ceded that logic may deal with sentences incapable of truth and
falsity. Now the extra-systematic account of validity that I gave in
ch. 2 was in terms of truth-preservingness, lf, however, one takes
serious account of the possibility of logics which deal with non-truth-
bearing iterns, one is likely to need an extended conceprion of validity.
If, for example, one wants to handle imperative sentences, it may
Sentences, statements, propositions 85
prove appropriate to define an analogue of truth ( a 'designated value '
if you like) which is applicable to them. Ross 1968 suggests: 'pi' is
satisfied1 iff 'p' is true. (E.g. 'Close the door ! 'is satisfied iff' The door
is closed' is true.) Validity, for imperative logic, would then be
preservation of satisfaction rather than preservation of truth.
It should not be dismaying - nor even very surprising - that
developments such as non-bivalent or imperative logic may call for
changes or extensions of the intuitive conception of validity to which
the standard logical apparatus gives formal expression. It is often
enough by modification or extension of its key ideas that a science
grows.
1 This use of 'satisfaction' should be kept distinct from that to be
introduced in the next chapter, in the discussion of Tarski's theory
of truth.
7
Theories of truth
1 A summary sketch1
The object of this section is to sketch the main kinds of
theories of truth which have been proposed, and to indicate how they
relate to each other. (Subsequent sections will discuss sorne theories
in detail.)
Coherence theories take truth to consist in relations of coherence
among a set of beliefs. Coherence theories were proposed e.g. by
Bradley 1914, and also by sorne positivist opponents of idealism, such
as Neurath 1932; more recently, Rescher 1973 and Dauer 1974 have
defended this kind of approach. Correspondence theories take the
truth of a proposition to consist, not in its relations to other propoai-
tions, but in its relation to the world, ita correspondence to the facts.
Theories of this kind were held by both Ruesell 1918 and Wittgenstein
1922, during the period of their adherence to logical atomism ; Auatin
defended a version of the correspondence theory in 1950. The prag-
matist theory, developed in the works of Peirce (see e.g. 1877),
Dewey (see e.g. 1901) and James (see e.g. 1909) has affinities with
both coherence and correspondence theories, allowing that the truth
of a belief derives from its correspondence with reality, but stressing
a1so that it is manifested by the beliefs' survival of test by experience,
its coherence with other beliefs; the account of truth proposed in
�ummett 1959 has, in tum, quite strong affinities with the pragmatist
view.
1
Proponents of the theories I shall discuss take clifferent views about
what kinds of items are truth-bearers, In what follows I ahall apeak
variously - depending upon which theory I am diacuaing - of
' belíefs ', "aenteneee ', 'propoaitiona' etc. u true or falte; only when
the difference maket a dífference ahall I draw attmtion to it.
87
·::!
1
1
1
1
1
1
1
1
1
\
1
\
1
1
1
1
1
' -� ·- e::
\ -;::�
=------------ �o
�;� -Q�
!;:! ...
\
1
I
I
t'�
,'
I
'1
\
, 'C1)""'
'-'
- ·5
...
------------ p..�
l a ·a�
Cl'J
;:l e:
C1)
�
l:E�
tr;i::t::----·-
> -in
c::,
� ¡;, -e
;:l 1
1
-i1
1
1
-i���
1 1
1
1
-�
1
.s -5
� g
,l,j
s
ss
C1)
� �� � of ------------- �
(.)
e:C1) .....o
o
;:l
� .E
...........
,:¡;:
.s ·e:fs
i..
/ � 8
'-' tlC1) ..e:
1
... E--
i =g>- ---------------- � :.a
1
.....
� �� J �
!JO
88 Philosophy of logics
Aristotle had observed that 'to say of what is that it is not, or of
what is not that it is, is false, while to say of what is that it is, or of
what is not that it is not, is true'. In proposing his semantic theory of
truth, Tarski 1931, 1944 aims to explícate the sense of 'true' which
this dictum captures. Truth, in Tarski's account, is defi.ned in terms
of the semantic relation of satisfaction, a relation between open
sentences (like 'x > y') and non-Iinguistic objects (such as the num-
bers 6 and 5). The truth theory recently proposed by Kripke 1975 is
a variant of Tarski's, modified essentially to cope in a more sophisti-
cated way with the semantic paradoxes. Popper's account of truth and
his theory of verísímílitude or nearness to the truth is based upon
Tarski's theory, which Popper regards as supplying a more precise
version of traditional correspondence theories.
The redundancy theory of truth, offered by Ramsey 1927, claims
that 'true' is redundant, for to say that it is true that p is equivalent
to saying that p. It is evident that this account has sorne affinities with
Aristotle's dictum, and consequently with sorne aspects of Tarski's
theory. There have been several recent variants of Ramsey's theory:
Strawson's 'performative' account (1949); the 'simple' theory of
truth suggested by Prior 1971 and amplified by Mackie 1973 and
Wílliams 1976; and the 'prosentential' theory presented by Gro ver,
Camp and Belnap 1975.
criterion.! (The idea that Tarski gives a criterion of truth may derive
from this conception of criteria.)
So: if one has a definition, one thereby has a 'guaranteeing'
criterion. The converse, however, is a bit less straightforward. It is
a guaranteeing criterion of a number's being divisible by three, for
example, that the sum of its digits be divisible by three, but this,
I take it, is not what it means for a number to be divisible by three.
Rather: if one has a guaranteeing criterion, then either it is, or else it
is a logical consequence of, a definition.
An authorising criterion, however, is fallible: it is not necessarily
the case that (C iff x obtains); so, either it is true, though not neces-
sarily, that C iff x obtains, or perhaps it is not invariably true that
C iff x obtains. (Rescher considers the second but not the first kind
of case.) So an authorising criterion of x is distinct from a definition
of x - it need not be logically related to the meaning of 'x '. 2
But now why, if any definition supplies a guaranteeing criterion,
should one ever want an authorising críterion] The answer is rather
clear, I think, but hard to put precisely: if one wants to fi.nd out
whether x obtains, one would like, ideally, a reliable indicator of the
presence of x which is easier to discooer to obtain than x itself. A defini-
tion gives an indicator which is perfectly reliable, but exactly as diffi-
cult to discover to obtain as x itself; an authorising criterion gives an
indicator which may be less than comp1etely re1iable, but which, by
way of cornpensation, is easier to discover to obtain. For example,
one might think of the characteristic spots as an authorising criterion
of measles; not a foolproof test, since it is not logically necessary
that one has the spots iff one has the meaales, but much more easily
discovered than, say, the presence of a given bacterium which ia (or
2 Correspondence theories
Both Russell and Wittgenstein, during their 'logical atomist'
periods, 1 offered definitions of truth as the corresponden ce of a
proposition to a fact.
Propositions, according to Wittgenstein, are verbal complexes;
molecular propositions (such as 'Fa V Gb ') are composed truth-
functionally out of atomic propositions (as,' Fa'), The world consists
1 Wittgenstein was the originator oí logical atomiam, but Ruuell'a
veraion appeared first, in hia 1918 lectures, while Wittgenstein'• was
presented in 19:u in the Traetatus,
92 Philosophy of logics
rnent on Russell's account of 'the facts '. The point is hard to put
clearly, but it is significant enough to be worth putting even sorne-
what vaguely. Russell is apt to speak as if the truth of p consists in its
correspondence to the fact that p; but the trouble with this is that the
relation between 'p' and the fact that p is just too close, that 'p'
couldn't fail to correspond to that fact. His evasiveness about the
criteria of individuation of facts rnay indicate that he felt this dis-
comfort. Austin's version, however, locates the truth of the staternent
thatp notin its correspondence to the fact thatp, but rather in thefacts'
being as 'p' says, or, as Austin puts it, in the dernonstrative conven-
tions' correlating 'p' with a situation which is of the kind with which
the descriptive conventions correlate it. (Austin is aware of this
difference; see 1950 p. 23; and cf. Davidson 1973 and O'Connor
1975.)
3 Coherence theories
A coherence theory of truth was held by the idealists (1 shall
discuss Bradley's account, but related views were held by his Gerrnan
philosophical ancestors Hegel and Lotze) and also by sorne of their
logical positivist opponents. So the relation between coherence theories
and idealisrn is rather like that between correspondence theories and
logical atornisrn - in that in each case the theory of truth became
divorced frorn the rnetaphysical outlook with which it was originally
characteristically associated.
It will be useful - because this way sorne significant relations
between coherence and correspondence theories can be highlighted -
to begin in the rniddle, with Neurath's defence of a coherence view.
A little history will not go amiss: the logical positivista, under the
influence of Wittgenstein's Tractatus, originally subscribed to a cor-
respondence view of the character of truth. They were, however,
strongly rnotivated by episternological concems, and consequently
desired a test (authorising criterion) of truth - a way to tell whether
or not a sentence indeed corresponds to the facts. Carnap and Schlick
tackled the problern in two parts; staternents reporting immediate
perceptual experience, they argued, are incorrigible, that is to say,
we can directly verify that they correspond to the facts, and the truth
of other statements can then be tested by rneans of their logical
relations to these. Already a characteristic feature of the correspon-
dence theory - that truth líes in a relation between beliefs and the
world - is modified: the test of the truth of all but perceptual state-
Theories of truth 95
ments derives from their relations with other statements, the percep-
tual ones, which are supposed to be verified by direct confrontation
with the facts. Neurath, however, raised doubts about the supposed
incorrigibility of 'protocols ', and having thus denied the possibility
of a direct check of even perceptual beliefs' correspondence to the
facts, held the only test of truth to consist of relations among beliefs
themselves. Our search for knowledge requires a constant readjust-
ment of beliefs, the aim of which is as comprehensive a belief set as
consistency allows. (This is strongly reminiscent of the 'method of
maxima and minima ' in James' epistemology (James 1907); Quine's
position in 'Two dogmas of empiricism' (1951), where he endorses
Neurath's metaphor of the process of acquisition of knowledge as
repairing a raft while afloat on it, is similar. Cf. Hempel 1935 for an
excellent account of the development of the positivists' view of truth,
and Scheffler 1967 ch. 5 for a lively 'blow by blow' report of the
controversy between Schlick and Neurath.)
Neurath's final position has much in common with Bradley's
account of the test of truth as 'system ', which he explains as requiring
both consistency and comprehensioeness of the belief set. And in
Bradley as in Neurath the appeal to coherence is connected with the
denial that our knowledge has any incorrigible basis in the judgments
of perception. However, Bradley's theory has intimate connections
with his absolute idealism. Briefly and roughly, reality, according to
Bradley, is itself essentially a unified, coherent whole. (Russell's
pluralistic logical atomist metaphysic was motivated by reaction
against the idealists' monism.) And while Bradley conceded something
to the idea of truth as correspondence to reality, he held that, strictly
speaking, nothing short of the fully comprehensive, consistent belief
set at which we aim is really true; at best, we achieve partial truth -
part of the truth is not fully true. The point of these remarks is to
bring out a point anticipated earlier (§ 1) - that the connections
between Bradley's view of truth and his view of reality are close
enough for it to be somewhat mísleading simply to regard him as
offering coherence as the test, while leaving correspondence as the
definition, of truth; rather, the explanation of the success of co-
herence as the test derives from an account of reality as itself
essentially coherent.
A persistent difficulty with the correspondence theory, as I observed
above (§:i) has been the diffi.culty of supplying a precise account of
'corresponds '. A similar problem dogs the coherence theory; it needs
96 Philosophy of logics
4 Pragmatic theories1
Peirce, James and Dewey offer characteristically 'pragmatic'
accounts of truth, which combine coherence and correspondence
elements.
According to the 'pragmatic maxim' the meaning of a concept is
to be given by reference to the 'practica!' or 'experimental' con-
sequences of its application2-'there can be no difference ' as James
put it (1907 p. 45) 'that makes no difference'. So the pragmatists'
approach to truth was to ask what difference it makes whether a belief
is true.
According to Peirce, truth is the end of inquiry, that opinion on
which those who use the scienrific method will, or perhaps would if
they persisted long enough, agree. The significance of this thesis
derives from Peirce's theory of inquiry. Very briefly: Peirce takes
belief to be a disposition to action, and doubt to be the interruption
of such a disposition by recalcitrance on the part of experience ;
nquiry is prornpted by doubt, which is an unpleasant state which one
tries to replace by a fixed belief. Peirce argues that sorne methods of
acquiring beliefs - the method of tenacity, the method of authority,
the a priori method- are inherently unstable, but the scientific method
enables one to acquire (eventually) stable beliefs, beliefs which will
not be thrown into doubt. For the scientific method, Peirce argues,
alone among methods of inquiry, is constrained by a reality which is
independent of what anyone believes, and this is why it can lead to
consensus. So, since truth is the opinion on which the scientific
method will eventually settle, and since the scientific method is con-
strained by reality, truth is correspondence with reality. It also
follows that the truth is satisfactory to believe, in the sense that it is
stable, safe from the disturbance of doubt.
1
This section draws upon Haack 1976c.
I
Peirce stressed the connection of 'pragmatic' with Knnt's use of
'pragmatische' for the empiricslly conditioned, James the connection
with the Greek 'praxiJ ', action.
98 Philosophy of logics
Material adequacy ·
Tarski hopes that his definition will 'catch hold of the actual
meaning of an old notion' (1944 p. 53). However, the 'old' notion of
truth is, Tarski thinks, ambiguous, and even doubtfully coherent. So
he restricts his concern to what he calls the 'classical Aristotelian con-
ception of truth ', as expressed in Aristotle's dictum:
To say of what is that it is not, or of what is not that it is,
is false, while to say of what is that it is, or of what is not
that it is not, is true.
And he proposes, as material adequacy condition, that any acceptable
definítion of truth should haoe as consequence all instances of the (T)
schema:
(T) S is true iff p
where 'p' can be replaced by any sentence of the language for which
truth is being defined and 'S' is to be replaced by a name of the
sentence which replaces 'p'. An instance of (T) would be, e.g.:
'Snow is white' is true iff snow is white
where the sentence on the right-hand side is referred to by its
'quotation-mark name' on the left-hand side.
Tarski emphasises that the (T) schema is not a definition of truth -
though in spite of his insistence he has been misunderstood on this
point. It is a material adequacy condition: all instances of it must be
entailed by any definition of truth which is to count as 'materially
adequate'. The point of the (T) acherna is that, if it is accepted, it
fixes not the intension or meaning but the extension of the term 'true'.
For suppose one had two definitions of truth, D1 and D2, each of
which was materially adequate. Then D1 would entail all instances of:
S is true¡ iff p
and D2 all instan ces of:
S is true, iff p
so that D1 and D2 are co-extensive, Or, to put essentially the same
point in another way, the material adequacy condition would rule out
certain definitions of truth, those, that is, which did not entail
instances of the (T) schema.
But exactly what kinds of definition will the material adequacy
Theories of truth IOI
Now it is indeed the case that someone who did not accept DB might
deny:
'Warsaw was bombed in World War II' is asserted in
the Bible iff Warsaw was bombed in World War II.
Formal correctness
The formal requirement which Tarski lays down concerns
the structure of the language in which the definition of truth should
be given, the concepts which may be employed in the definition, and
the formal rules to which the definition must conform.
It is notorious that semantic concepta, incautiously handled, are apt
to give rise to paradoxes ( e.g. the Liar - 'This sen ten ce is false';
Grelling's paradox - '' not true of itself' is true of itself iff it is
not true of itself', and so forth). Tarski investigates the Liar paradox
in sorne detail, and argues that the antinomy arises frorn the
assumptions:
(i) That the language used contains, in addition to its
expressions, (a) the means of referring to those expressions
and (b) such semantic predicates as 'true' and 'false'.
Such a language Tarski calls 'semantically closed '.
(ü) That the usual logical laws hold.
Being unwilling to reject assumption (ii), Tarski concludes that
Theories of truth 103
Informal account
The procedure is as follows:
(a) specify the syntactic structure of the language, O, for
which truth is to be defined
just in case sorne object is a city. (Consult Rogers 1963 for further
informal discussion of Tarski's definition.)
Two features of Tarski's definition deserve explicit mention at
this point. First, it imposes an objectual interpretation of the quanti-
fiers; as the previous example indicates, '(3x) Fx' is true iff sorne
object is F. A substitutional interpretation would avoid the need for
the detour via satisfaction, for it would permit truth of quantified
sentences to be defined directly in terms of the truth of their substitu-
tion instances (cf. ch. 4 §1). Second, in his original paper, Tarski
gives an absolute rather than a model-theoretic definition; 'satisfies ',
and hence 'true', is defined with respect to sequences of objects in
the actual world, not with respect to sequences of objects in a model
or 'possible world' (e.g. 'there is a city north of Birmingham' is true,
absolutely, but false in a model in which the domain is, say, {London,
Exeter, Birmingham, Southampton}; cf. pp. 1 15, 122 below ).1
Formal account
Tarski gives his definition of truth for a class calculus (the
object language), and uses a formalised metalanguage. 1 shall give,
instead, a definition of truth for a more familiar object language, the
first-order predicate calculus, and I shall use English plus the object
language (cf. (b)(i), p. 105) as metalanguage. This truth-definition
will, however, follow Tarski's in all essentials. (lt follows Quine's
account in 1970 ch. 3 rather closely.)
Syntax o/ O
The expressions of O are:
variables: x1, x2, x8 •.. etc.
predicate letters: F, G ... etc. (each taking a given number
of arguments)
sentence connectives: - , &
quantifier: (3 ... )
brackets : ( , )
1
In 1957 Tarski and Vaught give a model-theoretic definition. The
significance attached to the difference between absolute and model-
theoretic definítions will depend, in part, on one's attitude to possible
worlds (see pp. 190 ff, below). Those who think of the actual world
as just one possible world among others will think of the absolute
definition as simply a special case of a model-theoretic definitícn,
However, since a model-theoretic definition uses semantic prímitives
�the notíon of the interpretation of expressions) in the metalanguage,
rt does. not satisfy ali the constraints Tarsk.i used in his 193 1 paper ;
�nd this seems to sorne (Davidson for example; see below) to be an
Impottant reason to prefer an absolute definition.
Theories of truth
Definition of 'satisfies'
Let X, Y range over sequences of objects, A, B over sentences
of O, and let Xi denote the ith thing in any sequence X.
Then satisfaction can be defined for atomic sentences, by giving
a clause for each predicate of the language.
I. for r-place predicates:
for ali i, X: X satisfies 'Fxi' iff Xi is F
For z-place predicates:
for ali i, X: X satisfies 'Gxix/ iff Xi and
X1 stand in the relation G
and so on for each predicate.
2. for ali X, A: X satisfies ' -A' iff X does not satisfy 'A'
3. for ali X, A, B: X satisfies 'A & B' iff X satisfies A and
X satísfies B
4. for ali X, A, i: X satisfies '(3xi) A' iff there is a sequence
Y such that X1 = Yj for ali j =I i and Y satisfies 'A'
(Notice how each clause of the definition of satisfaction corresponds
to a clause in the definition of a wff. This is why it is so convenient to
work with minimal vocabulary.) A closed sentence is a wff with no
free variables; closed sentences will be satisfied either by ali sequences
or by none.
truth that of each pair consisting of a closed sentence and its negation
one, and only one, is true. This was to be expected in view of the
fact, already observed, that the material adequacy condition rules out
non-bivalent theoríes of truth.
its role is to rule out sorne definitions, certainly does not single out
the correspondence theory as uniquely correct; presumably it permits,
for instance, a redundancy definition such as Mackie's:
(p) (the statement that p is true iff p)
lt is just for this reason that Tarski himself stresses the epistemo-
logical neutrality of the (T) schema.
However, though Popper does not explicitly refer to thern, there
are features of Tarski's definition of truth which are rerniniscent of
correspondence theories, A difficulty here is that it isn't very clear
what is required for Tarski's to count as really a version of the corre-
spondence theory; and it is aggravated by Popper's insistence that
until Tarski there had been no genuine, no satisfactory, correspon-
dence theory. Still, one can rnake sorne progress by cornparing Tarski's
definition first with the logical atornist version given by Russell and
Wittgenstein, and then with Austin's version.
Tarski defines truth in tenns of satisfaction, and satisfaction is a
relation between open sentences and sequences of objects; the
account of satisfaction bears sorne analogy to Wittgenstein's view of
truth as consisting in the correspondence between the arrangernent of
narnes in a proposition and the arrangernent of objects in the world.
On the other hand, Tarski 's definition of truth rnakes no appeal to speci-
fic sequences of objects, for truesentences aresatisfied by ali sequences,
and false sentences by none. It is syrnptornatic that logical as well as
factual truth is embraced by Tarski's definition; it is surely less plausi-
ble to suppose that logical truth consists in correspondence to the facts
than that 'factual' truth does. Two historical observations seern called
for here: first, that Wittgenstein thought that quantified wffs could be
understood as conjunctions/disjunctions of atornic propositions, and
that if this were indeed so, Tarski's detour through satisfaction would
be unnecessary; and secondly, that Russell allowed 'logical facts '.
Tarski's exploitation of the structure of sentences in the recursive
definition of satisfaction is, then, an analogy wíth Russell's and
Wittgenstein 's gloss on 'corresponds '. It is equally a disanalogy with
Austin's account. Austin insists that staternents, not sentences, are
the prirnary truth-bearers. This has at least two relevant consequences:
Tarski ignores problerns raised by sentences containing indexicals
such as '1' and 'now', upon which Austin concentrates; and while
Tarski's definition of satisfaction relies on the syntactic structure of
open sentences, Austin's account of correspondence stresses its
114 Philosophy o/ logics
The truth- (falsity-) content of a theory is the class of all and only its
true (false) consequences. The truth- or falsity-content of one theory
can exceed the truth- or falsity-content of another only if its truth-
or falsity-content set-theoretically includes the other's, so this
account applies only to theories which overlap in this way. Popper
also suggests (1963 pp. 393-6, 1972 pp. 51, 334) measures of truth-
and falsity-contents in terms of logical probability, so that any two
contents can be compared. But I shall concentrate on the former,
'qualitative ', rather than the latter, 'quantitative' version.
The definition of verisimilitude cannot show that science does
progress towards the truth: but Popper hopes (1972 p. 53) that it
supports his falsificationist methodology, which recommends that one
choose the more falsifiable conjecture, the one with more content, for
a theory with more content will have greater verisimilitude, unless,
Popper adds, it has more falsity-content as well as more truth-
content.
However, it has been shown 1 that a theory t2 has greater veri-
similitude than another, t1, in accordance with Popper's (a) and (b)
only if t2 is a true theory from which the truth-content of t1 follows.
This means that Popper's definition of verisimilitude does not apply to
comparisons betueen theories both of which are fa/se; but that, of course,
was the principal objective of the theory, which therefore fails of its
epistemological purpose. This failure is, 1 think, important to the
question of the feasibility of fallibilistic absolutism ( see Haack
1977b); and it should also, to my mind, support Tarski's rather
modest, as against Popper's rather more ambitious, assessment of the
epistemological significan ce of the semantic theory of truth.
1 Miller 1974; and cf. Tichy 1974 and Harris 1974. Very brieñy, Miller's
strategy is first to show, if t1 and t1 are comparable by truth-content,
how they are also comparable by falsity-content; and then to show
that for ta to be nearer the truth than t., ta must be a true theory from
which the truth-content of t1 follows, since otherwise ta will exceed 11
in f1.lsity- 1.1 well as truth-content, so that their verisimilitudes will not
be comparable.
118 Philosophy o/ logics
Meaning as truth-conditions
Though the route by which Davidson reaches this conclusion is
somewhat indirect, the terminus - that the meaning of a sentence
can be given by specifying its truth-conditions - is not unfamiliar.
What is novel in Davidson's version is the imposition of 'Tarskian'
constraints upon the account of truth-conditions. •
1
Dummett urges 1. theory of meaning in terma rather of aaaertibility-
conditions than truth-conditions (again 1. comparison with the
pragnuÍtiata, now with their criterial theory of meaning, su¡¡est8 itaelf).
For critic1.l discu1&iona lff Huck 1974 pp. 103fl'. and cf. Bnndom 1976.
Theories of truth 119
Theory of interpretation
La ter ( I 97 4) Davidson appends sorne further theory, of interpretation
of another's discourse, in another or even in the same language as
one's own; essentially, this consists in an account of how to tell
when 'p' is a sentence that has the meaning that 'S' describes.
Briefly, the idea is that to test, empirically, whether a sentence of the
form
'Es regnet' is true iff it is raining
is a T-sentence, that is, meets Tarski's specification that the sentence
on the right translates the one named on the left, one tests whether
speakers of the language concemed (here, German) hold true 'Es
regnet' iff it is raining. The point of the appeal to what native speakers
hold true is to get at the meaning of their utterances by, so to speak,
holding their beliefs constant. In consequence an assumption, the
principie of charity, to the effect that speakers of other languages
generally agree with us about what is the case, is required. The holist
character of Davidson's account, the insistence that the 'unit of
interpretation' is the entire language, may derive at least in part from
epístemic holism, the Duhemian idea, also stressed by Quine, that
beliefs are verified/falsified not alone but in a corporate body.
120 Philosaphy of logics
Logical form
Davidson describes himself as seeking 'the Jogical form ' of natural
language locutions. For example, recall ( ch. 2 §4) that, according to
Davidson, adverbial constructions in natural language are best repre-
sented as involving quantification over events, with adverbs construed
as adjectives of event terrns. The logical form of 'J ohn buttered the
toast with a knife ', Davidson claims, is something like "There is an
event which is a buttering of the toast by J ohn and which is performed
with a knife '. Davidson's confidence that each natural language con-
struction has a unique logical form springs from the belief that a
formal representation to which Tarski's method of defining truth
applies represente essential structure in an ideally perspicuous fashion.
(The analogy with Russell's and Wittgenstein's project, in their
logical atomist periods, of devising an ideal language which would
represent the real form of natural languages, is striking.) Interestingly,
Cargile has asked (1970; and cf, Davidson's reply in the aame volume)
why the connection between a predicate and its adverbially modified
form need necessarily be assumed to be a matter of form rather
than content. It isn't, he suggests, as obvious as Davidson seems to
suppose what one should count as skeleton, and what as flesh; he
urges, in fact, a more flexible conception of logical forrn, closer to the
one presented in ch. 2.
Damdson's programme
So Davidson regards it as the task of a theory of meaning to analyse
the structure of sentences, not to supply an account of the meaning
of individual words. (This isn't quite right, because sorne particles -
'un' for instan ce - have a structural character.) For example,
Davidson does not require a theory of meaning to give the rneaning of
'good ', but he does require it to analyse the structure of e.g, 'Bardot
is a good actress' in such a way as to explain why it is not equivalent
Theories of truth 123
Indesicals
Tarski's theory needs to be relativised to speakers and times,
Davidson suggests, because natural languages contain indexicals.
The revised (T) schema will call for the theory to entail sen ten ces like:
'I am tired' (s, t) is true iff sis tired at t
Truth, Davidson says, is a predicate rather of utterances than
sentences. (This suggestion is relevant to the claim, canvassed by
Strawson and, before him, by Schiller, that formal methods are
inherently inadequate to deal with the context-dependence of state-
ments in natural languages.)
But Davidson's concem with indexicals is also directed towards the
problema raised by the analysis of quotation and verbs of 'proposi-
tíonal attítude' ('says that', 'knows that' etc.); for he thinks that
these constructions all involve concealed demonstratives. An analysis
of these indexicals ('this', 'that') given by Weinstein 1974 has been
endorsed by Davidson. In this account, "That is a cat', say, is true just
in case the object indicated by the speaker at the time of utterance
satisfies ' .. .is a cat '.
124 Philosophy o/ logics
Oratio obliqua
While truth-functional compounds raise no problems, there will
obviously be a difficulty about applying Tarski's methods to com-
pound English sentences the truth-values of which do not depend in
any obvious way upon the truth-values of their parts. Oratio obliqua
sentences are of this problematic, intensional kind; for the truth-value
of 'Galileo said that the earth moves ', for instan ce, does not depend
in any direct way on the truth-value of 'the earth moves'; and there is
failure of substitutivity, for from "Tom said that the moon is round'
and 'The moon = the sole planet of the earth' one cannot safely infer
"Tom said that the sole planet of the earth is round '.
The first step in the right direction, Davidson urges, is to parse:
Galileo said that the earth moves.
along the lines of:
Galileo said that.
The earth moves.
The 'that' is to be construed not as a relative pronoun, but as a
demonstrative pronoun referring to an utterance - rather as I might
say 'I wrote that', pointing to a message on the notice-board.1
Of course, Galileo didn't utter the very utterance which the speaker
produces; indeed, Galileo didn't speak English; so sorne more
explanation is needed. Davidson amplifies his analysis thus:
The earth moves.
(3x) (Galileo's utterance x and my last utterance make
us samesayers)
Galileo and I are samesayers, we are told, just in case he uttered a
1
Two points of comparison are worth making. I have already mentioned
the affinities between Tarsk.i's definition of satisfaction and
Wittgenstein's Tractatus account of truth; the verbs of proposicional
attítude, which presenta problem to Wittgenstein's as to Davidson's
approach, are discussed at 5.542. Wittgenstein's analysis is, however,
notoriously obscure, Alun Jones has pointed out to me that Davidson's
list of 'difficulties and conundrums' for his enterprise, and Anscombe's
list (1959) of the problems for Wittgenstein's, are very similar. An
analysis of indirect discourse strikingly like Davidson's was suggested
by Kotarbiáski (¡955). Kotarbióski's airn was to support the thesis
that only material bodies exist (' pansomatism ') by analysing away
apparent references to such abstract objects as propositions; this, in
view of the conjecture that Tarski was motivated by sympathy with
materialism, may be si¡nificant.
Theories of truth 125
Truth-bearers
In view of the embarrassments caused by the trappings -
facts and propositions - of the correspondence theory the austerity of
the redundancy theory is appealing. Ramsey understandably regards
it as a virtue of his theory that it avoids the questions raised by a
correspondence account about the nature and individuation of facts.
"It is a fact that ... ', he urges, has the same semantic redundancy, and
the same emphatic use, as 'It is true that ... '.
Again, since the effect of Ramsey-style theories is to deny that in
'It is true that p', ' ... is true ... ' is to be thought of as a predicate
ascribíng a bona fide property to whatever 'p' stands for, the question
of the truth-bearers is similarly bypassed; if truth isn't a property,
one needn't ask what it's a property of. 1 observe, however, that what
I argued (ch. 6 § 5) to be the real issue lying behind disputes about
truth-bearers - the question of the appropriate constraints on
instances of sentence letters, i.e. what one can put for 'p' - does still
arise. (Ramsey's preference for the locution 'It is true thatp', rather
than ''p' is true' is of sorne significan ce in this regard.) I should
count it an advantage of my diagnosis of the issue about truth-bearers
that it is applicable even to redundancy theories, and an advantage
1
Ta111ki writes (1944 pp, 68-<}) as if Ramsey's theory sirnply has no way
to handle this kind of case; Ramsey would presumably analyse the two
problematic cases Tarskí gives - 'The first sentence written by Plato
is true' and 'All consequences of true sentences are true' - u '(p) (if
the first thing Plato wrote was that p, then p)' and '(p) (q) (if p, and
if p then q, then q) '.
Theories of truth 129
of the redundancy theory that there the issue arises in its funda-
mental form.
Of course, this will be a genuine economy only if it is certain that
one doesn't need propositions (or whatever) for other purposes
besides truth-bearing. Those who believe that we need propositions
as objects of belief, for instance, are liable to be less impressed by the
redundancy theory's ability to do without them as bearers of truth.
It is significant, therefore, that Prior, who accepts Ramsey's theory,
urges (1971 ch. 9) an account of belief according to which 's believes
that ... ' in 's believes that p' is a sentence-forming operator on
sentences like 'It is not the case that ... ', rather than 'believes' being
a relation symbol with arguments 's' and 'that p ', the latter denoting
a proposition. Again, one might suppose that propositions ( or what-
ever) may be required as bearers of other properties, and that the
redundancy theory is therefore in danger of sacrificing the analogy
between ' ... is true', and, say, ' ... is surprising' or ' ... is exag-
gerated' without, in the end, any compensation by way of genuine
ontological economy. And it is significant, in this regard, that Grover
et al., in a paper (1975) urging the claims of a redundancy-style
theory, argue that it is only a misleading appearance that ' ... is true'
and ' ... is surprising' are ascriptions to the very same thing.
1
Ramsey thought that ali truth talk is eliminable; Grover et al. aclmit
that there is a resídue, In sorne cases the elimination of 'true' calls for
modíñcation of the contaíned sentence, as' It used to be true that
Rorne was the centre of the k.nown world '/' Rorne used to be the centre
of the k.nown world' or, 'It rníght be true that there is life on
Mars 'f' There rnight be life on Mars '. And where this phenornenon is
cornbined with quantification, as in 'Sorne sentences used to be true
but are true no Ionger ', they are obliged to introduce new connectives,
as • (3p) (Ir-used-to-be-the-case-thet p but ir-is-no-longer-the-case-
that p) •, which they aclmit to be, in effect, truth-locutions. Their
commenta about • It might be true that', on the other hand, •uaest an
interesting altemative to the idea that necessary truth, like truth, is
a property of sentences or propositions.
I 34 Philosophy of logics
concepts, such as 'false', 'false of ... ', and 'definable '. In fact, it is
commonplace to distinguish the set-theoretical and the semantic
paradoxes (the distinction goes back to Peano; its currency derives
from Ramsey's charnpionship in 1925):
set-theoretical semantic
paradoxes paradoxes
(Rarnsey: 'logical') (Ramsey: 'epistemo/ogical')
Russell's paradox Liar paradox and variants
Cantor's paradox Grelling's paradox
Burali-Forti's paradox Berry's, Richard's paradoxes
(Essentially involve (Essentially involve
'set', 'E', 'ordinal nurnber') 'false', 'false of', 'defina ble')
sentence is true' refers to itself) this proposal is, at the same time, too
narrow.
The argument to a contradiction from the Liar sentence uses the
assumption that "This sen ten ce is false' is either true or false; and so,
unsurprisingly, it has often been suggested that the way to block the
argument is to deny this assumption. Bochvar proposed (1939) to
deal with the Liar by adopting a 3-valued logic in which the third
value, 'paradoxical ', is to be taken by the recalcitrant sentences.
(See also Skyrms 197oa, 197ob, and ch. 11 §3.) This proposal, too, is
in danger of being both too broad and too narrow: too broad, because
it requires a change in elementary (sentence calculus] logical prin-
cipies; and yet still too narrow, for it leaves problems with the 'Streng-
thened Liar' paradox - the sentence:
This sentence is either false or paradoxical
which is false or paradoxical if true, true if false, and true if paradoxical.
Another approach also denies that the Liar sentence is true or
false, without, however, suggesting that it has a third truth-value, by
arguing that it is not an item of the appropriate kind to have a truth-
value. Only statements, it is argued, are true or false, and an utterance
of the Liar sentence wouldn't constitute a statement. (See Bar-Hillel
1957, Prior 1958, Garver 1970; and cf. - mutatis mutandis with
'proposition' for 'statement' - Kneale 1971.) This kind of approach
suffers, I think, from inadequate explanatoriness - it doesn't supply a
suitable rationale for denying the offending sentences a truth-value.
Even granted for the sake of argument that only statements or
propositions can be either true or false (but granted only for the sake
of argument - cf. ch. 6) one would need an argument why in the case
of the Liar one does not have an ítem of the appropriate kind. After
all, the Liar sentence suffers from no obvious defi.ciency of grammar
or vocabulary. The mínimum requirements would be, first, a clear
account of the conditions under which an utterance of a sentence
constitutes a statement; second, an argument why no utterance of the
Liar could fulfil these conditions; third, an argument why only
statements can be true or false. Otherwise, one is entitled to complain
that the solution is insufficiently explanatory.
Paradoxes 141
the formal theory, by showing that what the formulae ruled ill-formed
say is demonstrably meaningless. It is important that the very same
philosophical rationale is given for both the simple and the ramified
theories. Indeed, since Russell held that sets are really logical con-
structions out of propositional functions, he saw the restrictions of the
simple theory as a special case of those of the ramified theory ( cf.
Chihara 1972, 1973).
At both the formal and the philosophical levels, Russell's account
runs into difficulty. Formally, there is sorne danger that Russell has
cut off his nose to spite his face; the restrictions avoid the paradoxes,
but also block certain desired inferences. Remember that Russell was
trying to complete the programme, begun by Frege, of reducing
arithmetic to 'logic ', i.e. to sen ten ce calculus, first-order predicate
calculus, and set theory. However, the type restrictions block the
proof of the infiníty of the natural numbers, and the order restric-
tions block the proof of certain bound theorems. In Principia Mathe-
matica these proofs are saved by the introduction of new axioms,
respectively, the axiom of infinity and the axiom of reducibility; this
ensures the derivability of the Peano postulates for arithmetic; but
the ad hoc character of these axioms lessens the plausibility of the
claim that arithmetic has been reduced to a purely logical basis. Still,
it could be thought that these difficulties, though they cast doubt on
the feasibility of Russell's logicism, don't necessarily show his solu-
tion to the paradoxes to be misguided.
But one's suspicions are confirmed by difficulties at the philo-
sophical level. In the first place, the V.C.P. certainly isn't stated with
all the precision that might be desired; and it is correspondingly
difficult to see what, exactly, is wrong with violations of it, Ramsey
com.mented that he could see nothing objectionable about specifying
a man as the one with, say, the highest batting average of his team - a
specifi.cation apparently in violation of the V.C.P. Not ali the circles
ruled out by the V.C.P., he urged, are truly vicious (notice the analogy
to the difficulties in the proposal to han all self-referential sentences).
However, despite these diffi.culties, Russell's diagnosis and solution
have continued to be influential; later, in §3, I shall argue that
Russell's approach is, indeed, in certain respects, on the right lines.
But my immediate concern is with other solutions which resemble
Russell's in interesting ways. His diagnosis is echoed in Ryle's
approach. Ryle 1952 argues that 'The current statement is false'
must be unpacked as 'The current statement (namely, that the
Paradoxes
and, being reluctant to deny (ii) (but cf. the comments, above, on
Bochvar's proposal) denies (i), proposing as a formal adequacy
condition that truth be defined for semantically open languages. So
Tarski proposes a hierarchy o/ languages:
the object language, O,
the metalanguage, M,
which contains (a) means of referring to expressions of O
and (b) the predicates 'true-in-O' and 'false-in-O',
the meta-metalanguage, M',
which contains (a) means of referring to expressions of M
and (b) the predicates "true-in-M", and 'false-in-M.',
etc.
Snow is white
formal solution
híerarchy of hierarchy of hierarchy of
orders of languages (problems language levels (with
propositions with transfinite levels) limit leve Is)
systematíc dístínct truth and single, unívoca! truth-
ambíguity of falsity predícates at predícate, wíth
'true' and each leve! applícation extended
'false' up to mínima! fixed
point
'true' and 'true' and 'false' 'true' and 'false' only
'false' completely completely defined partially defined
defined
'Thís sentence is 'Thís sentence is 'This sen ten ce is
false' meaníng- false-in-O' false- false' neither true nor
less in-M false.
rationale
V.C.P. (language- groundedness
relatívísatíon of
'true')
Paradoses
suggests (1970) a 'no-mixing' rule, which prevents one and the same
quantifier from binding both variables inside, and variables outside,
quotation marks, and hence disallows I above. But neither Tarski's
diagnosis, nor this kind of response, can be quite right; for an ana-
logous paradox can be derived without the use of quotation marks:
Let '§' be an operator forming a term from a sentence;
it could be read e.g. 'the statement that ... '
Let 'e' abbreviate 'the statement made by sentence
numbered 1 '.
Now, consider the sentence:
I. (p) (e = § P-+ -p)
I t can be established empirically that:
2. e= §(p)(c = §p-+ -p)
anda contradiction follows as before.1 Now one might try, again, to
impose restrictions on terrn-forming operators like '§'; for instan ce,
following the example of Harman 1971, one might rule that if 'p'
belongs to L, '§p' must belong, not to L, but to the metalanguage of
L. But this kind of manoeuvre - quite apart from its disagreeably
ad hoc character - again seems not to go to the heart of the problem;
for an analogous paradox can be derived without the use of '§'; one
has only to let 'e' abbreviate the sentence numbered 1 (instead of
'the sentence numbered 1 '; 'e' now abbreviates a sentence, not a
term):
r, (p) ((e = P)-+ -p)
so that, in virtue of the abbreviation,
2. (e = (p) ((e = p)-+ -p))
and once again a contradiction is derivable.
1 Sorne comments are called for about the moral to be drawn about
quotation marks. Tanki holds (and Quine agrees) that the result of
enclosing an expression in quotation marks is an expression denoting
the enclosed expression, but o/ fllhu:h the endosed expressio« is not
genuinely a part. The idea that quotation fonns a aort of 'logical block',
that 'dog' isn't part of "dog", Ieads to very curious consequences, and
is quite counter-intuitive (cf. Amcombe 1957). So it is a relief to find
that the failure of Tanki's diagnosi, of the parados leaves one free to
treat quotation as a function; cf. Belnap and Grover 1973, Haack 1975
for more detailed discussion.
Paradoxes
TABLE 2
semantic innovation,
novel paraphrase extended logic
strategies
eliminates tense introduces tense operators
eternal sentences, tensed sentences, change
no change of truth-value of truth-value
extensional formalism intensional formalism
substantial 'regimentation' conformity to ordinary
of informal arguments language
consonant with Newtonian in spirit
relativity theory
ontology of 4-dimensional ontology of objects
space-time world occupying space and
enduring through time
suitable than classical z-valued logic (Korner 1966); the idea is that
the trouble with vague predicates like 'tall' is that there are border-
line cases, i.e. cases of which the predicate is neither straightforwardly
true nor straightforwardly false, and that this problem may be solved
by allowing a third category, distinct from 'true' and 'false', to
accommodate borderline cases. But this doesn't solve the problem at
all satisfactorily; for it requires a sharp line to be drawn between
border-line cases and central, true or false, cases. Yet surely to insist
that at a given height a man ceases to be a borderline case aad be-
comes definitely tall, no less than to insist that at a given height a
man ceases to be not tall and becomes definitely tall, imposes an
artificial precision.
Zadeh also recommends that a non-standard logic be adopted, but
his 'fuzzy logic' represents a much more radical departure from the
classical. I'll first briefly sketch the salient formal features of fuzzy
logic. (For fuller details the reader is referred to Zadeh 1975, and
Gaines' survey, 1976.) Zadeh's non-standard logic is devised on the
basis of a non-standard set theory, 'fuzzy' set theory. Whereas in
classical set theory an object either is or is not a member of a given
set, in fuzzy set theory membership is a matter of degree; the degree
of membership of an object in a fuzzy set is represented by sorne real
number between o and 1, with o denoting no membership and I ful/
membership. (A fuzzy set will thus consist of all those objects which
belong to it in any degree, and two fuzzy sets will be identical íf the
same objects beJong to them in the same degree.) Now fuzzy set
theory can be used to characterise, semantically, a non-standard
logic; as values of sentence letters, instead of the two classical values,
one has the indenumerably many values of the interval [o, 1J, and
sentence connectives can be associated with set-theoretic operations
in the usual way ( e.g. negation with set complementation, implication
with set inclusion, etc.). The upshot is an indenumerably many-
valued Iogic. The exact character of this logic will depend upon the
characterisation of the fuzzy set-theoretical operations; one quite
natural set of assumptions yields the indenumerably many-valued
extension of t.ukasiewicz's 3-valued logíc (p. 2o6). Fuzzy logic is
constructed on the basis of one or another indenumerably many-
valued logic. There is thus a family of fuzzy logics, each with ita own
base logic. The indenumerably many truth-values of the base logic
are superseded by denumerably many fuzzy truth-values, which are
fuzzy subsets of the set of values of the base logic, characteriaed as:
166 Philosophy of logics
true, false, not true, very true, not very true, more or less
true, rather true, not very true and not very false ...
(Zadeh 1975 p. 410)
i.e., as the fuzzy set to which degree of truth o·6 belongs to degree
0·31 0·7 to degree 0·5, o·8 to degree 0·7, 0·9 to degree 0·9, and I to
degree 1 ( 1975 p. 411); is not this an artificial imposition of precision?
lt is hard to avoid the suspicion that Zadeh's programme brings only
doubtful benefits, and at excessive cost.
Modal logic
Necessary truth
Modal logic is intended to represent arguments involving
essentially the concepts of necessity and possibility. Sorne preliminary
comments about the idea of necessity, therefore, won't go amiss.
There is a long philosophical tradition of distinguishing between
necessary and contingent truths. The distinction is often explained
along the following lines: a necessary truth is one which could not
be otherwise, a contingent truth one which could; or, the negation of
a necessary truth is impossible or contradictory, the negation of a
contingent truth possible or consistent; or, anecessary truth is true in
all possible worlds (pp. 188:ff. below), a contingent truth is true in the
actual but not in all possible worlds. Evidently, such accounts aren't
fully explanatory, in view of their 'could (not) be otherwise', '(im)-
possible', 'possible world '. So the distinction is sometimes intro-
duced, rather, by means of examples: in a recent book (Plantinga
1974 p. 1) '7 + 5 = 1:2 ', 'If all menare mortal and Socrates is a man,
then Sócrates is mortal' and 'If a thing is red, it is coloured' are
offered as examples of necessary truths, and 'The average rainfall in
Los Angeles is about 12 inches' as an example of a contingent truth.
The distinction between necessary and contingent truths is a
metaphysical one; it should be distinguished from the epistemological
distinction between a priori and a posteriori truths. An a priori truth
is one which can be known independently of experience, an a
posteriori truth one which cannot, These - the metaphysical and the
epistemological - are certainly di:fferent distinctions. But it is con-
troversial whether they coincide in extension, whether, that is, all and
only necessary truths are a priori and all and only contingent truths
Modal logic
(logically) (logically)
versus
necessary contingent
1
i.e.
broadly i.e.
anal y tic synthetic
»<.
logically narrowly
--E
Quine's
true analytic attack
Fig. 5
reducibility to logical
truth plus definitions
\ /
synonymy as substitivity
Fig. 6 in ali (including modal) contexts salva veritate
with true premises and false conclusion, the result is the idea of a
statement such that no other statement of the same form is false:
which is very close to Quine's characterisation.1
Second: Quine's objection to narrow analyticity rests, at bottom,
on the idea that no explanation can be given of it except by means of
other terms from the 'intensional circle ', and that ali such tenns are
unclear. This will be relevant to discussion (pp. 189-90, 193-4 below)
of whether, in the interpretation of modal systems, it is realistic to
hope for a non-modal explanation of modal terms.
First, though, I shall be concerned with a syntactical characterisa-
tion of modal logics.
2 Modal systems
Extensions o/ classical logic
One system is an extension of another if it shares the vocabu-
lary of the first, and has the same theorems and valid inferences
involving only the shared vocabulary, but also has additional vocab-
ulary, and additional theorems and/or valid inferences involving that
vocabulary essentially; an 'extended logic' is a system which is an
extension of classical logic ( ch. 1 §2, ch. 9 § 1 ). Extensions of classical
logic are often motivated by the belief that the standard sentence and
predicate calculi are, though unobjectionable, less than fully ade-
quate: their theorems are logically true, and their valid sequents
truth-preserving, but there are other logical truths and/or valid
arguments which involve operations for which they Iack the vocabu-
lary, which they cannot even express.
Modal logic adds to the classical vocabulary the r-place operators
'L ', to be read 'necessarily ', and 'M', to be read 'possibly ', and the
z-place operator' -3', to be read 'strictly implies'. (Other extended
logics, such as epistemic logic, which adds the operators 'K', to be
read '» knows that ', and 'B ', to be read 'x belíeves that'; deontic
logic, which adds the operators '0', to be read 'It ought to be the
case that', and 'P', to be read 'It is permitted that'; and tense logic
(ch. 9 §3) are modelled rather closely on modal logic.)
Historical remarks
The logic of modal sentences was discussed by Aristotle and
by medieval logicians; in the present century Hugh MacColl (1880,
1906) contributed formal as well as philosophical proposals. But
sustained formal development carne in the present century, in thewake
of Frege's and Russell's development of non-modal sentence calculi.
The first axiomatisations of modal sentence logic were given by
Lewis 1918. The extension to modal predicate logic carne with
Marcus 1946.
The primary motivation for Lewis's development of modal
logics was dissatisfaction with the notion - central to the logic of the
Begriffsschrift and Principia Mathematica - of material implication.
Since 'p' materially implies 'q' if either 'p' is false or 'q' is
true, one has the theorems, the so-called 'paradoxes' of material
implication:
P-+(q-+p)
-p-+(P-+q)
(p -+ q) V (q -+ P)
A formal sketch
Only one modal operator need be added, as a primitive, to the
vocabulary of classical logic; with • L • (' necessarily ') as primitive,
• M' ('possibly') is standardly defined as:
MA =df -L-A
and' -3' as:
A -3 B = df L(A -+ B)
In the usual modal logics the formation rules allow 'LA' as a wff
whenever 'A' is a wff; this, of course, allows for iterated modalities,
such as' LMp' or 'LLp'.
Now there is not one, but a whole range, of modal logics, di:ffering
from each other with respect to the strength of the axiorns they admit
to govern the modal operators. I shall sketch sorne of the better-
known systems, in order of increasing strength.
So· 5, one of the weakest modal systems, results from the addition
of the axioms:
r, Lp--> p
and:
2. L (p --> q) --> (Lp --> Lq)
together with the rule:
(R) If A is a theorem of sentence calculus, then 1-80.5 LA
The system T results from the strengthening of (R) to:
(RN) If 1-T A, then 1-T LA
(so that 1-LA not only when A is a theorem of sentence calculus (as
with (R)) but also when it is one of the added axioms I and 2, etc.;
another contrast with (R) is that (RN) is iterable, so that one gets
1-LLA, 1-LLLA, etc.).
The systern 84 results from T by the addition of the axiom:
3. Lp--+ LLp
and the system S 5 from 84 by the addition of:
4. Mp->LMp
There are other modal systems as well, weaker, stronger and in
between these. The exact character of the quantified modal logic, also,
may differ according to sorne variations in the presentation of the
underlying predicate calculus. (For fuller details, consult Hughes
and Cresswell 1968.)
of science is the idiom of dispositions and its close relation, the sub-
junctive conditional. To say, for instance, that x is water-soluble, is to
say that if x were placed in water, x would dissolve. The material
conditional of truth-functional sentence calculus is inadequate to
represent the subjunctive conditional, for 'A --+ B' is true if 'A' is
false, while one does not suppose that 'x is soluble' or 'if x were
placed in water, x would dissolve' need be true just because x has
never been placed in water. Some writers believe that an adequate
formal representation of the subjunctive conditional requires modal
apparatus, specifically, appeal to possibilities. Modal analyses of
subjunctive conditionals have been offered by Stalnaker 1968 and
by D. K. Lewis 1973. Quine, of course, takes a somewhat dim view
of such proposals, just beca use they use this modal apparatus; but
he has also, more relevantly to the present issue, argued that sub-
junctive conditionals can be accommodated without it. At one time,
it seems, Quine admitted that dispositional terms must be part of a
language of science, and offered an extensional analysis of them:
'x is soluble', for instance, was explained along the lines of '(3y) (x
has an interna! structure like y, which has been placed in water and
which dissolved)'. Sometimes, Quine observed, as in the case of
solubility, the relevant structure is known; sometimes, as in the case
of irritability, the reference to an interna! structure is no more than a
'promissory note' (see 196oa §46). It has been argued, however, that
this account does not allow the surely genuine possibility that all
things of a certain kind should have a given disposition, and yet none
of them should ever have rnanifested it, as, perhaps, all nuclear power
stations have a disposition to explode in certain circumstances, even
though, thus far, safety precautions have ensured that those circum-
stances have not arisen, so that none have ever exploded (Mellor
1974). Subsequently, anyway, Quine seems to suggest that disposi-
tional terms do not really belong, after all, to the language of science;
they are essential only while the enterprise of science is uncompleted,
but can be dropped once the relevant structures are known. One
might feel that Quine's attempt to exclude dispositional idioms from
a 'regimented theoretical language' would be more convincing had
it not been preceded by an abaridoned attempt to include them in an
extensional guise; and one may well feel discomfort with the appeal
to a finished, by contrast with an ongoing, science, for such a dis-
tinction fits especially ill with Quine's usually pragmatic approach to
the philosophy of science.
Modal logic
is true, yet substitution on the basis of this identity into the true
sentence:
L (9 > 7)
yields the presumably false sen ten ce:
L (the number of the planets > 7)
9 > 7
and in modal predicate calculus, analogously,
(3x) L (x > 7)
follows from :
L (x > 7)
But Quine cannot accept that tker« is something rDlaich is Mcmarily
greater than 7 ('(3x) L (x > 7)'); the 'something', he argues, cannot
184 Philosophy of logics
be the number 9, for that is the number of the planets, and the num-
ber of the planets isn't necessarily, but only contingently, greater
than 7. Being necessarily greater than 7, Quine urges, can't be a
property of a number; it is only that that a number is greater than 7
necessarily follows if it is specified in certain ways (e.g. as the
number 9, oras the sum of 5 and 4) but not if it is specified in certain
other ways (e.g. as the number of the planets], If modal predicate
calculus requires one to accept that the number 9 has the property of
being necessarily greater than 7, it is committed to essentialism, the
thesis that things have sorne of their properties necessarily, or
essentially. But essentialism, according to Quine, is a 'metaphysical
jungle' (1953b p. 174), to which the only appropriate response is
'puzzlement' (196oa p. 199).
The difficulties thus far discussed, Quine allows, could be avoided
if one was prepared to place sufficiently stringent restrictions on the
universe of discourse, specifically, to admit only objects such that
any two conditions specifying them are necessarily equivalent, i.e.:
C: ((y) (Fy =
y = x) & (y) (Gy = y = x))-+
L (y) (Fy = Gy)1
Condition C restores substitutivity; i.e., given C:
(x) (y) ((x = y & Fx) -+ Fy)
However Quine points out (1953b pp. 155-6) that substitutivity,
together with the presumably true:
L (x = x)
yields the conseq uence that:
(x) (y) (x = y-+ L (x = y))
that is, that all identities are necessary, And this, Quine thinks, is
doubtful. (It has, for example, been held by sorne proponents of the
physicalist theory that the identity they claim between the mind and
1
Quine points out (1953a pp. 152-3, contra Church 1943) that restricting
the universe of discourse to intensional objects, e.g, numerical concepta
rather than numbers, wouldn't be sufficient to restare substitutivity,
For if a is such an intensional object, and p a sentence which is true
but not necessarily true, then:
a = (,x) (p & x = a)
But this identity i, not analytic, and ita two sídes are not ínter-
changeable in modal contexts ,alva VtTitate.
Moda//ogic
the brain is contingent, not necessary; it is like, for instan ce, the
identity between lightning and electrical discharges in the atmosphere.
Such contingent identities, they assume, are commonplace in science.)
This is rather closely related to the first problem discussed, with
'L ( ... = x)' replacing 'L ( ... > 7) '. Indeed, the 'Moming Star
paradox' is another well-known version of the original problem:
necessarily (presumably) the Moming Star = the Morning Star; but,
though the Moming Star = the Evening Star, it is not necessary,
but contingent, that the Moming Star = the Evening Star.
The further consequences of imposing condition C, anyway, are,
Quine argues, even worse: modal distinctions collapse, for with
condition C one can prove that:
p�Lp
which, in view of the axiom 'Lp � p' means that Lp = p, so that
'L' is redundant.!
So the strategy of Quine's critique is this: adjunction of modal
operators leads to anomalous behaviour on the part of singular terms
and bound variables; these difficulties may be avoided by a restriction
on the universe of discourse, but at the cost of the collapse of modal
distinctions. The collapse of modal distinctions could not, of course,
be tolerated by the supporters of modal logic; the question is, there-
fore, whether they can avoid or explain what Quine sees as 'mis-
behaviour' on the part of singular terms and bound variables in
modal contexts. In one way or another, their responses consist, as
one would expect, in claiming that what Quine takes to be false (or
perhaps doubtfully intelligible) consequences of quantified modal
logic are, in fact, when properly understood, true. For instance, de re
modalities and essentialism are defended (e.g. Plantinga 1974) and it
is argued that all identities are, indeed, necessary [Marcus 1962,
Kripke 1972).
I can't look at all the replies which have been made to Quine's
criticisms, but will confine myself to a couple which serve quite well to
illustrate what is at issue. Several writers (e.g. Smullyan 1948,
Fitch 1949) argue that the apparent failure of substitutivity in modal
contexts can be shown, once one takes adequate care about the
I The argument goes: let p be any true sentence, and let F be
'p & y = x' and G be' y = x'; then from C it follows that
L(y) (p & y = x = y = x), whence, in particular,
L(p & x = x ;;; x = x), and so Lp.
1 86 Philosophy of logics
9 = (1.x) Fx
And the sentence
L (the number of the planets > 7)
which Quine takes to be straightforwardly false, is ambiguous;
depending on the scope (p. 65) given to the definite description it
can be understood eithcr as:
The number of the planets is necessarily > 7
oras
It is necessary that the number of the planets is > 7.
Of these, Smullyan argues, the first follows from 'L (9 > 7)' and
'9 = the number of the planets', but that is ali right, because it's
true; while the second is false, but that's also all right, because it
doesn't follow.
Smullyan's distinction blocks Quine's original argument in quite a
neat way. However, his solution requires one to accept the truth of
"The number of the planets is necessarily greater than 7' which has,
when the definite description is eliminated, the form:
(3x) ((y) (y numbers the planets = x ""' y) & L (x > 7))
But Quine, no doubt, would object to this, where a quantifier (thc
initial '(3x) ') binds a variable (the 'x' in "x > 7 ') inside a modal
context; this after ali is just his example of the misbehaviour of
bound variables in modal contexts. Smullyan's solution would be, in
Quine's eyes, unacceptably essentialist.
Marcus, however, denies (1962) that there is really anomalous
behaviour on the part of the quantifiers in modal contexts. Quine's
difficulties spring from his reading the quantifier objectually, as
'There is at least one object, x, such that x is necessarily greater than
7', and then asking what this object could be. Marcus proposes,
instead, that the quantifier be read substitutionally, as 'Sorne sub-
stitution instance of 'L ( x > 7)' is true' ; and this, she argues, is
Modal logic
syntactic terms, as 'no formula of the form 'A & - A' is derivable'.
But such an account - as I observed under (i) above - leads to a
conception of necessity weaker than that formalised by the usual
modal systems. (The fact that Quine's scepticism about analyticity
doesn't extent to logical truth is pertinent here.) The rival accounts
of possible worlds seem all to be apt to violate the independence
requirement: the semantic linguistic approach because 'consistent' is
explained as 'possibly true'; the realist because (since, despite Lewis'
habit of speaking of other possible worlds as if they were like distant
places, Australia or Mars, we can't visit other possible worlds, nor
have we, to borrow a phrase of Kaplan's, a J ules-Verne-o-scope
through which to inspect them) it gives no test of which worlds are
possible; the conceptualist beca use someone who claims to be a ble to
imagine a world in which A is apt to be told he has wrongly des-
cribed what he imagines if A is inconsistent. However, 1 suspect that
the requirement of epistemological independence may be unaccept-
ably stringent; and if so, those critics of Quine (e.g. Grice and Straw-
son 1956) who conunented that, in "Two dogmas', he has asked for
the impossible and complained when it wasn't forthcoming, are, in
sorne measure, vindicated.
(iii) Third, Quine found it hopelessly obscure what it was that
quantified modal logics quantify over. Now the problems about the
transworld identity of possible individuals can reasonably be seen, 1
think, as confirming sorne of Quine's suspicions on this score. For
of the 'solutions' sketched above, (4) amounts rather to giving up the
problem than to solving it, (3) depends upon the rejection of the
requirement that one quantify only over items for which one can give
adequate identity conditions, (2) depends on a distinction between
names and descriptions which Quine rejects, and ( 1) seerns to
require a form of essentialism - essentialism not about kinds of
thing, but about indioiduals (cf. Parsons 1969). lf, that is, one
accepts Quine's views about quantification then the problem of trans-
world identity of individuals is soluble only at the cost of (individual)
essentialism. Of course, this leaves one with the options of rejecting
Quine's views about quantification or accepting essentialism, besides
the option Quine recommends, of abandoning the enterprise of
modal logic.
Modal logic
195
5 Prospects
I should say, to make it quite clear that the following remarks
should not be taken in the spirit of a Strawsonian critique of the
inadequacies of formal languages to the subtleties of English, that
formalisation, inevitably, involves a certain amount of sirnplificatíon ;
it is a legitimate aim of modal logics to aspire to represent what is
vital to reasoning about possibility and necessity while ignoring
inessential features of modal discourse in ordinary language. How-
ever, in view of the metaphysical burden that conventional modal
logics carry, there may be profit, 1 think, in a fresh look at the infor-
mal argument that they are intended to formalise.
There are many features of modal discourse in English to which
these modal logics are quite insensitive. For example, 'possible'
takes modifiers, as: It is perfectly (quite, entirely, distinctly, remotely,
just, barely, ... ) possible that. .. ; it is a distinct (remote, real, ... )
possibility that. . . Sorne of these locutions suggest a link with
'probably' or 'likely' (e.g. 'It is just possible that I shall be late'
seems close in meaning to 'It is possible, but highly unlikely, that I
shall be late'). 'Necessary' doesn't take the same modifiers -which
may of itself occasion sorne doubts about 'Mp = - L-p' - but it
can be qualifi.ed in other ways, as: It is absolutely necessary (quite
essential ... ) to ...
These features may turn out to be logically significant. But I feel
more discomfort about logicians' disregard for sorne other features of
English1 modal discourse, which seem to have quite a strong prima
facie claim to logical relevance. In English one needs to pay attention
both (i) to the tense of a modal operator and (ii) to the tense and the
mood of the verb in the contained sentence. The conventional modal
logics are wholly insensitive to both tense and mood; yet it seems to
make a difference whether one reads:
M (3x) (Fx)
for example, as:
It is possible that there is an F (There may be an F)
oras:
It is possible that there should be an F (There might be
(have been) an F)
I It would be a pertinent question whether they are shared by other
languaaes.
196 Philosophy of logics
M(Fa)
as:
I t is possible that a is F ( a may be F)
oras:
It is possible that a should be F (a might be (have been)
F).
Or, again, consider the difference between:
It is possible that he has hadan accident
said when the visitor is late and has not yet arrived, and:
It was possible that he should have hadan accident
when the visitor has arrived late, and the delay is known to have been
due to a traffic jam ; or, the significance of the tense of the modal
operator in:
Lp-+ (q -3 p)
L-p-+ (P -3 q)
(This argument is, of course, valid in the standard sentence logic. You
will recall that it is just because, in standard logical systems, anything
follows from a contradiction, that consistency is of such overriding
importance.) Lewis' challenge to critics of strict implication is to say
what step of this argument, and its twin for the other 'paradox ',
could possibly be rejected.
Other writers, however, find the 'paradoxes' of strict implication
quite as shocking as Lewis thought the 'paradoxes' of material
implication. lt has been said that they are 'so utterly devoid of
rationality [as to be] a reductio ad absurdum of any view which involves
them' (Nelson 1933 p. 271), that they are 'outrageous' (Duncan-
Jones 1935 p. 78). These writers won't allow that strict implication
adequately represents the intuitive idea of entailment. Nelson, for
instance, argues that what is required for A to entail B is not just that
it be impossible for A to be true and B false, but also that there be
sorne 'connection of meanings' between A and B.1 However, the
difficulty is to specify just when there i's a 'connection of meanings'
between propositions, and to justify the rejection of whatever step(s)
of Lewis' 'proofs' of the paradoxes of strict implication are held to
violate this requirement. A further problem is that manoeuvres
adopted to block Lewis' proofs may ramify in perhaps unanticipated
and unappealing ways; sorne critics, for example, found themselves
obliged to deny the transitivity of entailment. Not surprisingly,
perhaps, it has been doubted (e.g. Suppes 1957) whether the idea of
connection of meaning, or, more generally, the idea of the releoance
of one proposition to another, is amena ble to formal treatment.
Relevance logicians, however, think otherwise.
Releoasc« log,"c
As with modal logic, there is not just one, but a whole range
of 'relevance logics '. 1 shall concentra te on R, the system of 'relevant
implication' proposed by Anderson and Belnap ( 1962a, b, 197 5) and
E, the combination of R with the modal system 84 to give a system of
'entailment' (Anderson and Belnap 1975); cf. Smiley 1959 for an
especially clear and helpful account of the alternatives.
Anderson and Belnap agree that entailment is, as Lewis held, the
converse of deducibility; they urge, however, that the standard
1
It may be of more than historical aignificance that Lewis hi.maelf made
sorne proposala along lines similar to Nelson'• in an early paper (1912)
attacking Ruaaell'a notion of implication.
Modal logic
199
conception of deducibility, because it ignores considerations of
relevance, is defective. Relevance logicians urge that their conception
of deducibility, and not the 'official' notion of classical logicians, is
the one that one's intuitive, uncorrupted sense of what it is for an
argument to be valid requires:
(1) q assumption
(2) p � p axiom
(3) q � (p � p) (from (1) and (2), by the deduction
theorem: if A 1- B then 1- A� B)
(This is the 'implicational fragment ', i.e. the axioms involving only
implication, of R.) Entailment, however, they think, requires
necessity as well as relevance; so the connective representing entail-
ment should be restricted by imposing, besides the restrictions on
deducibility which ensure relevance, other restrictions characteristic
of strict implication as specified by 84. The upshot is these axioms,
the implicational fragment of E, for entailment (which I'll write by
an obvious analogy, '=d):
1.A�A
2.A ::j B :::j ((B � C) =! (A � C))
3. A =3 B ::::;j (((A � B) =i C) :::¡ C)
4. (A� (B � C)) � ((A :::j B) =:éj (A :::j C))
The full system E is obtained, finally, by adjoining axioms for the
other sentential connectives.
It remains to show how Anderson and Belnap meet Lewis'
challenge: where, according to them, does Lewis' 'proof' of 'q' frorn
'P & -p' go wrong? They don't, of coursc, deny Lewis' claim that
'q' is deducible from 'p & -p' by 'sorne valid form of infercnce',
in the 'official' sense of "oalid"; what they deny is that 'q' is deducible
from 'p & - p' by a valid form of inference in their sense, i.e., they
take it, the real sense of 'va/id'. Anderson and Belnap centre their
criticism on the step from 'p v q' and ' - p' to 'q '. (In classical logic,
of course, this step is justified, being an instance of what is sometimes
known as the 'disjunctive syllogism '.) Their more detailed diagnosis
of what is wrong with Lewis' argument goes as follows (Anderson and
Belnap 1975 pp. 165-6). 'Or' has two senses, the truth-functional
and the intensional; in the latter but not the former sense, the truth
of 'p V q' requires that the disjuncts be relevant to each other. Now,
they argue, the step from 'p' to 'p V q' is valid only if 'v ' is understood
truth-functionally, while the step from 'p v q' and '-p' to 'q' is
valid only if 'V' is understood intensionally. Once again, I should
Modal logic 201
point out that by 'valid' here they mean, naturally, valid in their
�ense; they don't deny that if 'p v q' (where 'v' is truth-functional)
is true, and '-p' is true, then, necessarily, 'q' is true, but they do
deny that this is sufficient to show that the argument is valid.
Now, of course, in classical logic, since 'A� B' is equivalent to
'-A V B' the disjunctive syllogism (from '-A' and 'Av B' to
infer 'B') is equivalent to modus ponens (from 'A' and 'A� B' to
infer 'B'). And, indeed, as one might, in view of this equivalence,
expect, modus ponens for material implication fails in E.
The relevance logicians, as should, by now, be apparent, challenge
classical logic in more than one way.
(i) Most fundamentally, their challenge is to the classical concep-
tion of validity. Classical logicians have conceived of relevance as
irrelevant to the validity of an argument; irrelevance, if itis considered
at all, is apt to be relegated to the category of rhetorical defects.
Consequently, relevance logicians give a stricter sense to the notion
of one proposition's being deducible from another, and, hence, to its
converse, the notion of one proposition's entailing another.
(ii) So, relevance logicians introduce a new entailment connective,
' :=;;¡ ', to extend the classical logical apparatus.
(iii) And finally, their diagnosis of a 'fallacy of relevance' in dís-
junctive syllogism, and hence, in modus ponens for material implica-
tion, leads them not only to add a new connective to the classical
logical apparatus, but also to reject certain principies of inference
for classical connectioes.
In the case of relevance logic one has, that is, a challenge to classical
metaconcepts (strategy 6 of ch. 9 §2), an extensum of tke classical
apparatus (strategy 4) and, at the same time, a restriction of it
(strategy 5). Of these, the challenge to the classical concept of
validity is the most basic. How is one to assess this challenge? Well, it
is hard to deny that, at an informal level, irrelevance is seen as a
defect in an argument. The question is, rather, whether it is more
properly regarded as a logical defect or as a rhetorical defect. The
difference between logical and rhetorical concems could perhaps be
indicated, in a rough and ready way, by stressing rhetoric's interest in
the audience for whom an argument is intended; and on this count,
relevance - conceived as a relation between propositions - apparently
has a claim to belong to logic. An important reason why considera-
tions of relevance have tended to be disregarded by logicians, I think,
is that they don't seem, on the face of it, very readily amenable to
:202 Philosophy of logics
Many-valued logic
I Many-valued systems
Restrictions of classical logic: deviant logics
One system is a deviation of another if it shares the vocabu-
lary of the first, but has a different set of theorems/valid inferences;
a 'deviant logic' is a system which is a deviation of classical logic.
(A system may involve both an extension and a deviation of classical
logic, if it adds new vocabulary and hence new theorems/valid in-
ferences, but at the same time differs from classical logic with respect
to theorems/valid inferences involving only shared vocabulary
essentially. The system E, considered in ch. 10 §6, would be an
example.) Many-valued logics are deviant; sharing its vocabulary,
they characteristically lack certain theorems of classical logic, such as
the 'law of excluded middle', 'p V -p'. (Sorne also add new vocab-
ulary and so come in the category of extensions as well.)
The many-valued logics I shall consider in this chapter were
devised from two main kinds of motivation: the purely mathematical
interest of alternatives to the z-valued semantics of classical sentence
logic; and - of more philosophical interest - dissatisfaction with the
classical imposition of an exhaustive dichotomy into the true and the
false, and, relatedly, dissatisfaction with certain classical theorems
or inferences. The second kind of motivation is characteristic - as I
observed in ch. 9 §2 - of proposals for restrictions of classical logic.
Historical remarks
Many-valued logics have as long a history as modal logics:
Aristotle already expresses reservations about bivalence (De inter-
pretatione ix); early in the present century Hugh MacColl made both
Many-oalued logic 205
Formal sketch
Recall ( ch. 3 § 1) that a system is n-valued if n is the smallest
number of values which any characteristic matrix for that system has.
When speaking of 'many-valued' logics I shall restrict myself to
n-valued logics where 2 < n (so z-valued logic isn't 'many-valued';
this follows standard usage).
Though there is just one system of z-valued logic (in the broad
sense of 'system' explained in ch. 2, in which two systems are the
same if, differences of notation, primitives, and axioms/rules taken
into account, they have just the same theorems/valid inferences)
there are alternati ve systems of j-valued (etc.) logic. This is scarcely
surprising; for, once one has 3 or more values, obviously, alternative
decisions are possible about the value to be assigned to compound
formulae.
I shall offer only a sketch of sorne of the best-known many-valued
logics, and shall concentrate on formal points which bear on the
philosophical issues raised subsequently. (More detailed formal
treatment is to be found in Rosser and Turquette 1952, Ackennan
1()67, or Rescher 1()6g.) My presentation will be semantic rather than
syntactic; this is not only consonant with the history of many-valued
206 Philosophy of logics
logics, but also, I think, brings out the differences between them in
a more perspicuous way.
Lukasiewicz'a 3-valued logic (Lukasiewicz 1920, 1930) is charac-
terised by the following matrices:
B A &B
A -A A t i f
•t f t t i f
i i i i i f
f t f f f f
B A-+ B B AvB
A t i f A t i f
t t i f t t t t
i t t i i t i i
f t t t f t i f
(* indicares the designated value, i.e. the value such that wffs which
uniformly take it count as tautologies.)
X A-+B
t i f
i f
i t i i
f t t t
Unlike Lukasiewicz, Kleene didn't think of i as an intermediate
truth-value; rather, it was to represent 'undecidable', and to be
taken by mathematical sentences which, though either true or false,
are neither provable nor disprovable. Kleene's matrices are thus
constructed on the principie that where the truth or the falsity of one
component is sufficient to decide the truth orfalsity of a compound, the
compound should take that value despite having (an)other, undecid-
able component(s); otherwise, the compound is itself undecidable.
Bochvar's j-valued system (Bochvar 1939) was originally intended
as a solution to the semantic paradoxes (ch. 8 §2), and the interpreta-
tion he had in mind for the third value was 'paradoxical' or 'meaning-
less ', On the principie that a compound sentence of which a com-
ponent is paradoxical is itself paradoxical, he offered matrices in
which the third value is, so to speak, 'infectious':
B A&B
A
i f
i i i i
f f i l
B AvB B A-+B
A t i f A t i f
t t i t t t i f
i i i i i i i
f t i f f t i t
(On these matrices, of course, there will be no wffs which take t for ali
assignments to their atomic components, since i input always results
in i output. For in each table the central entries read 'i' throughout.)
So Bochvar adds an 'assertion operator', which I'll write 'T' since
it seems to mean something like 'lt is true that':
A TA
t t
i f
f f
208 Philosophy of logics
m
logics are an exception because of his 'cyclical' matrix for negation:
2 Philo1ophical motivatiom
I shan't be able to consider all the arguments which their pro-
ponents have offered in favour of many-valued logics, but will have to
restrict myself to what, 1 hope, is a reasonably representative sample.
Future contingents
Lukasiewicz introduces his j-valued logic by means of an
argument derived from Aristotle, to the effect that unless one allows
that statements about the future are not yet true or false, one will be
committed to fatalism. (Lukasiewicz's interpretation of Aristotle is
disputed, but that dispute needn't concern me here; cf. Haack 1974
ch. 4 for relevant discussion.) Lukasiewicz's argument runs along the
following lines. Suppose it is true now that I shall be in Warsaw at
noon on 21 December next year; then I can't not be in Warsaw at
noon on 21 December next year, that is to say, it is necessary that I be
in Warsaw at noon on sr December next year. Suppose on the other
hand that it is false now that I shall be in Warsaw at noon on·
Many-oalued logic :209
L (A--+ B)
to:
A�LB
(If it isn't obvious that this is a fallacy, consider this clearly non-
truth-preserving instance: L ((p & q) � p), so (p & q) � Lp.)
If I am right about this, fatalism doem': follow from bivalence, so,
even if fatalism is an unacceptable thesis, there is no need to reject
bivalence on that account, and Lukasiewicz has not provided a good
reason for adopting his 3-valued logic.
However, other writers have given quite di:fferent arguments in
favour of t.ukaaiewicz's logic.
210 Philosophy o/ logics
Quantum mechanics
Reichenbach argues (1944; Putnam 1957 supports his
proposal) that adoption of 3-valued logic (the one he proposes is just
like Lukasiewicz's but for the addition of further negation and
implication operators) would provide a solution to sorne problems
raised by quantum mechanics. His argument has the following
structure : if classical logic is used, quantum mechanics yields sorne
unacceptable consequences, which he calls 'causal anomalies'
(roughly, statements about quantum mechanical phenomena which
contradict classical physical laws for observable objects); these
causal anomalies can, however, be avoided, without interfering with
quantum mechanics or classical physics, by using a 3- instead of the
z-valued logic. Briefly:
classical physics & quantum mechanics & classical [ogic -+
causal anomalies
classical physics & quantum mechanics & 3-valued logic -+
no causal anomalies
Reichenbach, like Lukasiewicz, reads the third value as 'indeter-
minate"; but the kind of statement which he intends to take this
value is quite different from what Lukasiewicz had in mind. Briefly,
one of the peculiarities of quantum mechanics is this: although it is
possible to measure the position of a particle, and possible to measure
its momentum, it is impossible - it follows from the theory that it is
impossible - to measure both position and momentum at once. Bohr
and Heisenberg had suggested that statements indicating both the
position and the momentumof a particle ata given time be regarded as
meaningless or ill-forrned ; Reichenbach prefers to allow that they are
meaningful(after all, each component is, separately, quite unproblem-
atic) but neither true nor false, but indeterminate. Reichenbach's
argument raises too many questions for me to discuss here; for
example: are the diffi.culties on account of which Reichenbach wants to
modify logic genuine? and is it methodologically proper, anyway, to
modify logic to avoid diffi.culties in physics? (but cf. Haack 1974
ch. 9). However, there seems to be little doubt that, even if Reichen-
bach is right that there is a need for a non-classical logic, the particu-
lar non-classical logic he proposes doesn't meet what he takes to be
the need. The motivation for the adoption of a non-classical logic
was to avoid the causal anomalies without tampering with physics
(see Reichenbach 1944 pp. 159-60, 166); however, since Reichen-
Many-oalued logic :211
Semantic paradoxes
Bochvar's j-valued logic was intended to supply a solution
to the semantic paradoxes: 'this sen ten ce is false' is true if false and
false if true; Bochvar's proposal is that it be assigned neither 'true'
nor 'false', but a third value, 'paradoxical' or 'meaningless '. I have
already argued (ch. 8 §2) that this kind of approach to the paradoxes
is apt to go from the frying pan - the Liar paradox - to the fire - the
Strengthened Liar (' this senten ce is either false or paradoxical ',
true if false or paradoxical, false or paradoxical if true). As with Luka-
siewicz's logic, however, other reasons than those given by its origi-
nator have also been suggested in favour of a 3-valued logic like
Bochvar's.
Meaninglessness
Halldén's (1949) 'nonsense logic', for instance, has matrices
like those for Bochvar's intemal connectives, in which the third value
(' meaningless ') infects any compound to any component of which it
is assigned. But this, again, doesn't supply any very impressive
reason in favour of Bochvar's logic. For, as I argued in ch. 9 §4, the
whole enterprise of a 'logic of meaninglessness' seems to me funda-
mentally mísconceíved.
I have already commented on the curious, 'infectious' character of
Bochvar's third value, pointing out that it has the perhaps rather
dismaying consequence that there are no wffs using only the intemal
connectives which take the val u e 'true' for ali assignments to their
components, One proposal, however, gives this an interesting
rationale.
ZIZ Philosophy of logics
Undecidable sentences
Kleene's j-valued logic is intended, as we saw, to accommo-
date undecidable mathematical statements; the third value repre-
sents 'undecidable ', and the assignment of that val u e to a wff is not
intended to indicate that it is neither true nor false, only that one
can't tell which. Indeed, it is just because Kleene takes it that
undecidable wffs are true or false that he adopts the principie that a
compound wff with an undecidable component should be decidable
if the values of the other components suffice to ensure that the whole
is either true or false (e.g. if IPI = i and lql = t, IP V q¡ = t). So
while the philosophical motivation for Kleene's 3-valued logic seems
unexceptionable enough, what he proposes seems to be less radical,
Many-oalued logic :213
less of a challenge to classical a-valued logic, than initially appears
(cf. Kripke's insistence (1975) that his use of Kleene's valuation
rules poses no threat to classical logic; see ch. 8 §:2). These reflections
raise sorne interesting questions about how the adoption of a many-
valued logic may be expected to affect the theory of truth.
are true or false, 'p v -p' will be true sohether 'p' is true ar false. And
this suggests that Kleene's principles mightjustify a different assign-
ment to 'p v -p' than to 'p v q', when both disjuncts have i. But
this, of course, would require a non-truth-functional logic.
Supervaluations
Van Fraassen's non-truth-functional 'supervaluational Iang-
uages' (see 1966, 1968, 19l>9) seem to be more consonant than
Kleene's own j-valued matrices with the principles on which
Kleene argues for his assignments. The idea, briefly, is this: a super-
valuation assigns to a compound wff sorne component(s) of which
lack(s) truth-value that value which all classical valuations would
assign, if there is a unique such value, and otherwise no value. Since
all classical valuations - i.e. both those that assign 'true' and those
which assign 'false' to 'p' -would assign 'true' to 'p V -p', the
supervaluation also gives 'true' to 'p v -p '. However, sin ce the
classical valuation which assigns 'false' to 'p' and to 'q' assigns
'false' to 'p v q', while all other classical valuations assign 'true' to
'p v q', there is no unique value assigned by all classical valuations to
'p V q', and the supervaluation gives it no value. It isn't hard to see
that supervaluations will give 'true' to all classical tautologies and
'false' to all classical contradictions, but no val u e to contingent
formulae; however, though van Fraassen's systems will thus have
j ust the same tautologies as classical logic, they di:ffer from classical
logic with respect to the inferences which are allowed as valid - for
instance, 'disjunctive dilemma' (if A � C and B � C, then A v B � C)
fails - which is why they count as deviant.
Intuitionist logic
Another non-truth-functional deviant logic which is of
substantial philosophical and formal interest, is Heyting's Intuitionist
logic.
The Intuitionists claim [see e.g. Brouwer 1952, Heyting 1966) that
classical logic is, in certain respects, incorrect. It is important, how-
ever, that their disagreement goes deeper than their rejection of
certain classical laws. F or, first, the In tuitionist view of the scope and
character of logic is quite distinctive; the Intuitionists think oflogic as
secondary to mathematics, as a collection of principies which are
discovered, a posteriori, to govem mathematical reasoning. This
obviously challenges the 'classical' conception of logic as the study of
Many-oalued logic 217
r. p--+ (P & p)
2. (P & q)--+ (q & P)
3· (P --+ q)--+ ((p & r)--+ (q & r))
4· ({p--+ q) & (q--+ r))--+ ( p --+ r)
5· q--+ (P--+ q)
6. (p & (P --+ q)) --+ q
7· P --+ (P v q)
8. (P v q)--+ (q v P)
9. ((p--+ r) & (q--+ r))--+ ((p V q) --+ r)
ro. l P --+ (p --+ q)
rr. ((p--+ q) & (p--+ l q))--+ lP
(' l' is the usual symbol for Intuitionist negation.) Notice that this
list contains axioms governing each connective ('&', 'v', '--+', '1');
in Intuitionist logic the connectives are not interdefinable, so all
must be taken as primitive. This is related, of course, to the fact that
Intuitionist logic has no finite characteristic matrix ( cf. cornrnents
on interdefinability of connectives in ch. 3 § r). Heyting's logic lacks
sorne classical theorems; notably, neither 'p V lP', nor '11P--+ p', are
theorems. However, the double negations of ali classical theorems
are valid in lntuitionist logic.
Heyting's is not the only, although it is the best entrenched,
system of Intuitionist logic: in fact, Johansson's logic (1936), which
lacks the tenth axiom, has, arguably, a better claim properly to
represent the logical principies which are acceptable by Intuitionist
standards. But Heyting's logic has sorne unexpected affinities,
affinities which raise questions about the distinction between deviant
and extended logic, with modal logic, which is why it will occupy my
attention for the rest of this section.
There is little doubt that the lntuitionists see themselves as
challenging the correctness of certain theorems of classical logic. This
makes it appropriate that they should propose a restriction of classical
logic, in which the disputed theorems fail. However, Heyting's
calculus, though on the face of it a deviation of classical logic, may
also be interpreted as an extension of classical logic. lf one takes
Intuitionist negation and conjunction as primitive, and defines dis-
junction (P v q = df l ( l p & l q)) implication and equivalen ce in the
usual, classical way, in terms of them, then all classical theorems can
be derived in the Heyting logic; in addition, of course, ali the theo-
rems in Intuitionist disjunction, implication, and equivalence -
Many-oalued logic
Sorne metaphysical
and epistemological questions
about logic
Metaphysical questions
The purpose of this chapter is to tackle sorne of the questions
about the status of logic which are raised by the existence of a
plurality of logical systems - a plurality I have been exploring in
previous chapters. Sorne of these questions are metaphysical: e.g. is
there just one correct logical system, or could there be several which
are equally correct? and what could 'correct' mean in this context?
Others are epistemological: e.g. how does one recognise a truth of
logic? could one be mistaken in what one takes to be such truths?
1'11 start with the metaphysical questions, since the answers to the
epistemological questions are apt to depend, to sorne extent, upon the
answers to them.
�
No Yes
/
lNSTRUMiNTALISM
Is there one correct logic?
/�
Yes No
1 1
MONISM PLURALISM
1
global or local?
global pluralism
/�
local pluralism
Fig. 7
Fig. 8
i.e, he fragments the relation between (i) and (iii), or else he denies
that validity in the deviant logic is intended to correspond to extra-
systematic validity in the same sense as that to which validity in
classical logic is intended to correspond, i.e. he fragments the relation
between (ii) and (iv).
Comments
It is often enough the case in philosophy that asking the right
questions is half the battle. However, the other half is not to be
shirked; and I shall now offer sorne comments on what I take to be
the major issues. But the questions that have been raised here are, I
think, enormously difficult, and there is a serious problem about
finding a starting point for the argument that begs no pertinent
questions; so I should stress that the next paragraphs are tentative
as well as, no doubt, inconclusive.
I indicated early on ( ch. 2 § 2) that I do take there to be an extra-
systematic idea of validity to which formal logical systems aim to give
precise expression. It is clear enough from the history of formal logic
( consider Aristotle, for instance, or Frege) that the motivation for the
construction of formal systems has been, on the basis of an initial
conception of sorne arguments as good and others as bad, to sort out
logical from other, e.g. rhetorical, features of good arguments, and to
give rules which would permit only the logically good arguments and
exclude the bad. This, therefore, inclines me to answer the first
questions affirmatively, and so to reject the instrumentalist position.
This inclination is strengthened, furthermore, by sorne persistent
doubts about whether an instrumentalist can have anything sensible
to say about how one is to choose between logical systems. The
instrumentalist norrnally concedes that, at least for certain purposes,
one logical system may be judged better than another, perhaps as more
convenient, more fruitful, more appropriate, yielding the desired
inferences ... But no matter how convenient or fruitful it might be if
one could in fer 'A and B' from 'A ', this would, or so it seems to me,
228 Philosophy of logics
and deviant logics, and so it may have no general answer, but perhaps
different answers for different deviant logics, It may be, that is, that
some deviant logicians are using different metaconcepts from the
classical logician, and others the same; or that the meaning-variance
thesis is true of some deviant logics but not of others; or, indeed, both,
A more piecemeal approach is appropriate from here on. Of course,
though, monism and pluralism are asymmetric in a way which is
relevant; even one instance of a deviant logic which could be correctas
well as classical logic would tip the balance to pluralism.
Now, although I urged that there is an extra-systematic idea of
validity which formal systems of logic aspire to represent, I also ob-
served (pp. 14-15) that that idea is by no means fully precise, and that
it may be refined and perhaps modífied as logic develops. The rele-
vanee logician (ch. 10 §6) rejects the principie, from 'A' and 'A� B'
to infer 'B'; modus ponens, he urges, is invalid. He makes it plain,
furthermore, that he is speaking of modus ponens for ordinary,
classical, material, implication. However, he doesn't deny that if 'A'
and 'A� B' are true, then, necessarily, 'B' is true; what he means,
when he says that MPP isn't valid, isn't what the classical logician
means, when he says that MPP is valid, since the relevance logician
would agree that MPP is valid in the classical sense of 'va/id'. This
case, 1 think, gives sorne grounds for a global pluralism ( and it may
be that there is also something to be said for the idea that, in lntui-
tionist logic, a non-classical conception of logical truth is being
employed).
However, to opt unqualifiedly for global pluralism at this point
would be, 1 think, to take much too lightly the relevance logicians'
insisten ce that the classical logicians' conception of validity is not just
different from theirs, but also inadequate. There is real competition,
genuine rivalry, here, not over which arguments are valid in an
agreed sense of 'valid ', but over what conception of validity is most
proper and adequate. (Recall the suggestion made earlier, p. :201, that
relevance logicians could be seen as urging that relevance of prernises
to conclusions, which classical logicians regard as a rhetorical feature
of good by contrast with bad arguments, is really a logical feature of
good arguments, a matter of validity.) Due regard for the significancc
of this disagreement seems to require that one combine a kind of
global pluralism about logical systems with a recognition that there
may be real competition at the level of metaconcepts,
What, now, of the meaning-variance argument for pluralism? It is
230 Philosophy of logics
2 Epistemological questions
... no statement is immune from revision. Revision even
of the law of the excluded middle has been proposed as a
means of simplifying quantum mechanics; and what
difference is there in principie between such a shift and
the shift whereby Kepler superseded Ptolemy, or Einstein
Newton, or Darwin Aristotle? (Quine 1951 p. 43)
Quine is claiming that logic is revisable. I think he is right; but the
epistemological issues that this claim raises are far more cornplex than
one might suspect from the elegant but rather perfunctory treatment
they receive in 'Two dogmas'.
One needs, first, to get clear just what is meant by the claim that
logic is revisable - and, equally importantly, what is ,wt meant by it.
What I mean, at any rate, is not that the truths of logic might have
been otherwise than they are, but that the truths of logic might be
other than we take them to be, i.e. toe could be mistaken about sohat the
truths o/ logic are, e.g. in supposing that the law of excluded middle is
one such.
So a better way to put the question, because it makes its epistemo-
logical character clearer, is this: does fallibilism extend to logic?
Even this formulation, however, needs further refinement, for the
nature of fallibilism is often misundersrood.
Metaphysical and epistemological questions 233
What is fallibilism?
To say that a person (or group of people, 'the scientific
community ', for instan ce) is fallible - I'll use 'fallible' in the sense
of 'cognitively fallible ', that is to say, fallible with respect to beliefs,
and not, for instance, with respect to promises, resolutions, etc. - is to
say that he is liable to hold false beliefs; to say that a method is fallible
is to say that it is liable to produce false results; of course, a person
may be fallible because he uses fallible methods - consultation of
entrails or horoscopes, perhaps - of acquiring beliefs. It seems to me
to be undeniable that people are fallible - we are all liable to hold at
least sorne false beliefs; we know of beliefs that people used to hold
that they are false - once, for instance, people believed that the sun
moves round the earth, that the earth is flat ... etc. - and it is reason-
able, as well as modest, to suppose that we, too, believethings thatare
false, though, of course, we don't know which of the things we believe
are the false ones, and we should naturally stop believing them if we
did.
However, epistemologists have often thought that, with respect to
certain kinds of belief - beliefs about one's own immediate sense-
experience are a favoured example - people may be infallible: they
are liable to have false beliefs about astronomy, geography ... etc., but
they are not liable to be mistaken about whether they are in pain,
seeing a red patch ... etc. And neither, sorne writers have argued,
are we liable to be mistaken abo u t the truths of logic; logic, they think,
has a special epistemological security. Popper, for example, though
he stresses our fallibility where scientific conjectures are concemed,
nevertheless seems confident that logíc is safe; see 196o for his
fallibilism, and cf. 1970 for his refusal to extend fallibilism to logic.
(ii) self-eoidence. StiU, the idea that the truths of logic are self-
evident needs closer examination. What does it mean to claim that
sorne proposition is self-evident? Presurnably, something to the effect
that it is obviously true. But once it has been put Iike this, the diffi-
culty with the concept of self-evidence cannot be disguised. The fact
236 Philosophy of logics
that a proposition is obvious is, sadly, no guarantee that it's true. (It is
pertinent that different people, and different ages, find different
and even incompatible propositions - that sorne men are naturally
slaves, that ali men are equal. .. - 'obvious '.) Whether one says that
Frege's inconsistent axioms only seemed self-evident, but couldn't
really have been, or that they toere self-evident but unfortunately
weren't true, self-evidence must fail to supply an epistemological
guarantee ; beca use either ( on the latter assumption) a proposition
may be self-evident but false, or else (on the former assumption)
though if a proposition is self-evident then it is, indeed, true, one has
no certain way to tell when a proposition is really self-evident.1
Revision o/ logi'c
If fallibilism does extend to logic, if, as I have claimed, we
are apt to be mistaken in our beliefs about logic, then it would be
prudent to be prepared, if need be, to revise our logical opinions,
238 Philosophy o/ logics
But this isn't to say that revisions of logic should be lightly under-
taken, for the extreme generality of Iogical principles means that such
revisions will have the most far-reaching consequences; logic is
revisable, but the reasons for revision had better be good. As I argued
in ch. 11 § 3, the arguments offered in favour of deviant logics have,
too often, been rather weak.
0 a
0 b
Propositions, however, are public; you and I can both 'grasp' the
same proposition, and this is what makes it possible for there to be
objective, public knowledge.8
This argument could be questioned on more than one score: e.g.
why does Frege assume that everything mental is subjective and
private? Is it relevant that the psychology with which he was familiar
was introspectionist? But it is, anyway, pretty clear that the argument
does not oblige one to divorce logic from mental processes in the way
Frege supposes. For the postulation of propositions will only
guarantee the publicity of knowledge if propositions are not only
objectioe, but also accessible, if we can "grasp ' them; and this is just
what the Platonist version of the argument for weak psychologism
requires.
In fact, however, Frege has nothing very substantial to say to
mitigate the mysteriousness of our supposed ability to 'grasp' his
Gedanken:
1
1 shall ignore altogether Frege's arguments against psychologistic
accounts of number, except to observe that, in view of his logiciam, he
would have taken these arguments to bear indirectly on psychologism
with respect to Iogic,
I
Popper's reasona for divorcing epieternology from paychology are very
similar.
Metaphysical and epistemological questions
a b
a b
(Dewey saw this: see 1929 p. 196.) And this supplies a reason for
preferring, as I urged, the nominalist version of the argument for
weak psychologism.
Logic, I suggested, is prescriptive of reasoning in the Iimited sense
that inference in accordance with logical principies is safe. (Of course,
safety needn't be an overriding consideration; one might, quite
rationally, prefer fruitful but risky to safe but relatively uninteresting
procedures; cf. de Bono's championship, e.g. in 196g, of 'lateral
thinking'.) It is important, however, that on the weak psychologistic
view, though logic is applicable to reasoning, the validity of an argu-
ment consists in its truth-preserving character; it is in no sense a
psychological property. Consequently, weak psychologism avoids the
main difficulty of strong psychologism, the problem of accountíng
for logical error: for, since people surely do, from time to time, argue
invalidly, how could the validity of an argument consist in its con-
fonnity to the way we think? This isn't to say that strong psycholo-
gism is flatly incompatible with logical mistakes; but that the two can
be reconciled only by means of sorne explanation of such mistakes as
the result of sorne irregularity or malfunction of our reasoning powers.
(According to Kant, logical mistakes are the result of the unnoticed
influence of sensibility on judgment.) Nevertheless, its much readier
242 Philosophy of logics
procedure ') for determiníng, for any wff• of the syatem, whether or not
that wff is a theorems. Examples: sentence calculus is decidable; the full
predicate calculus (including polyadic• as well as monadic " predícates) is
not, Truth-tables supply the decision procedure for sentence calculua;
a truth-table test determines whether a wff is a tautologyé, and, by the
eoundness= and cornpletenessé results, ali and only tautologies'" are
theoremse.
Deduction
A sequenceof wffs• (of L) is a deduction (in L) of BfromA1 ... A,. iff itis
a valid• argument (in L) with A1 ... An as premises and B as conclusion.
Deduction theorem
If, in a formal system L, if
A1 .. , An 1-L B, then 1-L A1->- (A1->- ( ... (A,.--,. B)))
then the deduction theorem bolds for L.
Definite description
Expression of the form 'The so-and-so", written, formally, '(•x) Fx':
See ch. S §3.
Definítíon
An explicit definition defines one expressíon (the definiendum) by means of
another (the definiens) which can replace the first wherever it occurs.
A contextual definítíon supplies a replacernent for certain longer expres-
sions in which the definiendum occurs but not an equívalent for that
expression itself. (If xs can be contextually defined in terms of ys, xs are
sometimes said to be lagical constructions out of ys, and 'x' to be an
incompleto symbal•.) A recursioe definition gives a rule for eliminating the
definiendum in a finite number of steps. A set of axioms'" is sometimes said
to give an implicit definítion of its primítive" terms, See ch. 3 § r for the
interdefinability of connectives: ch. 4 § 3 for Russell's contextual definí-
tion of definite descriptions ; ch. 7 § 5 for Tarski's recursive definition of
satisfaction; pp. 103-4 for formal conditions on definitions.
Designated value
'Truth-like value, such that ali compound wffs• which take a designated
value for ali assignrnents to their componente are tautalcgies•.
Deviation
L1 is a deviation of L1 if it has a different set of theorems/valid inferences
essentially involving vocabulary shared with L1• A deviation of classical
logic is a deoiant lagic. See chs. 9, 11, 12.
Dísjunction
Wff• (statement) of the form 'A V B'. Disjunctive dllemma is the form of
argument: if A 1- C, B 1- C, then A V B 1- C.
Dispositional
A dispositional predicare ascribes a tendency or 'ha bit'; in English man y
such predicares end in '-ble' (as: 'irritable', 'soluble'). Dispositional
statements (' thís sugar lump is soluble') are equivalent to subjimctÍfie
conditionalss (' íf this lump of sugar were to be placed in water, it would
dissolve'). See ch. 10 §3.
Domain
(U ni verse of diacourse) - range of the variables'" of a theory. See ch. 4 f J.
Double negation, principie of
A == - -A. See discussion of Intuitionist logic, ch. 11 f4.
Enthymeme
Argument with a suppressed premise.
246 Glossary
Epistemology
Theory of knowledge.
Equivalence
Two wffs (statements) are lagically equiualent if they necessarily have the
same truth-value, They are material/y equioalent if they have the same
truth-value.
Excluded middle
p V -p (cf. bivalence•). See ch. II § 3.
Extension
L1 is an extension of L2 if it contains new vocabulary, over and above
vocabulary shared with L1, and has new theorems=jvalid ínferences'"
involving the new vocabulary essentially. An extension of classical logic
is an extended logic, See chs. 9, 10, 12.
Extension/intension
Reference (extension) versus sense (intension) of an expression. For a singular
term, the extension is ita referent, for a predicare, the set of things it is
true of, for a sentence, its truth-value. Two expressions with the same
extensión are co-extensiue, Related terminology: Bedeutung ( = extensión)
versus Sinn ( = intension) of an expressíon (Frege); denotation versus
connotation (Mili); extensional versus intemionat• contexts. See discussion
of Frege's theory of sense and reference, ch. 5 § 2; cf. Quine's distinction
between theory of reference and theory of meaning, p. 119.
Extensional/intensional
A context is extensional if co-referential expressions - singular terms with
the same denotation, predicates with the same extension, or sentences
with the same truth-value - are substitutable within it without changing
the truth-value of the whole, 'salva oeritate ', i.e, if Leibni2' law holds for
it; otherwise, it is intensional, Examples: ' lt is not the case that ... ' is
extensional, "Necessarily ... ' or 's believes that ... ' are intensional.
Related terminology: oblique ( = intensional) context (Frege); referentially
transparent ( = extensional) versus referentially opaque ( a intensional)
context, purely referential occurrence (i.e, occurrence in an extensional
context) of a singular term (Quine); trvth-Junctionat• conncctive ( • ex-
tensional sentence-forming operator on sentences), See discusaion of
Davidson's prograrnme, ch. 7 § 5 ¡ cf. Quine's critique of the analytic/
synthetic distinction, ch. 10 § 1.
Finite/infinite
A set is infinite if it has a proper subset such that its members can be put
in one-one correspondence'" with the mernbers of that proper subset.
A set is finite if it is not infinite. A set is denumerably infinite if it can be
put in one-one correspondence with the natural numbers.
Formalism
School in the philosophy of mathematíes (Hilbert, Curry) characterised
by the view that numbers may be identified with marks on paper. See
díscussion of the formalist approach to logíc, p. 224.
Godel's (i ncompleteness) theorem
Arithmetic is incompletc; there is an arithmetical wff which is true but
neither provable nor disprovable (G6del 1931). See p. 139 for comrnents
on the role of self-reference in G6del's proof.
Goldbach'a conjecture
Hypothesis that every even number greater than 2 is the sum of two
primes.
Glossary
Implication
(i) 'P' material/y implies 'q' (' p----+ q') if it is not the case that p and not q;
'p' strictly implies 's' (' p � q') if it is ímpossible thatp and not q (p � q
= L(p-+ q)). See ch. 3 §2 on '----+' and 'if, then'; ch. 10 §6 on relations
between material, strict, and relevant conditionals, and the intuitive idea
of entailment.
(ii) 'Implies' is also used in another way, as 's implied that p' (where it is
a relation between speakers and proposítions, rather than, as above,
between propositions). In this use it means something Iike 's hinted,
though he didn't exactly say, that p'. Compare discussion of Grice's
'conversational implicature ', p. 36,
lncomplete symbol
Contextually defined• expression. See ch. 5 §3, ch. 7 §7.
lndependent
The axíomse of a formal system are independent of each other if none is
a logical consequenceé of the others.
lndexical
Expression the reference of which dependa on the time, place or speaker,
e.g, 'now', 'I', 'here'. See ch. 7 §6(c).
Induction
(i) An argument is inductiuely strong if the truth of its premises makes the
truth ofita conclusion probable. See ch. 2 §2.
(ii) Mathematical induction: a form of (deductively valid) argument used in
mathematics, to show that ali numbers have a property by showing that
o has that property, and that if a number has that property, ita successor
also has it.
Inference
A person infers q from p if he comes to accept q on the strength of p, or comes
to accept that if p were the case, then q would be the case. See ch. 12 § 3
on the relevance of logic to inference; and ch. 2 § 3 on rules oj inferenc«.
Interpretation (of a formal system)
A set (the domain'", D) and a function assigning elements of D to
singular terms=, n-tuples of elements of D to n-place predicares, and
functions with n-tuples of elements of D as argurnent and elements of
D as val u e to function symbols. See interpreted and uninterpreted systems,
pp. 3ff; chs. 4 and 5; ch. 10§4 on 'pure' versus 'depraved' semantics.
Intuitionism
School in the philosophy of mathematics (Brouwer, Heyting), charac-
terised by the view that nwnbers are mental constructions: leads to a
restricted arithmetic and to a non-standard logic. See ch. 11 §4.
Logical atomism
School of philosophy (early Wittgenstein, Rusaell) seeking logically
to analyse the structure of the world into ita most fundamental com-
ponents (the' logical atoms '). See discussion of the correspondence theory
of truth, ch. 7 §2; of affinities with Davidson's programme, p. l24fl,
Logical positivism
School of philosophy centred on the Vienna Circl« (Schlick, Camap);
characterised by the oerification principie, according to which the meaning
of a statement is given by ita verification-conditiona, and unverifiable
statementa are meaningless. See discussion of Quine'a attack on the
analytic/,ynthetic• distinction, ch. 10 § 1.
248 Glossary
Logical truth
A wff• is logically true in L iff it is true in ali interpretations of L. See
ch. :z §:z.
Logicism
School in philosophy of mathematics, characterised by the thesis (Frege,
Russell) that the truths of arithmetic are reducible to logic (or, analytic»
in the Fregean sense); numbers are reducible to sets. See díscussion of the
logícist programme and the question of the scope of logic, ch. 1 §:z; of the
effect of Russell's paradox, p. 137.
Mass term
Expression denoting a kind of sruff or material (as: 'water', 'snow',
"grass ') rather than, like a 'singular term ', an individual object (as: 'glass
of water'). See ch. 7 § 6(c).
Metalogic
Study of formal properties - e.g. ccnsistency", completeness'", decida-
bility•, - of formal logical systems. See discussion of relations between
philosophy of logic and metalogic, ch. 1 § 1; of modal logic conceived of
as a metalogical calculus, p. 18:z.
Metaphysics
Traditionally, 'the science of being as such '. 1 use "rnetaphysical '
primarily to emphasise the distinction between questions about the way
things are (e.g. ' Is there one correct logic? ') from epistemological ques-
tions, questions about our knowledge of how things are (e.g. 'Might the
laws of logic be other than we take them to be?'). See ch. 12.
Modus ponens (MPP)
The rule of inference ", from 'A' and 'A--+ B' to infer 'B'. See discussion
of the failure of MPP in relevance logic, ch. 10 §7.
Monadic/dyadic/polyadic
An open sentence/connective is monadic (r-place) if it has one, dyadic
(a-place) if it has two, polyadic (many-plaee) if it has more than two
argument(s); e.g. ' ... is red' is a monadic, • . , . is larger than - ' a dyadic
open sentence, See the discussion of the role of sequences of objects in
Tarski's definitions of satisfaction/truth, pp. 105ff,
Monism/pluralism/instrumentalism
(i) In metaphyslcs'", monism is the thesís that there is only one ultímate kind
of thing, dualism the thesis that there are two, pluralism the thesís that
there are more than two.
(ii) Monism about logic is the thesis that there is only one correct logical
system, pluralism the thesis that there is more than one correct logical
systern, instrumentalism the theais that the notion of' correcmess ' doesn 't
apply to logical systems. See ch, 12 § 1.
Natural deduction
A natural deduction presentation of a logical system relies on rules of
inference= rather than axioma•, See ch. 2 §3.
Necessary/sufficient conditions
A is a necessary condition for B, if B can't be the case unless A is; A is
a sufficient condition for B, if, if A is the case, B is.
Negation
The negation of 'A' is' -A'.
Nominalism/Platonism/ conceptualísm
The nominalist denies, the Platonüt uaerta, that there are real UfflfJtr1al1
(e.g. redneu squareness etc.r: the conceptualist claims that universals are
Glossary :249
mental entities. Related terminology: reism, materialism, pansomatism
(forms of nominalism) versus realism (form of Platonism). See the discus-
sion of second-order quantifiers=, ch, 4 § 3; of Davidson's extensionalism•
and Kotarbif>.ski's nominalism, p, 124n; of the status of possible worlds,
ch, IO §4,
Object language/metalanguage
In talking about systems, the systern being talked about is known as .the
object language, the system being used to talk about it, the metalanguage.
(N.B. this is a telative rather than an absolute distinction; e.g, one
might use French (the metalanguage) to talk about English (the object
language) or English to talk about French.) Thus, metalogic=, the study
of logical systerns. See discussion of Tarski's use of the distinction in the
definition of truth, ch, 7 §6; cf. its relevance to the semantic paradoxes+,
ch. 8 §2.
One-one eorrespondence
Two sets• x and y are in one-one correspondence if there is a one-one
relations, R, by which each member of x is related to exactly one member
of y, and each rnember of y to exactly one mernber of x,
Ontology
Part of metaphysics concerned with the question, what kinds of thing
exist. See ch. 4 §2 for discussion of relations between logic and ontology.
Oratio obliqua
lndirect (reported) speech, as: "s said thatp'. See ch. 7 §6(c).
Paradoxes
(i) (Also known as 'antinomies ',) Contradictions derivable in semantica"
and set• theory; they include the Liar ('This sentence is false') and
Russell' s parado» (' The set of ali sets which are not members of themselves
is a mernber of itself iff it is nota member of itself'). See ch. 8.
(ii) The "paradoxes ' of material and strict Implicaeíons are theoremss of
classical, a-valued and modal logic (' p-+ ( - p ...... q) ', 'L-p-+ (p -3 q))'
which seern rather counterintuitive with '-+' or ' -3 ' when read 'if ... '.
I use scare quotes beca use these • paradoxes ' involve no contradiction.
See ch. 10.
Peano postulates
Set of axioms for the theory of natural numbers:
1. o is a nurnber,
a. The successor of any number is a number.
3, No two numbers have the same successor.
4. o is not the successor of any number.
5, If o has a property, and, if any number has that property, then the suc-
cessor of that number has that property, then ali numbers have that
property, (Inductíone axiom.)
Pragmatisrn
American school of philosophy initiated by Peirce and James (other
pragmatista include Dewey and F. C. S. Schiller); characterised by the
• pragmatic maxim ', according to which the meaning of a concept is to be
sought in the empirical or practica! consequences (Kant - pragmatische -
empirically conditioned; Greek praxis - action) of its application. See
diacussion of pragmatist theory of truth, ch. 7 §4.
Presupposition
'A' preaupposea • B' if 'A' is neither true nor falee unleu • B' is true. See
ch . .5 §3.
250 Glossary
Primitive
Undefined tenn (see definitíon'").
Proof A proof (in L) of A is a deduction• (in L) of A from no premises except
the axioms'" (of L), if any. A wff• A is provable (in L) if there is a proof
(in L) of A; it is disprovable if its negation • is provable.
Propositional attitude
Verbs such as 'knows', 'believes', 'hopes' etc., which take the eonstruc-
tion ', <lls that p ', are known as verbs of propositional attitude (Russell).
Quantifier
Expression ('(3 ... )'- the existential quantifier- or '( ... )' - the universal
quantifier) binding variables=, See ch. 4.
Quantum rnechanics
A physical theory concerned with atomic structure, emission and absorb-
tion of light by matter. See discussion of 'quantum logic ', ch. 11 §2.
Refute Show a thesis (or theory etc.) to be false. N.B. to deny that p is not to
refute 'p'.
Relation
A 2- or more-place predicate is called a relation symbol; its extension• -
the set• of ordered pairs (triples ... n-tuples) of which it holds - is known
as a relation-in-extension. A relation R is transitiue if, if (x) (y) (e) Rxy
and Ry«, then Rxz; symmetric if (x) (y), if Rxy then Ryx; reflexive if
(x) Rxx,
Salva ceritate
Without change of truth-value.
Satisfaction
(i) In Tarski's definition of truth (ch. 7 § .5): relation between open sentences
and sequencea" of objects (as e.g. (Edinburgh, London, ... } satisfies
'x is north of y').
(ii) In imperative logic (p. 8.5): analogue of rruth-value, assigned to irn-
perative sentences (as e.g, 'Shut the door I' is satisfied iff the door is
shut),
Sequence
Ordered pair, triple ... n-tuple of objects (i,e, like a aet•, except that the
order matten; while (a, b) • (b, a), (a, b) +(b, a)). See the role oí
sequences of objects in Tanki's definition of satisfaction•, ch. 7 § .5.
Set • any collection into a whole ... of definite, distinguishable objects'
(Cantor); however, set-theory includes the null set, which has no mem-
bers. See Russell's paradox•,p. 136. '(a, b, e}' means'thesetconsisting
of a, b, e'; '(xlFx}' mesns 'the set of things which are F'; 'a e {x(Fx}'
rneans 'a is a member of the set of things which are F'. (In GlSdel-
von Neumann-Bemays set-theory a distinction is drawn between sets,
which can both have members and themselves be mernbers, and classes,
which have members but can't themselves be members.)
Skolem-Lowenheim theorem
Every theory that has a model (is consistent•) has a denumerable (see entry
under finite/infinite•) model. See p . .51 for ita bearing on substitutional
quantification.
Sound
(i) An argument is sound if (i) it is valid • and (ii) ita prerniae1, and hence, ita
conclusión, are true.
(ii) A lagical ,ystem is s0tmd iff all ita theorem1 are lo¡ically true•; 10undneu
is the converse of completenesa'",
Glossary
Syntax/semantics/pragmatics
Syntax is the study of formal relationa between expressions; thus, the
vocabulary, fonnation rules and axioms•/rulea of inference s of a system
are called the syntax of the systern. Semantics is the study of relatiom
between linguistic expressions and the non-linguistic objects to which
they apply ; thus, the interpretation= of a system is called the sernantics of
the system. (Roughly, the distinction between syntax and semantics could
be cornpared to that between grammar and meaning.) Pragmaties is the
study of relations between expreasions and the use or users of theae
expressions. See syntactie and semantic accounts of validity, ch. 2 §2;
syntactic, semantic and pragmatic approaches to propositions etc., ch. 6 § 1;
pragmatic relations of com·ersational implicature, p. 36; and pre-
supposition •, pp. 67ff.
Tautology
Technical sense: a wff• is a tautology if it takes the value 'true' for ali
assignments of truth-values to its atomic • components (extended, in the
case of many-valued logics, to: if it takes a designated'" value for ali
assignments to its atomic cornponents). The soundneu• proof for
sentence calculus shows that only tautologies• are theorernsw; the com-
pleteness • proof that ali tautologies are theorems.
Non-technical sense: a statement is tautologous if it says the same thing
twice, and so is trivíally true. See the discussion of the pre-systematic idea
corresponding to the technical notion of logícal truth ", pp. 14-15.
Theorem
A wff• A is a theorern of L iff A follows from the axioms• of L, if any,
by the rules of inference " of L. See ch. 2 §2, ch. 12 § 1.
Theory of types
Russell's formal solution to the paradoxes+; the simple theory o/ types
avoids the set•-theoretical, the ,amified theory o/ types avoids the
semantic+ paradoxes. See ch. 8 §2.
Truth-functional
A connectiue (sentence-formíng operator on sentences) is trutJr-funetional
if the truth-value of a compound of which it is the main connective
dependa solely upon the truth-values of its componente; in which case
a truth-table can be given for that eonnectíve. A logical systmr is truth-
[unctional if ali its constants are truth-functional. An n-valued system is
junctionally complete - has an adequate set o.f connectioes - if it has enough
connectives to expresa ali n-valued truth-functions. Examples: the con-
nectives of classical and finitely many-valued sentence calculi are truth-
functional; modal operators and episternic operators are not. See
discussion of logicians' preference for truth-functional connectivee, ch. 3
§2; of many-valued and non-truth-functional calculi, ch. 11.
(T) acherna
Tarski's material adequacy condition requirea that any acceptable definí·
tion of truth have as consequence ali instances of the (T) acherna:
u
S true iff p
where ' S' names the sentence on the right-hand side, See ch. 7 ff S and 6.
Valid A formal argument is:
syntachºcally valid-in-L iff its conclusion follows from its premíses and
the axioms• of L, if any, by means of the rules of inference• of L,
snnantical/y valid-in-L iff its conclusion is true in ali interptttations of
L in which ali its premises are true.
252 Glossary
An informal argument is :
valid iff its premises could not be true and its conclusion false.
See ch. 2 §2; ch. 10 §6.
Variable Expression, as:' x', 'y' ... (in first-order predicate calculus), ranging ouer e
domains of objects; by contrast with conetanta", as: 'a', 'b' ... , each of
which denotes a specific element of the domain. An expression which can
be substituted for a variable is called a substituend for the variable; the
elements over which it ranges, its oalues. A bound variable is one within,
a free variable one without, the acope of a quantifier ". See ch. 4.
Verisimilítude
Nearness to the truth (Popper); see ch. 7 §6(b).
Vicious circle principie
Poincaré and Russell diagnose the paradoxes'" as resultíng from violations
of the vicious circle principie (V.C.P.): 'whatever involves all of a
collection cannot be a member of that collection '. See ch. 8 § 2.
Wff Well-formed formula, i.e, string of symbols of a formal language correctly
constructed with respeet to its [ormation rules. A formula is any string of
symbols of a formal language.
ADVICE ON READING
I have given full references in the text, to enable the reader to Jocate
relevant literature on specific issues. The point of the present section is to
give those new to the subject sorne suggestions about where to begin
reading.
I have taken for granted an acquaintance with elementary formal logic, as
presented in, say, Lemmon 1()65, or Quine 1950, which is somewhat
harder but a good dea) richer, A compact presentation of metalogical
results can be found in Hunter 1971 or Boolos and Jeffrey 1974. For the
history of logic, consult Kneale and Knea)e 1()62.
Although there are severa) 'introductions • to the philcsophy of logic, they
are generally harder, and require more sophistication in the reader, than
their titles suggest: Strawson's Introduction to Logical Theory (1952) pre-
sents a sustained critique of formal logic from the point of view of
ordinary language philosophy, and should be read in conjunction with
Quine's review (1953c); Quine's Philosophy oJ Logic (1970) is, though
short, rich and wide-ranging, but it takes for granted a good deal of dis-
tinctively 'Quinean' philosophy, and is more suitable for the advanced
than the beginning student; Putnam's Philcsophy oJ Logic (1971) is
devoted to a single issue, the need for abstract entities in logic.
There are severa) valuable collections of papera, Van Heijenhoort 1()67a
contains the classic papers from Frege' s initiation of modern logic with the
Begriffs1chrift (1879) to Godel's incompleteness theorem (1931). Other
useful collections of more recent philosophical papers include Copi and
Gould 1()67, Strawson 1()67, Iserninger 1()68.
If you want to find reading on a specific subject, but don't know where
to begin Jooking, you may find the articles on Jogic and philosophy of
Jogic in the Encyclopaedia oJ Philcsophy (Edwards 1967) uaeful; they are
generally infonnative, and have helpful bibliographies. The revíews in the
journal oJ Symholic Logic of (philosophícal as well as formal) anides frorn
other journals may also be found valuable. 1 recommend, in general, that
you begin with primary rather than secondary material, - that you read
Frege's own papera before commentators on Frege, for cumple; you will
find that aecondary material is generally much more useful if you've
already sorne acquaintance with the work on which it's baaed.
254 Advice on reading
Massey, G. 1974. Are there any good argumenta why bad argumenta are bad]
Philosophy in Context 4 '
Meinong, A. 1904. The theory of objecta, in Unter,uchungen sur Gegenstandt-
theorie und Psychologie; trans. Levi, Terrel and Chisholm in Iseminger 1968
Mellor, D. H. 1974. In defense of dispositions, Philosophical Rf!f!itW 82
Mendelson, E. 1964. Introduction to Mathematical Logic (van Nostrand)
Michalski, R. S., Chilansky, R. and Jacobsen, B. 1976. An application of
variable-valued logic to inductive learning of plant disease diagnostic rules,
Proceedings of the Sixth International Symposium on Multiple-Valued Logic
(Utah State University)
Mili, J. S. 1843. A System of Logic (Longman's)
Miller, D. W. 1974. Popper's qualitative theory of verisimilitude, British Journal
for the Phi/osophy of Science 25
Molnar, G. 1969. Kneale's argument revisited, Phi/osophica/ Reoie» 77
Montague, R. 1963. Syntactical treatments of modslity, Acta Philosophica
Fennica 16; and in Thomason 1974
- 1973. The proper treatment of quantification in ordinary English, in
Approaches to Natural Language, ed. Hintikka, Moravcsik and Suppes (Reidel);
and in Thomason 1974
Moore, G. E. 1908. Professor James' 'Pragmatism', Proceedings of the Aristotelian
Society 8; and in Moore 1922
- 1922. Philosophica/ Studies (Routledge 1922, 1900)
- 1952. Commonplace Book, ed. Lewy (Allen and Unwin)
- 1953. Some Main Problems of Philosophy (Macmillan)
Nagel, E. and Newman, J. R. 1959. Gódel's Proof (Routledge and Kegan Paul)
Nelson, E. J. 1933. On three logical principies in intensión, Monist 43
- 1946. Contradiction and the presupposition of existence, Mind 55
Nerlich, G. 196 5. Presupposition and entailment, American Philosophical Quarterly 2
Ness, A. 1938. 'Truth' as conceived by those who are not professional
philosophers, Skrifter utgitt av Der Norske Videnkaps-Akademi; Os/o 11:
Hist-Filos Klasse, 4
Neurath, O. 1932. Protocol Sentences, in Logical Positivism, ed. Ayer (Free
Press 1959)
Nidditch, P. H. (ed.) 1968. Philosophy of Science (Oxford U.P.)
O'Connor, D. J. 1975. The Carrespondence Theory of Trutñ (Hutchinson)
Parsons, T. 1969. Essentialism and quantified modal logic, Philosophical Review
77; and in Linsky 1971
- 1974. A prolegomenon to Meinongian semantics, Journal of Phi/osophy 71
Pears, D. F. (ed.) 1972. Bertrand Russell (Anchor)
Peirce, C. S. 1868. Questions conceming certain faculties claimed forman,
Journal of Speculatioe Philosophy 2; and in Peirce 1930-58, 5, 213ff.
- 1877. The fixation of belief, Popular Science Monthly 12; and in Peirce
1930-58, 5, 358ff.
- 1885. On the algebra of logic, American Jo11rnal of Mathematics 7; and in
Peirce 1930-58, 3, 210-38
- 1930-58. Collected Papers, ed, Hartahome, Weiss and Burla (Harvard U.P.)
(Reference to the collected papers are by volume and paragraph no., a•,
e.g. 3, 117 = volume 3, paragraph 117.)
Pitcher, G. (ed.) 1964. Truth (Prentice-Hall)
Plantinga, A. 1974. The Nature of N«essity (Oxford U.P.)
Popper, K. R. 1947. New foundatiom for logic, Mind 56
- 1954. Self-reference and meaning in ordinary language, Mmd 63
262 Bibliography
- 1960. On the sources of knowledge and ignorance, Proceedings of the British
Academy 46; and in Popper 1963•
- 1961. The Open Society and Its Enemies (1945), vol. 2, znd edition (Routledge
and Kegan Paul)
- 1963. Conjectures and Refutations (Routledge and Kegan Paul)
- 1970. A realist view of physics, logic and history, in Physics, Logic and History,
ed. Yourgrau and Breck (Plenum)
- 1972. Objectioe Knowledge (Oxford U.P.)
- 1976. Unended Quest (Fontana)
Post, E. 1921. Introduction to the general theory of elementary propositions,
American Journal of Mathematics 43; and in Heijenoort 1g67
Prawitz, D. 1965. Natural Deduction (Almqvist and Wiksell)
Priest, G. G. 1976. Modalíty as a rneta-concept, Notre Dame Journal of Formal
Logic 17
Prior, A. N. 1955. Formal Logi'c (Oxford U.P.)
- 1957. Time and Modality (Oxford U.P.)
- 1958. Epimenides the Cretan, Journal of Symbolic Logíc 23
- 1960. The runabout inference ticket, Analysis 21; and in Strawson 1967•
- 1964. Conjunction and contonktion revisited, Analysis 24
- 1967. Past, Present and Future (Oxford U.P.)
- 1968. Papers on Time and Tense (Oxford U.P.)
- 1971. Objects of Tbought, ed. Geach and Kenny (Oxford U.P.)
Putnarn, H. 1957. Three-valued logic, Philosophical Studies 8
- 1g69. Is logic empirical?, in Boston Studies in the Philosophy of Science 5,
ed. Cohen and Wartofsky (Reidel)
- 1971. Philosophy of Logic (Harper Torchbooks)
Quine, W. V. O. 1934. Ontological remarks on the propositional calculus,
Mind 43; and in Quine 1966a
- 1940. Mathematical Logic (Harper and Row)
- 1943. Notes on existence and necessity, Journal of Philosophy 40; and in
Linsky 1952
- 1947. The problern of interpreting modal logic, Jo11rnal of Symbolic Logic u;
and in Copi and Gould I g67
- 1950. Method, qf Logic (Holt, Rinehart and Winaton); third edition 1974
(Routledge and Kegan Paul)
- 1951. Two dogmas of empirícism, Philosophical Reví� 60; and in Quine 1953a•
- 1953a. From a Logical Point of Vi� (Harper Torchbooks)
- 1953b. Three grades of modal involvement, Proceedings of the Xlth
International Congress of Philosophy 14; and in Quine 1966a
1953c. Review of Strawson, P. F., 1952, Mind 62; and in Copi and Gould 1967
1955. On Frege's way out, Mind 64
- 196oa. Word and Object (Wíley)
- 196ob. Variables explained away, Proceedings of American Philosophical Society;
and in Selected Logic Papers (Random House 1g66)
- 1966a. Ways of Paradox (Random House)
- 1g66b. Russell's ontological development, Journal of Philosophy 63; and in
Pears (ed.) 1972
- 1g68. Ontological relativíty, Journal of Philosophy 65; and in Ontological
Relativity (Columbia U.P. 1g69)
- 1969. Replies, in Wordt and Objections, ed. Davidson and Hintikka (Reidel)
- 1970. Ph,1osophy of Logic (Prentice-Hall)
- 1973. The Roots of Reference (Open Coun)
Bibliography 263
- 1976. Worlds away, Journal of Philosophy 73
Quine, W. V. O. and Ullian, J. 1970. The Web of Belief (Random House)
Ramsey, F. P. 1925. The foundations of mathematica, Proceedings of th« London
Mathematical Society, Series 2, 25; and in Ramsey 1931
- 1927. Facts and propositions, Proceedings of the Aristotelian Society
Supplement 7; and in Ramsey 1931•; and, in part, in Pitcher 1964.
- 1931. The Foundations of Mathematics (Routledge and Kegan Paul)
Reichenbach, H. 1944. Philosophic Foundation of Quantum M«hanics
(California U.P.)
Rescher, N. 1969. Many-Valued Logic (McGraw-Hill)
- 1973. The Coherence Theory of Truth (Oxford U.P.)
- 1974. Bertrand Russell and modal logic, in Studies in Modality (American
Philosophical Quarterly Monograph)
- 1975. A Theory of Possibility (Blackwell)
- 1977. Methodological Pragmatism (Blackwell)
Richards, T. 1975. The worlds of David Lewis, Australasian Journal of
Plu"losophy 53
Rogers, R. 1963. A survey of formal semantics, Synthese 15
Ross, A. 1968. Directioes and Norms (Routledge and Kegan Paul)
Rosser, J. B. and Turquette, A. R. 1952. Many-Valued Logias (North Holland)
Routley, R. 1963. Sorne things do not exist, Notre DameJournal of Formal �e 7
- 1966. On a significance theory, Australasian Journal of Philosophy 44
- 1969. The need for nonsense, Australasian Journal of Philosophy 47
Runes, D. B. 1966. Dictionary of Philosophy (Littlefield, Adams)
Russell, B. 1903. The Principies of Mathematics (Allen and Unwin)
- 1905. On Denoting, Mind 14
- 1906. Review of Mc'Coll, 19()6, Mind 15
- 1908a. Mathematical logic as based on the theory of types, American Journal
of Mathematics 30; and in Russell 1956•; and in Heijenhoort 1967a
- 1908b. James's conception of truth, Albany Revino; and in Ruasen 1910
- 1910. Philosophical Essays (Allen and Unwin 1910, 1916)
- 1918. The philosophy of logical atomism, in Ruasen 1956
- 1919. On propositions: what they are and how they mean, in Ruasen 1956
- 1923. Vagueness, Australasian Journal of Philosophy and P,ychology I
- 1938. The relevance of psychology to logic, Proceedings of th« Aristotelüm
Society Supplement 17
- 1956. Logic and Knowledge, ed. Marsh (Allen and Unwin)
- 1959. My Philosophical Dl!fJtlopment (Allen and Unwin); § on Strawaon's
criticisms of the theory of descriptions reprinted in Copi and Gould 1967
Russell, B. and Whitehead, A. N. 1910. Principia. Mathematica (Cambridge U.P.)
Russen, L. J. 1970. 'If' and '=> ', Mind 79
Ryle, G. 1949. The Concept of Mind (Hutchinson)
- 1952. Heterologicality, Analysis 11; and in MacDonald 1954
- 1954. Formal and informal logic, in Dilemmas (Cambridge U.P.)
Salmon, W. 1967. Foundations of Scientific Inference (Pittaburgh U.P.)
Scheffier, I. 1954. An inscriptionalíat approach to indirect quotation, Analyns r4
- 1967. Science and SubjectffJity (Bobbs-Merrill)
Scheffier, I. and Chonuky, N. 1958. What is aaid to be, Proceerim,1 of tire
Aristotelian Socitty 59
Schiller, F. C. S. 1912. Formal Logic: a Scientific and Social Problem (Macnullan)
- 1930. Logic far Use (Harcourt, Brace)
264 Bib/iography
Schlick, M. 1934. The foundation of knowledge, trans. Rynin in Logical
Positioism, ed. Ayer (Free Press 1959)
Schock, R. 1968. Logics Without Existence Asmmptions (Almqvist and Wiksell)
Searle, J. 1969. Speech Acts: An Essay on the Philosophy of Language (Cambridge
U.P.); pp. 162-'74 reprinted in Steinberg and Jakobovits 1971•
- 1975. The logical status of fictional discourse, New Literary History 6
Sellara, W. 1967. Science, Perception and Reality (Routledge and Kegan Paul)
Skyrms, B. 1966. Choice and Chance (Dickenson)
- 197oa. Return of the Liar: three-valued logic and the concept of truth,
American Philosophical Quarterly 7
- 197ob. Notes on quantíficatíon and self-reference, in Martin 1970
Smíley, T. J. 1959. Entailment and deducibility, Proceedings of the Aristotelian
Society 59
- 1g60. Sense without denotation, Analysis 20
- 1g63. The logical basis of ethics, Acta Philosophica Fennica 16
Smullyan, A. 1948, Modality and description, Journal of Symbolic Logic 13
Smullyan, R.M. 1957. Languages in which selt-reference is possible, Journal of
Symbo/ic Logic 22
Stalnaker, R. 1968. A theory of conditionals, in Studies in Logical Theory,
ed, Rescher (Blackwell)
Stebbíng, S. 1939. Thinking to Some Purpose (Penguin)
Steinberg, D. D. and Jakobovits, L. A. (eds.) 1971, Semantics (Cambridge U.P.)
Stevenscn, J. T. 1g61. Roundabout the runabout inference ticket, Analysis 22
Strawson, P. F. 1949. Truth, Analysis 9; and in MacDonald 1954
- 1950, On referríng, Mind 59; reprinted in Flew 1956; in Copi and Gould
1g67; and in Strawson 1971
- 1952. Introduction to Logical Theory (Methuen)
- 1954. Reply to Mr. Sellara, Philosophical Review 63
- 1957. Propositions, concepta and logical truth, Philosophical Q11arurly 7;
in Strawson 1g67; and in Strawaon 1971
- 1959. Indioiduals (Methuen)
- 1961. Singular terms and predication, Journal of Phi/osophy 57; and in
Strawson 1971
- 1964. ldentifying reference and truth-valuea, Theoria 30; reprinted in
Steinberg and Jakobovíts 1971
- (ed.) 1967. Philosopluca/ Logic (Oxford U.P.)
- 1971. Logico-Linguistic Papers (Methuen)
Suppes, P. 1957. Introduction to Logic (van Nostrand)
Tarskí, A. 1931. The concept of truth in formalised languages, in Tarski 1956
- 1936. The establishment of scientific semantics, in Tarski 1956
- 1944. The semantic conception of truth, Philosophy and Phenomenological
Research 4, and in Feigl and Sellars 1949•
- 1956. Logic, Semontics and Metamathemauc«, trans. Woodger (Oxford U.P.)
Tarski A. and Vaught, R. L. 1957. Arithmetical extensions of relational systems,
Compositio Mathematica 13
Thomason, R. (ed.) 1974. Formal Phi/osophy (papera of Richard Montague)
(Yale U.P.)
Thouless, R. H. 1930, Straight and Croohed Thinking (Hodder and Stoughton,
1930; Pan, 1953)
'Tiehy, P. 1974. On Popper's definitíons of verisimílitude, British Journal for
the Philosophy of Science 25
Toulrnin, S. 1953. Philosophy of Science (Hutchinson}
Bibliography
Urmson, J. O. and Wamock, G. J. (eds.] 1961. Philosophical Paj,n'J of
J. L. Austin (Oxford U.P.)
Wallace, J. 1970. On the frame of reference, Synthese zz
- 1971. Convention T and substitutional quantification, Nods 5
- 1972. Positive, comparative, superlatíve, Journa/ of Phüosophy 69
Weinstein, S. 1974. Truth and dernonstratives, Noés 8
Weston, T. S. 1974. Theories whose quantification cannot be subtltiturional,
Nolh 8
White, A. R. 1970. Truth (Anchor)
White, M. G. 1950. The analytic and the synthetíc, in Hook, S. (ed.), John
Dewey, Philosopher of Science and Freedom (Dial)
- 1956. Touiard Reunion in Phi/osophy (Harvard U.P.)
Whitehead, A. N. 1919. The Concept of Nature (Cambridge U.P.)
Williams, C. J. F. 1976. What is Truth? (Cambridge U.P.)
Wittgenstein, L. 1922. Tractatus Logico-Philosophicus, trans, Ogden (Routledge
and Kegan Paul); and trans. Pears and McGuinness (Routledge and Kegan
Paul, 1961)
- 1953. Philosophica/ Inuestigations, trans. Anscombe (Blackwell)
Wolf, R. 1977. Are relevant logics deviant?, Philosophia 7
Woodruff, P. 1970. Logic and truth-value gaps, in Philosophical Problems in Lcgic,
ed. Lambert (Reidel)
Woods, J. 1974. The Logic of Fiction (Mouton)
von Wright, G. H. 1957. Logica/ Studies (Routledge and Kegan Paul)
- 1963. Norm and Action (Routledge and Kegan Paul)
Zadeh, L. A. 1963. On the definition of adaptivíty, Proceedings of the Institute of
E/ectrica/ and Electronic Engineer, 51
- 1964. The concept of state in system theory, in Trendt in General Syltems
Theory; ed. Mesarovic (Wlley)
- 1965. Fuzzy sets, lnformation and Control 8
- 1972.. Fuszy languages and theír relation to human intelligence ; Proceedings
of the Intemational Co,iftrence, Man and ComputtT (S. Karger)
- 1975. Fuzzy logic and approximate reasoning, Synthe1e 30
- 1976. Semantic inference from ÍU%Zy premíses, Proctedings of the Sixth
Inttrnational Sympo1ium on Multiplt-Valued Logic (Utah State University)
Zadeh, L. A. and Bellman, R. E. 1976. Local and fU%Zy logic, Memorandum
ERL-M584, Electronics Research Laboratory (Univeraity of California, Berkeley)
Ziff, P. 196o. Semantic Analysis (Comell U.P.)
INDEX
first versus seeond order quantification, 82, 83, 97n, QS, 112n, u7n, 118n,
see quantifiers 130, 15on, 154, 172n, 208, 210, 214,
Fitch, F., 185 254
Fitting, M.C., 219 Hacking, l. M., 19n
Fitzpatrick, P., 64 Halldén, S., 163, 211
fixed point, 147 Hanson, N. R., 12n
Flew, A. G. N., 11 Hannan, G., 26, 127, 150, 254
Fogelin, R. J., 40, 199 Harris, J. H., 117n
Fellesdal, D., 182n "hedges ', 168; see also adverbs
formalism, 189, 241', • Hegel, G., 94
fonn versus content of arguments, Heidelberger, H., 131
5-'7, 22-7, 122, 153, 231, 242 van Heijenhoort, J., 223n, 253, 254
van Fraassen, B. C., 67, 130 Hernpel, C. G., 95, 254
free logics, 4, 71-2 Hernsworth, P., vi
Frege, G., xi, 2, 9-10, 22, 32, 39, 40, Henkin, L., xi
58, 65-8 passim, 72, So, 121, 125, Herzberger, H., 145
127, 139, 152, 153, 162, 171, 176, 'heterological' paradox, see paradoxes
212, 215, 227, 235, 238-42 passim, Heyting, A., 216-zo passim, 247; see
243, 246, 248, 253, 254 a/so Intuitionist logic
functional completeness, 28, 244, 251 Hilbert, D., 246
future contingenta, 81, 208-10; see Hintikka, J., 8, 40, 121n, 156, 172,
a/so fatalism 187, 191
fuzzy logic, xii, 35, 162-9; see also holism, 119, 121
vagueness Holmes, Sherlock, 71- 2; see alto
fiction
Gaines, B., 165, 254 Hughes, G., 177, 254
Garver, N., 140 Hunter, G., 253
Geach, P. T., II, 40, 139, 160-2
passim, 254 ídealism, 86, 94-6
Gentzen, G., 19n ideu, 61n, 240-2
geometry, 19, 228 identity, 4n, 60-1, 184-7 pnssim;
global veraua local, 223-32 criteri1 oí, 43, 77-8, 80-1; oí
Gochet, P., vi, 74 poselble Individuals, 191-3
GOdel, K., xi 'ií' and • -.. ', :11, 3 6-38; 111 a/10
GOdel's Incompletenese theorem, :z:z, conditionel; implication
139, 246•, 253 imperative logics, 4, 5, 81, 83-5
Goldbach's conjecture, 61, 246• pasrim, 250
Goodman, N., 38, 78, 172n implication, xii, 36-7, 152, 178-g,
Gould, J. A., 253 247•; material, 201, 230, 247,
grades of modal involvement, 181-7; paradoxes of, 37, 135n, 176, 197-
see a/so modal logic 203 passim, 249•; strict, 37-8, 152,
grammar, 26, 82, 132, 17�, 242; see 178-9, 230, 247, ps radoxes of, 37,
also Chomsky, N. 135n, 197-203 passim, 249•;
Grelling's paradox, see paradoxes relevant, 200, 230, 247; see also
Grice, H. P., 36, 194, 247 entailment
groundedness, 145-8; see also implicit definition, see definition
paradoxes incomplete symbols, 65--6, u7n, 245,
Grover, D. L., vi, 88, 129, 130, 132-5 247•
J)turim, 15on, 151, 254 inconsiatent 1yatem1, C}-IO, :z:z; ,u a/so
paradox
Haack, R. J., vi, 8o incorri¡ibility, 94-7 pmrim; set a/,o
Haack, S., xiv, 8, un, 17n, 7a, So, fallibiliam
Index
independence (of axiorns), 19, 247• Lacey, H., 157, 161, 254
indexicals, 93, II3-14, 123, 156, 247• Lakatos, l., 235
inductive logics, 4, 5, 12-14 passim, Leibniz, G., 9, 192, 223n; -'• Law,
17, 247• 246; see also extensional versus
inference, 238-42 passim, 247•; see intensional; substitutability salva
also reasoning oeritate
informal argument, xiii, 1, 2, 14-15, Lemmon, E. J., 18, So, 178, 253, 254
33-4, 74, 83-4, 162, 196-7, 201-z, Leáníewski, S., 8
222-32 passim Lewis, C. l., xi, 37, 152, 159n, 178,
inquiry, theory of, 97-g pasnm 197, 198, 200
instrumentalism, 20, 221-32 passim, Lewis, D. K., 33, 35, 37, 49, 180,
248• 18g-g3 passim, 192, 194
intensional isomorphism, 126 Lewy, c., 79, 83, 214
interpretation, theory of, u9-20 Liar paradox, see paradoxes
interpretation, of formal systems, 3, Linsky, L., 42, 254
8, 247•, 251; of sentence con- lagica utens and lagica docens, 15-16,
nectives, tee sentence connectives; 25; see also informal argument
of quantifiers, see quantifiers; see logical atomism, 26, 86, 91, 94, 122,
also semantics 247•
interrogatives, see erotetic logics logical constructions, 66, 142, 159,
Intuitionist logic, xi, 4, 21, 29, 99, 245; see also Russell's theory of
155, 191n, 216--zo, 224, 247• descriptíons
Iseminger, G., 253 logical necessity, see necessity
logical positivism, 86, 237, 243, 247•
James, W., 86, 95, 97-<) passim, 249, logical systems, identity conditions
254 for, 17-22
Jaákowski, S., 205 logical truth, xi, xiii, 1, 13-14, 113,
Jeffrey, R., 253 171-5 passim, 194, 202, 221-32
Johansson, l., 218 passim, 243, 244, 248•, 251
Johnson, W. E., 37 logical versus proper axioms, se« axiom
Jones, A., 1241\ logicism, 9-10, 41n, 137, 171, 19m,
240n, 243, 248•
Kanger, S., 187 Lotze, R. H., 94
Kant, l., 97n, 152, 171, a35, 238, 241, LOwenheim, L., xi
243, 249 Lukasiewicz, J., xi, 165, 205, 2o8-II
Kaplan, D., 194 passim
Kepler, 232
King of France, 65-70 passim McCall, S., 213
Kleene, S. C., 146, 1+8, 2o6, 215; MacColl, H., xíí, 152, 176, 204
-'s 3-valued logic, 2o6--7, 212-13, McDowell, J., 70
215-16 Mackie, J., 37, 38, 88, 91, 110, 113,
Kneale, W. C., 6-7, 19, 20, 64, 79, 137, 143, 146, 151, 254
So, 1+o, 171, 197, 254 McKinsey, J. J. C., 219
Kneale, W. C. and Kneale, M., 7, 79, MacTaggart, J. M. E., 16on
214, 253 many-valued logics, xi, xii, 2, 4, 8,
KOrner, S., 165 29-30, 140, 145, 1+6, 1+8, 164-5,
Kotarbínski, T., 12411, 249 167, 204-20, 24+, 251; ,�� abo
Kripke, S., 1, 42, s8--6o, 64, 79, 83, characteriltic matra:
88, 144-8, 171, 185, 187, 188, 192, Marcus, R. Barcan, 42, 51, 52, 151,
213, a54 176, 185-7 pam,n
IJl8l8 terma, 1a3, 248•
M->', G., 23
272 Index
satisfaction (in imperative logic), 85, eliminability of, 46--7; and ontolo¡y,
250• so; and substitutional quantification,
satisfaction (in Tarski's definition of 51-3; in modal logíc, 182-7 pa11im
truth), 85n, 88, 105-10 passim, Sinn versus Beckutu"(f, 61-2, 212,
113-14, 250• 246; se« also denotation; reference
Scheffier, l., 46, 95, 125 Skolem-Lewenheim theorem, 250•
schemata, 20, 78 Skyrms, B., 12, 17, 140, 254
Schiller, F. C. S., xi, xii, 73, 98, 202, Stupecki, J., 30
249 Smiley, T. J., vi, 67, 179, 198, 212,
Schlick, M., 91--6 passim, 247 213, 215
Schock, R, 71 Smullyan, A., 185-7 passim
Schonfínkel, M., 47 Smullyan, R.M., 139
science (relevance to logic), 161-2, soundness (of a logical system), 14,
179-80 245, 250•
scope, 18, 65, 186 soundness (of an argurnent), 14, 250•
scope of logic, 1, 3-rn, 19n, 153, 155, Stalnaker, R., 37, 18o
202, 216-17, 248 Stebbing, S., 11
acope of science, 3 Stevenson, J. T., 32, 254
Searle, J., 58, 63, 72 Stoic logicians, 152
self-evídence, 10, 235-6; see also Stout, G. F., g6
fallibilism Strawaon, P. F., xi, xii, 35, 47, 51,
self-reference, 139; see also paradoxes 67--<;1, 73, 79, 81, 88, 11411, 156,
Sellars, W., 112n 16on, 175n, 194, 253, 254
semantic closure, 102-3, 120-1 ; see Strengthened Liar paradox, see
a/so paradoxes paradoxes
semantic primítives, 105-6, 111-12 striet implication, see implication
semantics, xi, 13-14 passim, 41, 74, subjunctive conditional, ,ee conditional
154, 251; "pure ' versus 'depraved ', substituend, 42, 252•
30, 188-90, 205; absolute versus substitutability salva vmtate, 173,
model-theoretic, 43, 108, 122; 183-7 passim; see also extensionalism
semantic paradoxes, 135-51 passim; versus intensionalism; Leibniz', )aw
for modal logic, 187--<;13 substitutional interpretation of the
semantic theory of truth, set truth quantifiers, ,ee quantifiers
sense-data, 92 supervaluations, xii, 216
sentence (propositonal) calculus, xi, 4, Suppes, P., 104
189, 244, 245 syllogistic, 4
sentence eonnectives, xi, xiii, 1, 28-38, synonymy, 76-7, 126, 173-5 ptum,r,
223-6 passim, 245; interna! versus 193, 237; ,ee also analytic versus
extemal, 2o8; see also conjunction; synthetic; meaning, theory of;
disjunction; implication ¡ ncgation necessity
sentence letters (propositional syntax, xi, 13-14 panim, 30, 74, 104,
variables), xiii, 1, 78-9, 214 113, 251•
sentence, statementa, propositions,
xii, 74-85, 86n, 114, 126n, 140, T, 177
239ff., 251 j set also trurh-bearers (T) scheme, ,ee Tarski's (T} Khml•
sequences, 1o6-10 pan;,,,, 250• Tarski, A., a6, 82, 88, 90, 99-127
set theory, 6, 7, 9, 135-51 pan;,,,, :144, pasmn, 128n, 130, 145""'9 pan;,,,,
250•; (uzzy, 165 15on, 219, 245, 247, 254; -'• (T}
set-theoretical paradoxes, se« paradoxes IIChema, 100-5 panirn, 112-13, 118,
similarity, 75, 78 119, 251 •; ,ee abo truth, IICffllllltic
aimplicity, 167 theory of
singular terma, xii, 39, 56--73; tautolotY, 15, 178, 243, 245, 251•
276 Index