Principles of Deductive Logic
, by Kearns, John T.Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780887064791 | 0887064795
- Cover: Paperback
- Copyright: 11/1/1987
Preface | |
Applied Logic: What We Hope To Accomplish | |
Summary | |
The Nature of Logic | |
Talking About Words | |
Speech Acts | |
A Language is a Complex System | |
Logically Important Semantic Features | |
Applied Logic | |
Philosophy of Logic | |
Some Preliminary Matters | |
Summary | |
Definitions (Opt) | |
Inferences and Arguments | |
Informal Fallacies (Opt) | |
Sentences About Individuals | |
Summary | |
Looking Ahead | |
Individuals | |
Quantified Phrases | |
Universal Sentences | |
Some Other Universal Sentences | |
Singular Sentences | |
The Artificial-Language Strategy | |
Summary | |
Artificial Languages | |
Logical Form | |
Evaluation | |
The Languages to be Developed | |
The Categorical Language | |
Summary | |
Categorical Sentences | |
Semantics | |
Logical Form | |
The Complement of an Expression | |
Some Syntactic Relations | |
Implication and Equivalence | |
Logical Truth | |
Venn Diagrams | |
Incompatibility | |
Syllogisms | |
The Categorical Deductive System | |
Proving Incompatibility | |
Venn Diagrams for Many-Place Relations | |
Formal Fallacies (Opt) | |
Applying an Artificial Language | |
Summary | |
What We Want in a Translation | |
The Features We Test for | |
Negative Outcomes | |
Applying the Categorical Language to English | |
Summary | |
Translating English Sentences | |
Expressing Existential Force | |
Detecting Semantic Features of Existence Claims | |
Evaluating English Sentences and Arguments | |
Achieving Comparable Translations | |
Incorporating Semantic Features in Logical Form | |
Enthymemes | |
What Comes Next | |
The Extended Categorical Language | |
Summary | |
The Changes We Want | |
What We Will Keep | |
Small Change | |
The Sign of Negation | |
Reasoning with Negative Sentences | |
Translating Negated Sentences | |
Singular Sentences | |
Reasoning with Singular Sentences | |
The Propositional Connective Language | |
Summary | |
A Mixed Language | |
The Syntax and Semantics of the PC Language | |
Variables and Formulas | |
Evaluating Sentences of the PC Languge | |
Two-Place Relations | |
Many-Place Relations | |
Indirect Tests | |
The Quick Method of Determining if a Formula is a Tautology | |
The Pc Deductive System | |
Summary | |
A Deductive System | |
Proofs from Hypotheses | |
The Easy Rules | |
More Rules | |
Proofs within Proofs | |
Properties of the PC System | |
Proofs without Hypotheses | |
Metatheorems and Derived Rules | |
Our First Metatheorems (Opt) | |
More Metatheorems (Opt) | |
Still More Metatheorems (Opt) | |
Rules to Shorten Proofs | |
Proving Incompatibility | |
Refutation | |
What to do Next | |
The Original and Derived Rules of the PC Deductive System | |
Applying the PC Language to English | |
Summary | |
Translating within a Single Language | |
Translating with the Negation Sign | |
Translating with '&' | |
Translations with 'v' | |
Translations with the Horseshoe | |
Some Additional Translations | |
The Scope of a Connective | |
Identifying Sentences | |
A Further Look at the Difference Between Ordinary Conditional Sentences and Horseshoe Sentences (Opt) | |
Testing for Analyticity | |
Incompatibility | |
Entailment and Validity | |
An Important Exception | |
Incorporating Semantic Features in Logical Form | |
Enthymemes | |
The First-Order Language | |
Summary | |
A Purely Artificial Language | |
The Truth Conditions of Atomic Sentences | |
New Varieties of Variables | |
Quantifiers | |
Multiple Quantification | |
Restricted Domains | |
A More Careful Description of the First-Order Language | |
The First-Order Deductive System | |
Summary | |
Adapting the PC System | |
Some Derived Rules | |
A Notation for Substitution | |
An Additional Notation | |
Change of Bound Variables | |
Universal Quantifier Elimination | |
Universal Quantifier Introduction | |
Existential Quantifier Introduction | |
Existential Quantifier Elimination | |
Identity Rules | |
More Derived Rules | |
Refutation | |
Incompatibilty | |
Rules and Derived Rules of the First-Order Deductive System | |
Applying the First-Order Language to English | |
Summary | |
The Expressive Power of the First-Order Language | |
Predicates and Singular Terms | |
Quantified Phrases in English | |
Indefinite Sentences | |
Universal Sentences | |
Only | |
Another Use of 'Any' | |
Generalized Conditionals | |
Analytic Sentences | |
Incompatibility | |
Entailment and Validity | |
Comparable Translations | |
Supplementing Our Translations | |
Afterword Reflections On Logic | |
Answers to Starred Questions | |
Index | |
Table of Contents provided by Ingram. All Rights Reserved. |
What is included with this book?
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.