A Modern Formal Logic Primer: Sentence Logic + Predicate Logic

✍ Scribed by Paul Teller

• Publisher: Pearson Education Inc.
• Year: 1989
• Tongue: English
• Leaves: 323
• Edition: 1
• Category: Library

✦ Synopsis

Freely available online at
+ https://tellerprimer.ucdavis.edu/ (chunked PDF)
+ https://human.libretexts.org/Bookshelves/Philosophy/A_Modern_Formal_Logic_Primer_(Teller) (HTML)

From the first paragraph of the Preface:

"This text is a primer in the best sense of the word: A book which pres-
ents the basic elements of a subject. In other respects, I have sought to write a different kind of text, breaking with what I regard as an unfor- tunate tradition in teaching formal logic. From truth tables through com- pleteness, I seek to explain, as opposed to merely presenting my subject - matter. Most logic texts (indeed, most texts) put their readers to sleep
with a formal, dry style. I have aimed for a livelier lecture style, which treats students as human beings and not as knowledge receptacles. In a text, as in the classroom, students need to be encouraged and to hear their difficulties acknowledged. They need variation in pace. They need shifts in focus among "I," "we," and "you," just as most of us speak in the classroom. From time to time students simply need to rest their brains."

✦ Table of Contents

Preface to Volumes I and II: A Guide to the Primer

VOLUME 1

Table of Contents Volume I
Solutions Manual for Volume 1
Chapter 1, Basic Ideas and Tools
Chapter 2, Transcription between English and Sentence Logic
Chapter 3, Logical Equivalence, Logical Truths, and Contradictions
Chapter 4, Validity and Conditionals
Chapter 5, Natural Deduction for Sentence Logic: Fundamentals
Chapter 6, Natural Deduction for Sentence Logic: Strategies
Chapter 7, Natural Deduction for Sentence Logic: Derived Rules and Derivations without Premises
Chapter 8, Truth Tree for Sentence Logic: Fundamentals
Chapter 9, Truth Trees for Sentence Logic: Applications
Index for Volume 1

VOLUME 2

Table of Contents to Volume II
Introduction to Predicate Logic Notes
Solutions Manual for Volume II
Chapter 1, Predicate Logic: Syntax
Chapter 2, Predicate Logic: Semantics and Validity
Chapter 3, More about QuantifiersYou are here: Home / Logic Primer Files
Chapter 4, Transcription
Chapter 5, Natural Deduction for Predicate Logic: Fundamentals
Chapter 6, More on Natural Deduction for Predicate Logic
Chapter 7, Truth Tress for Predicate Logic: Fundamentals
Chapter 8, More on Truth Tress for Predicate Logic
Chapter 9, Identity, Functions, and Definite Descriptions
Chapter 10, Metatheory: The Basic Concepts
Chapter 11, Mathematical Induction
Chapter 12, Soundness and Completeness for Sentence Logic Trees
Chapter 13, Soundness and Completeness for Sentence Logic Derivations
Chapter 14, Koenig's Lemma, Compactness, and Generalization to Infinite Sets of Premises
Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic
Diagrammatic Summary of Rules
Corrections to the Text
Index for Volume II