Professional Documents
Culture Documents
FULL Download Ebook PDF Introduction To Formal Logic With Philosophical Applications by Russell Marcus PDF Ebook
FULL Download Ebook PDF Introduction To Formal Logic With Philosophical Applications by Russell Marcus PDF Ebook
“ Who needs another logic textbook?” I got asked a lot as I was writing this one. The
answer is: students and teachers who want to explore both the techniques of formal
logic and their connections to philosophy and other disciplines. 咀1e best approach
to thinking about those connections is both to learn the tools of logic, in careful de-
tail, and to write about them. So this is a formal logic textbook for people who want
to learn or teach the core concepts of classical formal logic, and to think and write
about them.
Introduction to Faγmal Logic w让h Philosophical Applicatio饥s (IFLPA) and I时rod阮
tion to Formal Logic (IPL) are a pair of new logic textbooks, de鸣ned for st叫ents of
formal logic and their instructors to be rigorous, yet friendly and accessible. Unlike
many other logic books, IFLPA and IPL both focus on deductive logic.τhey cover
syntax, semantics, and natural deduction for propositional and predicate logics. 咀1ey
emphasize translation and derivations, with an eye to semantics throughout. Both
books contain over two thousand exercises, enough for in-class work and homework,
with plenty le丘 over for extra practice, and more available on the Oxford website (see
page xv). Since logic is most o丘en taught in philosophy department乌 special attention
is given to how logic is useful for philosophers, and many examples use philosophi-
cal concepts. But the examples in the text are accessible to all students, requiring no
special interest in or knowledge of philosophy, and there are plenty of exercises with
no philosophical content, too.
IFLPA also contains two chapters of stand-alone essays on logic and its application
in philosophy and beyond, with writing prompts and suggestions for further read-
ings.τhese essays help instructors and students to reflect on their formal work, to
understand why logic is important to philosophers, and how it can be applied to other
disciplines, and to students' own lives and studies.
SPECIAL FEATURES
Each section of IFLPA contains a Summary.
Sections in chapters 1 through 5 contain a list of important points to Keep in
Mind.
Key terms are boldfaced in the text and defined in the margins, and are listed
at the end of each chapter. In addition, all terms are defined in the glossary/
index at the end of the book.
咀1ere are over two thousand exercises in the book.
Exercises are presented progressively, from easier to more challenging.
Translate-and-derive exercises are available in every section on deriva-
tions, helping to maintain students' translation skills.
Translation exercises are supplemented with examples for translation
from formal languages into English.
Regimentations and translations contain both ordinary and philosophi-
cal themes.
Solutions to exercises, about 20 percent of total, are included at the back
of the book. Solutions to translate-and-derive exercises appear in two
parts: first, just the translation, and then the derivation. Solutions to all
exercises are available for instructors.
IFLPA contains several formal topics and exercise types not appearing in
standard logic texts:
Seven rules for biconditionals, parallel to the standard rules for
conditionals.
Exercises asking students to interpret and model short theories.
Two sections on functions at the end of chapter 5.
Exercises asking students to determine whether an argument is valid or
invalid, or whether a proposition is a logical truth or not, and then to
construct either a derivation or a counterexample.
These sections are perfect for stronger students, while easily skipped by
others.
XII PREFACE
• Interactive Flashcards of Key Terms and their definitions from the book
• Tools for student communication, reference, and planning, such as messaging
and spaces for course outlines and syllabi
Access to Dashboard can be packaged with Introduction to Formal Logic with Philo-
sophical Applications at a discount, stocked separately by your college bookstore, or
purchased directly at www.oup.com/ us/ dashboard.
The free Companion Website found at www.oup.com/ us/ marcus contains supple-
mental Student Resources:
• Student Self-Quizzes
• Interactive Flashcards of Key Terms and their definitions from the book
• Bulleted Chapter Summaries
• Additional content to supplement Chapters 6 and 7, including:
• 6.7 Laws of Logic
• 6.8 Adequacy
• 6.9 Logical Truth Analyticity and Modality
• 6.10 Alternate Notations
• 6.11 Axiomatics
• 6.12 Rules of Passage
• 6.13 Second Order Logic
• 7.8 Scientific Explanation and Confirmation
• 7.9 Infinity
• 7.10 Quantification and Commitment
• 7.11 Color Incompatibility
To find out more information or to order Dashboard access or a Course Cartridge
for your Learning Management System, please contact your Oxford University Press
representative at 1 800-280-0280.
ACKNOWLEDGMENTS
咀1e first dra丘 of this book was written in the summer of 2011. I worked that sum-
mer alongside my student Jess Gutfleish, with support of a Class of 1966 Faculty
Development Award from the Dean of Faculty’s O面ce at Hamilton College, in the
archaeology teaching lab at Hamilton. I wrote the text, and she worked assiduously
and indefatigably writing exercises; I had di面culty keeping up with her. I am inef-
fably grateful to Jess for all of her hard work and the mountain of insidiously difficult
(as well as more ordinary) logic problems she devised. Jess worked on more prob-
lems in spring 2014, and Spencer Livingstone worked with her. Deanna Cho helped
enormously with the section summaries and glossary, supported by the philosophy
department at Hamilton College. Spencer Livingstone and Phil Parkes worked dur-
ing summer 2015, helping me with some research and writing still further exercises.
XVIII PR EFACE
Sophie Gaulkin made many editing suggestions and Reinaldo Camacho assisted me
with new exercises. Jess, Spencer, and Rey were all indescr也ably supportive and use-
ful as teaching assistants and error-seeking weapons. Students in my logic classes at
Hamilton, too numerous to mention, found many typos. Andrew Winters, using a
dra丘 of the text at Slippery Rock University in 2016, sent the errors he and his stu-
dents discovered, and made many helpful suggestions.
At the behest of Oxford, the following people made helpful comments on dra丘s of
the book, and I am grateful for their work:
Joshua Alexander, Siena College
Brian Barnett, St. John Fisher College
Larry Behrendt, Mercer County Community College
Thomas A. Blackson, Arizona State University
Dan Boisvert, University ofNorth Carolina, Charlotte
Jeff Buechner, Rutgers University, Newark
Eric Chelstrom, Minnesota State University
Chris Dodsworth, Spring Hill College
Michael Futch, University of Tulsa
Nathaniel Goldberg, Washington and Lee University
Nancy Slonneger Hancock, Northern Kentucky University
Brian Harding, Texas Woman’s University
Reina Hayaki, University of Nebraska, Lincoln
Marc A. Hight, Hampden Sydney College
Jeremy Hovda, KU Leuven
Gyula Klima, Fordham University
Karen Lewis, Barnard College
Leemon McHenry, California State University, Northridge
John Piers Rawling, Florida State University
Reginald Rayme鸟 University of North Carolina, Charlotte
Ian Schnee, Western Kentucky University
Aeon Skoble, Bridgewater State University
Michael Stoeltzner, University of South Carolina
Harold τhorsrud, Agnes Scott College
Mark Tschaepe, Prairie View A&M University
Andrew Winters, Slippery Rock University of Pennsylvania
I am grateful also to Robert Miller, Executive Editor at Oxford, and Alyssa Palazzo,
Associate Editor, for supporting both IPL and IFLPA.
卫1ank you to Margaret Gentry and the Dean of Faculty’s o面ce at Hamilton. I am
grateful to Nathan Goodale and Tom Jones for le忧ing us have their lab in which to
work, summer 2011. I also owe thanks to the many students who have he怡ed me
construct an innovative Logic course, and for the constant, unwavering support of me
and my course by the Hamilton College philosophy department. 咀1anks to Marianne
Janack for example 4.2.27 and to Alan Ponikvar for example 7.2.10.
PREFA CE XIX
More remotely, I am deeply grateful to authors of the logic books I ’ve studied and
with which I ’ve taught, especially Irving Copi ’s Symbolic Logic, Geoffrey Hunter’s
Metalogic, Elliott Mendelson’s Introduction to Mathematical Logic, Patrick Hurley’s A
Concise Introduction to Logic,John Nolt ’s Logics, and Graham Priest's An Introduction
to Non-Classical Logic. Elliott Mendelson and Melvin Fi忧ing were especially influ-
ential logic teachers of mine; they made logic elegant and beautiful. I studied Copi ’s
logic with Richard Schuldenfrei, whose encouragement I appreciate. And I am grate-
ful to Dorothea Frede, into whose Ancient Philosophy class I brought my excitement
about logic, for her patience as I discovered (by regimenting his arguments through
tl时erm) that, no, Plato wasn't making simple logical errors.
Most important!弘 I am grateful to my wife, Emily, and my children, Marina and
Izzy, who suffered through many summers that could have been more fun for them so
that I could have the logic book I wanted.
a er
n OAUU ., nnud 0 n3.,
晶L
冒h
T
γ晶
P、
”、
-
A A A
1
2 CHAPTER 1 INTRODUCING LOGIC
Pairing 1.1.4 and 1.1.5, we see a characterization oflogic as the rules ofwhat follows
from what, of which consequences derive from which assumptions.
We make inferences all the time: if I buy this book, I won't have enough money for
the cup of coffee I wanted; if I make a turn here, I'll end up in Waterville; she must be
angry with me because she hasn’ t returned my email. When we think about the con-
sequences of our actions or the reasons some event has occurred, we are using logic.
Good logic is thus a precond让ion for all good reasoning.
Some inferences are better than others. I am well justified in inferring that it is a丘er
dawn from the light peeking through my window shades. I am not well justified in
believing that it is nine in the morning from the fact that it was six in the morning an
hour ago; that ’s an error. 卫1is book is devoted to some general principles of evaluating
certain kinds of arguments, called deductive arguments.
Deductive arguments are contrasted with inductive arguments, though the diι
ference between them is di伍cult to specify both precisely and briefly. Roughl如 in a
deductive argument, the conclusion follows without fail, necessaril如 from the prem-
ises.τhe conclusions of inductive arguments are supported by their premises, more or
less depending on the argument, but not guaranteed. Inductive arguments are o丘en
(though not always) generaliz延ions from particular expe由nces and can be under-
mined by further evidence.
Logic and mathematics are largely characterized by their uses of deduction, though
statistical inferences are not purely deductive. Sciences involve both deduction and
induction, broadly speaking, though there are other methods of inference, like in-
ference to the best explanation. 咀1e best way to understand the difference between
deduction and induction is to work through the material in chapters 1-5 and contrast
that kind of reasoning with others.
When evaluating an argument, we can perform two distinct steps. First, we can see
whether the conclusion follows from the assumptions. An argument whose conclu-
sion follows from its premises is called valid. Chapter 2 is dedicated to constructing
1.2: LOGIC AND LANGUAGES 3
a precise notion of deductive validity, of what follows, for propositional logic. Indeed,
the notion of validity is the central topic of the book.
A second step in evaluating an argument is to see whether the premises are true.
In a valid deductive argument, if the premises are true, then the conclusion must be
true.τhis result is what makes deductive logic interesting and is, in a sense, the most
important sentence of this entire book: in a valid deductive argument, if the premises
are true, then the conclusion must be.
An Introduction to Formal Logic and Its Application to Philosophy is dedicated to the
first step in the process of evaluating arguments. ’The second step is not purely logi-
cal, and it is largely scientific. Roughly speaking, we examine our logic to see if our
reasoning is acceptable and we examine the world to see if our premises are true. Al-
though we prefer our arguments both to be valid and to have true premises, this book
is dedicated main与 to the form of the argument, not to its content.
You might wonder whether the logic in this book, formal deductive logic, repre-
sents how we actually reason or whether it sets out rules for proper reasoning. ls logic
descriptive or prescriptive? Before we can start to answer this question, we have to
see what our logic looks like. 卫1e nature of some elementary systems of formal logic
is the focus of the first five chapters of this book. In the sixth and seventh chapters, I
discuss a variety of philosophical questions arising from or informed by the study of
formal logic. The sections of these chapters may be read along with the formal mate-
rial in the first five chapters.
• How does deductive logic differ from inductive logic? See 7.1: Deduction and Induction.
any particular natural language. I will not specify the metalanguage as precisely as
the object languages.
It is customary to give names to object languages. Chapters 2 and 3 focus on one
object language that I will call PL, for propositional logic. Chapters 4 and 5 discuss
three further formal languages:
M Monadic (日rst-order) predicate Logic
F Full (firs仁order) predicate logic
FF Full (firsιorder) predicate logic with functors
For each formal language we study, we will specify a syntax and a semantics. ’The
syntax gives the vocabulary of the language, series of symbols like letters and terms
like 飞,', ::::,, and :3, along with rules for forming formulas. The semantics allows us to
interpret the language, to understand it as meaningful, rather than just an empty set
of squiggles. 卫1ere are different possible interpretations of the symbols just as there
are different meanings to most words or different languages using the same letters.
We speci马r an interpret甜on of an object language by thinking of ourselves as step-
ping outside of those languages into metalanguages. We might sa如 for example, that
we will use the letter γin the object language to stand for the statement expressed
in English by 'Prunes are dried plums’. We will also study derivations (or proofs) in
each language.
卫1ere are advantages to both natural languages and formal languages. Natural lan-
guages are excellent for ordinary communication. Formal languages are excellent for
precision, especially for clarifying ambiguities. Much of the formal material in this
book is based on Frege's Begr你schr(卢(1879); Begr你schr侨 means 'concept writing ’-
In his preface, Frege compared natural languages and formal languages to an eye and
a microscope, respectively:
I believe I can make the relationship of my Begrl侨·schrift to ordinary Lan-
guage clearest if I compare it to that of the microscope to the eye. The Latter,
due to the range of its apP.Licability, due to the flexibility with which it is
able to adapt to the most diverse circumstances, has a great superiority over
the microscope. Considered as an optical instrument, it admittedly reveals
many imperfections, which usually remain unnoticed only because of its in-
timate connection with mental life. But as soon as scientific purposes place
great demands on sharpness of resolution, the eye turns out to be inadequate.
The microscope, on the other hand, is perfectly suited for such purposes.
Many students, when they begin to study logic, find it to be an amusing toy.二 There
are careful rules for working in the object language. Once you learn those rules, it
can be fun to play with them. When I started studying logic, in college, I couldn’ t
believe that one could earn credit for filling out truth tables, translating English into
formal languages, and constructing derivations. It was like ge忧ing credit for eating
candy. I love puzzles and games; logic seemed to be too much fun to be serious or
important.
Another random document with
no related content on Scribd:
The Project Gutenberg eBook of Les trente-six
situations dramatiques
This ebook is for the use of anyone anywhere in the United States
and most other parts of the world at no cost and with almost no
restrictions whatsoever. You may copy it, give it away or re-use it
under the terms of the Project Gutenberg License included with this
ebook or online at www.gutenberg.org. If you are not located in the
United States, you will have to check the laws of the country where
you are located before using this eBook.
Language: French
PARIS
ÉDITION DV « MERCVRE DE FRANCE »
15, RVE DE L’ÉCHAVDÉ-SAINT-GERMAIN, 15
1895
Tous droits réservés.
DU MÊME AUTEUR
ACCEPTE
CE GAGE DE RECONNAISSANCE
EN MÉMOIRE
DU GRAND MORT AIMÉ
QUI NOUS RELIE
DE TON FRÈRE, — DE MON PÈRE…
G. P.
LES
36 Situations Dramatiques
36 situations seulement !
Cet énoncé qu’aucun renseignement n’accompagne, ni de la part
de Gozzi, ni de celle de Gœthe ou de Schiller, et qui pose le
problème sans le résoudre, avait de quoi tourmenter.
Car celui qui affirmait — me répétais-je toujours — par ce
nombre restreint une loi si fortement synthétique, avait justement
l’imagination la plus fantasque : ce Gozzi, c’était l’auteur de Turandot
et du Roi Cerf, deux œuvres, or, presque sans analogues, l’une sur
la situation de l’Énigme et l’autre sur les phases de la
métempsycose ; c’était le créateur d’un système dramatique, du
fiabesque, et, par lui, l’esprit arabe chez nous transfusé, ont pu
naître Hoffmann, Jean-Paul Richter et Poe.
Encore l’exubérance du Vénitien m’aurait-elle, peut-être, fait
douter, puisqu’une fois lancé ce chiffre de 36, il s’était tu…
Mais l’ardent et sévère kantien, Schiller, le prince des
esthéticiens modernes et le maître du drame vraiment historique, ne
s’était-il pas, à son tour, devant ce précepte, « donné beaucoup de
peine » (et de la peine d’un Schiller !), y ajoutant ainsi pour nous
l’autorité de sa critique puissante et de sa riche mémoire ?
M’objectais-je alors, pour hésiter, le seul point commun aux deux
poètes, un goût vif de l’abstrait, — Gœthe, antipode exact du
systématisme, esprit d’observateur, et qui, sa vie durant, évolua,
m’apparaissait, méditant encore l’obsédant sujet, — bien des
années après la mort de Schiller, bien des années après leurs
fécondes causeries, et à l’époque où s’achevait Faust, cette
suprême combinaison des éléments les plus contrastés [1] .
[1] C’est Gœthe qui le déclare : Je dois, dit-il, l’intrigue
à Calderon, la vision à Marlowe, la scène du lit à
Cymbeline, la chanson ou sérénade à Hamlet, le
prologue au livre de Job. On peut y ajouter : le premier
prologue imité des Hindous, la scène du trépied
renouvelant les nécromancies épiques, la visite à la
guenon, digne de Théocrite, de nombreux ressouvenirs
picturaux (scène première issue de Rembrandt ; mimes
de la promenade, de la taverne, du puits, d’origine
flamande), la fin inspirée de Dante, etc., etc.