A Modern Formal Logic Primer: Sentence Logic + Predicate Logic

Description

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." 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