Professional Documents
Culture Documents
Vdoc - Pub - An Invitation To Formal Reasoning The Logic of Terms
Vdoc - Pub - An Invitation To Formal Reasoning The Logic of Terms
FRED SOMMERS
Harry A. Wolfson Professor of Philosophy,
Emeritus, Brandeis University
GEORGE ENGLEBRETSEN
Bishop's University
Ash gate
Aldershot • Burlington USA • Singapore • Sydney
© Fred Sommers and George Englebretsen 2000
All rights reserved. No part of this publication may be reproduced, stored in a retrieval
system, or transmitted in any form or by any means, electronic, mechanical,
photocopying, recording or otherwise without the prior permission of the publisher.
Published by
Ashgate Publishing Ltd
Gower House
Croft Road
Aldershot
Hants GUll 3HR
England
Preface x
Chapter 1 Reasoning
1. Introduction 1
2. The Form of an Argument 4
3. A Word About the Form of Statements 4
4. The Form of Singular Statements 5
5. Terms and Statements 7
6. Symbolizing Compound Statements 9
7. A Word About Validity 11
8. How Material Expressions are Meaningful 13
9. Terms 13
10. Some Terms are 'Vacuous' 14
11. Statement Meaning 17
12. Truth and Correspondence to Facts 19
13. Propositions 20
14. 'States of Affairs' 21
15. The facts and the FACTS 22
16. What Statements Denote 22
17. Summary and Discussion on the Meaning of Statements 23
v
VI An Invitation to Formal Reasoning
8. Relational Statements 88
9. A Word About Pairing 89
10. Subject/Predicate; Predicate/Subject 91
11. 'Dyadic Normal Fonns' 92
12. Commuting Relational Terms 93
13. Immediate Inferences from Relational Statements 95
14. Obversion 96
15. The Passive Transformation 97
16. Simplification 98
17. Pronouns and Proterms 99
Appendix to Chapter 4
18. Bounded Denotation 102
19. Terms in their Contexts 103
20. Rules for Using Markers 106
Chapter 5 Syllogistic
1. Validity 109
2. Inference 114
3. Enthymemes 118
4. Why REGAL Works 122
5. Inconsistent Conjunctions: The Tell-tale Characteristics 124
6. Equivalent Conjunctions 127
7. How This is Related to REGAL 128
8. Syllogisms with Singular Statements 129
9. The Laws ofldentity 130
10. Proofs ofThese Laws 131
11. The Matrix Method for Drawing Conclusions 133
12. Venn Diagrams 135
X
Preface Xl
teachers today begin the introduction of fonnal logic with the propositional
calculus. When Aristotle invented syllogistic, indeed the whole field offormal
logic, in the fourth century B.C. he dealt first and foremost with the logic of
terms, the logic of inferences that depend for their validity on the arrangement
ofterms within their statements. The logic of propositions was only developed
later by Stoic logicians, and then, many centuries later, again by Frege.
Following an inspiration by the great seventeenth century polymath Leibniz,
TFL incorporates the logic of propositions into the logic of terms by
construing entire statements, or propositions, as themselves nothing more than
complex terms. So, where MPL sees propositional logic as 'foundational', or
primary logic, TFL takes the logic of terms as primary.
As it happens, some version ofTFL, either Aristotle's syllogistic or,
later, the Scholastic logicians' revised traditional syllogistic, dominated the
field offonnallogic until the end of the nineteenth century. Yet even by the
beginning of that century logicians had come to agree that traditional
syllogistic logic was inadequate for the analysis of a wide variety of inferences.
When Frege built MPL he offered logicians a system of logic far more
powerful than any system that had gone before it. The power of MPL (its
ability to offer analyses of a wide variety of kinds of inference) coupled with
Frege's claim that the logic could serve as the foundation of mathematics (by
the late nineteenth century mathematicians had become quite worried about the
foundations of their field), insured that it would displace the old logic in short
order. Today the hegemony ofMPL is almost complete. Still, there is a price
to be paid. MPL is indeed powerful, but it is not simple and the logical forms
which it ascribes to statements are remote from their natural language forms.
Traditional formal logic lacked the scope enjoyed by MPL by not being able
to analyze a number of types of inference. Yet it did at least enjoy the double
advantage of (i) being simple to learn and use and (ii) construing the logical
forms of statements as close to their natural language forms. Clearly a system
of fonnal logic which has the power of MPL and the simplicity and
naturalness of traditional logic would provide the best ofboth logical worlds.
Beginning in the late 1960s Fred Sommers set himself the task of
developing a system offormallogic (viz., TFL) that was powerful, natural and
simple. The challenge faced by Sommers in accomplishing this was threefold.
The first was to extend the power of term logic by incorporating into it the
kinds of inferences beyond the powers oftraditionallogic. Those inferences
were of three types: inferences involving statements with relational
expressions, inferences involving statements with singular terms, and
xii An Invitation to Formal Reasoning
(1.1) Ws
(2.1) (Ex)(Px & Wx)
(3.1) Lrj
Preface xiii
(4.1) c & w
These formulas are unnatural, and the more complex a statement is the farther
its logical form is from its natural language form. A sentence such as 'Every
dog has a master' is first paraphrased as 'Each thing, call it x, is such that if
it is a dog then there exists at least one thing, call it y, such that it is a master
and x has it'. This is finally formulated as: (x)(Dx => (Ey)(My & Hxy)).
Almost any teacher of MPL today will admit that the most difficult thing
students must learn is this process oftranslation. Simple English sentences are
paraphrased into sentences saturated with pronouns and sentential connectives,
which had no place in the original.
TFL requires only the minimum of'regimentation' (paraphrasing into
a standard pattern) before symbolization. Translation is replaced by
'transcription'. This is because the TFL syntax of pairs of connected terms
is close to the grammatical form of most natural language statements. The
symbolic language of TFL is exceptionally easy to learn. All simple terms,
singular, general, relational, are marked by upper-case letters. Unanalyzed
propositions are symbolized by lowercase letters. All terms are either simple
or complex. All complex terms are pairs of connected terms. All unanalyzed
statements are complex terms. All terms are either positive or negative. All
statements are affirmed or denied. All term-pairs are connected by positive or
negative functors. Plus and minus signs(+/-) are used for all of these. As in
arithmetic or algebra, positive signs are often suppressed (compare:
'+3+(+4)=+7', read 'positive 3 added to positive 4 equal positive 7', which is
normally written as '3+4=7', and read as '3 plus 4 equals 7'). Examples of
positive/negative simple terms are 'wise/non-wise' (written: '+W/-W'),
'happy/unhappy' ('+H/-H'), and 'massive/massless' ('+M/-M'). Connective
functors are patrs. of pIuses and mmuses
. (vtz.,
. ' +... + ' , ' +... -' , ' -... - ' , an d ' -
... +'). The first ofthese indicates the quantity(+ for 'some', 'at least one',
etc.; - for 'all', 'every', etc.). The second part of the connective functor
indicates the copula (e.g., 'is', 'are', 'was', 'isn't', 'ain't'). Singular terms are
marked with an asterisk,*. They have 'wild' quantity; they are indifferently
+ or-, (written '±'). Parentheses are used to group pairs of connected terms.
Our sample sentences above would be formulated in TFL as follows.
(1.2) ±S*+W
(2.2) +P+W
(3.2) ±R*+(L±J*)
xiv An Invitation to Formal Reasoning
(4.2) +c+w
Note that unanalyzed statements (as in 4) are connected by the same functors
as other term pairs. This is because such functors only represent relations
with given formal features. Thus, for example, the+ ... + functor is symmetric,
but not reflexive or transitive. These are just the features that guarantee the
validity of such inferences as 'Some philosopher is wise, therefore some wise
(person) is a philosopher' and 'It is cold and it is wet, so it is wet and it is
cold'. From the point of view of 'formal' logic, only these formal features are
of interest.
Another source ofdifficulty for beginning students ofMPL is the large
variety of rules required to adequately construct proofs of valid inferences. In
addition to rules for the propositional calculus, there are rules for eliminating
and for introducing each ofthe quantifiers and for manipulating identities. The
relative naturalness of TFL' s syntax has already given it a degree of
simplicity, which is now augmented by its algorithm for proofs. Since all
formative expressions are plus or minus signs, it is easy to show that proof
amounts to addition and subtraction (this turns out to be the 'cancelling of
middle terms' familiar in traditional syllogistic).
The present text book is intended as a tool for the introduction ofTFL
to the beginning student of logic. It also includes a final chapter introducing
standard MPL. One of the important advantages of coming to formal logic
through TFL is that it makes the subsequent learning ofMPL so much easier.
For TFL provides 'bridging formulas' that ease the usually difficult translation
process that takes natural language statements into MPL formulas. The text
contains several exercise sections and a summary of the main rules, laws and
principles ofTFL. It is designed so that it could be used for self-teaching. But
it is also designed to be used in classrooms as an introductory text for a one-
semester course in formal logic. For those going on to do more mathematical
logic it is an appropriate and (because of the bridging formulas) useful first
text. For the more philosophically oriented it contains extensive discussions
of important issues at the intersections of semantics, metaphysics,
epistemology and logic. There has been much enthusiasm is recent years for
either the replacement or supplementation of courses in formal logic with
courses in informal logic. Much of this enthusiasm is due to disenchantment
with MPL, which is seen as remote from the ways in which we naturally and
ordinarily use our reason and language. In addition, as students arrive at
colleges and universities in larger numbers, with a greater variety of
Preface xv
Some of the material presented in this text deals either with semantic issues or
philosophical issues often deemed beyond the scope of a purely technical
course in symbolic logic. The instructor who wishes to present a streamlined
xvi An Invitation to Formal Reasoning
approach can safely ignore several sections of the text devoted to those less
technical topics. For such a course, we would recommend the omission of the
following sections: Chapter 1, sections 8 through 17; Chapter 2, sections 1
through 7; all of Chapter 4; Chapter 6, sections 8 and 9 are optional; Chapter
7, sections 16 and 17.
George Englebretsen
Lennoxville, Quebec
1 Reasoning
1. Introduction
1
2 An Invitation to Formal Reasoning
(The forward stroke sign should be read as 'therefore' or 'hence'.) You offer
S2 to your friend as the answer to his question. Note that S2 may not actually
have been in your memory. However, since S2 is entailed by Sl, you can now
add it to your store of information.
Al is an example of immediate inference. In immediate inference the
conclusion is drawn from a single premise. Reasoning like this takes place very
quickly, and usually without the conscious application of a technique for
deriving conclusions from premises. But a great deal of reasoning is done
carefully and reflectively and in many cases by deliberately using a method
that has to be learned. Consider an example taken from a book on logic written
by Lewis Carroll, the author of Alice in Wonderland. Carroll asks the reader
to draw a conclusion from the following premises:
Here one must reflect a bit before coming up with the conclusion Carroll has
in mind:
(6) Whatever is kept near the sea gets encrusted with salt.
Here mere reflection may get one confused and we are better off not relying on
our wits but on a mechanical procedure for drawing conclusions from
premises. We will later learn how to do this example by representing the six
premises as algebraic expressions that can be added like numbers to derive the
conclusion in a mechanical way. By using this technique you will be able to do
examples that look fairly complicated very quickly and surely.
When one applies the algebraic method to the six premises given by Carroll,
one derives the conclusion:
S 1 and S2 are converses of one another. Our confidence in the move from S 1
to its converse, S2, is due to the confidence we have in the general pattern of
reasoning where we move from one statement taken as premise to its converse.
Conversion is a valid form or pattern of reasoning. Let us call this pattern F 1.
F1: someXisaY
I some Y is an X
(Here again, the stroke sign is read as 'hence' or 'therefore.') F1 is also the
pattern of the following argument:
A2, like A1, is of form F1 and we have confidence in any argument of that
form. F 1 is an abstract pattern of reasoning and any argument that fits this
form is called an instance of this pattern. Thus A1 and A2 are instances ofF 1
and so is A3:
letter that stands for a term occupies. For example, by putting 'X' in place of
'ape' and 'Y' in place of 'genius' we show that 'some ape is a genius' has the
form 'some X is a Y'. If we do this systematically to each statement of an
argument, the form of the whole argument stands revealed. For example, the
arguments Al, A2, and A3 are then revealed as all being instances of the
argument form F 1.
The form of the following argument
is:
every X is a Y
no Yis aZ
I no X is aZ
In a statement like 'A president of the United States slept here' the expression
'president of the United States' is being used as a general term. There are
many presidents. And when 'president' is used as a general term, it may denote
many individuals. But in some uses it denotes no more than one individual.
So used 'president' is a uniquely denoting term (UDT). An example is
'President' as it occurs in 'The President is tired'. Proper names are almost
always used in a uniquely denoting way. Thus 'Garbo' in 'Garbo was lonely'
is a UDT. On the other hand, it is not a UDT in 'Roseanne Barr is no Garbo'.
We refer to UDTs as singular terms. A statement whose subject term is
singular (e.g., 'Garbo is beautiful', 'The President is tired') is called a
6 An Invitation to Formal Reasoning
Though (i) is singular and (ii) is general, they have the same form. 'Garbo
was laughing' has the form 'Some X* is Y' while 'Children were laughing' has
the form 'some X is Y'. (We mark UDT occurrence by affixing a star to ·the
letter.) From a strictly logical point of view 'Garbo was laughing' should be
'some Garbo was laughing'. In practice that is not done. For we know that
whenever 'some Garbo is P' is true, 'every Garbo is P' will also be true (there
being only one person who is Garbo). Since 'some Garbo is P' entails 'every
Garbo is P' we do not bother to use either 'some ' or 'every' before 'Garbo'.
Generally, whenever N* is a proper name, we use the form 'N* is P' and not
'some N* is P'. Nevertheless, for the purpose of seeing how singular
sentences function inside of arguments, their form must be made explicit. As
speakers ofEnglish we are content to say 'Garbo is laughing'; as logicians we
need to represent this as 'some Garbo* is laughing' a statement that entails
'every Garbo* is laughing'.
******************************************************************
Exercises:
II. Give two instances for each of the following argument forms.
1. no X is Y I no Y is X
2. some X is Y I some Y is X
3. all X are Y, no Yare Z I no X are Z
4. every Y is non-X* I no non-X* is Y
******************************************************************
Let 'p' stand for 'some roses are red' and let 'q' stand for 'no violets are
yellow'. Herethestatements, 'p' and 'q', arethematerialelements. They are
joined by the statement connective 'and'. Al may be represented as 'p and q
lq and p'. We call 'p' and 'q' 'statement letters' . Unlike term letters, which
are formulated using upper case letters, statement letters make use of lower
case.
The form of A4 is
F4: xandy
ly andx
where x and y stand for any two statements. Clearly any propositional
argument of the form F4 is valid no matter what statements we substitute for
x andy. Thus the following instance ofF4 is valid:
A5: some barbers are not Greeks and some Greeks are not barbers
I some Greeks are not barbers and some barbers are not Greeks
Let 'r' be the statement 'some barbers are not Greeks' and 's' be the statement
'some Greeks are not barbers'. Then we may represent A5 as
'r and s I s and r'.
The statements in A5 are different in form and content from the
statements in A4. But that does not matter since those differences play no part
in the argument which is concerned simply with the move from a conjunction
of the form 'x and y' to one of the form 'y and x'. Paying no attention to the
internal form of the statements involved, we recognize that A4 and A5 are
Reasoning 9
instances of the same general form: x andy I y and x. And any instance ofF4
is valid.
Another example of an argument whose validity is not due to the
internal form of its component statements is
Here too we may replace x and y by any two statements of whatever internal
form and content and the result will be a valid argument. Statements of form
'x andy' and 'ifx then y' are called compound statements since they contain
two or more component statements joined together by 'and' or 'if... then' or
some other formative statement connective. Arguments involving compound
statements are the subject of a special branch of logic called Statement Logic
(also called Propositional Logic).
When the components statements are joined by 'and', the compound
statement is called a conjunction and the two components are called
'conjuncts'; an example is 'roses are red and violets are blue'. Suppose that
'p' and 'q' stand for the respective conjuncts. Then one common way to write
'roses are red and violets are blue' in logical language is to use a symbol to
stand for the English word 'and'. Thus we may use '&' to represent 'and'
and then represent the conjunction as 'p&q'. But another way is to use
algebraic operators like '+' for the statement connective. We should then
represent the conjunction as 'p+q'. The algebraic way is called a
'transcription' of the English sentence. We shall later find that the algebraic
way oftranscribing English sentences makes it especially easy to 'reckon' with
them logically.
We have been using upper case letters to stand for terms. We shall always use
lower cases letters to stand for whole statement. For example, we may let 'p'
stands for 'Socrates was executed', 'q' for 'Plato died in his sleep' and 'r' for
10 An Invitation to Formal Reasoning
'Aristotle went into exile'. We may then form compound statements which
have the elementary statements 'p', 'q' and 'r' as components. For example,
we may use 'p', 'q' and 'r' to form such compound statements as 'p and q'
(symbolically written 'p & q'), 'ifp then q' (which we symbolize as 'p => q'),
'p or q' (symbolized as 'p v q', 'We then read 'p & (q v r)' as 'p and q orr'
and we write 'ifp then (q and r)' as 'p => (q & r)'. In symbolically representing
any compound statement we adhere to the convention of using lower case
letters to represent the component statements.
*******************************************************************
Exercises:
Using the symbols'-' for 'not,'&' for 'and','=>' for 'ifthen", 'v' for 'or' we
represent some common propositional statements thus:
notp -p
pandq p&q
ifp then q p=>q
p orq pvq
rand (p orq) r&(pvq)
(randp)orq (r&p)vq
ifp and q then r (p&q)=>r
if not p then q -p ;:) q
Using the above symbols for the statement connectives, represent the following
compound statements in the language of 'symbolic logic':
1. not-p orr
2. ifp then not-r
3. p ornot-p
4. q and (ifr then s)
5. s or not(q and r)
6. if not either p or q then r
7. p or not (q and r)
8. not (p and (q or not-r))
9. (not-p and q) or not-r
10. p and (a and (rands))
Reasoning 11
******************************************************************
An argument whose conclusion follows from its premises is called valid. When
an argument is valid and its premises are true its conclusion must also be true.
Whether an argument is valid or not, depends on its form. Most forms of
argument are invalid. When an argument form is valid, none ofits instances
have true premises and a false conclusion. When an argument form is
invalid, it will be possible to find an argument of that form that has true
premises but a false conclusion. An argument whose premises are true and
whose conclusion is false is clearly invalid. Producing one invalid instance
shows that all instances of that form are invalid. F1, above, is an example of
a valid argument form: it has no invalid instances. But consider
Admittedly, AS looks like a good argument. But appearances are deceptive; the
conclusion of AS does not follow from its premise. It is after all logically
possible for its premise to be true and its conclusion false. For we may imagine
a period in history when no one but a Greek is a philosopher, in which case
'some philosopher is not a Greek' is false even though 'some Greek is not a
philosopher' is true. But we need not bother to imagine this. For we know that
AS is invalid since it is an instance ofF3 and the validity ofF3 was refuted by
A7.
Thus F3 and Fl are different. Unlike F3, Fl is a valid form of
argument and all of its instances are valid. And this means that given any two
statements of form 'some X is a Y' and 'some Y is an X', we may be sure that
if one of them is true so is the other. In other words we can never find an
instance Fl whose premise is true and whose conclusion is false. Let us look
also at a third argument form:
F5: no X is a Y
/no Yis an X
F5, like Fl, is a valid argument form: no matter what terms we choose for X
and Y, no matter what situations we imagine, we shall never find a refuting
instance of form F3. In this respect F5 is like Fl and unlike F3. But now the
question arises: what makes us so sure that Fl and F5 are valid forms? How
do we know that we could 'never' find refuting instances for Fl or F5? After
all, F3 also looked like a good way to reason yet we found it to be invalid.
Why should we have more confidence in Fl and F5?
We here touch on some fundamental issues in logic. Some statements
entail one another, so that if one is true the other must also be true. What are
statements, and how are they tied in this way? One approach to logic is by
way of the concept of truth. 'What is truth?' When a statement is true, what
is it about the world that makes it true? To answer such questions we must
explain how the terms in a statement are related to things in the world and how
the statement itself is related to the world as a whole.
Reasoning 13
9. Terms
We first discuss terms. (1) The term 'farmer', for example, expresses the
description or characterization, BEING A FARMER. We call BEING A
FARMER the sense or expressive meaning of 'farmer'. {2) 'In a sentence
like 'a farmer was going into the bam' the term 'farmer' denotes an individual
to whom the characterization BEING A FARMER applies. (3) 'Farmer'
signifies the characteristic or attribute, being a farmer, that any farmer
possesses. The attribute signified by a term is called its 'significance'. For
example, being wise or wisdom is the significance of 'wise'.
Note the distinction between the characterization that describes a
thing and the characteristic that the thing itself possesses when we correctly
describe it. We adopt the practice of writing the characterization in upper case
letters and the characteristic in lower case letters. We say that a term
expresses a characterization and that it signifies a characteristic. For
example, the term 'wise', will be said to express the characterization BEING
WISE and to signify the corresponding characteristic of being wise or wisdom.
The characterization BEING WISE is said to be 'true of any individual that
possesses the characteristic ofwisdom.
A term denotes a thing only if the characterization it expresses is true
of that thing. In the statement 'someone wise advised me' the term 'wise',
which expresses BEING WISE, denotes an individual that possesses the
characteristic (being wise, wisdom) that 'wise' signifies. The characterization,
BEING WISE, and the characteristic, being wise, correspond to one another.
14 An Invitation to Formal Reasoning
Let '[wise]' represent the characterization BEING WISE and let '<wise>'
represent the characteristic of wisdom that any wise person possesses. Then
'wise' expresses [wise] and signifies <wise> and what 'wise' expresses
corresponds to what it signifies. Also [wise] correctly describes (is true of)
whoever is wise. And generally, if'#' is a term, the characteristic ,<#>, that
a #-thing possesses is said to correspond to the characterization, [#], that
characterizes (is true of) the #-thing.
A term like 'mermaid', 'flying saucer' or 'woman who will love living on
Pluto' does not fail to express a characterization. But it may fail to denote.
Terms that fail to denote are called vacuous. Consider the term 'mermaid! in
the statement 'a mermaid lives in the bay'. The sense or expressive meaning
of 'mermaid' is BEING A MERMAID. The characterization expressed does
not characterize anyone since no one possesses the characteristic of being a
mermaid. Thus 'mermaid' fails to denote anyone or anything.
Proper name terms are usually not vacuous. But some do express
characterizations that characterize no one. There is an ancient tradition that
a hero called Theseus founded the city of Athens. Suppose that Theseus was
only a legendary figure and that no such person as Theseus ever existed. In
that case no one ever possessed the characteristic of being Theseus and
'Theseus' fails to denote anyone. All the same, 'Theseus' has a sense; it
expresses the characterization of BEING THESEUS, a characterization that
is not true of anyone but which nevertheless is the expressive meaning of
'Theseus'.
A vacuous term such as 'Theseus' or 'mermaid' is analogous to a
statue of Theseus or a picture of a mermaid. The term 'mermaid' denotes no
one. Similarly, the picture does not portray a mermaid (in the sense of
'portray' that a photo taken of a bridesmaid at my cousin's wedding is a
portait of the bridesmaid). Nevertheless, the mermaid picture (like the term
'mermaid') is representational. We all understand what the picture means; as
it were, the picture 'expresses'BEING A MERMAID. Similarly, the
expressive meaning of the term 'mermaid' is understood by most speakers of
English. In that sense what 'mermaid' means is something public and
objective. We all 'grasp' it. (Considered as an object of understanding that
we all grasp, the sense of a term is called a 'concept'.) We may put the matter
Reasoning 15
this way: The characterization expressed by any term (even one that is
vacuous) exists as a 'concept'. Thus every meaningful term expresses a sense
(or concept) and no term is expressively vacuous. (This doctrine, that concepts
exist, is called Conceptual Realism.)
No meaningful term is expressively vacuous. What about
signification? Can a term be vacuous by signifying nothing? Some persons
are kind, others are cruel. But nobody is perfect. So there is kindness and there
is cruelty but no perfection. If nobody is perfect, nothing possesses the
characteristic of being perfect. What is the status of a characteristic like
<perfect> that nobody possesses? There is an ancient dispute about
characteristics that nothing possesses. Some philosophers and logicians, called
Platonic Realists, follow Plato in holding that a characteristic <X> exists even
if there are no X -things so that nothing or no one possesses <X>. Others
(among them, the authors of this text who are Conceptual Realists but not
Platonic Realists) deny this. They hold that a term like 'mermaid' or 'perfect'
expresses a characterization but it fails to signify any characteristic. For there
is no such thing as perfection and no such characteristic as being a mermaid.
(On the other hand, there are such things as BEING A MERMAID and
BEING PERFECT. For example, these meanings are expressed by the two
terms in 'no mermaid is perfect'.) According to this view (which we shall
'officially' adopt) a term, 'T', will always express a sense or characterization,
[T], but ifthere are noT-things, then there will be no characteristic <T> for
'T' to signify. Thus 'mermaid' is expressively meaningful; it expresses
BEING A MERMAID but it lacks both denotation and significance. We noted
earlier that when a term lacks denotation we call it 'vacuous'. The non-
Platonist philosopher believes that 'mermaid' is doubly vacuous: not only
does it fail to denote, it also fails to signify.
Using the square brackets for the characterizations and the angle
brackets for the characteristics, we summarize the above account of the
meaning of terms.
*******************************************************************
Exercises:
ll. Repeat example I, using the bracket notation for the sense and significance
of terms.
Example:
'pious'
sense: [pious]
significance: <pious>
Statements and terms are the two basic kinds of material expressions. Terms
are used for characterizing things in the world. Statements are used for
characterizing the world itself. We use lower case letters to represent
statements. Like a term, a statement, 's', has three modes of meaning: (1) it
expresses a sense or characterization, [s]. (What a statement expresses is
called a proposition); (2) it denotes the world characterized by the proposition
it expresses and (3) it signifies a characteristic of the world. (The
characteristic, <s>, signified by a statement is called afact.)
By definition, a statement is an utterance that is being used for saying
something. And 'what is said' or expressed is a proposition. The proposition
expressed may or may not characterize the world. If it does, the proposition is
called true. If it does not, the proposition is false.
Calling a statement true is a convenient shorthand way of saying that
it expresses a true proposition. Not all utterances are statements but no
utterance that is a statement can fail to express a proposition. Since every
statement expresses a proposition that is either true or false, every statement
is itself said to be true or false.
How is the world characterized? What are its characteristics? We
may think of the world as a collection or totality of things. (Here 'thing' is
used in its widest sense to apply to whatever may be said to be present in the
world including such things as London, The President of the United States,
snow, hurricanes, pollution, wisdom, democracies and friendship.) Any
totality, be it large or small, finite or infinite, is basically characterized by what
is present in it and by what is absent from it. We may speak of such
characterizations as 'existential'. Consider the collection of things now lying
on your desk. Assume that the constituents of this little totality include a pen,
ink, a lamp, a notebook and nothing else. Among the infinity of things not in
this totality are horses, mermaids, envelopes, screwdrivers, etc. Suppose we
call a totality ' {Q} ish' if it has a Q thing as a constituent and 'un {Q} ish' if it
has no Q constituent. We may then existentially characterize the totality of
things on your desk by saying that it is {pen} ish, {ink} ish, {lamp} ish and
{notebook} ish. But negative characterizations are also true of it: for example,
the little totality can be characteritzed negatively by saying that it is
un {horse} ish, un {screwdriver} ish, etc.
Any statement is a truth claim. Looking into a drawer I say 'there is
no screwdriver', thereby claiming that the little totality under consideration,
whose constituents are the objects in the drawer, is un {srewdriver} ish. We call
18 An Invitation to Formal Reasoning
being un{K}ish). The proposition that there are no K things then corresponds
to the un{K}ishness of the world.
Un{elf}ishness (the nonexistence of elves) is a negative existential
characteristic ofthe world; {elk}ishness (the existence of elks) is a positive
existential characteristic of the world. A more familiar term for a positive or
negative world characteristic is 'fact'. The existence of elks ( {elk}ishness) is
a positive fact; the nonexistence of elves (un{elf}ishness) is a negative fact.
The world's existential characteristics constitute the facts. Facts are what
make true propositions true. A world characterization is true (or true of the
world) if it corresponds to a characteristic of the world. Each of the above
characterizations corresponds to an existential characteristic of the world. For
example, the existence of women farmers ( {women farmer} ishness), is the fact
that corresponds to and confers truth on such characterizations as SOME
WOMEN BEING FARMERS, BEING {WOMAN FARMER}ISH, THE
EXISTENCE OF WOMEN FARMERS, THERE BEING WOMEN
FARMERS, {WOMEN FARMER}ISHNESS, and that there are women
farmers, which are all different but equivalent expressions standing for [some
women are farmers], the proposition expressed by 'some women are farmers'.
A statement that expresses a true proposition is true. Since [some women are
farmers] corresponds to <some women are farmers>, it is a true proposition
and the statement expressing it is a true statement. A proposition (and the
statement that expresses it) is false if the proposition does not correspond to
any characteristic of the world. For example, SOME THING BEING AN
ELF is a false characterization that does not correspond to any fact, there
being no such fact as {elf}ishness.
Among the world's existential characteristics (facts) are the following:
Using the angle bracket notation for the facts that are characteristics
of the world, we represent the fact signified by 'there are elks' by '<there are
20 An Invitation to Formal Reasoning
elks>' and the fact signified by 'there are no elves' by '<there are no elves>'.
This negative fact, <there are no elves> corresponds to the proposition that
there are no elves, making it true.
******************************************************************
Exercises:
******************************************************************
13. Propositions
Generally, any statement 's' expresses as its sense the proposition that s.
(which we symbolically represent as '[s]'). The form 'that s' is so common a
way oftalking about the sense of's' that we continue to use lower case letters
for it. For example, in asserting 'some women are farmers' we claim that
SOME WOMEN BEING FARMERS obtains, (is a true characterization of
the world). Equivalently we are claiming truth for the proposition that some
women are farmers. As it happens, the existence of women farmers is a fact;
[some women are farmers] corresponds to the fact <some women are fanners>.
So [some women are farmers] is a true proposition.
Reasoning 21
All these phrases are equivalent ways of talking about one and the same fact:
the existence of women farmers.
We have now shown how to answer the question: What is there about
the world that makes a true statement true? Consider any statement of form
'some thing is a Q thing'. Ifthe world is characterized by {Q}ishness, the
statement signifies a fact that corresponds to its sense. That fact --the existence
of a Q thing-makes the statement true. If the world is un{Q}ish, the statement
is false; in that case un {Q} ishness is a fact and the contradictory statement 'no
thing is a Q thing' is true.
Consider again the true statement 'there are no mermaids'. This
statement expresses the true negative proposition that there are no mermaids.
Equivalently, we may think of the proposition expressed as a STATE OF
AFFAIRS: THE NONEXISTENCE OF MERMAIDS. The proposition is true
(the STATE obtains) because un{mermaid}ishness, a negative existential
characteristic of the world is a fact. This fact, which is signified by 'there are
no mermaids', makes the proposition true. And that in tum means that the
statement expressing it is true.
Here again we distinguish between an upper and lower case meaning of a key
word. In its primary meaning the word 'fact' denotes an existential
characteristic of the world but 'fact' is also often used as a synonym for 'true
proposition' or STATE OF AFFAIRS that obtains. Taken as a synonym for
'true proposition' the word 'fact' should be written in upper case. For
example, that some farmers are women is a true proposition; we may call this
proposition a FACT. FACTS are true of the world. That there are mermaids
(The EXISTENCE OF MERMAIDS) is not a FACT. On the other hand; the
NONEXISTENCE of MERMAIDS, that there are no mermaids, is a FACT
or true proposition. The nonexistence of mermaids is a fact (lower case). This
fact is a negative existential characteristic of the world. FACTS correspond
to, are made true by, facts.
Suppose I am at the zoo and say 'that elk keeps staring at me'. The
nonvacuous term 'elk' signifies the characteristic of being an elk and it
denotes something that has the characteristic signified. Just as non-vacuous
terms denote what they characterize so do true statements. A true statement
such as 'there are elks' signifies a (positive, existential) characteristic of the
world ( {elk} ishness) and it too denotes something that has the signified
characteristic. Since it is the world that possesses the characteristic of
{elk} ishness, the statement 'there are elks' denotes the world. A true negative
statement such as 'there are no elves' signifies a (negative existential)
characteristic of the world (its un{elf}ishness) and it too denotes what has the
signified characteristic. Thus 'there are elks' and 'there are no elves' signify
different facts but both denote one and the same world. The false statement
'there are elves' expresses a characterization ({ELF} ISHNESS) but, like the
vacuous term, 'elf', the statement denotes nothing and signifies nothing.
True statements signify positive or negative facts. Facts differ from
one another. All true statements denote one and the same world. As for false
statements, they have expressive meaning but apart from that they are vacuous.
Reasoning 23
*******************************************************************
Exercises:
1. no senator is a citizen:
expresses TilE NONEXISTENCE OF SENATORS WHO ARE CITIZENS
claiming that it obtains. But it fails to signify a fact. (An equally good answer
is: ( 1) expresses the proposition that there are no senators who are citizens but
this proposition does not correspond to any state of affairs and so ( 1) is false
and it does not denote the world.
expresses [some waiters are not friendly], a true proposition that corresponds
to <some waiters are not friendly>, the fact signified by (2). THE PRESENCE
OF UNFRIENDLY WAlTERS correctly characterizes (is true of) the world
so the statement expressing this FACT denotes the world.)
*******************************************************************
2 Picturing Propositions
1. State Diagrams
Figure 1
Figure 2
mermaids
25
26 An Invitation to Formal Reasoning
A square figure represents all the things in the domain. Any things inside the
circle are mermaids. Any things outside are nonmermaids. By placing a cross
inside the circle labeled 'mermaids' we indicate that the circle is not empty.
Thus the first diagram represents the positive STATE OF AFFAIRS: SOME
THINGS BEING MERMAIDS or THE EXISTENCE OF MERMAIDS. In
the second diagram the mermaid circle is shaded. By shading the circle we
signify that it is empty. Figure 2 represents the negative STATE OF
AFFAIRS: the NONEXISTENCE OF MERMAIDS.
Figure 2 represents a STOA that is a FACT. Figure 1 represents a
STOA that is not a FACT. The two statements that express the depicted
STATES are:
Figure 3 [someS is P)
Figure 4 [noS is P]
Figure 5 [every S is P]
A statement that has a proper name or other uniquely denoting term in subject
position is called singular. Examples of singular statements are:
Socrates is wise. S* is W
Garbo is beautiful. G* is B
The President is tired. P* is T
Bigfoot is hairy. B* isH
As we saw in the first chapter, a singular term letter is affixed with a star to
indicate that the term it stands for is a uniquely denoting term (UDT), i.e., a
term that applies to no more than one individual. Note that 'president' in the
phrase 'The president' is represented by a starred letter. In the context of a
phrase ofthe form 'the S', the term'S' is a UDT and so we star it.
The singular statement 'Bigfoot exists' expresses the singular
proposition: THE EXISTENCE OF BIGFOOT:
Figure 7
B*()
Picturing Propositions 29
All things other than Bigfoot are outside the circle. The circle represents a set
of things which, if it is occupied, has only one thing in it, Bigfoot. The cross
indicates that the set of things that are Bigfoot is not empty, thus the diagram
represents the claim that some thing is Bigfoot, that Bigfoot exists.
The corresponding negative proposition expressed by 'Bigfoot does
not exist' would then be represented thus:
Figure 8
H
30 An Invitation to Formal Reasoning
*******************************************************************
Exercises:
******************************************************************
3. Entailments
We noted earlier that the truth of any statement claiming THE EXISTENCE
OF SOMETHING THAT IS BOTH X AND Y entails the truth of its
converse. In other words if the proposition expressed by 'some X is Y' is true,
then the proposition expressed by 'some Y is X' must also be true. And again,
to say that one statement entails another is a convenient way of saying that the
proposition expressed by the first statement entails the proposition expressed
by the second. We now turn to the task of explaining how one true proposition
can entail the truth of another proposition.
Consider again the statement
We represent the STATE expressed by s3 (that is, the STATE [s3]) by:
Picturing Propositions 31
Figure 10
c F
Figure 11
c
s5 no senator is an albino
s6 no albino is a senator
The following Venn Diagrams depict in different ways the single negative
STATE expressed by s5 and s6.
Figure 12
In general, any two statements of the form 'no X is Y' and 'no Y is X'
express one and the same (negative) STATE OF AFFAIRS, which makes it
impossible for one to be true and the other false. When two statements express
one and the same STATE OF AFFAIRS they mutually entail each other and
we call them logically equivalent.
Sometimes we have entailment one way but not the other way.
Consider for example the following little argument:
The two statements are not logically equivalent: [s7] entails [s8] but [s8] does
not entail [s7]. We can see why by looking at the diagrams of the STATES
each statement expresses.
Picturing Propositions 33
Figure 13 Figure 14
F c
The diagram on the left represents [s7], the STOA expressed by s7: The
EXISTENCE OF A FARMER-CITIZEN-POET. The diagram on the right
represents [s8], the STOA expressed by s8: the EXISTENCE OF A
FARMER-CITIZEN.
Note that the EXISTENCE OF A FARMER-CITIZEN, represented
in diagram 14 by an 'x' in the overlap of the two circles is already shown in
the diagram for 13 as part of the STATE which is the EXISTENCE OF A
FARMER-CITIZEN-POET. For in diagram 13 we already have an x in the
overlap of the 'farmer' and 'citizen' circles. Thus, if the EXISTENCE OF A
FARMER CITIZEN-POET is a FACT, so is the EXISTENCE OF A
FARMER-CITIZEN. But the converse does not hold: diagram 14 could
represent a FACT even if Diagram 13 did not. For it could be the case that
there is no farmer-citizen who is also a poet.
The STATES depicted in the two diagrams are positive; the diagrams
show that one of the STATES of EXISTENCE is included in the other,
thereby grounding the entailment of one proposition by the other. More
generally, if S 1 and S2 are any two statements and the STATE, [S 1] includes
the STATE [S2], then Sl entails S2.
4. Negative Entailments
Figure 15
[s9] [slO]
figure 16 figure 17
[sll] [s12]
F F
As the diagrams show, the STOAS expressed by s11 and s12 are distinct;
neither is included in the other. So there is no entailment in either direction.
Picturing Propositions 35
********************************************************************
Exercises:
Examine the following Venn diagrams. What proposition does each graphically
represent? What proposition does it entail? (Explain how the entailed
proposition, the conclusion, is depicted in the diagram that depicts the
premise.)
c F c F
******************************************************************
Venn Diagrams are useful for explaining how one statement may entail another
by showing in a graphic way how one STATE OF AFFAIRS may include or
exclude another. However, not all STATES can be represented graphically
and the actual use of Venn diagrams for logical purposes is rather limited. As
students of logic we want to learn how to infer conclusions from given
premises. And we want techniques for checking the validity of a wide range of
arguments. For example, we might wish to see whether an argument like 'every
noncitizen is an alien, hence, anyone who arrests a non-alien arrests a citizen'
is valid. (It is.) For arguments of this kind the method of checking validity by
means of state diagrams will not work. Nor is it practical for solving long
arguments like the second of the two Lewis Carroll examples given in Chapter
1. Indeed, the use of state diagrams quickly becomes impractical as soon as we
leave the simplest sorts of cases. In the next chapter we shall introduce an
algebraic way of representing statements that will prove very useful for the
wider purposes of logic.
Picturing Propositions 37
********************************************************************
Exercises:
II. Using the forms 'the existence of X' and the 'the nonexistence of X', what
facts are signified by each of the following true statements?
1. no animal is a mermaid
2. some bridesmaid is a spy
3. no farmer is a patriot and a spy
4. some farmer is a gentleman and a patriot
5. some farmer is a noncitizen
6. no farmer is a mermaid
7. every gentleman is a nonspy
8. all spies are gentlemen
9. some farmer who is a spy is a noncitizen
10. no bridesmaid is a mermaid
*******************************************************************
38 An Invitation to Formal Reasoning
8. The Statement Use of Sentences
One may accept or reject a truth claim. If you accept a statement as true, then
you are rationally committed to accept certain other statements as true. For
example, anyone who accepts 'some farmer is a gentleman and a scholar' as
true is rationally committed to accept 'some scholar is a farmer and a
gentleman' and 'some gentleman is a scholar' as true. In accepting the first
statement you accept the claim that the EXISTENCE OF A SCHOLAR WHO
IS A GENTLEMAN AND A FARMER is a FACT. But if that STATE
obtains so does the EXISTENCE OF A SCHOLAR WHO IS A FARMER
AND A GENTLEMAN and so does THE EXISTENCE OF A
GENTLEMAN WHO IS A FARMER. You cannot rationally accept the first
claim and reject the other two. Thus, truth has consequences. Logic studies the
consequences of truth claims.
The study of how statements are truth related to one another is central
to logic. It can be approached in two ways. We have so far approached the
question 'semantically'. Semantics studies the relation of statements to the
propositions they express and to the states of affairs or facts that make them
true or false, and it studies the relation of STATES OF AFFAIRS to one
another. For example, in our study of Venn diagrams we noted how some
STOAS include or exclude other STOAS. Such studies belong to semantics.
A second approach to truth relations focuses on the formal, or 'syntactical',
structure of a sentence. For example, we noted earlier that where S2 is the
grammatical converse of S 1 they will always have the same truth value. (That
is, we learned that any two sentences of the forms 'some X is Y' and some Y
is X' are true together or false together.) This second approach is syntactical
and in its way it is as fruitful an approach as the semantic one. lndeed the
semantic and syntactic approaches complement each other and it is now time
to focus attention on the form or syntax of the sentences that figure in
arguments. Our topic for the remainder of this chapter and for the next two
chapters is Syntax or more precisely, since our concern is with statements
bearing truth values, Logical Syntax. Logical Syntax is the study of the form
and the composition of the statement-sentences that we evaluate as being true
or false.
40 An Invitation to Formal Reasoning
10. Logical Syntax
These sentences mutually entail one another. (An inference using either one as
premise and the other as conclusion is valid.) The logician must bear this in
mind when he comes to parse them. But the linguist need not take this into
consideration and his way of parsing the sentences will not necessarily reflect
a concern with their truth relations.
The linguist parses a sentence by first dividing it into two parts: a
Noun Phrase subject and Verb Phrase predicate. Thus 'some horse speaks
French' has 'some horse' as its noun phrase (NP) and 'speaks French' as its
verb phrase (VP). (The NPNP analysis is indicated by the stroke sign that is
placed between the NP and the VP: some horse/speaks French.) A similar
analysis is given to 'some speaker of French is a horse', whose Noun Phrase
Picturing Propositions 41
subject is 'some speaker of French' and whose Verb Phrase predicate is 'is a
horse' ('some speaker of French/is a horse').
We do not here need to go into more detail about linguistic syntax. For
right at the outset the logician will find this mode of analysis unsatisfactory.
This is not to say that he denies that an NPIVP analysis may legitimately be
given to any sentence. But for his purposes such an analysis is inadequate. For
it is the job of Logic to explain why 'some horse speaks French, hence some
speaker of French is a horse' is a valid inference. In any such explanation the
logician will need to refer to expressions in the premise that are repeated in the
conclusion. But ifwe adopt the NPIVP mode of analysis, the expressions in the
premise of the inference are significantly different from the expressions that
appear in the conclusion. Where the premise contains 'speaks French' and
'some horse', the conclusion has 'speaker of French' and 'is a horse'. Thus the
linguist's NPIVP mode of analysis does not make clear the pattern of validity
that is instanced by this inference.
Now this complaint will not impress the linguist. For he will counter
by pointing out that it is his job to parse each sentence separately to bring out
its grammatical form; it is not his job to parse them in a manner that brings out
the form of an argument in which one is a premise and the other is the
conclusion. More generally the linguist may wish to deny that syntactic
analysis must attend to the truth relations of the sentences being analyzed. If
we accept his denial we may accept the view that the NPIVP analysis is a
legitimate way of parsing sentences. If however we require that any syntactic
analysis must also help us to see how sentences are logically related to each
other, then we shall demand a parsing of a sentence that is sensitive to the way
it is logically related to other sentences. In any case the logician cannot rest
content with the NPIVP style of syntactic analysis; he must aim for a 'logical
syntax' that parses sentences in a logically revealing way.
The logician approaches the two sentences with the idea of parsing
each one in a way that exposes the pattern of inference in which one is the
premise and the other is the conclusion. Thus he is dealing with the form of the
inference as well as the form of the individual sentence that enters into it as a
premise or conclusion. Indeed the two tasks are one. A syntactic analysis of
sentences that clarifies the inferences in which they play a role is an analysis
of their 'logical syntax'. In dealing with the structure of any sentence, the
logician is out to make its logical syntax explicit.
How does the logician analyze the two sentences? To see the how and
why of his analysis we note that the pattern of the inference in which we move
from the premise 'some horse speaks French' to 'some speaker of French is a
42 An Invitation to Formal Reasoning
horse' involves a change of order in two expressions. In explaining why this
inference is valid we want to say that the form of both sentences is the same,
only that in the conclusion the order of two expressions contained in the
premise has been switched. The trouble with the NPNP analysis was that it
did not bring to the fore the two material expressions that have been switched
about in the conclusion. For example, the premise contains 'speaks French',
which, speaking strictly, is not found in the conclusion (which has 'speaker of
French'). Moreover, superficially at least, the forms of 'some horse speaks
French' and 'some speaker of French is a horse' seem different. Thus the
linguist's NPNP analysis does not meet the following two conditions that the
logician here demands:
some X is a Y
(hence) some Y is an X
where 'X's' and 'Y's' hold the place of predicates. Following the Predicate
Way, (1) is an instance ofthat pattern:
*******************************************************************
The words 'some' and 'every' are called words of 'quantity'. Statements of
form 'some X is Y' are called 'particular in quantity' because they speak of
some X's but not of all X's. For example, 'some farmer is a citizen' is
particular in quantity since, in it, the term 'farmer' denotes some farmer or
farmers but not necessarily all farmers. By contrast, a statement of form 'every
X is Y', which speaks of all the X's, is 'universal in quantity.' For example,
'every farmer is a citizen' is said to be universal in quantity.
Sentences of from 'some X is Y' and 'every X is Y' are said to be
affirmative. 'Some X is Y' is called a particular affirmation, 'every X is Y'
is called a universal affirmation, despite the fact that its valence is negative.
(Its Venn diagram is shaded.)
46 An Invitation to Formal Reasoning
Denying a sentence changes its quantity. Thus 'no X is y' which is the
denial of 'some X is Y' is a universal sentence and 'some X is not Y' (or 'not
every x is Y'), which is the denial of 'every X is Y', is a particular sentence.
In sentences ofthe form 'some/every X is a Y' the phrases 'some X' and
'every X' are called subjects. For example, 'some farmer' is a particular
subject; 'every farmer' is a universal subject. The phrase 'is (a) Y' is called the
predicate of the sentence. For example, 'is a citizen' and 'is a noncitizen' are
predicates. In' some (every) X is a Y', 'X' is called the subject term andY is
called the predicate term.
Very often the terms of a sentence are not at the surface and we m~st
rephrase the sentence to bring out its two-term structure. For example, in
'some farmer drinks' the predicate 'drinks' is not a term and we regiment the
sentence as 'some farmer is a drinker'. We then identify 'drinker' as the
predicate term. We similarly regimented 'some horse speaks French' as 'some
horse is a speaker of French' to bring out its logical form, which is 'some X
is a Y'. This gave us the nominals 'horse' and 'speaker of French' as the two
terms of the sentence.
*****************************************************************
Exercises:
Regiment the following sentences and identify a) their subject terms, and b)
their predicate terms.
9 a frog leaps
0
********************************************************************
3 The Language of Logic (I)
1. Introduction
Any argument consists of statements. In this chapter and the next we will be
learning how to represent statements in a way that makes it easy to manipulate
them, 'adding them up' to arrive at conclusions. Our task here is similar to the
task we once had of learning 'the language of mathematics'. As a first step
we learned how to represent numbers like seven hundred and thirty-one and
nine thousand six hundred and ninety-eight as 731 and 9,698. Using arabic
notation made it easy for us to add these numbers in a mechanical way to get
10,429 as the sum. Analogously we will be learning a logical language, in
which we represent statements in a notation that permits us to 'reckon' with
them to derive conclusions from them in a mechanical way. Particular
affirmations like 'some farmer is a citizen' and 'Tom is a citizen' have a very
simple structure so we begin with them.
The particular affirmation 'some farmer is a citizen' has the form
'some X is a Y' with 'X' as the subject term and 'Y' as the predicate term.
The claim is that BEING A CITIZEN characterizes some farmer. We
abbreviate 'BEING A Y characterizes (an) X' as 'Y some X'. We use term
letters to stand for the terms. For example, the abbreviated form for 'BEING
A CITIZEN characterizes some farmer' is 'C some F'; the abbreviated form
for 'BEING A CITIZEN characterizes Tom' is 'C some T*'.
The formula 'Y some X' will be called an 'A-form' to remind us that
Aristotle was the first to introduce paraphrases that placed the predicate term
on the left and the subject term on the right thereby reversing the natural
English order of terms in a sentence. Aristotle's own paraphrase for 'some X
is Y' was 'Y belongs to some X'. His paraphrase for 'every X is Y' was 'Y
belongs to every X'. We shall speak of 'every' and 'some' as 'term
connectives'. Thus 'every' is the term connective in the sentence 'Y every X'
and 'some' is the term connective in 'Y some X'.
A-form sentences are not natural to English speakers; in the next
section we shall recapitulate our discussion for sentences that follow natural
English order (E-form sentences). For the present, however, we find A-forms
useful; by paraphrasing the E-form sentence 'some X is Y' as 'Y some X',
49
50 An Invitation to Formal Reasoning
the A-form brings out the characterizing role of the predicate term, the
denotative role of the subject term and the connecting role of the formative
expression '(belongs to) some'. Moreover the A-form has the virtue of placing
the term connective, '(belongs to) some', '(belongs to) every', entirely between
the terms that it connects and this suggests that we could represent the sentence
in an algebraic way.
We will in fact represent 'Y some X' as 'Y+X', thereby transcribing 'some'
as a plus sign. We noted earlier that 'some X is a Y' is equivalent to its
converse 'some Y is an X'. The equivalence of 'Y some X' to 'X some Y'
shows that 'some' does indeed behave in a plus-like manner. Using the A-form
the equivalence of converses can be stated as 'Y some X = X some Y'. But
now, representing 'some' as a plus sign, we can formulate the equivalence as
a simple algebraic equation:
Y+X=X+Y
Note that in '+(Y+X)' the plus sign plays two quite different roles. Coming
between the terms, it plays the 'binary' role of connecting, or 'adding', two
elements. Coming before the whole sentence it plays a 'unary' role of
qualifying that sentence as positive. The difference between the binary and
unary uses of a sign can be seen if we attend to an arithmetical expression like
'-( 12-5)'. Coming between two numbers, the minus sign operates on them
both simultaneously; its role in '12-5' being that of a binary subtraction
operator. But in its initial occurrence in,' -( .... )', it is a unary operator; it is
like the minus sign in '-7', where the minus sign operates on a single number
to transform it into a negative number.
The following illustrates how we transcribe sentences in algebraic
form. We give theE-form (English Form) and then the A-form along with its
algebraic transcription:
+(Y+X) = +(X+Y)
represents the equivalence
-(Y+X) = -(X+Y)
represents the equivalence
no X is Y = no Y is X
Terms that differ in sign are said to be logically contrary to one another. For
example, the terms 'citizen' and 'noncitizen' are logically contraries. If 'C'
represents 'citizen', '-C' represents 'noncitizen'. Two sentences that have
contrary predicate terms are called contrary to one another. Thus the following
pairs of sentences are contraries:
7. 'Every'
We now consider the fonn 'Y every X' which is 'Aristotelian' for 'every X is
Y'. In dealing with statements of this fonn we take note of the following
equivalence:
The statement on the right is 'Aristotelian' for 'it is not the case that some X
is nonY' which transcribes as '- ((- Y)+X)'. But what is the algebraic
transcription of 'Y every X'?
Note that both minus signs in '-((-Y)+X)' are unary signs. The
external minus sign operates on the sentence '(-Y)+X'. The internal minus
sign operates on the tenn 'Y'. But now suppose we simplify '- ((- Y)+X)' by
driving in the external sign. The result is 'Y- X', an expression that introduces
a new binary use of'-' standing for the tenn connective 'every'. We could
now express the equivalence between 'every X is Y' and no X is non-Y' as
the equation
[The reader is invited to check the correctness of this and other equivalences
by representing each side on Venn Diagrams. In the present instance the left
side signifies the nonexistence of things that are X but not Y; the right side
54 An Invitation to Formal Reasoning
signifies the nonexistence of things that are nonY and non-nonX. Since
whatever is X is non-nonX, the Venn diagrams for both statements will be the
same: shading out the area that is X but not Y.] Transcribing 'every' as a
minus sign allows us to express E2 as an algebraic equation:
Looking at a sentence like 'Y- (-X)' one may be moved to ask why we cannot
simply equate it with 'Y+X' to give us the 'equivalence':
Y-(-X) =Y +X
every non-Xis Y =some X is Y
The A-forms 'Y some X' and 'Y every X' differ from the more natural E-
forms 'some X is Y' and 'every X is Y' in three respects:
(1) The order of the terms is different. In the A-form the subject term
is on the right.
(2) TheE-form has the grammatical copula 'is' (or variants like 'are',
'will be', 'were', etc.). The A-form lacks the grammatical copula.
(3) In theE-form the words of quantity 'some' or 'every' come first
and not between the two terms.
In the remainder of this chapter and for much of the next chapter, we
will be learning how to represent all E-form statements as algebraic
expressions. This will enable us to reckon with them in an algebraic manner.
For example we will learn how set down the premises of a Lewis Carroll
argument in algebraic form and to derive a conclusion from them by adding
them. And we will be learning how to check a given piece of reasoning in much
the way that we check the correctness of an example in a very simple kind of
algebra whose only operative signs are '+' and '- '.
If you say 'no farmer is a billionaire' and I disagree, I would probably express
my disagreement by saying 'some farmer is a billionaire'. I might, for
emphasis, say, 'it is the case that some farmer is a billionaire', but in most
normal contexts affirmation is not explicitly expressed. Nevertheless we shall
temporarily adopt a method of transcription that prefixes affirmations with an
explicit sign of positive judgment corresponding to the external 'no' or 'not'
of denial or negative judgment. Thus, just as we transcribe the sign of denial
in 'not a creature was stirring', rendering this as '-(+C+S)', so shall we
transcribe a (tacit, unspoken) sign of affirmation 'yes' (or 'it is the case that')
in representing 'a creature was stirring' as '+(+C + S)'. This method of
transcribing will be adopted for most of this chapter. Later we shall be able to
follow natural English usage by omitting signs of positive judgment,
transcribing 'a creature was stirring' as '+C+S'.
The Language ofLogic (I) 57
For example, since the first two signs of'+{- F +C)' {the transcription of' every
farmer is a citizen') differ, its valence is negative. By contrast, the valence of
'not every farmer is a citizen' is positive since the two initial signs of its
transcription, '- (- F +C)', are the same. (The statement signifies the existence
of an farmer that is a noncitizen.) Generally then, the valence of a universal
statement of the form 'every X is a Y' is negative; such statements signify the
nonexistence of anything that is both an X and a nonY. The valence of its
contradictory 'not every X is a Y' (=> -(- X+Y)) is positive; the initial signs
are the same. Statements of this form are positive in valence, being equivalent
to 'some X is non-Y' and claiming the existence of something that is X and
nonY.
Our criterion shows that affirmative statements beginning with 'every' are
negative in valence. To see why consider the equivalence:
+(-X+Y) == -(+X+(-Y))
-(+X+Y} = -(+Y+X)
no X is Y = no Y is X
The Language ofLogic (I) 59
*******************************************************************
Exercises:
I. Transcribe each statement, inspect the first two signs and then say whether
the statement is positive or negative in valence.
******************************************************************
We saw earlier that 'every' in the A-fonn 'Y every X' transcribes as a minus
sign. It is easy to show that our method of showing the minus-like character
of 'every' carries over to the E-fonn 'Every X is Y.' We first transcribe the
equivalence of 'no X is nonY' to 'every X is Y' algebraically but without
transcribing 'every':
Since the two sides of the equation are equivalent they must be algebraically
equal as well as covalent. Since the first two signs in the fonnula on the right
differ, they must differ in the fonnula on the left. Putting '-' for 'every' does
just what we want: it assures covalence and it gives us a correct equation.
60 An Invitation to Formal Reasoning
Equation (1), which equates two E-form sentences, shows once again that
'every' has the character of a minus sign and should be transcribed as such.
(We continue the practice of writing 'yes' for 'it is the case that', transcribing
this expression for affirmative judgment by the '+' sign; we write 'not' for 'it
is not the case that', transcribing these and others expressions for negative
judgment by the'-' sign.)
Looking at equation ( 1) more carefully we note that the two (covalent
and equal) sides differ in three ways:
( 1) They differ in the judgment sign; one signifies affirmation the other
signifies denial.
(2) They differ in the sign of quantity; one side has 'every' the other
side has 'some'.
(3) They differ in the sign of predicate quality; one has a positive term
in predicate position, the other has a negative term.
Any two statements that differ in just these three ways are called
obverse to one another. And any two statements that are obverse to one
another are equivalent. Thus we can form the obverse equivalent of any
statement by ( 1) changing its judgment sign, (2) changing the sign of quantity
and (3) by changing the quality of its predicate term. Here are two more
examples of obverse equivalents:
15. 'Isn't'
Note: in logic, a binary minus sign has the meaning of'every'. But in all of the
above equations, the minus sign is unary so cancellation is allowed.
Covalence does not suffice for equivalence. Thus 'some farmer isn't a citizen'
and 'some citizen isn't a farmer' are covalent statements but they are not
algebraically equal and so they are not equivalent. However, when two
covalent statements are also algebraically equal their equivalence is guaranteed
by the laws of commutation or obversion. Thus consider the pair:
Both are positive in valence and in addition they are algebraically equal. Being
positive in valence, they both signify a positive state of affairs, possibly the
same state of affairs. But they are also algebraically equal so, by the law of
62 An Invitation to Formal Reasoning
They too are covalent. And they are algebraically equal. We could show they
are equivalent by appealing to obversion and to LLC. Thus
The two right sides are then shown to be equivalent by LLC. Since the two
right sides are equivalent so are the two left sides. More generally, whenever
two statements are covalent and equal, we can show they are equivalent by
appeal to LLC and/or Obv.
The transcriptions are algebraically equal but the two statements are not
The Language ofLogic (I) 63
logically equivalent because they are divalent: the first statement is positive in
valence, the second is negative.
Consider whether 'no native is a noncombatant' and 'no noncombatant
is a native' are equivalent. Looking at their transcriptions we find them both
covalent and equal:
-(+N+(-C)) = -(+(-C)+N)
Since they satisfy both conditions specified by PEQ we conclude they are
equivalent. PEQ illustrates how the algebraic notation is used for logical
purposes, in this case as a test for equivalence.
As a further example ofhow we use PEQ let us consider the sentences
'(it is the case that) every noncitizen is an Asian' and '(it is the case that) every
nonAsian is a citizen'. To determine whether they are equivalent we transcribe
them algebraically and form the equation that asserts their equivalence:
+(-(-C)+A) = +(-(-A)+C)
Inspecting the first two signs of both statements we note that both statements
are negative in valence since in both cases the first two signs are different.
Thus the two statements meet the covalence condition for logical equivalence.
We note also that the two statements are algebraically equal. Since they are
equal as well as covalent, the statements are logically equivalent.
Here are two more statements logically equivalent to '+(- (-C)+A)':
********************************************************************
Exercises:
********************************************************************
-(-(-X)-(- Y))
In this transcription, all signs are minus. Note that each negative term has a
minus sign. We could also introduce a convention transcribing positive terms
in a way that gives each positive term an explicit sign to signify its positive
quality. If we prefix each positive term with a positive sign, we should
transcribe 'some X is a Y' thus:
+(+(+X)+(+Y))
Now all signs are plus. In between these extremes we have many statements
with mixed signs. Thus 'every X is a nonY' is
+(-(+X)+(- Y))
+(+(+X)-(+Y))
The Language ofLogic (I) 65
±(±(±X)±(±Y))
yes/no some/every X/nonX is/isn't Y/nonY
********************************************************************
Exercises:
IT. A semi-explicit transcription drops the positive signs for terms but keeps the
external signs of affirmation and denial. For example, the semi-explicit
transcription of 'some X is a Y' is '+(+X+Y)'. Give a semi-explicit
transcription for each of the statements in exercise I.
m. A direct or 'no frills' transcription has no plus sign for affirmation as well
as no plus signs for positive terms. For example '+X+Y' is a direct
transcription for 'some X is a Y'.
********************************************************************
********************************************************************
Exercises:
1.
every noncitizen speaks a foreign language
everyone who doesn't speak a foreign language is a citizen
2.
not every ape can hop
some that cannot hop are apes
not every ape can hop
not everything that can hop is an ape
not every nonape can hop
********************************************************************
<+X+Y> = <+Y+X>
According to this law compound terms of form 'X andY', 'an X that is a Y'
68 An Invitation to Formal Reasoning
or 'an XY thing' denote the same thing as a term of form 'Y and X', 'a Y that
is an X' or 'a YX thing'. For example, the statement 'some farmer is both a
gentleman and a scholar' is algebraically transcribed as '+F+<+G+S>'. Note
that by the law of commutation this statement is equivalent to '+F+<+S+G>'
(read: 'some farmer is a scholar and gentleman'). Thus:
+F+<+G+S> = +F+<+S+G>
The reader may remember that the Law of Association is another fundamental
law that governs the behavior of the plus sign in arithmetic. According to the
law of association, adding y+z to x gives the same result as adding z to x+.y:
Association also governs the behavior of the plus signs in logic. Consider the
following two statements:
These statements are clearly equivalent: the existence of a farmer who is both
a gentleman and a scholar is the very same state of affairs as the existence of
a farmer and a gentleman who is a scholar. The Logical Law of Association
may be stated thus:
20. Derivations
Let us see how LLC and LLA may be applied to show that an argument is
valid: The argument in question is:
A1
(1) some woman who is British is a novelist +<+W+B>+N
I (2) some novelist who is British is a woman +<+N+B>+W
To justify this inference we show how the conclusion can be derived from the
premise by a series of steps called a derivation:
1. +<+W+B>+N prenuse
2. +W+<+B+N> 1,LLA
3. +<+B+N>+W 2,LLC
4. +<+N+B>+W 3,LLC
A2
+<+C+F>+<+G+S> preiDise
+F+<+S+<+C+G>> conclusion
The following sequence of steps shows how we may deduce the conclusion
from the premise.
l.+<+C+F>+<+G+S> premise
2. +<+F+C>+<+G+S> l,LLC
3 +F+<+C+<+G+S>> 2,LLA
4.+F+<<+G+S>+C> 3,LLC
5.+F+<<+S+G>+C> 4,LLC
6.+F+<+S+<+G+C>> 5,LLA
7.+F+<+S+<+C+G>> 6,LLC
1. -(+<+P+W>+<+S+C>) premise
2. -(+P+<+W+<+S+C>>) l,LLA
3. -(+P+<+<+S+C>+W>) 2,LLC
4. -(+P+<+S+<+C+W>>) 3,LLA
5. -(+<+P+S>+<+C+W>) 4,LLA
6. -(+<+P+S>+<+W+C>) 5,LLC
******************************************************************
Exercises:
1. no B is a C that is a D
/no D that is a C is a B
*******************************************************************
To expose the structure ofthis inference we must reformulate its two sentences,
giving each one a canonical paraphrase. This process is called 'regimentation'.
The first step in regimenting a sentence has already been discussed: one must
isolate its terms, paraphrasing where that is necessary, and then assigning a
term letter to each term. Once that is done it is often easy to reformulate it as
a canonical sentence that can immediately be transcribed. In the present
example we have expressions like 'nothing but' and 'whatever' for which we
have no direct transcriptions. So we must rephrase the sentences canonically
to make them fit for transcription. Thus we first assign
B for 'bird'
F for 'flier' or 'thing that flies'
(1) Nothing that isn't free from damp should be kept in a drawing room.
(2) Nothing that's encrusted with salt is ever quite dry.
From these two sentences taken as premises Carroll draws the conclusion that
nothing encrusted with salt should be kept in a drawing room. The terms of the
argument are:
- D+F; every thing that may be kept in a drawing room is free from damp
-F+(- E); every thing that is free from damp is not encrusted with salt
-D+(- E); /every thing that may be kept is a drawing room is not encrusted
with salt
*******************************************************************
Exercises:
*******************************************************************
A term that denotes no more than one thing is called a uniquely denoting term
and any statement that has a UDT in the subject position is called a singular
statement. Proper names are an important kind ofUDT, appearing in singular
statements such as 'London is foggy', 'Caruso was not a baritone' and
'Einstein is a genius'. In the singular sentence 'the Queen is gracious' the term
'Queen' may be used to uniquely denote Elizabeth II but in the general sentence
'every queen is an aristocrat' the same term is not a UDT.
A singular statement makes a claim of existence and so its valence is
positive. Thus 'Caruso is a tenor' claims that the world is characterized by the
existence of a tenor who is Caruso. The term 'Caruso' is not an ordinary term
since, by convention, it applies uniquely to a single individual: Enrico Caruso.
(Of course, even a proper name like 'Caruso' can have a use that is not UDT:
for example, praising someone's singing we might say 'He is a going to be
another Caruso'. But in that second use, 'Caruso' is, strictly speaking, no
longer a proper name.) UDTs, including proper names, have special logical
characteristics and we mark the term letters that represent them with an
asterisk. For example we use 'C*' for 'Caruso', 'E*' for Einstein' and 'Q*'
for 'Queen'(in the phrase 'the Queen'). Since the valence of'Caruso is a tenor'
is positive it is logically a particular statement and we so transcribe it:
+(+C*+T)
Literally this formula says that 'some Caruso' is a tenor. However 'Caruso'
74 An Invitation to Formal Reasoning
is a proper name that applies uniquely to no more than one person; if some
Caruso is a tenor, then every Caruso is. Algebraically, '+(+C*+ n' entails '+(-
C*+T)'. Similarly '(some) Einstein is a genius'(=> +E*+G) entails 'every
Einstein is a genius' (- E+G).
In general, ifN* is a proper name conventionally used to denote some
given individual, then any statement of the form 'some N* is P' will entail
'every N* is P'. This is so because there is no more than one N* so the
difference between 'some N*' and 'every N*' is an idle difference. The fact
that 'some N* .. .' entails 'every N* .. .' explains why the words 'some' and
'every' are not actually used before proper names: normally a subject of form
'some X' differs from 'every X', but in the case ofproper name subjects this
difference makes no difference and so we do not mark it in actual discourse.
Nevertheless, for logical purposes we bear in mind that the form of 'N* is P'
is particular [--> +(+N*+P)] claiming existence and that it entails a statement
claiming nonexistence. For if 'N* is P' is true, then so is 'every N* is P' or
'NoN* is a nonP'. Thus the existentially positive statement 'N* is P' entails
'every N* is P ', which claims the nonexistence of anyone who is N and not P.
For example, 'Caruso is a tenor' claims the existence of someone who is
Caruso and who is a tenor. But since there is only one Caruso, this claim
entails the negative claim that no one who is Caruso fails to be a tenor (the
nonexistence of any nontenor who is Enrico Caruso).
The sentence 'Caruso is a tenor' is transcribed as a particular sentence,
'+C*+T'. But '+C*+T' entails '-C*+T' so we could think of 'Caruso is a
tenor' as indifferently particular or universal. In a sense its quantity is 'wild';
we are free to give it whatever quantity we wish. To indicate wild quantity for
a singular sentence, 'N* is P', we shall sometimes transcribe it with a double
sign thus:
±N*+P
some/every N* is P
The Venn diagram for a singular statement will depict two states of
affairs, one positive, the other negative. Thus 'Caruso is a tenor' signifies the
presence of a tenor who is Caruso and the absence of a non-tenor who is
Caruso:
The Language ofLogic (I) 75
Figure 18
T
Many singular sentences have subjects of form 'the X' or 'that X'.
These too are transcribed as particular sentences with a starred term in subject
position. For example 'that white star is a dwarf is transcribed as '+W*+D'
to indicate that the subject term is a UDT uniquely denoting the white star
under consideration. Similarly 'the moon is setting' transcribes as '+M*+S'.
Since any sentence with a UDT in subject position has 'wild' quantity we could
transcribe 'the X is Y' as '±X*+Y'. For example, where 'Queen' denotes
Elizabeth II' in 'the Queen is gracious', both 'some Queen is gracious' and
'every Queen is gracious' is true and we transcribe 'the Queen is gracious as
'±Q*+G'.
In some cases a singular statement will make only the negative claim.
I may be unsure whether Homer existed but reasonably sure that ifhe did exist,
he was blind. I should then wish to claim the nonexistence of anyone who was
Homer but who was not blind. In that case my claim is represented by
'- (+H*+(- B)' or by '- (-B)+(- H*)'. The Venn diagram for this negatively
existential claim will shade the H*(- B) segment; it won't have a sign for the
presence of a blind person who was Homer since my claim is merely negative:
Figure 19
B
case of a statement like 'Bigfoot does not exist', it is clear that what we are
saying is quite general: namely that nothing is Bigfoot.
To summarize: Normally, the uniquely denoting subject term of a
definite singular statement denotes some given individual. Strictly speaking
such a statement has the logical form of a particular (existential) statement.
But since it entails the corresponding universal statement, a specification of
quantity is pointless and neither sign of quantity is explicit in actual discourse.
Definite singular statements have either particular or 'wild' quantity in
transcription.
23. Identities
*******************************************************************
Exercises:
******************************************************************
4 The Language of Logic (II)
1. Compound Statements
We have adopted the practice of representing terms by upper case letters. For
example, we represent the compound term 'gentleman and scholar' as
'<+G+S>'. By convention, we use lower case for statement letters. For
example, we may let 'a' stand for 'roses are red'. We now show how to
represent compound statements such as 'roses are red and violets are blue' in
algebraic notation.
Let 'a' represent the statement 'roses are red' and 'b' the statement
'violets are blue'. The word 'and' is used as a statement connective in forming
the compound statement 'a and b'. A compound statement formed by using the
word 'and' as the connecting expression is called a conjunction and each
statement in it is called a conjunct. Thus, if 'p' is a statement and 'q' is a
statement, then 'p and q' is a conjunction whose conjuncts are 'p' and 'q'. The
algebraic transcription of 'p and q' is
+p+q
Here too we may preface the statement by some sign of affirmation ('yes', or
'it is the case that'), which we transcribe as an external plus sign. Our
transcription then looks like this:
+(+p+q)
which reads:
77
78 An Invitation to Formal Reasoning
replace 'it is the case that' by 'it is not the case that' representing this negative
phrase for statement denial by an external minus sign:
-(+p+q)
2. 'If...then'
Suppose you overhear someone saying 'there is smoke but there is no fire' and
you disagree. Your denial is amounts to affirming the old saw 'if there is
smoke then there is fire'. Statements of the form 'if p then q' are called
conditionals (sometimes: hypotheticals). Of the two component statements in
a conditional, the first is called the antecedent and the second is called the
consequent. Thus, in 'if there is smoke then there is fire','there is smoke' is
the antecedent and 'there is fire' is the consequent. Let 's' stand for the
The Language ofLogic (11) 79
antecedent and 'f for the consequent. Then '+(+s+(- t) )' transcribes the
statement you overheard and '- (+s+(- t))' transcribes your denial. The denial
is equivalent to 'if s then f but we have as yet no way to transcribe 'if...then'
algebraically. Nevertheless, we may assume that 'ifp then q' is defined as 'not
both p and not-q' and transcribe what we can:
The right side defines the left. The right is negative in valence so the left must
also be negative in valence. But the left side is an affirmation implicitly
prefaced by something like 'it is the case that'. It will therefore have an
external plus sign. Thus 'if s then f will have the form of an assertion '+( )'.
Since the valence is negative the next sign must be '- '. But the next sign
represents 'if and this suggests that 'if (like 'every') is logically minus and
that 'yes: ifs then f transcribes as '+(-s+t)'. Once again we have used the
equivalence of two statements to determine the plus/minus character of an
important logical connective. We did this before when we defined 'every X
is Y' by way of 'not some X isn't Y', revealing that 'every .. .is' is to be
represented as '- ... +'. And now, by defining 'if x then y' in terms of 'not
both x and not-y', we reveal that the binary functor statement connective
'if ..then' is'- ... +'. Algebraically our definitional equivalence looks like this:
*******************************************************************
Exercises:
*******************************************************************
3. More on Transcription
Our method of algebraic transcription has shown that the formative words,
'some', 'and' 'is' and 'then' are plus words. The formative words 'every', 'if,
'not' and 'isn't' are minus words. We have seen that 'isn't' is a contraction of
'is not'. In some languages there is a contractive word for 'and not'. If
English had the word 'andn't' we should transcribe it as '-' rendering 'p
andn't q' as '+(+p-q)'. Another possible contraction could be 'thenn't'.for
'then not'. If 'thenn 't' were English we could say things like 'if p thenn 't q',
transcribing this as '+(-p-q)'
The following formative words have a plus/minus representation:
This master list is much larger than it looks. Thus 'all' is logically a variant
of 'every' and it, too, is a minus word. All kinds of negative particles such as
'-less', 'un-' and 'non-' are minus signs . 'Is', 'are' 'was' and other forms of
positive copula are all transcribed as plus signs; the different forms and tenses
of negative copulas such as 'isn't', 'aren't' 'won't be' are transcribed as minus
signs. For example, 'all raindrops are colorless' transcribes'+(- R+( -C))' and
'children were shouting' transcribes as '+(+C+S)'.
We have noted that some signs have no English equivalents. Consider
'+(+p+( -q))', the transcription of 'p and not q'. This is algebraically
equivalent to '+p-q', which we should have to read as 'p andn't q'. Suppose
also that we could contract 'then not' into 'thenn't'. We could then say that
'if p then not q' is equivalent to 'if p thenn't q' and we could express the
equivalence algebraically:
are many formative words that are not variants of any words in the above list.
These cannot be directly transcribed by a (single) plus or minus sign. 'Only'
and 'unless' are examples. In transcribing a statement containing 'only' or
'unless' we must rephrase it as a statement that contains words from the above
list or variants thereof 'Only' seems to mean something like 'no non-', or 'not:
some non-'. For example, 'only citizens are voters' may be paraphrased as 'no
non-citizens are voters' and then transcribed as '- (+(-C)+V)'. 'Unless'
amounts to 'if not' so we may paraphrase 'p, unless q' as 'if not q then p' and
transcribe it as '+{- (- q)+p)'.
No variant of'or' is on the list because 'or', like 'only' and 'unless',
cannot be transcribed as a simple plus or minus sign. Statements of the form
'p or q' are common and we now turn to the question of how we may
transcribe them.
4. 'Or'
Among the logical words that cannot be directly transcribed, 'or' is the most
important. Statements of the form 'p or q' are called disjunctions and their
component statements are called disjuncts. A disjunction is equivalent to the
denial of a conjunction. Consider the statement 'either Nellie is home or Tom
is smoking'. This statement is equivalent to the denial: 'not: both Nellie is not
home and Tom is not smoking'. More generally, since we can equate 'p or q'
to a statement containing only the primitive plus/minus words 'and' and 'not',
we may use the latter statement to define an algebraic form for 'p or q':
p or q =df. -{+(-p)+{-q))
-(-n)-(-t)
82 An Invitation to Formal Reasoning
-(-p)-(-q) = -(-p)+q
p or q = if not p then q
This equivalence could have been used to define 'p or q' as 'if not p then q'.
If English had a contraction for 'then not' we could say things like 'if not p
thenn't not q', a form of compound statement that is equivalent to 'p or q'
since it claims: ifp is false, q can't also be false. We may even think of'p or
q' as an abbreviated way of saying just that. With that understanding we are
free to transcribe 'p or q' as the formula:
+(-(-p)-(-q))
p
-[-q]+[-r]
/-[-s] + [-r]
But this way of representing the argument would make it impossible to show
that it is valid. On the other hand, if we represent the internal structure of its
component sentences, we should transcribe it thus:
-S+L
- [+T*-S]+(+T*+(- E)]
1- [+T*+(- L)]+[+T*+(- E)]
Now it is possible to prove the argument valid by methods that we shall learn
in Chapter 6. (Note that the conclusion is equal to the sum of the premises).
The point of this example is to illustrate that we must often transcribe
compound sentences in a way that exposes the internal structure of the
component sentences.
Consider the conjunction, 'Paris is expensive but Madrid isn't'.
Letting 'p' stand for 'Paris is expensive and 'q' for 'Madrid is expensive' we
would transcribe the conjunction as '+p+(- q)'. This however would give little
clue to the real meaning of the sentence. Here again we are interested in the
structure of the component sentences of a compound sentence. In the present
case the following transcription will give us what we want:
+[+P*+E]+[+M*- E]
84 An Invitation to Formal Reasoning
Note, in this and the previous example, our use of square brackets to encase
a sentence that occurs as a component in a compound sentence. Other
examples of the use of square brackets are:
some roses are white but every violet is blue: +[+R+W]+[- V+B]
if any ape is a citizen then Ike is a citizen: -[+A+C]+[+I*+C]
all crows are black but not all are honest: +[-C+B]+[-(-C+H)]
********************************************************************
Exercises:
II. Show that 'p unless q' and 'p or q' are equivalent.
(hint: treat 'unless' as 'if not'.)
IV. Any two statements that are equal and covalent are logically equivalent.
The Language ofLogic (II) 85
VI. Show that the following pairs of compound statements are equivalent.
VII. 'or' like 'and' is commutative and associative. Write out the laws of
commutation and association for 'or'.
********************************************************************
±(±(±p)±(±q))
yes/not; both/if; yes p/not p; and/andn't,thenlthenn't; yes q/not q
This omnibus formula contains all of the possible ways that two statements
may be joined to form a compound assertion or denial. For example,
'-(-(-p)-(-q)' is the transcription of 'not: if not p thenn't not q' and
'-(+( -p)-(+q))' is the transcription of 'not: both not p andn't q'.
86 An Invitation to Formal Reasoning
7. Direct Transcriptions
In what follows we shall mainly stick to English words and we shall follow the
practice of directly transcribing them. The logical English words for which we
have direct transcriptions are:
PLUS MINUS
some every
and not
is isn't
then if
We shall also drop the initial plus sign of assertion as well as the signs for
positive terms. For example, we shall directly transcribe 'if p then q' as
'-p+q' and 'p and q' as '+p+q'. Similarly 'every A is B' transcribes as
'-A+B' and 'some A is B' as '+A+B'. The convenience of dispensing with
The Language ofLogic (II) 87
all of the extraneous plus signs is obvious. But there is a price. By dropping
the external sign of affirmation we lose the ability of mechanically determining
the valence of a statement by comparing its first two signs to see whether they
differ. For example, in determining the valence of'ifp then q' as negative, we
compare the first two signs of '+(- p+q)' and find them different. But if we
drop the initial sign of affirmation and transcribe 'if p then q' simply as
'-p+q' this test cannot be used. We could, however, look at '-p+q' and
mentally supply an initial plus sign of affirmation. We could then 'see' that the
'next' sign is different and thus determine that the statement is negative in
valence. We think you will agree that this is a small price to pay for the
convenience of omitting the eternal plus sign and going over to direct
transcription. One very quickly learns how to tell the valence of the simpler
and more natural forms.
********************************************************************
Exercises:
I. Give direct transcriptions of the following statements and say whether their
valence is positive or negative (e.g., not p or not q: -p-q, negative).
1. not p andn't q
2. if not p then q
3. or p or q
4. orn't p orn't q
5. not: if not p thenn't q
6. if not p then both q and r
7 if both p and q then not r
8. both p and not q
9. if p then neither q nor r
10. if orn't p orn't q then not p
1. -p-(-q)
2. +p-(-q)
88 An Invitation to Formal Reasoning
3. --p--q
4. -(-p-q)-{+(-q)-s)
5. --{-p+q)--{-p+r)
6. -{--p--q)-(-r-s)
********************************************************************
8. Relational Statements
The statements we have so far considered have a subject of the form 'someS'
or 'every S' and a predicate of the form 'is P' or 'is not P'. In a statement like
'some boy envies every astronaut' we find two subject expressions, 'some boy'
and 'every astronaut' connected by the transitive verb 'envies'. A transitive
term is a two faced expression turning one (active) face to one subject and the
other (passive) face to a second subject; grammarians often call the subject
expression that follows the transitive verb the 'object' of the verb. In the
present example, the first subject term ('boy') denotes someone being
characterized as envier (one who envies), the second subject term denotes
someone being characterized as envied; the subject 'every astronaut' is the
'object' of the verb 'envies'. Although 'some boy admires every astronaut'
contains two subjects, it can be parsed as a subject/predicate statement, and
regimented as 'some boy is an envier of every astronaut' whose subject term
is 'boy' and whose predicate term is 'envier of every astronaut'. We call
'envier of every astronaut' a complex term. A complex term consists of a
relational term (in this case 'envier of') followed by a subject (in this case
'every astronaut'). The relational term 'envier (of)' is a third term that
mediates between 'boy' and 'astronaut'. Logicians call it a 'two place' term
since it pairs with two terms, 'boy' and 'astronaut'. The relational sentence
'some boy is an envier of every astronaut' thus has three terms which we may
represent as 'B ', 'E' and 'A'. In this sentence 'B' pairs with the active side of
'E' since the claim is that 'boy' denotes something that 'envier' denotes. 'A'
pairs with the passive side of 'E', the claim being that 'envied' denotes
whatever 'astronaut' denotes.
The Language ofLogic (II) 89
In a two term sentence such as 'some boy is an astronaut' the terms 'boy' and
'astronaut' are paired for co-denoting some individual or individuals.
Similarly, in 'every boy is an astronaut' the same terms are paired and the
claim is that 'astronaut' denotes whatever 'boy' denotes. In a two term
sentence there is no possibility of misunderstanding: the two terms pair with
one another. Nevertheless, we could make the obvious explicit by supplying
a pairing index for any pair of co-denoting terms. If the index is numerical we
should transcribe 'some boy is an astronaut' as '+B 1+A1' or as '+B5+A5 ' using
any numeral we please as long as the two co-denoting terms are given the same
numeral. In practice, the terms in a two term sentences are not given pairing
indices. But in the case of relational sentences where we have more than two
terms we want a notation that keeps track of the term pairs. Using numerical
pairing indices for transcribing 'some boy envies every astronaut' indicates
how the active and passive sides of 'E' pair with 'B' and 'A' respectively:
In general, terms that pair with one another are used in a 'co-denoting'
way. Two terms that have a common numerical index form a 'proper (co-
denoting) pair'. The following (proper) pairs ofterms are implicit in 'some boy
envies every astronaut':
In the following sentence, three subjects are related by a three place relational
term:
Some of the proper term pairs implicit in the sailor sentence are:
sailor, giver
child, getter
90 An Invitation to Formal Reasoning
Some sentences contain more than one relational term. Examples are
********************************************************************
Exercises:
III. Transcribe and give some term pairs for each of the following.
********************************************************************
In a sentence like 'some girl is loved', the subject 'some girl' is to the left of
the predicate tenn 'loved'. But in a relational tenn like 'loves some girl' [=>
L 12+G:z], the subject expression '+G2' is to the right of its predicate term, 'L 12 '.
The predicate/subject fonn reminds us of sentences written in 'A-fonn': no
copula and the predicate tenn on the left. Indeed relational terms show that the
A-fonn is not altogether absent from English syntax. From a syntactical
standpoint, the presence of an A-fonn is just what distinguishes relational
sentences. The basic overall sentence structure is subject/predicate (with
implicit or explicit copula) but the relational tenns have the predicate-subject
structure of 'Aristotelian' sentences: no copula, predicate tenn on the left and
subject on the right.
In English the basic nonnal fonn is subject/predicate (SIP). Any
relational sentence could be 'nonnalized' by giving its relational tenns a
subject/predicate fonn. To get the relational tenn 'loves some girl' in line with
the basic SIP structure we could commute 'L 12+G2'. This would paraphrase
'- B 1 + (L 12+G2)' to give us:
or 'every boy is what some girl is loved by' (or 'every boy some girl doth
love'). In this paraphrase the relational tenn has the fonn of a nonnal 'Noun-
phraseNerb-phrase' (subject/predicate) English sentence whose algebraic fonn
is '+S+P'.
Let us call any expression offonn '±X±Y' a dyad. Note now that
'- B 1+(+G2+L 12)' is fully dyadic in structure. The sub-sentence '+G2+L 12 ' is
adyadofthefonn '+X+Y'. Themainsentenceisadyadofthefonn '-X+Y'.
In the next section we show how to get at and make explicit the dyadic
structure of any English statement/sentence.
92 An Invitation to Formal Reasoning
To get a relational sentence into DNF we place each of its subject expressions
to the left of its own predicate expression. Let us take the sailor sentence as
another example. Its transcription is '+S 1+(G 123 -C2+T3). This sentence has
three subject expressions: 'some sailor', 'every child' and 'some toy'. The
first of these subjects, '+S ', is already to the left, but the second and third
subjects need to be relocated to the left of their own predicates. The resulting
DNF formula is
The Language ofLogic (II) 93
Here '+S 1' has the bracketed expression that follows it as its predicate. (The
predicate says of some sailor that he gives every child a toy.) '-C2 ' has the
bracketed expression that follows it as its predicate which says of every child
that it gets a toy. And '+T 3 ' too has its own predicate which says of a toy that
it is given. Each subject is now in its own dyad and the whole sentence is in
'dyadic normal form'. It is important to note that the numeral '1' pairs the
terms of the outermost dyad, the numeral '2' pairs the terms of a nested dyad
and the numeral '3' pairs the terms ofthe innermost nested dyad.
Finally consider how we would get
Each dyad has a pair of co-denoting terms; the common numeral index keeps
track of the term pairs.
The last example reminds us once again that any sentence can be
formally rewritten in a way that brings out its dyadic structure, what we are
calling its 'dyadic normal form'. When a sentence is in DNF each of its non-
94 An Invitation to Formal Reasoning
some gambler who petted a dog is afraid of all black male cats
(We begin now to suppress some of those numerical subscripts which are not
essential.) The example illustrates that it is not always possible to get
anything like a normal sounding DNF paraphrase of the original sentence. In
this case the closest we could get was
some gambler who a dog did pet is of every black male that is a cat
afraid
We may then detach the 'sub-sentence', '+M2+B 12 '. The justification for
detachment is discussed in section 16 below.
G.W.F. Leibniz, one ofthe great logicians ofthe past five hundred
years, noted that every relational sentence consists of sub-sentences, each
containing two terms. Thus 'Paris loves Helen' is understood to say 'Paris
loves and eo ipso Helen is loved'. Leibniz's idea was that these sub-sentences
are implicit in 'Paris loves Helen'. Our DNF notation for relational sentences
represents Leibniz's analysis in perspicuous fashion. The DNF of
'P* 1+(L 12+H* 2)' is 'P* 1+(H* 2+L 12)', from which we detach the sub-sentence
'+H* 2+L 12 '. The idea that all ofthe component dyads are sub-sentences was
The Language ofLogic (II) 95
+A+<+B+C>/+<+A+B>+C
Consider now the relational statement '+A 1+(R 12+B 2)' (read: 'some A is R to
some B'). Applying association gives us '+(+A 1+R12)+B2' which may be read
'something that some A is R to is a B'. An instance of this form of argument
is:
14. Obversion
We have seen (Chapter 3, section 14) that the two sentences 'not every A is a
B' and 'some A is a nonB' are equivalent. We call either one the obverse of
the other. One sentence is the obverse of another if and only if they differ in
three ways: in external sign, in the quantity of their subjects and in the quality
of their predicates. This is easily seen if we form the equation of the two
obverses:
Note that the relational terms '+((- P) 12+T2)' and '-{P 12 - T 2)' are obverses of
one another. That obversion applies to relational terms is further evidence that
relational terms are sentential in nature. Transforming a sentence into its DNF
brings this out.
Applied to relational terms with more than two subject expressions, the same
rule applies: drive in the minus sign so as to change the sign of the relational
expression and the signs of quantity of each subject. For example from
we derive
The Language ofLogic (II) 91
The equivalence shows that the right side is the obverse of the left since all
quantities of the two subjects within the relational term have been changed:
A familiar type of relational inference is the move from the active to the
passive form or from the passive to the active form of a relation. An example
IS
1. +BI+(P12+D2) premise
2. +(PI2+02)+BI 1, commutation
3. +(+D2+P 12)+B 1 2, commutation
4. +D 2+(P 12+B 1) 3, association
16. Simplification
Thus from 'some farmer is a gentleman and scholar' we may infer 'some
gentleman is a scholar'; detaching '+G+S' from '+F+<+G+S>' is justified by
the law of simplification.
Simplification also applies to relational statements. Given the premise
'some boy is petting a dog'[=> +B 1+(P 12+D 2)] we may first derive its DNF,
'+B 1+(+D 2+Pd', by commutation, from which, by simplification, we may
detach '+D2+P 1/, 'some dog is petted', as the conclusion. The line of
reasoning from 'some boy petted a dog to 'a dog was petted' can be made
more explicit by giving an annotated proof.
1. +B1+(P12+D2) premise
2. +B 1+(+D2+P12) 1, commutation
3. +D 2+P 12 2, simplification
1. +B1+(K12+C2) prenuse
2. +(+B1+K12)+C2 1, association
The Language ofLogic (II) 99
2, simplification
To infer 'a truck is being sold' from 'some farmer is selling a truck to
a neighbor' we first formulate the premise in DNF:
Very often we use a term and then use that term again to denote the very same
thing as previously denoted. Consider the difference between the following
two pairs of sentences:
In this pair, the recurring term, M, does not denote the same individuals. By
contrast, in
the second occurrence ofM denotes 'the men in question'. Note the use of a
common superscript to indicate that in both sentences the subject term denotes
the same individuals. In the second sentence, the subject 'they' refers to the
men in question already referred to. So we need a pair of terms that are
designed to denote one and the same individuals in both sentences. Terms
marked by the common superscript are calledproterms. Note also that the
second sentence has 'wild quantity' since 'they' has the meaning of 'the men
in question' and all, not merely some, of the men in question are denoted by
this proterm.
A context involving a pair of proterms is called a pronominalization.
The first proterm of a pronominalization is called the antecedent; the second
is called the pronoun. (The pronoun may be prefixed with wild quantity.)
Two common forms of pronominalizations are
A third common form involves 'reflexive pronouns'. Here the antecedent and
the pronoun occur in the same sentence. Examples are:
In these sentences both occurrences ofB denote the same barber, but as the
numerical indices show, the first occurrence denotes the barber qua shaver, the
second denote him qua shaved. The next example is a favorite of linguists:
a boy who was fooling her kissed a girl who loved him
+<+B' I+(F12+G" 2)1>I+(K13+<+G" 3+(L34+B' 4)3>3)1
IPE IfP ',. ... P 'n is an internal pronominalization, remove P 'nand replace
any remaining occurrence ofn by,.
********************************************************************
Exercises:
II. Apply IPE also to 'some barber shaves himself but no one else'. (Hint:
(- B ' 2), which transcribes 'else', is not a pronoun, so should not be eliminated.)
********************************************************************
102 An Invitation to Formal Reasoning
Appendix to Chapter 4
The extension of a tenn comprises all the things that have the characteristic it
signifies. For example whoever has the characteristic of being a snob is in the
extension of the tenn 'snob'; thus all snobs are in the extension of 'snob' and
all critics are in the extension of 'critic'. But a tenn in use need not denote
everything in its extension. Thus in 'some critics are snobs; they admire only
one another' the tenn 'critics' is being used with restricted denotation to denote
certain critics (not necessary all who are snobs). Those who utter this sentence
may indeed have certain critics in mind whom they could identify. But in any
case they are restricting the denotation ofthe subject term to certain critics that
are, in principle, identifiable. The denotation of 'critics' in this statement is
said to be 'bounded'. A tenn that is being used with bounded denotation will
be represented by a marked letter. Thus our sentence about the critics would
be transcribed thus:
certain critics are snobs; anyone admired by some one of them is one of them.
The case of bounded denotation is an object lesson in how the
denotation of a tenn is context dependent. Consider 'critic' in 'every logician
is a critic'. Here too 'critic' signifies the characteristic of being a critic
(BEING A CRITIC) but in this use it has no denoting role at all. In 'some
critic is a logician' 'critic' does have a denoting role; it denotes some critics.
In 'every critic is unhappy', 'critic' denotes all the things that have the
characteristic of being a critic, that is, it denotes all of its extension. A
distributed tenn such as 'critic' in 'all critic like this play' denotes all of its
extension. But an undistributed tenn (e.g. 'critic' in 'some critics dislike the
play' does not denote all of its extension. [For more discussion of distribution
see section 3 in Chapter 6.] In 'the critic liked the play' the term 'critic'
uniquely denotes a particular critic whom the speaker could identify for us. In
'a critic is in the audience; the critic (in question) is taking notes' the term
'critic' is a 'protenn'. (Thus 'the critic' could be replaced by 'he' or by 'she'
in its second occurrence.) The moral of these examples is that while the
extension of a tenn is independent of context, what, if anything, it denotes can
vary from one sentence to the next.
The Language ofLogic (II) 103
1. Pairing markers. This indicates how two terms are being paired for co-
denoting.
2. Pronominal markers. These indicate that a given recurrent term is a proterm,
104 An Invitation to Formal Reasoning
1. Pairing markers
are pairing markers. In 'some dog was barking at a cat' [-> +D 1+(B 12+C 2)]
the index '2' pairs 'cat' and 'bark' for denoting a cat that is being barked at.
Any two-term sentence is implicitly pair-marked. For example, 'some fanner
is a citizen' could be transcribed as '+F4+C/. In general we omit pair markers
when transcribing simple nonrelational sentences.
2. Pronominal markers
The first subject in which the protenn occurs is the antecedent, the
subsequent subjects are pronouns. The sequence of sentences containing
antecedent and pronoun is a pronominalization. A single sentence can
constitute a pronominalization. For example, in 'some barber shaved
himself[=> +B' 1+S 12+B' 2] the common pronominal superscript indicates
The Language ofLogic (II) 105
that the barber being shaved (denoted by 'B' 2 ') is the same as the barber that
shaves (denoted by 'B' 1').
Unlike the focus of a proterm like 'man' in 'that man', which differs from
context to context depending on the antecedent, the focused denotation of some
recurrent terms is conventionally and permanently fixed. Thus, the proper
name 'Caruso' differs from 'he' in being always focused on the great Italian
tenor who sang at the 'Met' in the twenties and thirties. Also, unlike proterms,
which are usually descriptive ('an ape ...that ape'), proper names are
nondescriptive. [But some proterms are nondescriptive. Thus you say 'a man
is on the roof and I say 'it's not a man'. Here I focus on what you focused on
but I deny the description 'man'. My pronoun 'it' may be understood to refer
to 'the thing in question' i.e., that thing you took to be as man'. See F.
Sommers, The Logic ofNatural Language, Oxford University Press, Oxford,
1982, Chapter 11, where it is argued that proper names are a special kind of
nondescriptive proterms.]
Proper names are one kind of UDT. We mark UDT term letters by a
circumflex. Some UDTs are descriptive. Thus in 'the Sun is ninety-three
million miles away' and 'The present monarch is a woman' the terms 'Sun'
and 'present monarch' are descriptive UDTs. A descriptive UDT differs from
a proterm in occurring without antecedent. Consider the difference between the
above UDT occurrence of'Sun' and the occurrence of'Sun' as a proterm in
a context like 'a sun was visible on the screen; it (the sun) was a white dwarf'.
Descriptive UDTs are very much like proterms whose antecedent
background is taken for granted. For example, in 'the present monarch is a
woman' (said in 2000) the term 'present monarch' is a UDT. But we may also
view it as a proterm whose contextual background is understood. If we made
the background explicit we might have something like:
+M'+C; +M'+W
106 An Invitation to Formal Reasoning
4. Restrictive markers
Some terms are used with restricted denotation. These are marked
by two stroke signs. For example, 'critic' may denote a special group of
critics in a context like the following:
So used, the term 'critics' denotes the members of a subclass of critics and· we
should transcribe the sentence in two parts, thus:
+[+/C/+S]+[-(A 12+/C/1)+/C/2]
certain critics are snobs and anyone admired by one of them is one of them
Restricted terms are not focused. They are like general terms only
their range of denotation is bounded or restricted.
1. Pairing markers
+A 1+R12+B 2 some A is R to a B
-(+A 1+F 12+C 2) no A is F to any C
2. Pronominal markers
A similar rule holds for pronominal superscript indices. Here the antecedent
determines the indexing. In a pronominalization whose antecedent proterm is
undistributed we introduce a proterm superscript. But if we have a new
pronominaliation, we cannot index new occurrences of the proterm by the
same superscript. For example, having transcribed 'some A is P and that A is
Q' as
+[+A'+P]+[+A'+Q]
+[+A'+B]+[+A'+C]
Uniquely denoting terms, UDTs, are given asterisks. For example, a letter
representing a proper name in transcription is given one. There is no restriction
on the recurrent use of the same name over many different contexts. Other
UDTs occur in phrases like 'the moon', 'the President'. However it is
108 An Invitation to Formal Reasoning
sometimes clear that the term 'S' in a phrase of form 'the S' is really a
proterm subject. If so, we do not mark it as a UDT but as a proterm that is
subject to the restrictions that govern how we assign pronominal superscripts.
We should, for example, normally transcribe 'the moon is full' as '+M*+S'.
On the other hand, we may be talking about one of Jupiter's moons and say
'the moon was first seen by Galileo'. Here 'the moon' is interchangeable with
'it' (that moon, the moon in question); we should then treat the expression 'the
moon' as a pronoun and give 'moon' proterm status.
4. Restrictive markers
There are no special rules for assigning the stroke markers to terms of
restricted denotation.
5 Syllogistic
1. Validity
In this chapter we study arguments that have two or more premises. Any
argument consists of n statements (a conclusion and n-1 premises). An
argument is called a syllogism if it has as many terms as it has statements,
each term appearing twice in different statements. Here are two examples of
syllogistic arguments:
A2 no primate is a reptile
some reptiles are herbivores
all baboons are primates
/some herbivores are not baboons
All other syllogisms are irregular. The reason for being interested in regular
109
110 An Invitation to Formal Reasoning
we know at once that, despite its plausible appearance, it does not have a valid
form, being neither U-regular nor P-regular.
The form of A* is:
some X is Y
some Yis Z
/some X is Z
A second question we ask is: Do the premises add up to the conclusion? The
answer to this question is again crucial. For only those syllogism that add up
are valid.
These two conditions-being regular and adding up-are the only
conditions that a valid syllogism has to satisfy. We can state the criteria for
syllogistic validity thus:
The REGAL Principle: A syllogism is valid ifand only ifits mood is regular
and it adds up.
Syllogistic Ill
We call this the Regal Principle because the word 'regal' connotes
regular and ega/ (French for 'equal') thereby reminding us of the two
conditions to look for in a syllogism. Each condition is necessary for validity.
Taken together they are sufficient.
REGAL is a decision procedure telling us how to proceed in deciding
whether a given syllogistic inference is valid or not. In section 4 of this chapter
we shall justify REGAL, explaining why Regularity and Equality do the trick.
But for now we shall apply REGAL. In applying Regal to check the validity
of a syllogism, we first look to see whether the syllogism is regular. If it is
irregular we immediately judge the syllogism to be invalid. But if it is regular
we go on to see whether the conclusion is equal to the sum of the premises. If
it also adds up we judge the syllogism valid. Both conditions must hold; if
either one fails to hold, we judge the syllogism invalid. If both do hold, we
judge the syllogism valid.
Let us first consider a U- regular syllogism:
A3 has three statements and three recurrent terms. It is U-regular and its
conclusion is equal to the sum of its premises. So it is valid. That A3 is valid
can also be seen if we represent the states of affairs signified by its premises
in a single Venn diagram:
Figure 20
G is the middle term (i.e., the one shared by the two premises but not the
conclusion). Notice that the second occurrence ofG is algebraically positive
since the two minus signs cancel out. Thus the conclusion results from adding
the two premises in a way that cancels out the positive occurrence of G,
replacing it by L. Since it is both regular and algebraically correct, A4 satisfies
the Regal principle.
Consider now the following syllogism, A4 *, that is equivalent to A4:
Figure 21
********************************************************************
Exercises:
Use the REGAL principle to check the validity of the following syllogisms.
1. no man is an island
every island is a land mass
so, no man is a land mass
5. no cheater is honest
none who are dishonest are successful
114 An Invitation to Formal Reasoning
********************************************************************
2. Inference
The tricky part of dealing with a problem of this kind is to sort out the terms
and to paraphrase each sentence in a way that permits us to transcribe it
algebraically (i.e., as a sentence that affirms or denies something of the form
'some/every X is/isn't Y'). This procedure is known as regimentation. [The
reader may wish to look back at the discussion of regimentation in section 10
of Chapter 2 and sections 17 and 21 of Chapter 3.] The following
transcriptions show how we may regiment the three premises of Carroll's
example.
Terms:
T =terrier
W = wanderer among the signs of the Zodiac
C =comet
S = curly tailed
We are being asked to supply the conclusion. Since all of the premises are U-
statements we know by the regularity requirement that the conclusion must
also beaU-statement. So all we now need to do is add the premises. Driving
minus signs inward and adding gives us
-T-W-(-W)-C-(-T)-S = -C-S
116 An Invitation to Formal Reasoning
The expression on the right is the conclusion every comet isn't curly tailed.
By PEQ, this is equivalent to '-(+C+S)' or no comet is curly tailed. This
conclusion is a U-statement and it completes the syllogism as a valid
argument. If a set of premises contains a single P-statement they should be
summed to a P-conclusion. Here is another inference problem adapted from
Lewis Carroll (we supply the transcriptions using P, N, D and W as term
letters).
Here we see a P-statement among the premises so we know that the conclusion
must be a P-statement. We know that a conclusion may be drawn by adding
up the premises and canceling the middle terms. Adding up we have
Of the two algebraic alternatives for a conclusion, only +D- W will give us a
syllogism that is valid in mood. For we need a particular conclusion. So our
answer to Lewis Carroll's problem is
1. -B+(-L)
2. -(+D+M)
3. -(-L)+D
Syllogistic 117
All three premises are universal. So any valid syllogism with these three
premises must be U-regular. This means that the conclusion must be universal.
Adding up the premises gives us '-B-M' (or, equivalently, '-(+B+M)').
Thus the conclusion is:
We transcribe it thus:
1. -{-U)+K
2.-(+E+D)
3.-(+K-D)
4. -B+S
5.-(M+U)
6.-S+E
All six premises are universal. So again the conclusion must be universal.
Adding up the premises gives us '-B-M' or '-{+B+M)', which is the
transcription of
********************************************************************
Exercises: (Carroll examples)
********************************************************************
3. Enthymemes
Some arguments don't have all their premises. This happens very often in
conversation where the speaker may assume that a premise is so obvious that
it doesn't have to be made explicit. An argument with a missing premise is
called an enthymeme. One fairly common type of enthymeme is exemplified
by the following argument:
Syllogistic 119
As it stands the argument is irregular and it does not add up. But both these
defects are repaired if we added some cats are cats to the premises. Since this
premise is obviously true (it is equivalent to some things are cats or there are
cats) we can assume it as implicit part of the original argument.
Other enthymemes omit commonly accepted truths which the
argument does not bother to state. For example, you may overhear the
following exchange between A and B:
[+T*+C]+[- X+M]=[+T*- M]
A's enthymeme has now been reconstructed by making the tacit premise
(starred) explicit:
-P+(-M)
/+B+C
±X±Y=+P+M
which, since one of the missing premises must be universal and the other
particular, gives four possible pairs of equations for our two missing premises:
Syllogistic 121
1) +X+B = +P+B;
-Y+C = -(-M)+C
2) -X+B = -(-P)+B;
+Y+C=+M+C
3) +X+B = +M+B;
-Y+C = -(-P)+C
4) -X+B = -(-M)+B;
+Y+C=+P+C
A tacit premise must be true. But only the fourth of these pairs has two true
statements. Supplemented by the fourth pair we can reconstitute the
enthymeme as a formally valid syllogism:
-P+(-M)
-(-M)+B
+C+P
/+B+C
********************************************************************
Exercises:
********************************************************************
In this section we explain why regularity and (algebraic) correctness are the
necessary and sufficient conditions for the validity of syllogistic arguments.
Anyone who asserts an argument makes a claim that its conclusion
cannot be false if its premises are true. Suppose that the argument has two
premises, S1 and S2, and a conclusion, S3. Thus the argument is S1,S2/S3.
The claim is that if S 1 and S2 are true, S3 must also be true. In effect the
claim is that anyone who asserts the premises but denies the conclusion is
inconsistent. Let us call the conjunction that consists of the premises and the
denial of the conclusion the counterclaim of the argument. Thus the
conjunction 'S1 and S2 and (-S3)' is the counterclaim of 'S1,S2/S3' and,
generally, the counterclaim of 'S1, ... Sn-l/Sn' is the conjunction 'Sl...and
Sn- 1 and (- Sn)'. The relation between any argument and its counterclaim is
very intimate. The following principle, called the Principle ofValidity (PV),
states this relation:
arguments. Thus, since 'p and q and r' is equivalent to 'p and rand q' and to
'q and rand p', it is also the counterclaim to two other arguments: 'p,r/-q' and
'q,r/-p'. A conjunction that is counterclaim to an argument will be said to
reject that argument. For example, 'p and q and r' rejects the arguments
'p,q/-r', 'p,r/-q' and 'q.r/-p'. More generally, any conjunction ofn con-
juncts can be thought of as the counterclaim of n distinct arguments each
having as conclusion the denial of one of the n conjuncts with the rest of the
conjuncts serving as premises.
Suppose now that C(A) is the counterclaim of some argument A. And
suppose that we know that C(A) is inconsistent. Then, by the principle of
validity, A is valid. From this we see that one way of finding out whether an
argument is valid is to find out whether its counterclaim conjunction is
inconsistent. If a conjunction, C, is inconsistent then all the arguments that C
rejects are valid. IfC is consistent, then all the arguments it rejects are invalid.
In what follows we shall learn how to examine a conjunction for tell- tale
signs of inconsistency.
We call any argument ofn statements and n terms a syllogism. Let
us call any conjunction that contains n conjuncts and n terms, a syllogistic
conjunction. For example, some A is Band noB is C and every A is Cis a
syllogistic conjunction with three terms and three statements. The question
that concerns us is: How can we tell whether a syllogistic conjunction is
inconsistent? In what follows conjunction will always mean syllogistic conjun-
ction.
Fortunately inconsistent conjunctions do have special tell-tale
characteristics that can be detected by the use of certain procedures called
decision procedures. Applying a decision procedure to a conjunction enables
us to decide quickly whether it is consistent or not. With such a procedure in
hand we can check the validity of any syllogistic argument, A. For suppose
we want to know whether A is valid. By denying A's conclusion and
conjoining it to the premises we form the counterclaim C(A). Now we apply
our decision procedure to determine whether C(A) is inconsistent. Suppose the
procedure delivers the verdict that C(A) is inconsistent. Then, by PV, we
know that A is valid. Suppose that it delivers the verdict that C(A) is not
inconsistent. Then, again by PV, we know that A is invalid. For if it were
valid, its counterclaim would be inconsistent.
124 An Invitation to Formal Reasoning
Consider the statement 'some ape is not an ape'. It is not a conjunction but let
us call it that anyway, allowing for conjunctions that have only a single
conjunct. Here then is an example of an inconsistent conjunction. Let us
transcribe it and examine it to see what this inconsistent conjunction looks like:
cl +A-A
Here we have a syllogistic conjunction of n terms and n statements, for the
case n= 1. c 1 has two quite distinctive characteristics, called P and Z
respectively:
Clearly, all conjunctions of form '+X- X' will be inconsistent. Let us keep
these two criteria of inconsistency in mind. Despite the extreme simplicity of
the example, we shall find that any conjunction of n statements and n recurrent
terms that satisfies conditions (P) and (Z) is inconsistent. The P/Z conditions
are necessary and sufficient conditions for the inconsistency of any syllogistic
conjunction. Thus every conjunction that satisfies P/Z is inconsistent and no
conjunction that fails to satisfy P/Z is inconsistent.
Consider a conjunction of two conjuncts:
Here too we have a conjunction that has exactly one particular statement (the
other statement is universal) and it too adds up to zero. So, c2 is inconsistent.
More generally, any two statements that are divalent and that sum to zero must
be inconsistent. To see why, consider that two statements are equivalent if and
only if they are covalent and equal. Now two statements S 1 and S2 are
equivalent if and only ifthe conjunction, +S1+(-S2), is inconsistent. Where
S 1 and S2 are equivalent, S 1 and (- S2) will be divalent so that one will be
particular and the other universal. Also, since Sl=S2, Sl+(-S2)=0.
Generally then, any conjunction of two statements that sums to zero and that
has exactly one particular statement {the other being universal) will be incon-
sistent.
Syllogistic 125
We have now shown that P/Z holds for syllogistic conjunctions ofn
conjuncts where n= 1 and n=2. Before going on to consider cases where n>2,
we shall need to state a principle first stated by Aristotle.
(A1) -A+B
-B+C
1-A+C
TC1 +[-A+B]+[-B+C]+[-C+D]+[-D+E]
will be inconsistent since the first n-1 conjuncts form a transitive chain that
entails - A+Z but the last conjunct is a particular statement that denies - A+Z.
The whole conjunction is canonically inconsistent and it satisfies P/Z. In what
follows we will show that any inconsistent conjunction is either itself
canonically inconsistent or else is equivalent to one that is. We will also see
that any conjunction equivalent to a canonically inconsistent conjunction will
satisfy the P- Z criterion for inconsistency.
C(A1) is an example of a canonically inconsistent conjunction.
Consider the following conjunction, C(A * 1), equivalent to C(A1).
does Cj. Thus Cj too is an inconsistent conjunction that satisfies P/Z. The
P/Z criteria characterizes any conjunction, canonical or not:
6. Equivalent Conjunctions
For all intents and purposes we may look upon these as the same. Both belong
to the same equivalence class of conjunctions and both are inconsistent; c(A 1)
is canonically inconsistent. But c(A * 1) is equivalent to it and it too is
inconsistent. Since c(A*1) is inconsistent, any argument formed by taking
two conjuncts from c(A* 1) as premises and the denial of the remaining
conjunct as conclusion will be valid. For example, the syllogism
formed by taking the third and first conjuncts of c(A * 1) as premises and the
128 An Invitation to Formal Reasoning
denial of the second conjunct as the conclusion will be valid. Moreover c(A1)
and c(A*1) are only two of8x8x6 equivalent conjunctions, any one ofwhich
is a counterclaim that may be used to generate a valid syllogism in this
manner.
Now (1) counterclaims syllogisms that satisfy one of the following two
conditions:
where the statements on the left are the premises of the syllogism and the state-
ment on the right is the conclusion. Equation (2) contains only U-statements
and corresponds to syllogisms that are U-regular. Equation (3) corresponds
to syllogisms that are P-regular (the conclusion,'- U1', is a P-statement). No
irregular syllogism has a counterclaim of the form (1). Now (1) is the general
form of an inconsistent conjunction. Since irregular syllogisms have no
counterclaims that have the form of ( 1), they are invalid. Thus regularity is a
necessary condition of syllogistic validity.
It is easy to see that equality is another necessary condition for
validity. For ( 1) counterclaims syllogisms that deny one of its conjuncts. Thus
(1) only counterclaims syllogisms that are formed as equations oftype (2) or
type (3). In other words, the conclusion of a valid syllogism must be equal to
the sum of the premises. Thus regularity and equality are the two conditions
that any valid syllogism must satisfy.
Syllogistic 129
Consider:
A7 1. Socrates is an Athenian
2. Socrates is a genius
/3. some Athenian is a genius.
A7 has two premises both of which are singular statements. And clearly A7
is a valid argument. To account for its validity we need to remind ourselves
of the special characteristics of singular statements which we call their wild
quality. A singular statement, 'S* is P', is particular ('+S*+P'). But 'S'
applies only to one individual; so '+S*+P' entails '-S*+P'. Consider
'Socrates is an Athenian'. This statement makes a positive claitp: that the
existence of an Athenian who is Socrates is a fact. Since 'Socrates' uniquely
denotes a single individual, 'Socrates is an Athenian' entails 'No Socrates is
a non- Athenian' or 'Every Socrates is an Athenian'. Thus in transcribing
'Socrates is an Athenian' we have a choice. We may transcribe it as '+S*+A'
('some Socrates is an Athenian') or as '-S*+A' ('every Socrates is an
Athenian'). Thus one way of transcribing A7 is:
-S*+A
+S*+G
/+A+G
********************************************************************
Exercises:
********************************************************************
In some singular statements both terms are singular. We have seen that such
singular statements are called 'identities'. Here are some examples of
identities:
Syllogistic 131
Let A*, B* and C* be singular terms. The following laws (called Laws of
Identity) hold:
Laws ofIdentity:
The Law ofSymmetry: A* is B * IB * is A*.
The Law ofTransitivity: A* is B* and B* is C*/ A* is C*
The Law of Reflexivity: A* is A*
(every) X* is Y*
(some) X* is Q
I (some) Y* is Q
********************************************************************
Exercises:
Using the identity laws, decide whether each of the following arguments are
valid or invalid.
1. Sam is Mark.
Mark is funny.
So, Sam is funny.
3. 3 is the square-root of 9.
3 is the sum of 4 and - 1.
the square-root of 9 is the sum of 2 and 1.
so, the sum of 4 and - 1 is the sum of 2 and 1.
Syllogistic 133
4. Alan is Blake.
Blake is not Cash.
So, Alan is not Cash.
********************************************************************
Given any syllogism we check to see whether it is REGAL and in that way
determine whether it is valid or invalid. But as often as not the problem is
inferential: we are given premises and we want to draw a conclusion. In what
follows we give a general technique for deriving a conclusion from two
premises. The technique is justified by a fundamental Aristotelian principle
called the 'Dictum de Omni' (or the 'Every Principle'). We shall accept
Aristotle's Dictum as our starting point:
For example, suppose we have the premise that every human being is mortal
and also the premise that Socrates is a human being. According to the first
premise, being mortal characterizes every human. According to the second
premise, Socrates is a human being. Then, according to the Dictum, being
mortal will characterize Socrates.
DDO justifies drawing a conclusion from two premises both
containing a common tenn 'X'. The premise ofthe fonn '-X+Y' says that
being Y characterizes every X. In this premise, which we shall call the 'Omni'
(or 'Donor') premise, 'X' has a negative occurrence algebraically. The other
premise, called the 'Matrix' (or 'Host') premise, contains a positive
occurrence of 'X'. We may represent this premise as ' ... X .. .' where the dots
represent the matrix or environment of 'X'. Schematically the two premises
look like this:
134 An Invitation to Formal Reasoning
For example, the Matrix premise might be 'some X isn't aZ' [==> '+X-Z'],
in which 'X' is embedded in the matrix '+( )- Z'. The premises will then be:
+X-Z
-X+Y
where '-X+Y' is the Omni premise and '+X- Z' is the Matrix premise. The
dictum allows us to replace the positive occurrence of 'X' in the host premise
by the expression from the donor premise that characterizes every X. In effect
we may here replace 'X' by 'Y' giving us the conclusion, '+Y -Z' or 'some Y
isn't Z'.
Algebraically represented, the Dictum asserts the validity of all
syllogisms that have the following pattern:
... X...
every X is Y
I .. .Y ...
Applying the Matrix Method to the premises 'every X is Y' and 'some X isn't
Z', we have concluded 'some Y isn't Z' since this conclusion gives us a
syllogism that follows the pattern:
+X-Z
-X+Y
/+Y-Z
In effect, the Dictum tells us that any syllogism containing a matrix premise
in which the middle term has positive occurrence and an omni premise in
which the middle term has negative occurrence is valid if the conclusion is just
like the matrix premise except that the middle term has been replaced by the
term from the omni premise when the two premises have been added.
It is not hard to show that the Matrix Method (MM) sanctions only
REGAL syllogisms. Let us first consider regularity. MM requires that one
premise must be a U statement and it further requires that the conclusion must
be covalent with the matrix premise since it is exactly like the matrix premise
except that 'X' has been replaced by 'Y'. So there are only two possibilities:
Syllogistic 135
either all three statements are U and the syllogism is U-regular, or the omni
premise is U but the conclusion and matrix premise are P-statements, in which
case the syllogism is P-regular. That the conclusion will be equal to the sum
of the two premises is also guaranteed: for the middle term 'X' is algebraically
negative in the first premise and algebraically positive in the second premise,
and it cancels out by addition to give us a conclusion exactly equal to the sum
of the premises. Thus the matrix method yields only REGAL syllogisms.
********************************************************************
Exercises:
********************************************************************
Figure 22
s p
Note that 'someS is P' is not depicted. This is evidence that the syllogism 'no
M is P; some S is M /some S is P' is not valid. For if it were valid, the
conclusion would be graphically present when we depict the premises.
Though they have the merit of being graphic, Venn diagrams afe
practically limited in application to arguments with no more than three
premises. For that reason we are better off learning algebraic methods that
have no such limitations. For example, using the REGAL we can check the
validity of any n-terms argument by seeing whether it is regular and adds up.
Using P/Z we can check the validity of the argument by denying its conclusion
and seeing whether its counterclaim is consistent or not. Though they are
limited in scope, Venn Diagrams are aesthetically appealing and they give a
good idea ofthe semantic conditions of validity. For both of these reasons
they will rightly continue to be popular with students and professional
logicians.
********************************************************************
Exercises:
2. Morris is a fool.
No fool ever succeeds.
Syllogistic 137
********************************************************************
6 Relational Syllogisms
1. Introduction
In a statement like 'some Greek is wise' the term 'wise' is tied to the term
'Greek' in the subject 'some Greek'. In a statement like 'some Greek is wiser
than every Barbarian' we have two subjects, 'some Greek' and 'every
Barbarian'; the term 'wiser' is therefore tied to the two subject terms 'Greek'
and 'Barbarian'. A term that is tied to one subject term is called monadic.
Terms tied to two subject terms are called dyadic, or two place, terms. Dyadic
terms are 'relational'. For example, in 'Tom is taller than Nancy' and 'Nancy
is wiser than Tom' the terms 'taller (than)' and 'wiser (than)' are relational
terms. Terms that relationally tie three subject terms are called triadic. For
example, in 'some sailor is giving every child a toy' the term 'giving' is triadic,
or three place, tying three subject terms: 'sailor ', child' and toy'. Statements
containing transitive verbs like 'kisses' or 'gives' or relational terms like 'taller
than' are called relational statements. Note that the transitive verb 'kisses'
is implicitly relational: 'Tom kisses Nancy' amounts to 'Tom is a kisser of
Nancy' which contains the dyadic relational term 'kisser of. For further
discussion, including how to transcribe relational statements algebraically, the
reader is advised to review sections 8 to 15 of Chapter 4 above.
Arguments containing relational statements are called relational
arguments. Now a standard syllogism has as many terms as it has statements
but relational arguments have more terms than statements. So, strictly
speaking, relational arguments are not syllogisms. Nevertheless, in deducing
conclusions from relational premises we apply the basic syllogistic principle
first formulated by Aristotle and known as the Dictum de Omni. For this
reason we shall continue to speak of relational arguments as syllogistic
arguments, calling them relational syllogisms.
139
140 An Invitation to Formal Reasoning
AI
some sailor is giving every child a toy; +S 1+G123 -C 2+T3
every woman kisses some child; - W 4+K42+C 2
/every woman kisses someone some sailor is giving a toy to
The first premise contains the subject phrase 'every child', which, however, is
not the subject of the sentence. Instead, 'every child' is surrounded by another
expression. Let us call this surrounding expression E*. Now the whole
sentence could be viewed as an expression of form E*(-C) in which E*
represents 'some sailor gives a toy (to)' or '+S 1+G123+T3 ' as the environment
of 'every child', or '- C'. In effect, the statement tells us that 'some sailor is
giving a toy to' is true of every child.
'E*(- C)' will be variously referred to as the 'Omni Premise', the
'Donor Premise' or the 'E-star Premise'. In the Omni Premise the middle
term 'child' (represented by the term letter 'C') appears negatively in the
phrase 'every child', whose environment is E*, or '+S 1+G 123+T3 '. 'C' also
appears in the premise we call the 'Host' or 'Matrix Premise'. In the Host
Premise 'child' has another environment, E, representing the expression 'every
woman kisses some', or '-W4+K42+'. Thus our two premises are E*(-C) and
E(C) with the middle term 'C' having a negative occurrence in the Donor
premise and a positive occurrence in the Host premise. The conclusion is
formed by adding the Donor premise to the Host premise thereby canceling the
middle term of the Host Premise, and replacing it by the environment of the
Donor premise. In this process the Donor premise cancels into the Host
premise, and then contributes to the Host, transforming it by replacing its
canceled middle term byE*, resulting in a conclusion ofthe form 'E(E*)':
Relational Syllogisms 141
- W 4+K42+(+SI+Gm+T3h
every woman kisses someone a sailor gives a toy to
A1
E*(-M) +S 1+G123 -C2+T3 M=C, E* = +S 1+G123+T3
E(M) -W4+K42+C 2 M=C, E = -W4+K42+
IE(E*) /- WI+KI2+(+SI+GI23+T3)2
Note that in the conclusion, 'what's true of every child', namely, that some
sailor is giving a toy to it, is now true of what every women kisses, namely, a
child. Note that numeral, '2', common to the middle term in both of its
occurrences reappears in the conclusion.
The rule of inference 'E(M),E*(- M)IE(E*)' is called 'DDO' to
remind us of the Latin phrase for Aristotle's syllogistic principle, the Dictum
de Omni (the 'every principle').
3. Distributed Terms
Here 'G' is distributed; to show it is we drive in the unary minus sign to form
a phrase 'every G' thereby disclosing that 'G' has universal occurrence. Thus
'+B 1-(L 12+G2)' is equivalent to '+B 1+((-L 12)-G2)', in which '-G' has the
meaning, 'every G'.
Relational Syllogisms 143
Consider:
-<--A--M>+D = -M+<-A--D>
Of course 'M' is distributed in any sentence that begins with 'every M'. It is
also true that any sentence in which 'M' is distributed entails a sentence that
begins with the phrase 'every M'. So we could also state the condition for the
distribution of 'M' in S thus:
********************************************************************
Exercises:
********************************************************************
4. Applying DDO
The second occurrence of 'C' is distributed. We have the right to assign any
numeral we please to a distributed term so we shall want to assign it a numeral
that will make it easy for us to deduce a conclusion from the two premises.
Since we want the middles to cancel out, we want 'C/ in place of 'C/; so we
replace '2' with '7' thereby rewriting the second premise as: +S 1+G173 - C 7+T 3.
We can now apply DDO to give us the conclusion
'-W6+~7+(+S 1 +G 173 +T3 )/, which reads as before: 'every women kisses
someone a sailor is giving a toy to'.
The rule for assigning numerals to universally distributed occurrem:es
of a term may be stated more formally as a Reassignment Rule:
R-A
.... -T;.. .
/. .. -1j.. .
R-A tells us that we may replace the numeral index in a universally distributed
occurrence of 'T' by any numeral we please, thereby replacing 'Ti' by 'Tj '.
The numeral represented by 'i' is a pairing index and when we change it, we
change its partners too. For example, we changed 'C/ to 'C/ but in so doing
we also had to change the 'G 123 ' to 'G 173 '.
We may avoid the use of R-A by following the procedure of
transcribing the E or 'host' premise first. Assume that the middle term in the
E premise has the index 4 so that theE premise is of form E(M4). We take
note of the numeral as we come to transcribe the E* premise. For now we
simply use the same numeral for the middle of theE* premise, writing theE*
premise as E*(- M 4).
Let us take a closer look at the form ofDDO inferences.
E(M)
E*(-M)
IE(E*)
DDO allows us to replace the middle term of the Host premise, replacing 'M'
in 'E(M)' by the expression E* taken from the Donor premise. It does not
Relational Syllogisms 145
allow any replacements in the Donor premise. Thus inferences of the form
E(M)
E*(-M)
/E*(E)
are invalid. For example, the following inference, A2, is invalid even though
the two premises add up to the conclusion:
A2
E(C) -W4+K42+C2
E*(-C) +S 1+G 123 -C2+T3
/E*(E)2 I +S1+Gm+(-W4+K42)2+T3
A3
E Premise: every Derby Winner is sired by a thoroughbred
E* Premise: some book lists every thoroughbred
Let 'L' stand for 'lists'. We transcribe and add E*(- T) to E(T) to get E(E*).
- W3+(St2+(L12+Bt))
every Derby Winner is sired by something listed in a book
146 An Invitation to Formal Reasoning
A4
E(T} + E*(- T} I E*(E)
+[+BI+LI2-T2]+[-W3+S32+T2] I +BI+LI2+(-W3+S32)
The invalid conclusion of A4 is the obviously false statement that some book
lists something that has sired every Derby Winner. Here again the mistake is
that we have a conclusion of form E*(E) in which contribution was made to,
not by, the Donor premise.
********************************************************************
Exercises:
8. 9 is greater than 7
7 is a prime number
********************************************************************
Given the premise 'some boy loves every girl' how can we show that 'every
girl is loved by some boy' follows? Here is the argument:
1. +B 1+L 12 -G2
I -G2+LI2+BI
We know that this argument is valid if and only if the conjunction of the
premise with the denial of the conclusion is a contradiction. So we can show
that the argument is valid by showing-that this counterclaim conjunction is a
contradiction. The counterclaim has two conjuncts. Let us treat them as
premises of an argument:
The third statement, derived from the conjunction of the premise and the denial
of the conclusion, is easily transformed into the overt contradiction:
+(L 12+B 1)-(L 12+B 1) or 'someone loved by a boy isn't loved by a boy'. Thus
we have derived a contradiction from the assumption that the premise is true
and the conclusion is false. This shows that the original argument is valid.
148 An Invitation to Formal Reasoning
Here again we may show that this argument is valid by denying the conclusion
and applying DDO to derive a contradiction.
Counterclaim:
-H2+A2
+(012+H2)- (012+A2)
/+(0 12+A2)-(0 12+A2); some owner of an animal doesn't own an
animal
A5
1. - H+A every horse is an animal premise
2. - (0 12+H2)+(0 12+H2) *every owner of a horse is an owner of a horse
premise
/3. -(0 12+H2)+(0 12+A2) every owner of a horse is an owner of an animal
6. Transforming Arguments
A relational inference not given in DDO form can often be transformed into a
DDO inference by showing that one of the premises is equivalent to an E*
Relational Syllogisms 149
premise. For example, given the premise 'noM is P and someS isM' we may
validly conclude 'some S is nonP'. To apply DDO we first use PEQ on the
universal premise:
In this inference 'B' is the middle term. The inference is valid but it is not in
DDO form since it lacks an Omni premise in which '- B' appears. It can
however be put into the form of a DDO inference if we transform the first
premise into its equivalent '- B +<-A+C>'. Now the first premise is of the
form E*(- B). So we cancel 'B' in the Host premise, replacing it there by
'<- A+C>' to give us '+<- A+C>+D'.
Let us look at some more examples in which DDO figures.
What conclusion may be derived from these two premises? We note that the
middle term 'dog' occurs positively in (2). So (2) is the Host premise. Let us
transcribe this as '+D2+B 2 '. Now 'dog', the middle term, is distributed in (1).
But ( 1) needs to be transformed into an explicit E* premise in which we find
'every dog' surrounded by its environment E*. The following transformation
shows that ( 1) is indeed equivalent to an E*(- D) premise.
To show that it is valid we could use the indirect method of denying the
conclusion and proving inconsistency.
1. -G+P
2. -A+R
3. -(-<+A+G>+<+R+P>)
The third statement denies the conclusion and we must now show that 1, 2, and
3 are jointly inconsistent. We may do this in an annotated proof:
4.+<+A+G>-<+R+P> 3,PEQ
5.+<+R+G>-<+R+P> 4+2, DDO
6 +<+R+P-<+R+P> 5+1, DDO
1. -G+P prermse
2. -A+R prermse
3. -<+A+G>+<+A+G> tautological premise
4. -<+A+G>+<+A+P> 3+1, DDO
5 -<+A+G>+<+R+P> 4+2, DDO
Relational Syllogisms 151
********************************************************************
Exercises:
Give indirect proofs to show that the following arguments are valid:
********************************************************************
+[+S'+C]+[±S'+F]
Since the students now under consideration are not those previously denoted
by the protenn S ', we transcribe this second pronominalization by giving
different superscripts to the protenns:
(1) +[+S'+C)+[±S'+F]
(2) +[+S"+P]+[±S"-C]
Relational Syllogisms 153
Note that the proterms in (2) have been given double markings. In general,
once we choose a superscript for the proterms in a given pronominalization
whose antecedent is a particular subject of form 'some S ', the super-scripted
proterms denote a 'certain thing' and we may not use the same super-scripted
proterm again unless we intend to continue to denote the thing in question.
Pronominalization can often be paraphrased by sentences that are
pronoun free. Thus 'some A is a B; it is a C' can be paraphrased as 'some
A is a B that is a C', which transcribes as '+A+<+B+C>'. The more serious
pronominalizations are those that are not easily or naturally paraphrased away.
Pronominalization that takes place in the same sentence often contains
reflexive pronouns that cannot be naturally paraphrased in a pronoun free way.
An example is 'some barber shaves himself: +B' 1+S 12+B' 2 • A favorite
example of linguists is: 'a boy who was fooling her kissed a girl who loved
him'. Here we have two pronominalizations, one of which linguists call
cataphoric, or 'backward', since the pronoun 'her' appears before its
antecedent. But again, while there is this difference between pronoun and
antecedent in the vernacular, the difference is not represented in logical
transcription, since all that logically matters is the fact that a single recurrent
term is being used to denote one and the same thing. Thus the boy-fooled-girl
sentence transcribes as:
Note also that the proterms' numerals may differ: G' 2 is paired with F 12 as the
girl who is being fooled, and G' 3 is paired with K 13 and L34 as the girl who is
kissed and who loves, but the common superscript ensures that it's the same
girl. Again, B' 1 is the footer and the kisser while B' 4 is the loved one but it's
the same boy. The common superscripts signify the common focus. Similarly
'everybarbershaveshimselftranscribesas- B' 1+S 12+B' 2, where each barber-
qua-person-who-shaves is the very same person as the barber-qua-person-who-
is-shaved.
In the next few paragraphs we discuss some special rules that we need
for reckoning with sentences containing proterms.
Consider again the case of simple pronominalization. I say that a man
is P and follow this by saying that he is Q. My first sentence looks as if it
should be transcribed as +M+P and indeed ifthis sentence were not part of a
pronominalization, that would be the proper transcription. However, since we
now have a pronominalization we cannot simply transcribe the whole as
+M+P; +M+Q since there would then be no indication that the man in question
154 An Invitation to Formal Reasoning
of whom it is being said that he is Q is the one that has just been said to be P.
Once the second sentence with its back reference to the first subject has
entered the picture, we must view the two subject terms in tandem as denoting
the same thing; in other words, both 'man' and 'he' now stand revealed as
'proterms' and their codenoting status must be marked by the pronominal
superscript: +M'+P, ±M'+Q.
More generally, any use of 'some X' is potentially a pronominal use
and when 'X' is followed by a pronominal back reference to 'the X in
question', it is actually so. Indeed, any sentence of form 'some X is Y' is
trivially equivalent to a pronominalization: 'something is X and it is Y'. We
may therefore introduce the following rule of inference called
Pronominalization and referred to as P 1.
P2 +X'+Y I -X'+Y
every A is B = if an A exists, it is a B
-A+B = -[+A'+T]+[+A'+B]
Relational Syllogisms I55
We shall refer to the statement on the right, the pronominal expansion, as the
pronex of the statement on the left. The pronex formulas show that any
particular statement or universal statement is equivalent to a
pronominalization. Pronominal expansions may also be formulated as rules
of inference:
+X+Y I +[+T'+X]+[+T'+Y]
- X+Y I -[+T'+X]+[+T'+Y]
4. -G'+A 3, WQ
5. +A+P 2+4, DDO
In using DDO we leave the Host premise intact except for the middle
term which is replaced by the environment of the Donor premise. When we
apply DDO to inferences involving pronominalization we treat the superscript
ofthe Host's middle term as part ofthe environment, E, leaving the superscript
in place when we replace the middle term by E*. The following example
illustrates this procedure:
Note again that the proterm 'barber' in premise ( 1) occurs twice with different
numerical indices. In its first occurrence it denotes a barber that shaves; in its
second occurrence it denotes a barber that is shaved. The common superscript
indicates that it is the same barber. The environment E in the host expression
is+ ... '+S 12+ .. .'. Note again that the middle term, 'barber' in the Host premise
has superscripts. But these are part of its environment and they remain when
'barber' is replaced by 'philosopher'.
Finally, we restate our rule IPE (from Chapter 4, section 17). This
rule enables us to eliminate the pronouns from the transcription of any internal
pronominalization. The Rule of Internal Pronoun Elimination is:
For example, given +B' 1+S 12+B' 2 (the transcription of 'some barber shaves
himself) we may remove B' 2 and replace '2' by' 1' in S12 thereby giving us
a new transcription, B1+S 11 , which we might read as 'some barber is a
self- shaver'. Now we can deal with A6 as follows
1. +B\+S12-(-S22)
2. ±B' 1+(-Sd-S22
Now 5 contradicts 3; so assume the other alternative, i.e. that the barber in
question is a non-self-shaver:
6. ±B'2+(-S22) Assumption
7. ±B' 2+(±B'1+S12)) 1+7, DDO
8. ±B2+S 22 8, IPE
********************************************************************
Exercises:
********************************************************************
9. Distributed Proterms
We have said that a term, T, is distributed in ' ... T .. .' if and only if T is
algebraically negative and ' ... T .. .' entails a statement of form ' ... every T .. .'.
A proterm is distributed if its antecedent is distributed. Consider 'if some A is
B then it is C' (the pronex of 'every A is Band C'). The pronex transcribes
as '-[+A'+B]+[±A'+C]', in which the proterm occurs twice as a distributed
term.
Relational Syllogisms 159
Here I do not commit myself to saying that some students are cheating. In a
sense the proterm does not denote at all; for there may not be any students of
whom it could be said that they are 'the students in question'. In another sense
we are inclined to say that whatever the antecedent term denotes is denoted by
the proterm in the second sentence. So we have a kind of distributed co-
denoting. 'The' students that cheat (if any there be) are the students that will
be exposed. In transcribing this pronominalization we again use superscripts:
-[+S'+C]+[ -S'+F]
Here again, since the proterms of (9) are distributed we can choose whatever
superscripts we please; we need not worry about having used the same
superscripts earlier. Thus suppose we had asserted
and now wish to assert (9). We need not be concerned that the double prime
has been used for (8). For (9) applies to any student, including the students
denoted by (8). It is therefore legitimate to transcribe (8)and (9) as
8. +[+S"+L]+[+S"+W]
9. -[+S"+C]+[-S"+F]
R-A2
... 1' .. .
I ... P .. .
which we transcribe as
1. +B 1+D 1 premtse
2. - B' l+Sl2+(U2l+B' I) premise
3. - B1+S12+U21 2, IPE
4. +D 1+B 1 1, Commutation
5. +DI+S12+U21 3+4, DDO
Relational Syllogisms 161
The last line shows that 'Clemens is Twain' can be derived from the two
premises in a series of justified steps. [For the use of passive transformation
in steps 3 and 4 the reader should review section 15 of chapter 4.]
********************************************************************
Exercises:
4. Tom is a citizen
every citizen likes Tom
Tom was mugged by a citizen
162 An Invitation to Formal Reasoning
********************************************************************
7 Statement Logic
1. Introduction
-p+q
=lL
/-p
Any argument of this pattern is valid; e.g., this is valid and has that pattern.
163
164 An Invitation to Formal Reasoning
notp -p
bothp and q +p+q
ifp then q -p+q
p orq -(-p)-(-q)
±(±(±p)±(±q))
The external sign is the sign of judgment, plus for affirmation, minus for
denial. We determine the valence of a statement in the usual way by
comparing the external sign of judgment with the next sign: if these are the
same the valence is positive; if they differ the valence is negative. For example
ifp then q' whose fully explicittranscription is'+( -(+p)+(+q))' is negative in
valence. We shall however omit all the plus signs that signify affirmative
judgment so that 'if p then q' will transcribe as '-p+q'. Statements of
positive valence are equivalent to conjunctions. Statements ofnegative valence
are equivalent to disjunctions. An affirmative statement of negative valence is
either a conditional of form ifx then y or a disjunction of form either x or y.
Strictly speaking we ought to transcribe 'p or q' as '-(-p)-(-q)' but we shall
take the liberty of omitting the brackets thereby transcribing 'p or q' as
- -p- -q. Also we shall transcribe 'not p or q' as '-p--q' or as'--( -p)- -q'
which shows its equivalence to 'ifp then q' since the latter transcribes as the
equal and covalent statement '- p+q'.
Equality and covalence suffice for equivalence. For example, 'if p
then q' is equivalent to 'not p or q' and also to 'if not q then not p since - p+q
= - (- q)+(- p). Now this means that we can replace any compound statement
by a statement that is equal and covalent to it. However neither equality nor
covalence is necessary for equivalence. For example any statement 'p' is
equivalent to 'p or p' and also to 'p and p' but 'p' and 'p or p' are not equal
Statement Logic 165
peq Two compound statements are equivalent if (but not 'only if) they are
covalent and equal.
********************************************************************
Exercises.
Apply peq to see whether any of the following are equivalent. (Remember, if
two statements are not equivalent by peq, they may still be equivalent.)
********************************************************************
2. Contradictions
Some compound statements are contradictory others are tautological and still
others are [_contingent. For example any statement of form 'p and not p' is
a contradiction, any statement of form 'ifp then p' is a tautology, and any
statement of form 'p or q' is contingent. We shall first discuss contradictions.
It is easy to spot contradictions of form 'p and not p'. But not all
contradictions are of this simple form. The following definition of
contradiction builds up to a more general form.
For example by clause 2. any statement ofthe form 'q and p and not pis a
contradiction . And by clause 3 any statement of form 'q and p and not p or
r and s and not s' is a contradiction. We shall speak of clause 3 type
contradictions as 'disjunctive contradictions'. Each disjunct of a disjunctive
contradiction is a conjunction of simple statements. And in each such
conjunction we can find two conjuncts of opposite sign. So each such
conjunction is a contradiction and, by clause 3, the whole disjunction of these
contradictions is a contradiction. A disjunctive contradiction is the most
general form of contradiction since we may consider contradictions oftype two
and type one as special cases oftype three contradictions. For example, 'q and
p and (not p)' can be considered a disjunctive contradiction consisting of a
single contradictory 'disjunct'.
3. Tautology
4. Inconsistent Statements
Proof:
- [-p+( -(+q+( -q)))]+[+r+( -r)]
-- [+p+(+q+( -q))]-- [+r+( -r)] peq
5. Contingent Statements
*****************************************************************
Exercises
Contingent?
1. p or (q and not-q)
2. (p and q and not-p) or (neither p nor not-p)
3. not: if(p and q) then (q orr)
[hint: not: ifx then y = x and not-y]
4. ifp and s then tors
5. neither q nor not(q and t)
6. ifp then not-p
7. if not p then (p and q)
8. ifp then p and not-p
9. (not both and not p) and (q or not-q orr)
10. ifp then (q or p)
********************************************************************
6. Direct Proofs
1. +p+q /-(-p)+(-q)
2. -(-p+(-q)) 1, peq
1. +(+p+q)+r /+(+r+q)+p
Statement Logic 169
2. +p+(+q+r) 1, Association
3. +(+q+r)+p 2, Commutation
4. +(+r+q)+p 3, Commutation
The justifications for each step appear at the right. Again, the last step is the
conclusion ofthe inference whose single premise is given as step 1.
In this section we present some basic principles used in justifying the steps of
proofs in statement logic.
Modus Ponens:
1. -p+q
2. p /q
Note that the conclusion is got by adding the first premise to the second
thereby using '-p' to cancel 'p' and to replace it by '+q'. We may think of
Modus Ponens as a E/E* type of rule. Think of E* as the environment of 'if
p'. Then in this case E* = +q. Think of E as the environment of 'p' in the
second premise. In this case the environment is null. Then we can see the rule
as justifying the replacing of'p' in E(p) byE*. Moreover this way oflooking
at Modus Ponens is quite general since it applies to any two premises 'E*(if
p)' and 'E(p)' where p has negative occurrence in theE* premise and positive
occurrence in theE- premise. Thus let###### be the environment of p and let
....... be the environment of 'ifp'. The rule permits us to derive'### ...... ###'
from ' .. .ifp .. .' and '###p###':
170 An Invitation to Formal Reasoning
This is our old friend, the donor host rule, in new guise. Only now the
repeated ('middle') element 'p' represents a whole statement and '-p' has the
meaning 'ifp'. In Syllogistic Logic the host/donor rule is a generalization of
Aristotle's Dictum de Omni. In Statement Logic, the host/donor rule of
inference is generalization ofthe rule popularly known as 'Modus Ponens' or
MP. MP often figures in an annotated proof that a conclusion follows from
given premises. In its most general form modus ponens may be formulated as:
MP
Given any premise ofform E(ifP) where 'p 'has negative occurrence
and another premise M(p) where p has positive occurrence the conclusion
M(E) follows.
The pattern reveals nothing about the internal structure or content of 'p', 'q'
or 'r'. But that is irrelevant: any argument of this pattern is valid.
Sometimes we appeal both to MP and to peq. Consider:
-p+q
-q
I -p
1. -p+q premise
2. -q premise
3. -(-q)+(-p) 1, peq
4. I -p 3,2,MP
Conjunction:
1. S1 prem
2. S2 prem
3. I S1 and S2 Conj.
The rule of conjunction may be shown valid by an indirect proof. FQr suppose
we denied the conclusion. This would give us
1. S1
2. S2
3. -(+Sl+S2)
4. -Sl+(-S2) 3, peq
5. -S2 4,1 MP
Conj, peq and MP are used to license the steps in many a proof.
Applying these laws we can derive several other rules that are useful in proofs.
Simplification:
1. p and q
I 2. p
1. +p+q premise
2. -p negation of conclusion
3. +[+p+q] + (-p) 1, Conj
4. +(-p) + [+p+q] 3, Commutation
5. +[+(- p)+p]+q 4, Association
Thus the conjunction of 1 and 2 leads to a contradiction (line 5). The proof of
the laws of conjunction and simplification was indirect since it proceeded by
showing the absurdity of denying the laws. Such proofs are often called
'reductio ad absurdum' proofs (proofs that reduce the opposite assumption to
absurdity or contradiction).
Here are several other inference patterns and a sketch of how they can
themselves be justified by appeal to the laws already given.
Conjunctive Iteration:
Conjunctive Iteration (CI) asserts that pis equivalent to 'p and p'. We may
show this indirectly (that is, by 'reductio'). Assume p and deny 'p and p'.
1. p premise
2. -(+p+p) negation of conclusion
3. -p+(-p} 2, peq
Statement Logic 173
4. -p 1, 3 MP
5. +p+(-p) 1,4 Conj
To show the reverse we assume 'p and p' and deny 'p' and showthatthis leads
to contradiction.
1. +p+p prenuse
2. -p negation of conclusion
3. +(+p+p)+(-p) 1,2 Conj
4. +p+(+p+(-p)) 3, Association
4 is a contraction.
Disjunctive Iteration:
According to Disjunctive Iteration (DI), given 'p', 'p orp' follows. We show
this indirectly:
1. p premise
2. -(--P--p) negation of conclusion
3. +(-p)+(-p) 2, peq
4. +p+(-p)+ (-p) 3, Conj
4 is a contradiction.
To show that 'p' follows from- -p- -p, we assume the opposite and
show that '- p' and '-- p-- p' are jointly inconsistent. We first use peq to
replace'- -p- -p' by' -(-p)+p'. We then apply MP to get '+(-p)+p' which
(by peq, again) is equivalent to the overt contraction '+p+(- p)'.
Disjunctive Addition:
Disjunctive Addition (DA) allows us to derive 'p or q' from the premise 'p'.
DAis valid. For suppose that 'p' is true and 'p or q' is false:
1. p prenuse
2. -(--p--q) negation of conclusion
3. +(-p)+(-q) 2,peq
4. +p+(-p)+(-q) 1,3 Conj
174 An Invitation to Formal Reasoning
The last step is the contradiction derived from the assumption that 'p or q' is
false in the case where 'p' is true.
To prove that the right side follows from the left side we show that a
contradiction follows from the assumption that the left side is true and the right
side false (a so-called reductio argument). We should then have:
1. --p--p premise
2. --q--r premises
3. - [-- [+p+q]-- [+p+r]] premise
4. +[ -p-q]+[ -p-r] 3, peq
5. p 1, DI
6. -p-q 4, Simpl
7. -p-r 4, Simpl
8. -p+(-q) 6,peq
9. -p+(-r) 7,peq
10. -q 5, 8MP
11. -r 5, 9MP
12. +(-q)+(-r) 10, 11 Conj
13. -(+(-q)+(-r)) 2, peq
14. +[12]+[-12] 12, 13 Conj
According to the Law of'Or/And' Distribution (OAD), 'p or (q and r) and '(p
or q) and (p or r)' are equivalent. This too can be shown by the indirect
method. By the laws of iteration 'p' and 'p or p' and 'p and p' are mutually
equivalent and so one may replace the other. By the laws of distribution 'p&(q
orr)' and '(p&q) or (p&r)' are equivalent (and mutually replaceable)~ also 'p
or q&r' and '(p or q)&(p orr)' are equivalent and mutually replaceable.
Thus we see that in addition to the equivalences that come under peq,
we have others that do not conform. For we have equivalences like 'p =
- -p- -p' and '+p+p =- -p- -p' whose sides are divalent or unequal or both.
In the case ofOAD and AOD both peq conditions are missing.
A statement such as 'p' or '-p' does not have two or more statements as
components. Such statements are not compound~ we call them simple. A
disjunction is said to be in 'disjunctive normal form' when each of its disjuncts
is (i) a simple statement or (ii) a conjunction of simple statements. For
example 'either rands or p and q and m' is a statement in disjunctive normal
form. On the other hand, 'either r or neither p nor q' which also has two
disjuncts is not in DNF since the second disjunct is neither simple nor a
conjunction of simple statements. Nevertheless, 'either r or neither p nor q'
may be transformed into a DNF statement by applying peq to the second
disjunct to give us the equivalent disjunction: either r or both not p and not q.
Now the second disjunct is a conjunction of two simple statements, '-p' and
'-q', and the whole disjunction is in 'normal form'.
The importance of putting a disjunction into 'normal form' is this:
When a disjunction is in normal form we can easily determine whether it is
contradictory or not by a inspecting each of its disjuncts. In a DNF each
disjunct that isn't simple is a conjunction of simple statements. We inspect
each disjunct of the DNF looking to see whether it contains a contradictory
176 An Invitation to Formal Reasoning
pair of simple statements. If every disjunct has a contradictory pair, then the
whole disjunction is inconsistent since it would then be a type 3 contradiction.
But if even a single disjunct is contingent or tautological, the whole disjunction
is consistent (not a contradiction). Thus, getting a DNF equivalent to a
statement puts us in position to say whether the statement is consistent. As we
shall see, that information is logically valuable for deciding the validity of
arguments.
********************************************************************
Exercises:
Transform the following statements into DNF disjunctions, then check for
inconsistency by inspecting all the disjuncts:
*******************************************************************
In doing logic we are often concerned with the question of deciding whether
some given argument is valid or not. Now we have just learned how to tell
whether a certain kind of disjunctive statement is inconsistent or not. It is
important to be able find inconsistency in conjunctions as well as disjunctions.
For we know that an argument is valid if and only if its counterclaim is
inconsistent. The counterclaim of any argument is the conjunction of its
premises and the denial of its conclusion. So knowing how to tell whether a
counterclaim conjunction is inconsistent or not is tantamount to knowing how
to tell whether the argument is valid or not. Thus suppose that S1, S2 ... /Sn is
an argument with n-1 premises. Assume we have a way of determining
Statement Logic 177
-(-p)+q = -(-q)-(-p)
-p->q =qvp
We are about to learn yet a third way to represent compound statements. This
new way is graphic.
The graphic method uses spatial relations to represent the connectives 'and'
and 'or' that join simple statements to form compound statements. Roughly,
when two statements are vertically positioned, they are conjoined. When two
statements are horizontally positioned they are disjoined. Thus when p and q
are vertically arrayed the array represents the conjunction 'p and q' or 'q and
p' depending on whether one reads it down or up.
When 'p ' and 'q' are horizontally arrayed this represents 'p or q' or 'q or p',
depending on whether one reads the array from left to right or from right to
left.
Statement Logic 179
Notice that the spatial notation for both conjunctions is a vertical array, while
the spatial notation for both disjunctions is a horizontal array. In what follows
we shall make liberal use of all three notations.
By the principle of commutation left to right and right to left
readings are equivalent. So too are up-down and down-up readings.
p q
=
q p p&q =q&p
p q = q p pvq=qvp
p
= p&p
p
p p = pvp
p p
<=> (p v p)&(q v r) = (p&q) v (p and r)
q r
p p
q r
interprets it as the conjunction '(p v p)&(q v r)' while the horizontal reading
interprets it as the disjunction '(p&q) v (p&r)'.
Since p = p v p, we write the array 'p p' simply as 'p' and so
represent 'p&(q v r)' by the array
p
I \
q r
p +p+[--q--r]; p&(q v r)
I \
q r -- [+p+q]-- [+p+r]; (p&q) v (p&r)
Reading down and then left the tree represents the conjunction 'p&(q v r)'.
But the tree can also be read sideways as the disjunction '(p&q) v (p&r)'.
Thus the 'and/or' equivalence of 'p&(q or r)' and '(p&q) or (p&r)'is
represented in the two equivalent ways to read the tree: vertically or
horizontally. In effect the tree graphically depicts the equivalence of the
conjunction to the disjunction. We may state the law of distribution as an
equivalence between two trees:
p
1\ = 1\
q r p p
q r
The equivalence shows that we may drop a common term downward to the
bottom of every path that it dominates. Conversely if (as in the diagram at the
right) a common term is at the bottom of several paths we may lift it upwards
to a node that dominates the common paths. The move downward corresponds
to iterating 'p' to give us 'p or p'. Moving pup corresponds to reducing 'p or
p' to its equivalent, 'p'.
Statement Logic 181
-p
I \
q -r
--(-p)--(-q)
which we tree as
I \
-p -q
Similarly 'ifp then q and r' is first represented as '-p+(+q+r)' and then as
'--(-p)--(+q+r)' [=> -p v q&r]:
I \
-p q
r
p
I \
-p q
182 An Invitation to Formal Reasoning
I \
p p
-p q
I \
-p -q
Statement Logic 183
We have noted that statements like 'ifp then q' or 'not ifp then q' cannot be
treed without first being transformed into disjunctive or conjunctive form. The
process of getting a statement into a form suitable for 'treeing' is called
regimentation. In regimenting any compound statement we first transcribe it
and then follow two rules:
For example, given 'not ifp then q' we first transcribe it as '-{-p+q)'. We
next drive the external minus sign inward to give us '+p-q'. We next
transform this into a statement of form '+x+y', which in this case is the
statement '+p+(-q)'. This can be treed by putting p over '-q' in vertical
juxtaposition. The statement 'ifp then not q' is first transcribed as '-p+{-q)'
which is then transformed into '-- (- p)-- (- q). This trees by putting '- p' and
'- q' in horizontal juxtaposition.
When a formula is cleared of all external minus signs it is easy to see
how it will be treed as a conjunction (vertically) or disjunction (horizontally).
For '- p+q' can be treated as 'not p or q' being equivalent to '- - (- p)- - q' .
So we tree '-p+q' as 'not p or q' putting '-p' on the left leg and 'q' on the
right leg. Similarly, '-p-q' can be read as 'not p or not q' and treed as '-p
or -q':
I \
-p -q
-r
s
I \
-p q
184 An Invitation to Formal Reasoning
Note that we put the simple statements on top. This makes for a smaller tree.
But we could also tree the compound thus:
I \
-p q
-r -r
s s
- (+p+(- q+(+r+s)))
I \
-p q
I \
-r -s
Statement Logic 185
********************************************************************
Exercise:
********************************************************************
p I \
I \ p p
q r q r
p&(q v r)&(s v t)
((p&q) or (p&r))&(s or t)
which is equivalent to
The reader may agree that the process of and/or distribution for more
than two conjuncts can get fairly tedious. Fortunately, there is a much quicker
way to get the DNF equivalent of any treeable conjunction. Put the
conjunction on a tree and then read the tree disjunctively. The following trees
depict the equivalence of 'p&(q v r)&(s v t)' to '(p&q&s) v (p&q&t) v
(p&r&s) v (p&r&t)' at a glance:
p 1\
I \ = I \
q r I \ I \
I \ I \ p p p p
s t s t q q r r
s t s t
The downward reading is conjunctive, while the left- right reading gives the
disjunctive equivalent. Note again that the common term p may be dropped
to the bottom and similarly for q and r. And once again we see that this allows
the horizontal reading to give us the disjunctive equivalent to the original
conjunction. To remind ourselves that the law of distribution is the ground of
the equivalence that is depicted on the tree, we might call these trees on the
right 'distribution trees'. In effect, a distribution tree shows how a conjunction
is equivalent to a 'normal form disjunction' that is the result of applying the
law of distribution by dropping all terms down to the bottom of the tree and
then reading from left to right disjunctively.
Our ability to get a DNF equivalent to any conjunction makes it
possible to decide on the validity of any argument in statement logic. Suppose
we are given the argument:
Statement Logic 187
Al
1. both r and p
2. ifp then q
I both rand q
This argument is valid and one way of showing this is to show that the C(Al ),
the counterclaim conjunction of its premises and the denial of the conclusion,
is a contradiction. C(Al) consists of the following three conjuncts:
The distribution tree for the conjunction of these three statements is:
r I \
p I \ I \
I \ r r r r
-p q p p p p
I \ I \ -p -p q
q
-r -q -r -q -r -q -r
-q
We get the right tree by dropping dominating terms to give us the DNF
equivalent to C(Al):
Each path on the tree represents a disjunct. Note that each disjunct contains
a contradictory pair of conjuncts; in other words, each path is closed. Since
all paths are closed, the whole disjunction is a contradiction of type 3. Now
A1 is valid if and only ifC(A1) is inconsistent. Since C(A1) is inconsistent,
A 1 is valid. Generally then, a path that contains a contradictory pair of simple
statements is closed and when each and every path of a tree is 'closed' the tree
represents a contradiction.
We could also show that the three statements represented on the tree
are jointly inconsistent by applying Modus Ponens and peq to derive a
contradiction:
4. +r+q 1, 2 MP
5. -(-r-q) 4,peq
6. +(-r-q) +(-(-r-q) 3, 5, Conj
6 is a contradiction.
Our ability to use distribution trees for showing the equivalence of
conjunctions and disjunctions gives us a powerful tool for determining the
validity of any argument in statement logic. To evaluate an argument we
proceed as follows:
A2
ifr then p and q -r+[+p+q]
not both s and if r then q -(+s+[ -r+q])
not s 1-s
Statement Logic 189
s
I \
-r p
I q
I \ I \
-s r -s r
-q -q
Reading each path we see that it contains a contradictory pair, which shows
that C(a2) is a contradiction. This, in turn, shows that A2 is valid.
Equivalently we could show that the tree represents a contradiction by
dropping all tenns to the bottom:
I \
I \ I \
s s s s
-r -r p p
-s r q q
-q -s r
-q
1. -r+[+p+q] premise
2. -(+s+[ -r+q]) premise
3. -(+s+[- [+p+q]+q]] 1, 2,MP
4. -s + [+p+q+( -q)] 3, peq
5. --[+p+q+(-q)] +(-s) 4, peq
190 An Invitation to Formal Reasoning
********************************************************************
Exercises:
1. if p then not q
if q then r or s
I ifp then s
3. p
if p and q then not r
/ifqther
4. not r
p and q orr
/q
192 An Invitation to Formal Reasoning
5. ifp or q then r
ifr then q and s
I p and not s
********************************************************************
1. ifp then q
2. not q
and we want to know what follows. One non-trivial conclusion that may be
drawn from the premises is 'not p'. But the following may also be drawn:
i) not q
ii) either r or not q
iii) not q and if p then q
iv) either p or not p
Statement Logic 193
Any conclusion that does not offend against any of the first four triviality
conditions is non-trivial. But if c is a non-trivial conclusion, then the fifth
condition requires us to count as trivial any conclusion offonn 'cor x'. Thus
suppose that 'not p' is a non-trivial conclusion because it does not trespass
rules a to d. Then the fifth condition for non-triviality rules out adding new
entailments such as 'not p or s', 'not p or t' and so forth which are disjunctive
additions to 'not p'.
What follows? It may seem that we are here limited to using the rules of
inference of statement logic to move step by step to conclusions that are,
hopefully, non- trivial. But we can do better than this. The following procedure
194 An Invitation to Formal Reasoning
shows how to represent a given set of premises in a form that allows us to see
graphically what non-trivial conclusions may be drawn from them.
whose tree is
p
I \
r s
t -q
I \ I \
-s -t -s -t
-r -r
p&r&t&-s v p&s&-q&-t&-r
We may now (step 4) form partial disjunctions by taking a conjunct from each
ofthese disjunctions. Among these are
pvp
pv -q
tv -t
-s v s
Each partial disjunction in the above list is entailed. But they are all trivial
entailments. However, the following partial disjunctions are non-trivial:
That these partial disjunctions are entailed can easily be verified. For suppose
we denied any one of them and added the denial to the tree. In each case the
tree will 'close' entirely and show contradiction. Since the consequence of
denying any partial disjunction is inconsistency, all of the partial disjunctions
are entailed by the original disjunction that is equivalent to the conjunction of
the premises.
Thus the answer to the question 'what follows from these premises'
can be given by treeing the premises and looking at the possibilities for
forming partial disjunctions that cover all of the open paths. The non-trivial
entailments can be picked off the tree directly, care being taken to choose a
partial disjunction that exhausts all open paths. Consider for example the
following tree representing the two premises 'if s then (rand not p)' and 'tor
not r or (sand p)':
I \
-s \
I I \ r
t -r s -p
p I I \
t -r s
p
196 An Invitation to Formal Reasoning
The first, second and fourth paths are open. Two of the open paths are
dominated by '- s'; the remaining path has a 't' on it. Thus '- s v t' is a partial
disjunction that covers all open paths. Another exhaustive disjunction is 't v
-r'. Both of these are non-trivial. Another is 'r v tv -r', but that is
tautologically trivial. Yet another is '-p v -r v t'. But that only adds to the
previous entailment, 't v - r', and so does not give us more information than
we already have. Thus we may complete the argument in two non- trivial
ways:
Let r transcribe 'you'll marry a rich girl', p transcribe 'you'll marry a poor
girl', e transcribe 'you'll be enterprising', and w transcribe 'you'll be wealthy'.
In algebraic notation, then:
1. -r+[+w+(-e)]
2. -p+[+e+(-w)]
3. --[+r+(-p)]--[+p+(-r)]
The third premise states that you'll either marry a rich girl and wont marry a
poor girl or else you'll marry a poor girl and won't marry a rich girl. The tree
for these conjoint premises is
Statement Logic 197
I \
I \
-r w
I \ -e
-p e I \
I \ -w -p e
I \ I \ I \ -w
p r p r p r I \
-r -p -r -p -r -p p r
-r -p
-r&e&-w&p or w&-e&-p&r
-w v -e; e v w
The first of these is equivalent to 'if w then not e', the second to 'if not e then
w'. Thus we may conclude that you'll be wealthy if and only ifyou won't be
enterprising. Other non-trivial entailments include :
-e v -r; w v p; -w v -p
or their conditional equivalents 'if e then not r;' 'if not w then p' ; 'if w then
not p'.
In the process of constructing a tree for a set of statements we will
often close a path without further ado because that path has a contradictory
pair of statements on it. For example, in constructing the tree for the premises
1. ifp then q
2. p orr
3. not r
198 An Invitation to Formal Reasoning
-r
I \
p r
I \
-p q
we close the third path without going farther because we know that all paths
below it will close. This tree contains a single disjunct '-r&p&q' and three
non-trivial entailments: 'p', 'q', 'p&q'. Entailments that include '-r' are
trivial since that is given as a premise. 'p or q' is trivial since it is an
'addition' to a non-trivial entailment.
****************************************************************!**
Exercises:
I. Tree the premises given and draw two non-trivial conclusions from them by
inspecting the tree and exhausting the open paths.
1. p&s v p&q
-(-q->r)vt
p -> (r v q)
I??
2. not (p or q)
ifr or s then q
I??
II. For each example in (I) provide a conventional annotated proof for one of
the two conclusions you got.
********************************************************************
Statement Logic 199
The tree method for deriving conclusion can be used in annotated proofs. The
following rules are needed.
1. When first given a set of premises we use peq as needed to transform them
into a conjunction of disjunctions of simple statements. We call this process
'treeing the premises'.
4. The last step consists of eliminating those disjunctive entailments that are
trivial--premises, 'additions' to premises, tautologies as well as any addition
to a non-trivial entailment. See above section.
The following is an example of an annotated proof that uses the tree method
of derivation:
l.p p premise
2. q -> r -q+r premise
3. p -> s -p+s premise
4. (s&t) -> q -[+s+t]+q premise
5. -q v r --(-q)--r 2,peq
6. -p v s --(-p)--s 3,peq
200 An Invitation to Formal Reasoning
p
I \
-q r
9. Tree of I \ I \
1,5,6,8 -p s -p s
I I \ I I \
-s -t q -s -t q
********************************************************************
Exercises:
Use the four step method above to derive at least two non-trivial conclusions:
1. p ::> q
t => -r
(t&s)&-p
s=>-w
I??
2. -(pvq)
(q&-r) v (r&-s)
I??
********************************************************************
Statement Logic 201
The section that follows is optional, being of historical interest and of special
concern to the student who may be interested in some of the reasons that have
led logicians to choose different approaches to their subject. On one approach,
the logic of statements is looked upon as a special branch of the logic of terms.
On another approach the logic of statements is fundamental and the logic of
terms is treated as grounded in the logic of statement. Our approach in this
book has not taken a stand on this question. We have however shown that
term and statement logic have the same basic syntax so that an elementary
sentence of form 'some A is B' and an propositional sentence of the form
'p&q' can both be transcribed as sentences of form '+x+y'. More generally,
we have shown that all statements are built out of dyads of this form. We have
already shown that such dyads occur as sub-sentences in sentences that contain
compound or relational terms. In what follows we shall show that the dyads
representing compound sentences can also be construed as subject-predicate
sentences with a subject of form 'some/every x' and a predicate of form
'is/isn't y'. By showing this we shall have carried out a program of reducing
propositional logic to term logic. This terminist program has been announced
by many logicians who hold that term logic is the basic logic and that
propositional logic is simply a special branch ofterm logic.
The question ofwhether term logic or statement logic is primary is our
topic and we introduce it by citing two remarks of the great eighteenth century
logician Gottfried Leibniz. Leibniz was a 'terminist'.
We are about to take the step that Leibniz recommended but before we
show how to interpret propositional statements categorically by treating
statements as terms we will remind ourselves of the ways that terms and
statements are alike.
Consider a woman who makes the following two statements:
Assume that she has in mind the real world. As it happens, (1) and (2) are
both true of the real world. Let us call a world a 'p-world' if the statement
'p' is true of it. If 'p' is nottrue of the world, we call it a 'not-p world'. For
example if p =there are elks in Canada and q =there are elves in Canada, then
W (the real world) is a world characterized by the existence of Canadian·elks
and the nonexistence of Canadian elves. In other words, the world is a p
world and a not-q world.
The question that Leibniz has set us is how to rephrase propositional
statements such as 'p and q' as saying something like 'some pis q' and 'ifp
then q' as saying something like 'every p is q'. And the answer we argue for
is: to understand 'p and q' to say 'some pis q' by reading this as 'some p-
world is a q-world' and to understand 'ifp then q' as 'every pis q' by reading
'every p is q' as 'every p-world is a q-world'.
In reconstruing propositional statements as categorical statements we
bear in mind the following facts:
3. Propositional statements are about one thing only, the world they all claim
to characterize; when a propositional statement denotes, it denotes that world.
I.
1. some u is r true
2. something is p true
3. nothing iss true
Having satisfied herself that these are true Molly now wonders whether any of
the following are true:
II.
4. every p is r
5. every non-q IS u
6. everything is p
7. every q is r
8. every sIS p
9. no r is p and s
10. every p and sis r
11. every u is p
12. everything is u
13. some r 1s p
14. some r is not s
15. every sis r
Had Molly known that D contains no more than one thing, she would have
seen that the truth of every statement in II is entailed by some statement in I.
For example, (6) 'everything is p' follows form (2) 'something is p', there
being only one thing and that thing being p. Moreover since everything is p,
it follows that (11) every u is p and (8) every sis p since nothing in Dis au-
thing or an s-thing without being a p-thing. Also, since (1) some u is r it
follows that both that something is u and that something is r. But from
'something is u', 'everything is u' follows, which, in turn, entails (5) 'every
206 An Invitation to Formal Reasoning
non-q is u'. Similarly from 'some thing is r' 'everything is r' follows. But if
'everything is r, then (4) every pis r, (7) every q is rand (8) whatever is p and
sis r. Finally, from 'nothing iss', Molly would infer (11) 'nor is p and s'.
In a universe of discourse containing only one thing 'everything is X'
and 'some thing is X' are equivalent. Now this fact about singular domains
has an important logical application. For while ordinary statements are claims
about the things of a domain that contains many things, propositional
statements may be understood to make categorical claims about the domain
itself.
We are now in a position to say how we may construe propositional
statements terministically as categorical. The idea is to construe all
propositional statements as being about the one world. We now read 'p and
q' as saying something like 'some pis q' and 'ifp then q' as saying something
like 'every p is q'. Let 'p' be any sentence and let '<p>' be the state of affairs
in which p (i.e., the state signified by 'p') and let the term 'p' denote any
domain or world characterized by <p> (i.e., any p-world).
By convention, lower case letters are statement letters. But in our new
way of construing these letters they are a special type of term that apply to the
members of a domain of worlds, 'p' applying top-worlds, 'q' to q-worlds and
so forth. But in this case, the domain of worlds, which is the domain of the
claim of any propositional statement, contains only one world as its member
(by hypothesis the actual world). In effect, all propositional statements are
now construed as singular statements about the one actual world. Since in
any context of discourse only one domain is under consideration, all
propositional statements are semantically singular. It is as if all propositional
(lower case) letters were starred as uniquely denoting terms.
We are saying that all propositional statements are about one and only
one thing: the world itself. We may read 'p' categorically as the statement:
'the world is a p-world'; moreover 'p' is true if and only ifthe world is a p-
world. We now read our formulas '+p+q', '- p+q', etc., as 'some p-world is
a q-world. 'every p-world is a q-world', etc. Since the categorical version of
a propositional statement is a statement of the form 'some/every xis a y', the
bare assertion 'p' may be understood as the categorical assertion 'some world
is a p-world'. However, since all statements are about the one world, 'some
p-world is a q-world' entails 'every p-world is a q-world'. We rewrite
propositional statements in categorical form in accordance with the following
rules:
Statement Logic 207
According to the first law any statement 'p' claims that 'some world is a p-
world'. But since only one world is under consideration, this claim is
tantamount to the claim that every world is a p-world. The truth of the second
law is also obvious; there being only one world, if that world is both a p-world
and a q-world, then every world is a q-world and in particular every p-world
is a q-world.
By construing every propositional statement as a categorical statement
about worlds, we carry out Leibniz's terminist program. Leibniz correctly
believed that statement logic could be understood as a special branch of the
logic of terms. This terminist doctrine is encouraged when we note (a) that
compound statements have the same formal structure as categorical statements
whose elements are terms and (b) that many of the laws of statement logic
(e.g., the law that denying a conjunction is equivalent to affirming the
disjunction of denials) are the same as the laws of term logic (e.g., that denying
that some A is B is equivalent to affirming that every A is not B since both
laws have the structure: -(+x+y) = +(-x-y)).
We noted, however, that terminism seemed wrong when we consider
that the categorical versions of propositional statements led us to a branch of
term logic that differs in fundamental ways from the rest ofterm logic. For
example, we know that in the ordinary logic of terms covalence and equality
are necessary conditions for logical equivalence. But covalence and equality
are not necessary conditions for the equivalence of propositional statements.
Other discrepancies are equally serious. For example, we noted that 'some A
is B /every A is B' is not valid in ordinary term logic, but its analogue, 'p and
208 An Invitation to Formal Reasoning
q /p::::~q', is valid in statement logic. We note also that the pair of statements
'some A is A; some nonA is nonA' can both be true in ordinary term logic but
their propositional analogue in statement logic is the pair 'p and p' and 'not
p and not p', which can't be jointly true. But we now see that all differences
between term and statement logic can be explained once we recognize that
propositional statements are unique in having a singleton domain as their
universe of discourse so that all propositional terms denote one and the same
world. A logic of terms for a singleton domain has just the properties that
distinguish statement logic from ordinary term logic.
In a context where all statements apply to only one thing, 'every A is
B' does follow from 'some A is B' and 'some A is A' is incompatible with
'some nonA is nonA'. Interpreting the propositional statements of statement
logic by treating the statement letters in the formulas '+p+q' and '-p+q' as
propositional term letters does not violate any of the laws of a term logic
whose statements have a universe of discourse that has exactly one member.
Thus, while the move from 'some A is B' to 'every A is B' is prohibited, this
isn't the case where the terms are UDTs. Thus from 'some pis q' to 'every p
is q' is permitted. For if it is true that something (viz., The World) is both p
and q then it is true that everything is both p and q. And if every thing is both
p and q then everything is either not p or q. This explains why '+p+q' entails
'-p+q'. For, where there is only one world to consider, 'some p-word is a
q-world' does entail 'every p-world is a q world'.
The singularity of propositional statements also accounts for their
divergence from the law of equivalence governing general statements.
According to that law two statements are logically equivalent if and only if
they are covalent and equal. But in propositional logic, when two statements
are both covalent and equal, that suffices for their equivalence. However,
neither of these conditions is necessary.
One of the divergent cases is the law equating 'p&p' to 'p v p ',
which in categorical form is the equivalence of 'some pis p' to 'every non-p
isn't non-p' . For ordinary terms this equivalence between divalent statements
is invalid: 'some P is P' is not equivalent to 'every nonP isn't nonP'. The
right hand side is equivalent to 'no nonP is nonP'. (Consider 'some ape is an
ape', which is true and 'no non-ape is a non-ape' or 'every non-ape is an ape',
which are false.) But in propositional logic the divalent equivalence holds.
Here again the validity of the propositional equivalence is due to the
circumstance that only one thing is being talked about. In a singleton domain
of worlds 'some p-world is a p-world' = 'no p-world is a non-p-world', since
Statement Logic 209
where something (the actual world ) is a p-world it follows that nothing fails
to be a p-world. Thus the crucial difference between ordinary term logic and
propositional 'term' logic is that the latter makes claims about a singular
domain and in a singular domain 'something is X' is equivalent to 'everything
is X'. This crucial difference gives statement logic its special character. And,
once this is understood, we are free to understand statement logic as a special
branch of the logic of terms that we have all along been studying.
We have shown that the logic of propositional statements can be
construed as a special branch of the logic of terms. But having shown this, it
still remains true, as a practical matter, that the techniques we have learned for
dealing with arguments in statement logic are especially suited to it. In any
case, even though '+p+q' has the same form as a statement '+P+Q', which we
read 'some P is Q', it would be pointless to change our way of expressing
ourselves, by reading, say, 'roses are red and violets are blue' as 'some world
in which roses are red is a world in which violets are blue'. We therefore
continue to read '+p+q' as 'p and q' and '-p+q' as 'if p then q'. For all
intents and purposes, we continue to treat statement logic as an independent
logic even as we bear in mind the terminist interpretation that Leibniz
adumbrated.
Consider the Venn diagram for 'someS is P' where 'S' and 'P' are ordinary
terms:
Figure 23
s p
The cross mark inside the SP segment indicates the presence of an SP thing.
But what about the other segments? Since no information is given we leave
210 An Invitation to Formal Reasoning
this empty~ nothing may or may not be in any one of them. Now consider the
Venn diagram for 'some p-world is a q-world' where it is understood that no
more than one world is under consideration.
Figure 24
Note that we have shaded everything except the pq area. Note now that an
unshaded area represents the presence of a pq-thing (in this case a pq-world).
The difference between a regular Venn diagram and a Venn diagram
for a singleton universe is this: on a regular diagram we have three possibilities
for any given area:
Figure 25
Statement Logic 211
*****************************************************************
Exercises:
Construct Venn diagrams for each of the following, showing that the
conclusion follows from the premises.
l.p=>q
-s
q=>s
I -p&-s
2. p&q
I P => q
3. not p
I ifp then q
5. ifp then q
ifq then r
I ifp then r
*******************************************************************
8 Modem Predicate Logic
1. Syntax
The logical system that we have studied in this book is known as Term Logic
or Term/Functor Logic (TFL). TFL parses sentences as 'dyads' made up of
two terms and a functor that connects them. Not only sentences, but relational
terms, compound terms and compound sentences are given dyadic parsings.
Term Logic goes back to Aristotle. In this chapter we shall acquaint ourselves
with another logical grammar and another system oflogic known as Predicate
Logic or Modern Predicate Logic (MPL). For discussion of the differences
between TFL and MPL, the reader may wish to look again at Chapter 2
section 11, where we distinguished two approaches to logical syntax: 'the
Term Way' and 'the Predicate Way'. We have so far followed the Term Way.
In this chapter we follow the Predicate Way.
The grammar of a logical language is called logical syntax. Looking
at a sentence, the logician distinguishes between its material elements, which
carry its meaningful content, and its formative elements, which determine its
form. For example, looking at 'some apes are omnivores' the logician who
follows the term way distinguishes between the two material elements 'apes'
and 'omnivores', on the one hand, and the functor expression 'some are' that
joins these terms to give us a sentence of the form 'some X are Y', on the
other. The material elements ofTFL are nouns or noun phrases. By contrast,
the material elements of Predicate Logic are verbs or verb phrases that serve
as predicates.
Let us recapitulate the parsing style of the Term Way. Consider the
fact that 'some bird sings' entails 'some singer (singing thing) is a bird'. The
terminist represents this inference as '+B+S I +S+B'. In so representing it one
first paraphrases 'some birds sing' as 'some bird is a singer'. In so
'regimenting' the sentence, we treat the verb 'sing' in the premise as if it were
the predicate verb phrase 'is a singer'. We then use 'singer' as a term that
could take either subject or predicate position. In effect, TFL splits the verb
213
214 An Invitation to Formal Reasoning
'sing' into a copula, 'is (a)', and a term, the noun or noun phrase 'singer' or
'one who sings'; this term then reappears in the subject position of the
conclusion. We similarly regiment 'all birds sing' as 'all birds are singers',
again analyzing it as a two term sentence, '- B+S'. In TFL each sentence has
two terms and a functor that connects them. The same two term parsing is
given to a singular sentence like 'Caruso sings'. Here the (singular) term
'Caruso' and the general term 'singer' are connected by the commutative
functor 'some is a' and the sentence transcribes as '+C*+S'. In TFL a
singular sentence such as 'Caruso sings' has 'wild' quantity; it is particular,
but because its subject term, 'Caruso', denotes uniquely, 'some Caruso sings'
entails its corresponding universal, 'every Caruso sings'.
Predicate Logic treats a general sentence like 'some birds sing' as a two verb
sentence. The contrast between TFL and MPL can be better appreciated when
we look at the different way they approach a simple inference like
In representing this little inference the logician must identify two 'material'
(nonformal, 'extra-logical') expressions that appear in converse order in the
two sentences. As we said, TFL chooses nouns; MPL chooses verbs. In line
with its terminist parsing policy, TFL regiments 'some birds sing' as 'some
birds are singers'; the two expressions that convert are the nouns 'singers' and
'bird. MPL takes verbs (predicates) as the interchangeable expressions. A
verb may be simple like 'ran' or 'sings' or it may be formed by taking a noun
and putting a copula in front of it.' For example, 'is a singer' is a verb formed
in this manner. Thus any predicate of the form 'is an X' is a verb. Using
verbs as the basic material elements, MPL regiments 'some bird sings' as a
sentence containing the two verbs or predicates, 'is a bird' and 'sings'. So
analyzed, the inference looks like this:
(Ex)(Bx&Sx)
I (Ex)(Sx&Bx)
In words:
216 An Invitation to Formal Reasoning
Note (again) that the letter 'B' in 'Bx' does not stand for the noun 'bird'; it is
not a term letter but a predicate letter representing the verb 'is a bird'. By
contrast, in the terminist formula '+B+S' the letter 'B' is a term letter
representing the noun 'bird'.
X is P +X*+P Px
SomeS is P +S+P (Ex)(Sx&Px)
Every Sis P -S+P (x)(Sx => Px)
TRJ:
English TFL MPL
some A is B ==> +A 1 +B1 ==> (Ex)(Ax&Bx)
For example, applying TRI to 'some American is a banker' we use the TFL
bridge, '+A1+B 1', to get to '(Ex)(Ax&Bx)' as the MPL formula. Note the use
of numerical pairing indices in the TFL formula. These are usually omitted in
transcribing non-relational sentences since it is obvious in such simple
sentences that the two terms of the sentence are the only terms being paired.
Nevertheless, in using a TFL sentence as a bridge for translating into MPL, we
shall give each term pair (arbitrarily chosen) numerals; these indices are then
replaced by bound variables in the corresponding MPL formulas.
The expression that follows a quantifier is called the 'matrix'. For
example the matrix of the formula '(Ex)(Ax&Bx)' is '(Ax&Bx)'. In
translating '+A 1+B 1' as '(Ex)(Ax&Bx)' we treat the numeral as the bound
variable pronoun 'x' and we treat '+A 1+B 1' as a conjunction of form '+p+q'.
This gives us the matrix formula 'Ax&Bx' or 'it is A and it is B', which needs
218 An Invitation to Formal Reasoning
Using the bound variable 'x' in place of 'it' we have the formula:
As we will see quite shortly, a translation rule applied to the 'matrix' gives us
(Ax-::JBx). The symbolic abbreviation for 'every thing xis such that' is '(x)'.
Thus the MPL formula corresponding to '- A+B' is
The expression 'every thing xis such that', which is symbolically abbreviated
as '(x)' is called 'the universal quantifier'. The universal quantifier in '(x)(Ax
-::J Bx)' binds the variables of the component sentences 'Ax' and 'Bx' in the
matrix, 'Ax -::J Bx'. The TR for translating 'every A is B' into MPL is:
A third rule, called 'TRior', tells us how to render 'p or q' into MPL:
In applying TRI to a compound form like 'some roses are pink and
some are white' we first transcribe it in the usual way
+[+R+P]+[+R+W]
(Ex)(Rx&Px)&(Ex)(Rx&Wx)
(Ex)(Rx&Px)&(Ey)(Ry&Wy)
These two versions are equivalent. But the following formula which binds 'x'
by only a single quantifier is not a correct translation:
(Ex)((Rx&Px)&(Rx&Wx))
******************************************************************
Exercises:
Example:
if every A is B then some C is D
1. - [- A+B)+[+C+D] Algebraic Transcription
2. [- A1+BJ1 => [+C2+D2] TR/if
3. (x)(Ax=>Bx) => (Ey)(Cy&Dy) TR2, TRl
********************************************************************
predicate expression 'is an admirer of. Predicates like these take two subjects;
we call them 'two place predicates'.
Translating sentences containing singular terms into the notation of
MPL is straightforward and we do not need to use a TFL formula as a bridge.
The translation rule is
TR3
S*isP ==> Ps
S* is R toP* ==> Rsp
xis P ==> Px
xis R toy ==> Rxy
Applying TR3 to 'Tom loves Ella' [T* 1+L 12+E*21 we get 'Lte'. (Note that we
simply replace the numerals of the TFL formula, 'L 12 ' by the names of the
lover and the beloved.
Sentences with three subjects have a three place predicate. For
example, the MPL formula for 'Italy ceded Fiume to Yugoslavia' is 'Cify', in
which 'C' is a three place predicate relating Italy as the country that ceded,
Fiume as the city that was ceded and Yugoslavia as the country to whom
Fiume was ceded by Italy.
A fmal translation rule takes compound terms into MPL formulas.
The MPL formula for 'some gentleman and scholar is a farmer' is
'(Ex)((Gx&Sx)&Fx)'. Its TFL formula is '+<+G+S> 1+F 1'. In getting from
the TFL formula to the MPL translation, we first apply TR1 and then apply
TR/and to '<+G+S>' to get '(G&S)'. This gives us '(Ex)(<G&S>x&Fx)'.
A new rule, TR4, allows us to distribute a variable inward, treating a form like
'<G&S>x' as '(Gx&Sx)'.
TR4:
<+A+B>x ==> <A&B>x ==> Ax&Bx
<--A--B>x ==> <AvB>x ==> AxvBx
1. +<+G+S>I+FI TFL
2. (Ex)(<+G+S>x+Fx) 1, TR1
3. (Ex)(<G&S>x&Fx) 2, TR/and
4. (Ex)((Gx&Sx)&Fx) 3, TR4
222 An Invitation to Formal Reasoning
The logical grammar ofMPL is the standard logical grammar taught today.
One reason for this is that formulas written in the language of MPL are
explicit about what makes them true; each MPL formula tells us exactly what
sort of things have to be present in the world or absent from it for the formula
to be true. Consider again the TFL and MPL renditions of a sentence like
'some Spaniards are painters'. According to TFL this is to be rendered as
'+S+P'. According to MPL this is to be rendered as '(Ex)(Sx&Px)'. The TFL
formula is simpler and closer to the original English. However, MPL has a
special virtue that has recommended it to most contemporary logicians. In the
words of one the foremost exponents of MPL in this century:
logical grammar: any MPL statement as much as says what in the world there
must be or fail to be in order for the statement to be true.
Nevertheless, the virtue of explicitness is more than offset by the
artificial complexity of the MPL formulas and by their 'distance' from the
sentences of an ordinary language. The complexity is evident in the way it
treats even the simplest sentences. Consider 'every horse is an animal', which
TFL transcribes as '-H+A' but which MPL translates as '(x)(Hx =>Ax)'.
The TFL formula is akin to a stenographic transcription (letters for terms, '- '
for 'every', '+'for 'is'). But the MPL formula paraphrases 'every A is B' as
something like 'any individual is such that if it is a horse then it is an animal'.
Such a paraphrase is aptly termed a 'translation' because it introduces novel
syntactical elements not found in the original English sentence 'every horse is
an animal'. In the first place, it treats 'every horse is an animal' as a
pronominalization in which the quantifier expression 'any individual' serves
as antecedent to the pronoun 'it'. The original sentence, of course, has no
pronouns. In the second place, MPL introduces the sentential connective form
'if ... then' which connects two component 'sub-sentences', 'it is a horse' and
'it is an animal'. Again, the original sentence looks to be simple and not
compound. The distance between the vernacular English sentence and the
MPL formula is even greater for a relational sentence like 'some sailor is
giving every child a toy'. TFL transcribes this in a stenographic way as
'+S 1+G 123 -C2+T3 '. By contrast, MPL creatively paraphrases it, or
'translates' it, as 'there exists an individual, x, such that x is sailor and for any
individual, y, ify is a child then there exists an individual, z, such that z is a
toy and xis giving y to z'. The symbolic formula for this is
The formulas of TFL that are especially useful for translating into MPL are
what we call 'Dyadic Normal Forms' (DNF). The DNF of a sentence is a
normal form in which compound and relational terms are dyads. We here
review the method of transforming any standard TFL sentence into DNF first
introduced in section 11 of Chapter 4.
A dyad is an expression of the form '±X±Y'. For example, a
compound term such as 'gentleman and scholar', which transcribes as an
expression ofthe form '<+X+Y>', is a dyad. Any sentence is a dyad in which
the first part '±X' is the subject and the second part '±Y' is the predicate. A
sentence is in DNF when its structure is fully dyadic, so that every expression
in it other than its terms is a dyad ofthe form '±X±Y'. As often as not, a
given sentence is not initially given to us in dyadic form. Thus in 'some boy
is teaching some girl'[==> '+B 1+(T 12+G2) 1' ], the expression 'T12+G2 ' has the
subject 'a girl' on the right. To rewrite it as a proper dyad we commute the
phrase 'T 12+G2 ', putting the subject term, 'G2 ', to the left. In effect, we
rewrite the sentence as '+B 1+(+G2+T 12) 1'. In this formula each subject phrase
has its predicate to the right and the whole formula is said to be in dyadic
normal form. The expression '+G2+T 12 ' is a 'sub-sentence' that may be
Modern Predicate Logic 225
The rules of translation that take us from TFL forms to MPL forms
apply to dyads. In applying these rules to relational statements, we first
reformulate the TFL transcriptions in DNF and then apply each rule in a step-
wise fashion to the dyadic forms of the TFL formula. Consider how we should
use the DNF of the sailor sentence to get to the MPL formula:
Note that we began with the outermost dyad that includes all the other dyads.
In it we replaced the numerical index that pairs the terms 'sailor' and 'giver'
by the pronoun 'x', which now serv~s as common subject to the predicates 'is
a sailor' and 'gives' in the formula 'he is a sailor and he gives'. Moving
inward, we proceed by applying rule TR2 to the next dyad,
'- C2+( +T 3+Gx23 ) ', this time replacing '2' by the bound variable pronoun 'y':
1. +AI+(+(+P3+M23)+C12)) DNF
2. (Ex)(Ax&(Ey)((Ez)Pz&Myz&Cxy) TRI (thrice)
Some sentences have one singular subject and one general subject. An
example is 'Tom is memorizing every poem', whose TFL transcription is
'+T*1+(M12- P2)'.
1. +T*1+(-P2+M12) DNF
2. (-P 2+M~) TR3
(Note that in applying TR3 we eliminate 'T* 1' and elsewhere replace the
codenoting numerical index '1' by the name 't' .) We next apply TR2 to the
formula that remains:
or, alternatively as
Consider 'some boy envies everyone who owns a dog', whose TFL
transcription is '+B 1+(E 12- (0 23+03))'.
1. +Bt+(-(+D3+023)+Et2)) DNF
2. (Ex)(Bx&(y)((Ez)(Dz&Oyz) => Exy))) l,TRl, TR2, TRl
8. Translating Pronominalizations
The general form of a pronominalization is ' ... some s ...the s'. In the natural
languages, words such as 'it', 'him(self)', 'she', stand in for a pronominal
subject 'the S (in question)'. Thus we do not normally say 'some barber
shaves the barber in question' but 'some barber shaves himself. Most
pronominalizations are paraphrases of sentences that contain no pronouns. A
pronominalization such as 'some A is a B; it is also C' is merely a loquacious
way of saying 'some A and B is a C'. Similarly, 'if any A is a B then it is a
C' is reducible to 'every A and B (thing, person) is a C', which again is not a
pronominalization. (See the rules for pronominal expansions in section 8 of
Chapter 6 above.)
The style ofMPL is to pronominalize. A sentence like 'some ape is
hungry' is not naturally construed as a pronominalization. But the logical
syntax of MPL construes any general sentence, i.e., any sentence containing
'some' or 'every', as a pronominalization. Thus 'some ape is hungry'
becomes 'something is such that it is an ape and it is hungry'. And while
'every boy loves some girl' is not a pronominalization in natural language, its
MPL rendering has two pronouns: 'everything is such that if it is a boy then
there exists someone such that it is a girl and the boy (he) loves the girl (her)'.
By contrast, TFL transcribes a natural language sentence of the form 'some
A is B' or 'every A is R to some B' without treating it as pronominalizations.
For example, '- B1+L 12+G2' is a pronoun-free formula. The bridging rules
that take us from TFL to MPL are thus designed to take us from a
nonpronominal formula like 'some A and B is C' [ > '+<+A+B>+C'] to the
228 An Invitation to Formal Reasoning
Arriving at 3 we can go no further. The reason is clear: the TFL formula has
two numerical indices, which renders it unsuitable as a bridge to the MPL
formula which has only one. If we are to apply our bridging rules to formulas
that contain proterms, we shall need to modify the formulas in a way that
renders them suitable as bridges to the MPL translation. As it stands, a
formula like '+B' 1+{S 12+B' 2)' cannot serve as a bridge formula for purpose of
Modern Predicate Logic 229
We modify a TFL pronominalization such as +B' 1+(+B' 2+S 12) (the DNF form
of 'some barber shaves himself) by applying to it our rule for internal
pronoun elimination (IPE) [see section 17, chapter 4, and section 8, chapter 6].
Recall that this rule allows us to remove subsequent proterms and, in so doing,
eliminate superscripts. Thus, our DNF formula for 'some barber shaves
himself, viz., '+B' 1+(+B' 2+S 12)' becomes, by IPE, '+B 1+S 11 '. Applying TR1
to this formula we get '(Ex)Bx&Sxx)'.
To translate 'some student eloped with his aunt' we begin with its
transcription '+S' 1+(E 12+(A23 +S' 3))', and put that formula into DNF.
********************************************************************
Exercises:
********************************************************************
230 An Invitation to Formal Reasoning
A: Itc
B: -ltc
The denial of identity comes up when I say 'Twain is funnier than everyone
else'. Anyone who asserts this is saying in effect that Twain is funnier than
everyone who is not (identical with) Twain. MPL translates this as
i.e., 'for anyone x, ifx is not identical with Twain, then Twain is funnier than
'
X.
To translate a sentence affirming identity or difference into MPL we
need first to rephrase it in a way that explicitly brings in a two place predicate
'is identical with', 'is the same as' or 'is not identical with' or 'is other than'.
Only then can we proceed to apply the rules of translation. Thus, given the
sentence 'Twain is funnier than anyone else', we should first render it as
'Twain is funnier than everyone not identical with Twain'.
Eliminating 'T*' and replacing all subscripts pairing with 'T*' by 't' we get:
3. -(-12t)+F2t
4. (x)(- Ixt => Fxt) TR2
This example also illustrates the general point that the bridge between TFL
and MPL is more useful for sentences containing general terms than it is for
sentences containing proper names or other uniquely denoting terms. The
syntactical distance between the formulas of TFL and MPL is greatest when
the sentences involved have proper names or other uniquely denoting subjects
expressions (e.g., 'the King of France', Smith's eldest daughter'). In many
cases it simply does not pay to use TFL as a bridge for translating singular
statements (including identities) into MPL. Thus, given a simple singular
sentence like 'Twain is an author', we should directly move to 'At'. (Why
bother to get to it via '+T*+A'?)
232 An Invitation to Formal Reasoning
We understand this to say that some being is divine and no being other than
that being is divine. TFL renders this as
i.e., 'some being is divine and every being not identical with it isn't divine'.
********************************************************************
Exercises:
********************************************************************
Having learned how to translate into MPL language we will now learn some
MPL techniques for evaluating arguments and drawing conclusions from
premises. Consider the valid syllogistic argument 'every ape is hairy; some
denizens of Madagascar are apes; so some denizens of Madagascar are hairy'.
To show that it is valid in TFL we could transcribe it, deny its conclusion and
derive a contradiction:
Modern Predicate Logic 233
1. -A+H premise
2. +D+A premise
3. -(+D+H) negation of conclusion
4. -D+(-H) 3,PEQ
5. +A-H 4,2, DDO
6. +H-H 5,1, DDO
This evaluates the argument as valid. For we have shown that denying the
conclusion leads to contradiction. (Another method could be used: show that
1, 2, and 3 give you a P/Z conjunction (see section 5 of Chapter 5).)
A similar technique may be used in MPL. First we should represent
the premises and the denied conclusion in MPL thus:
But now we stop: we lack MPL rules analogous to the TFL rules such as PEQ
and DDO that would enable us to proceed to derive a contradiction. In the
next two sections we present the MPL rules that are used in evaluating
arguments like the above.
Rules of one important type are called Rules of Transformation (also called
Rules of Substitution). A rule of transformation permits us to transform a
formula into an equivalent formula thereby permitting us to replace the former
by the latter. One such rule allows us to change a formula that has an initial
sign of negation into one that has no such sign. For example, given the TFL
formula '-(+T+A)' [read: nothing is an A], we clear the negation sign by
driving it inward algebraically by 'obversion' to give us '-T+(-A)'
[everything is a nonA]. The analogous move for MPL is
In MPL, the law that corresponds to TFL obversion is called 'The Law of
Quantifier Interchange' (QI). The following transformations are justified by
the law:
Conditional/Disjunction (C/D):
p ~ q = -p v q -p+q = - -( -p)- -q
Iteration (IT):
p= p&p
p= pvp
p
lq
Example:
if there is smoke, there is fire
there is smoke
so, there is fire
Example:
if there is smoke, there is fire
there's no fire
hence there's no smoke
Simplification (SIMPL):
p&q
lp
Example:
roses are red and violets are blue
hence roses are red
Conjunction (Conj):
p
q
lp&q
Example:
roses are red
violets are blue
hence roses are red and violets are blue
Addition (Add):
p
lpvq
Example:
Tony is home
hence Tony is home or roses are red
Literal formulas are simple sentences consisting ofa predicate and one or more
singular subjects. The following sentences are examples ofliteral formulas:
Caruso sings Sc
Plato admired Socrates Aps
x loves y Lxy
xisnnullng Rx
Sally gave Tommy a cookie Gstc
is true. Again, this move eliminates the quantifier '(Ex)' and replaces the
bound variable by an arbitrary name, giving us a formula that is free of
quantifiers and variables. EI may be performed only once. For we have no
right to assume that more than one student is Pakistani. Thus we cannot arbi-
trarily choose a second name, say 'Bob' and also infer 'Bob is a student and
Bob is Pakistani'. Moreover, once 'a' has been introduced as a name via EI,
it cannot be used in an another existential instantiation. Thus suppose we are
now told that 'some student is a billionaire'. This translates as
'(Ex)(Sx&Bx)'. Applying EI, we can derive 'Sb&Bb' by deciding to call the
student in question 'b'. But we cannot instantiate '(Ex)(Sx&Bx)' by again
using 'a' as the name for the billionaire student since that name has already
been used for the student who is Pakistani. We have no grounds for assuming
that they are the same person.
A second rule, called 'universal instantiation', enables us to eliminate
the universal quantifier by instantiation.
Ca
I (Ex)(Cx)
For example, suppose we chose 'Jupiter' as an arbitrary name to fill the gap
in' ... was created'. Assume we could just as well have chosen any other name
to fill that gap and that the resulting sentence would be taken as true. In that
case we could have series of sentences of the form ' ... was created', all of
which are assumed to be true, and we have the right to generalize to
'everything was created'. Thus, by applying UG, we have the inference 'Cj
I (x)(Cx)'.
As an example ofhow instantiation and generalization may figure in
logical reckoning in MPL, consider how we may derive a conclusion from
'every A is B' and 'something is an A':
We have derived the conclusion 'Something is aB'. Using 'T' for 'thing', the
same conclusion may be quickly derived in TFL:
240 An Invitation to Formal Reasoning
1. -A+B prenuse
2. +T+A prenuse
3.+T+B 1+2, DDO
2. Rules of iteration:
CI: p =p&p
DI: p = p vp
4. Rules of instantiation:
EI: (Ex)( ... x ... ) / ... a .. .
UI: (x)( ... x ... ) / ... a .. .
5. Rules of generalization:
EG: ... a ... I (Ex)( ... x ... )
UG: ... a ... I (x) ( ... x ... )
1. -A+F premise
2. +D+A premise
3. +D+F 1+2, DDO
The moral of this example is that the more we can simplify in TFL before we
translate into MPL, the better off we are when it comes to doing logic in MPL.
Indirect proofs tell us whether a given argument is valid or not. But for that
we need to be given a complete argument. In using an indirect method to
evaluate an argument for validity, we (1) deny its conclusion, conjoining the
denial to the premises, (2) get all conjuncts into CNF, (3) instantiate each
conjunct, using EI or UI or both and (4) tree the instantiations and test the tree
for inconsistency. An inconsistent result shows that the original argument is
valid. Thus, the general method consists of denying the conclusion and then
instantiating the counterclaim. This gives us a conjunction that has no
quantifiers. We are then able to examine this conjunction in the usual way: by
treeing it to see whether we have got a contradiction. Consider again the
argument 'every A is F, some Dis A I some Dis F'. Denying the conclusion
gives us the following counterclaim of three conjuncts:
Modern Predicate Logic 243
4. (x)-(Dx&Fx) 3, QI
5. (x)((-Dx) v (-Fx)) 4,DML
6. (x)(- Ax v Fx) 1, C/D
7. Da&Aa 2, EI
8. -Da v -Fa 5, UI
9.-AavFa 6, UI
Da
Aa
I \
-Da -Fa
I \
-Aa Fa
The tree has all of its paths 'closed', revealing that 7, 8 and 9 are jointly
contradictory. Since 7, 8 and 9 follow from the counterclaim, this shows that
the counterclaim of the original argument is inconsistent. The argument itself
is therefore valid.
We could save ourselves several steps if we clear the minus from our
TFL formulas before using them as the bridge to MPL.
Applying C/D to 1 and 3 gives us three CNF formulas ready for instantiation
and treeing:
244 An Invitation to Formal Reasoning
1. -C2+H2 prenuse
2. - (- (0 12+C2)+(012+H2)) negation of conclusion
2, peq
Modern Predicate Logic 245
3,PEQ
4,DNF
Instantiating 10 gives us
Instantiating 9 gives us
Cb
Oab
I \
-Hb -Oab
I \
-Cb Hb
Ba
Gb
I \
-Gb Lab
I \
-Ba -Lab
We will use a direct TFL proof to derive the conclusion and then follow this
by an indirect MPL proof of validity.
Modern Predicate Logic 247
4* Ac 3***, EI
Ma
Eab
Obc
I I \ \
- Sc - Obc - Eab - Ma 1**, UI
I \
-Ac Sc 2*, UI
The tree closes, which shows that denying the conclusion entails a
contradiction.
To show that 'some Greek shaves himself follows from 'every barber
shaves himself and 'some barber is a Greek' we deny the conclusion and
248 An Invitation to Formal Reasoning
To show that these three statements are jointly inconsistent we transcribe them,
simplify, translate them, get them into CNF and then instantiate. Having
simplified the transcriptions we arrive at:
4. -GI+(-SII) 1, IPE
5. - BI+SII 2, IPE
Ga
Ba
I \
-Ba Saa
I \
-Ga -saa
[Note that an English language sentence like 'some boy envies every owner of
a dog' has no pronouns in it. MPL 'translates' it with three pronouns
[(Ex)(Bx&(y)((Ez)Dz&Oxy => Exy))], but TFL transcribes it as a proterm free
formula [- B+(E-(O+D)]. More often than not, even when a sentence
Modern Predicate Logic 249
********************************************************************
Exercises:
I. Show that 'Aristotle is not wiser than himself follows from 'no one is wiser
than Aristotle'. (hint: use UI).
2. Using MPL, derive 'every senator admires a fool' from 'every senator
admires himself and 'if any(one) is a senator, then he is a fool'.
*******************************************************************
Laws ofldentity:
LI.l ifx=y, theny=x (I'he law ofsymmetry)
LI.2 ifx=y and y=z, then x=z (I'he law oftransitivity)
Ll.3 x=x (I'he law ofrejlexivity)
Ll. 4 ifPx and x=y, then Py (Leibniz's Law)
(i) Show that 'Mark is an author' follows from the premises 'Clemens
is Twain', 'Twain is an author' and 'Clemens is Mark'.
1. c=t premise
2. At premtse
3. c=m premise
4. m=c 3, symmetry
Modern Predicate Logic 251
5. m=t 4, 1, transitivity
6. t=m 5, symmetry
7. Am 2, 6, L.L. (Leibniz's Law)
-Ftc
-(t=c)
I \
t=c Ftc
The tree closes. Denying the conclusion leads to contradiction so the argument
is valid.
********************************************************************
Exercises:
2. Given the premises 'only Clemens knows' and 'Twain knows', prove that
Twain is Clemens (in MPL and then TFL).
*******************************************************************
Rules, Laws and Principles
TFL
The REGAL Principle (REGAL): A syllogism is valid if and only if its mood
is regular and it 'adds up'.
253
254 An Invitation to Formal Reasoning
Laws of Identity:
Law of Symmetry: A* is B* I B* is A*
Law of Transitivity: A* is B* and B* is C* I A* is C*
Law ofReflexivity: A* is A*
Pronominal Expansions:
some A is B = something is an A and it is a B
+A+B = +[+T'+A]+[+T'+B]
some A is B = an A exists (is a thing) and it is a B
+A+B = +[+A'+T]+[+A'+B]
every A is B = if any thing is an A, it is a B
-A+B = -[+T'+A]+[+T'+B]
every A is B = if an A exists, it is a B
-A+B = -[+A'+T]+[+A'+B]
Rules, Laws and Principles 255
STATEMENT LOGIC
Modus Ponens (MP): Given any premise ofthe form E(ifp), where p has
negative occurrence, and another premise M(p ), where p has positive
occurrence, the conclusion M(E) follows.
Conjunction (Conj): From any two premises the conjunction ofthose premises
follows.
Disjunctive Addition (DA): From any premise the disjunction of that premise
and any other statement follows.
MPL
Addition (Add): p I p v q
Laws of !~entity:
Law of Symmetry (LI.l ): if x=y then y=x
Law ofTransitivity (L1.2): ifx=y and y=z, the x=z
Law of Reflexivity (LI.3): x=x
Leibniz's Law (L1.4): ifPx and x=y, then Py
ANote on Further Reading
259
260 An Invitation to Formal Reasoning