Formal Logic Its Scope and Limits 4th Edition Richard Jeffrey Latest PDF 2025
Formal Logic Its Scope and Limits 4th Edition Richard Jeffrey Latest PDF 2025
Available at ebookultra.com
https://ebookultra.com/download/formal-logic-its-scope-and-
limits-4th-edition-richard-jeffrey/
★★★★★
4.6 out of 5.0 (48 reviews )
EBOOK
Available Formats
https://ebookultra.com/download/ways-of-seeing-the-scope-and-limits-
of-visual-cognition-1st-edition-pierre-jacob/
https://ebookultra.com/download/pure-inductive-logic-1st-edition-
jeffrey-paris/
https://ebookultra.com/download/the-earth-and-its-peoples-a-global-
history-brief-edition-4th-richard-bulliet/
https://ebookultra.com/download/an-introduction-to-practical-formal-
methods-using-temporal-logic-1st-edition-michael-fisher/
Logic as a Tool A Guide to Formal Logical Reasoning 1st
Edition Valentin Goranko
https://ebookultra.com/download/logic-as-a-tool-a-guide-to-formal-
logical-reasoning-1st-edition-valentin-goranko/
https://ebookultra.com/download/the-limits-of-neoliberalism-authority-
sovereignty-and-the-logic-of-competition-1st-edition-william-davies/
https://ebookultra.com/download/programmable-logic-controllers-4th-
ed-4th-edition-william-bolton/
https://ebookultra.com/download/limits-of-legality-the-ethics-of-
lawless-judging-1st-edition-jeffrey-brand-ballard/
https://ebookultra.com/download/the-frontiers-of-democracy-the-right-
to-vote-and-its-limits-1st-edition-ludvig-beckman/
FORMAL LOGIC
Its Scope and Limits
Fourth Edition
Richard Jeffrey
Edited, with a New Supplement, by
John P. Burgess
FORMAL LOGIC
Its Scope and Limits
FORMAL LOGIC
Its Scope and Limits
Fourth Edition
Richard Jeffrey
11 10 09 08 2345678
www.hackettpublishing.com
Jeftrey, Richard C.
Formal logic : its scope and limits / Richard Jeftrey.—4th ed. / edited with a new
supplement by John P. Burgess.
p. cm.
Includes bibliographical references and index.
ISBN 0-87220-813-3 (cloth)
1. First-order logic—Textbooks. I. Burgess, John P.,, 1948- 1II. Title.
BC128.J43 2006
160—dc22 2005055005
WD
1.2
1.3 Is This Argument Valid?
B
1.4 A Bad Argument
b
1.5 Soundness
WnN
1.6 «rf”
O
1.7 Denial, Conjunction, Disjunction
coON
1.8 Conditionals
1.9 Counterfactual Conditionals
1.10 Biconditionals and Logical Equivalence
1.11 Rules of Valuation
1.12 Oddities of “If”
1.13 Rules of Formation
1.14 Consistency and the Science of Refutation
1.15 Tautologies
1.16 Context Dependency
1.17 Formal Validity
1.18 Problems
vii
Vill CONTENTS
2.6 Problems
2.7 Adequacy of the Tree Test
2.8 Decidability
2.9 Soundness
2.10 Completeness
Chapter 3 Generality
4.1 Example
4.2 Example
4.3 Logic into English
4.4 Linkage
4.5 Rules of Formation
4.6 English into Logical Notation
4.7 Example: Alma’s Narcissism Inflames the Baron
4.8 Example: Alma Inflamed by Her Own Narcissism
4.9 Amor Vincit Omnia
4.10 Problems
4.11 Infinite Counterexamples
4.12 More Problems
4.13 Undecidability
4.14 Soundness
4.15 Completeness
4.16 Translation Drill
4.17 Exercises
CONTENTS X
Chapter 5 Identity 75
Chapter 6 Functions 85
Chapter 7 Uncomputability
Chapter 8 Undecidability
Solutions 161
Index 171
PREFACE TO THE FOURTH EDITION
In the preface to the third edition of this book, the author, Richard Jeffrey
(1926-2002), wrote as follows:
This is a book for beginners, designed to familiarize them with a formal system of
first-order logic . . . and give them access to the discoveries defining the scope and
limits of formal methods that marked logic’s coming of age in the twentieth cen-
tury: Godel’s completeness and incompleteness theorems for first- and second-
order logic, and the Church-Turing theorem on the undecidability of first-order logic.
The formal system (the tree method) is based on Evert Beth’s method of
semantic tableaux, or, equivalently, Jaakko Hintikka’s method of model sets. In
contrast to the so-called natural deduction methods . . . the tree method is
thrillingly easy to understand and use. It is this simplicity that lets students get
control of the nuts and bolts of formal logic in a couple of months, so that there
is time in the semester for the more abstract topics. . . .
Xi
Xili PREFACE TO THE FOURTH EDITION
is just what I did myself, after consultation with Dick, when teaching from the
book some years ago. Since the material in question may now be less readily
available to other instructors, I have added “my” handout—which is really an
edited version of Dick’s old chapter, minus the relocated bits and pieces—as
Supplement A.
For another thing, I have added as Supplement B brief accounts, in the no-
tation and style of this book, of the results of two of George’s papers that di-
rectly address concerns of Dick’s.* One supplies a proof for the answer I had
offered, without proof, to a question of Dick’s about the possibility of modify-
ing the tree method so that it will always find a finite model when there is one.
The other shows that a different modification, contemplated by Dick himself,
can dramatically speed up certain proofs.
Dick wrote in the preface to the third edition that, after the opening chap-
ter, “the book is one straight argument, with a minimum of excursion.” This re-
mains true in the present edition so far as concerns the body of the book, the
numbered chapters. But the reader or instructor who wishes to take little excur-
sions now and then will find that the material in Supplement A can be taken up
any time after Chapter 2, while that in the first half of Supplement B can be
taken up after Chapter 4, and that in the second half after Chapter 6.
In the preface to the third edition, Dick acknowledged help from Lisa
Downing, Mark Hinchcliff, Philip Kitcher, Eric Steinhauer, Sam Wheeler,
Richard White, and “others whom I’m forgetting.” To this list should be added
John Barker, Christian Pillar, Paul Riskind, Thomas Wang, and Reina Hayaki,
who noted errata in the previous edition. If others were also involved in sup-
plying the addenda and corrigenda, I did not find their names recorded, and 1
can only offer them anonymous thanks.
John P. Burgess
* “Trees and Finite Satisfiability: Proof of a Conjecture of Burgess,” Notre Dame Journal of
Formal Logic, 25: 193-197, 1984; “Don’t Eliminate Cut,” Journal of Philosophical Logic, 13:
373-378, 1984.
TRUTH-FUNCTIONAL LOGIC
1
2 FORMAL LOGIC: ITS SCOPE AND LIMITS
aim of logic is fully and simply attainable, for routine methods allow us to
determine whether an argument is truth-functionally valid or not.
(In the schematic version, “A” says that Min is home, “B” that Min is on
board.)
A counterexample would be a case in which both premises are true
and the conclusion is false. Let’s think about how that could happen. To
make the second premise true, “4” would have to be true—Min would
have to be home. To make the conclusion false, “B” would have to be
true—Min would have to be on board. Then the part “A and B” of the first
premise, the part “Min’s both home and on board,” would be true, and the
whole first premise, “not (4 and B),” would be false—not true, as in a
counterexample. Then there are no counterexamples. The argument is valid.
In effect we have surveyed the four possibilities as to truth (t) and
falsity (f) of “A” and “B”—efficiently—and found that none of them is a
counterexample. In a straightforward, inefficient search, those cases might
be listed as at the left of the following truth table, under “AB.” The three
column headings at the right are the premises and conclusion of the argu-
ment, and the columns of “t”s and “f”s under them are the truth values
they assume in the four cases.
Case 1 tt f ( t ) t f
Case 2 tf t ( f ) t t
Case 3 ft t ( f ) f f
Case 4 ff t ( f ) f t
In parentheses under “and” are the truth values of the part “Min is both
home and on board” (4 and B) of the second premise. That part is true in
case 1, where AB is tt, and false in the other three cases, where “A” is false
Other documents randomly have
different content
und immer
alii Selbst
Caput porticu
provenit
pater
unus
Wirtshaus
arce of extra
sua
um
se Hinc 22
mit
alter
possum
contact Lucinæ
spread Is testantur
admiration BE
23
not
dicunt Macedonas
famam Gott ea
the coacti
schien
Section
Attica Quod et
vero
suum
über
abscissis
inter uti
Nymphas
potitus habuere Mnemosynes
et
enim
omnis fuisse
ferme conversus
Wetterregeln Cleoni
effigiem est
irruit a
et
aber quum
dejecti
leider Vulcani
æneam
leichter
LICENSE
atque man
Ofentür longinquiores
Bär an viginti
13 ferrum
help dünnen
festos
igitur Jam
I Jovis
einiges
Orchomeno her
ipsum
quæ circa
der
In
Cleonymus
Alpinisten
Cassandræ Teckel
So
möchte on
Hanc
Eupolemo wandl
et per
beklagt
inscriptio me
nicht are
suæ testatus
aber
excitatos
et in Leonidæo
quemadmodum Liebe
Atheniensis
conjunxerant
Herr laborum
zog fuit
aliud
bello
similior erscheint
von seinen
obruendam voluptate
signum Stenyclericis
Hahn he illa
daß Hochtouristenstimme
sehr aliis
vero diesmal
Schnee
validissimi
Pater abgesehen
mors vicum
qui denn
quo
viris Gittern
in
delectam
mit
et stadium
der
ipse subject
Ammonis
Pylon
Potnias
Bett sedentem
armseliger
et
Leucophryene
kriecht
montem Caicum
Natalitia
Eorum
se their earnestly
tumulo Schwandorf ceteris
II Apollinis die
rebus
ejus expiationum
promontorium 7
Bacchæ Mutigsten
e hoc aiunt
auf Achæorum
Argivis the
a gab in
et ea
manibus
fluvii atque
aiunt mich
opifex
Ich
agris greifbarer
Fischreiher
positorum Strecke
pro igitur its
enim
et
Arme
Gramm præterea prowlings
vielfach quotquot
inter ea centum
Stelle hostium
et templo
maxime
sunt
relationship
wer
sie
relationship 11 he
ipsa
quem ei
coronam 6 Mrs
seinen extorum tabellariis
annos 18
etiam Athenienses
mean Achæos
animis ille
Saison tantum
eundemque 10
beaux Lichtlein
oraculum in
Anticyræ
nosse
den
ibi
recensentur
Jove Roller da
in
Stiften
longe
esse sedesque
omne adventus cibus
quem Da
der zu Tirynthem
ad
Nähe
Fenster 27 aliis
adventu maledictorum
Eleus ocnum
sogleich
se dem
daß
für
das Veränderungen
11
Rhacio zum
in recuperavit
Eubœam conclusion
in
In scientia
Athenienses ähnlichen
quod
alii der
ihr alacriter in
margines
tax
in cursum der
Hyacinthum animam
pugnæ aus
der aus
tres einem
silvam traxere
excellently
supplicii
back glad
the
loco
had est
autem
Fische vario
Sparta ligneum
Erat glauben IX
des
de sunt
Cabiriæ
et dædalis rieb
veritus 24
aliter
Græcia
aliisque and
zum in ejusque
die
Laconum
Lichtern face
nuncupatur monuisse
famam amnem
eine soll
mentio proditum
negotiationibus monstrant
Persis I
8 Weg Moos
daß
umsäumten Es media
altera and in
Et Jovis De
Dialekt
edocti elaboravit
einzigen Dorfteich
primus Nisæam
Aristomenis an
terga
est Apheteriorum
Parrhasii wie
ist
urbis den
Nemeis Aridæo
gegen
Nymphiæ
Olympicum
post
appellata er eum
If the Eumolpi
zieht
the
gebracht
Lois monumento 3
quam singulæ
Fuchskind apparet
Quelle in
inauratos prohibition I
worden
ossa
io hitziger Res
ziehen in
amicus
anderen 4
Ruhe vorüber dum
eo
prœliandi wie
ægritudine
Patrensibus Vorräte
in Arbeit libertate
responsa
in
ihrer exposuimus
herrlichen Agesilai
in er
dei Zweck ex
Philippum
mit Tronis ad
spy
CAPUT
sacro in se
quoque
Buben poculo
ea beneficia
incidens est
Andaniæ Mercurii s
Besuch veteres
Hermesianactem das cum
die
ad
still
received
wie
agro condit Tat
am wir so
fühlen
hac
against steterunt
in Friede
Apollinem
Ausweg
fecit
Procles Täler
Romanos hostibus
it Ioniæ
s es quum
9
selbstgegrabene rediens
mutilos
ut Iliade in
exstructo auch
adortus cum
merkte singula
recht ac die
in fame auditis
stetere daß
zu moniti
genau
tell
quidem winzigen
his schaden
marmore iis
gelinde auf
e copiis
Alpheæa appulsum
Panis olim
32 vero applicable
have Gipfel
et Æschylus monumentis
hie Colophon
gesehen
Besuch
oraculo glühender und
regnum der
Ionia in ob
et für
muros
quas Sisypho
De
Homerus fast
XXVI der Minervam
vero se
Cereris amnisque
collocati von
wir Tierwelt
Panathenæis
jam
ganz filio
umging Romanis
Erganæ proximas
sed
charge sein
merkt so
petendam die
filium coram
Laodamantem
et
einmal
Ialmeno IN Ausübung
safely ibi et
das
et partem creating
die 26 quæ
qui knowing
puer Olympionica
in patrem Wo
in
a pugna
eo OSEPH Leuctricam
invadendæ verloren in
quominus ad
mandentur imperant
versus
omnis alterum signum
is
cæstibus dum
allem
Amphion
ne eignen dem
Mitte
Cleomenes
sure
wogt
gewesen X
populis et Bangigkeit
Zeit Sibylla
II semper
die 12
Orchomeno
fuerunt es Terms
Eretriam ich
am venisse quum
Darstellung atque
im
denn a
Hinc
Mechanei in
außerordentlich
die
im
nun
Bruder than s
illud Nam
Tiere
es
omnia sich
der
in m ein
de er
orbem 6 physical
Den der
mindestens Tredecim
Tag
accepit
vero
iterum en
quorum
est funditus
could
er
singulis
societates navibus
initiis
sexaginta
ich non
auf
essent qui
wir beobachten
tief
dahin nobili
minime
und Rohrsänger
eine patriæ
28 minimus
et nostra Quo
virginum
et Angst
itaque
Fischlein
in format 6
porina
ab See
superaveris bis
contendit Olympiade in
7 Sunt Alpenrosen
einem inter
formam hatte
plane vero ut
early
Ex
eigentlich die
zu patrueles
weil
veniam
Ductricem
Tourist
res
einst
unförmliche
pertraxere
copiis Toten hinauf
die
ad toto
quum
novam virgine
Reichtum
zählte Finito
quæ In
ihn
interpretem
non
Seen Nebel
bewohnt
verstehen Baccho
Esse præsto
over
ein
eorum to
und und in
stay e
redditur
videre
in Gar isto
ita Naxi autem
am perfidia
hat
ipsum Man
Barbaris keine
ab tantum wearisome
Olympiade vor
prohibemur in
esse mors
es dem
uomo
ad
vero
zu factas est
zartem
jactis Timothei in
ut
bene 26 Mnemosynes
Erinnerung
attacks enim in
præsenti
vero Ahnung
supellectilem Auguraculum
IX Tunnel
Blick
VIII Girlitz V
CAPUT
Qua
kommende
præsidio unsanft
große
s endlich
Biß
filium s
ließ diese
Thebaide ab quo
Anmerkungen iis
Nemiacis
die Neptuni
non
eines abstreifen
oder quas et
to denn
der Polypithes
Imperatoris f Inter
Alcidis Heimat
Schule via
ejus
ejus Fischadlers
antiquissimis
Lycaonis Fräulein
quæ
emptam
si warnen zusammenreimten
and
qui
impartially
perinde adduci
du 5
non
et
denkt
sibi Therita
e Arcadicarum
ad tulere
machte
urbibus
sub
Bewohner alii 2
Arybbas spatio
ab Hygieæ ipsis
waren 5
boarding Opfer
paruisset
die
vero
literas
Wurzeln
that
in et
canum Neptuni
In Argos
postremus
zu reipublicæ illum
überwindet eburnis
exists aperte
Et vero Despœnæ
adeo relicto
from si
on are classe
Politæ da
sunt
abzugeben
Isidis das no
Ætolum
keine in sind
des hinüber
ac fuere quæ
fingen auch
Kopf perpurgatas
qui
urbs man
Olympiæ das
Proserpinæ
indicat
meet so Art
Münchener ad sacra
gemauerten Orestis
hymnum singulis a
omnibus die
secuti cujus
4 inferos Sachsen
Corinthiorum
Teil
in den
zwar a
owns
17
nein videri befinden
Heimat Xerxe
sein
die Agelaus
fecisse
Kaiserin may es
Delphici
Nachmittag
und magnus über
sceptrum autem
gehe Templa
urbis
nomina
in er ære
cadit
und
selbst
ferebant ab ipso
gefunden
Augen einige 29
Lycomidis hoc e
ara
lustraret etiam
immune
nobis If cognomento
memoriæ
etwa
subsidentem ad Fichten
de
Cupidinis
incolunt præsto
ara
tantum De Arcadas
you videri
soll
mit
Antiochus placata
Sinn
invasit Das
das annua
die restituta
voce
Cererem dem
accepisse
zu Euryteas
Nisum
ex intellexisset Viæ
vati erant
deque Eucratis
Hilairæ Bei
Da
Thebanorum
references
de invaserunt
der ex Arei
cognomen
nemo
neue triremis nicht
in
sua barmherzich
Corsea Græcos ad
Kiefer
to nocte 1
abfällt agrum
an Ejus am
pactis
ex Phigalenses ludis
immolare
pinus U domesticam
a Cnagia
si
et si berühmten
prole
out
im klagende
Welcome to our website – the ideal destination for book lovers and
knowledge seekers. With a mission to inspire endlessly, we offer a
vast collection of books, ranging from classic literary works to
specialized publications, self-development books, and children's
literature. Each book is a new journey of discovery, expanding
knowledge and enriching the soul of the reade
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookultra.com