The text covers elementary logic, from statement logic through relational logic with identity and function symbols. The authors acquaint students with formal techniques at a level appropriate for undergraduates, but extends far enough and deep enough into the subject that it is suitable for a brief first-year graduate course. The text covers full and brief truth tables, and presents the method of truth (consistency) trees and natural deduction for the whole of elementary logic. The text's organization allows instructors to cover just statement logic, or statement logic combined with various extensions into predicate logic: monadic logic with or without identity, or the preceding plus relational logic with or without identity and with or without function symbols. At each stage, the instructor may elect to pursue truth trees and/or natural deduction. A final chapter provides a perspective for further study and applications of logic. The text may be used with or without the accompanying software.

Review

Editor's Preface. Acknowledgments. I. INTRODUCTION. Logic and Argument. Deduction and Induction. Statements, Propositions, and Context. Use and Mention. II. STATEMENT LOGIC I: A NEW LANGUAGE. Introduction. Truth-Functionally Compound Statements. Symbolizing Simple and Compound Statements. Symbolizing More Complex Statements and Arguments. Spelling It Out Formally. III. STATEMENT LOGIC II: SEMANTIC METHODS. Introduction. Truth Tables. Formalized Semantics for SL. Truth-Functional Validity and Tautologousness. Further Semantic Properties and Relationships. Truth-Functional Consistency. The Material Conditional Revisited. Brief Truth Tables. Truth Trees. Using Truth Trees to Test for Other Semantic Properties. The Adequacy of the Tree Method. IV. STATEMENT LOGIC III: SYNTACTIC METHODS. Introduction. Whole Line Inference Rules for DSL. Replacement Rules for DSL. Conditional Proof and Reduction ad Absurdum. Proof Strategy. Proving Tautologousness and Other Semantic Properties. The Adequacy of the Natural Deduction System DSL. Additional Inference Rules. A Second Look at the Truth Table for the Material Conditional. V. PREDICATE LOGIC I: SYNTAX AND SEMANTICS. Introduction. Informal Introduction to the Language of Predicate Logic. Syntax for L. Formal Semantics I: Interpretations. Formal Semantics II: Truth Under an Interpretation. Symbolizing English I: Monadic Logic and Categorical Forms. Symbolizing English II: Polyadic Logic and Nested Quantifiers. Semantic Properties and Relationships for L. Classifying Logical Relations. VI. PREDICATE LOGIC II: SEMANTIC METHODS. Introduction. Truth Trees. Reading Interpretations From Finished Open Paths. The Problem of Infinite Trees. The Adequacy of the Tree Method for Lm and L. Soundness, Completeness, and Undecidability. VII. MONADIC PREDICATE LOGIC III: SYNTACTIC METHODS. Introduction. The Rules UI, EG, and Q. The Rules UG, R, PA-EI and EI. The Adequacy of DL. VIII. EXTENSIONS TO L: IDENTITY, RELATIONS AND FUNCTIONS. Introduction. Syntax and Semantics for L=. Symbolization in L= I: 'At Least', 'At Most', and 'Exactly'. Symbolization in L= II: Identity and Polyadic Predicates. Truth Trees for L=. Natural Deduction in L=. Syntax and Semantics for L*. Symbolization in L*. Truth Trees in L*. Natural Deduction in L*. IX. SOME APPLICATIONS AND LIMITATIONS OF L*. Introduction. Definite Descriptions and Ontological Commitment. Axiom Systems for Arithmetic. The Incompleteness of Arithmetic. Applications of Axiomatic Theories to the Philosophy of Science. Higher Order Logic. Modal Logic. Strict and Counterfactual Conditionals. General Intensional Logic. Deontic Logic. Free Logic. Many-Valued Logic. Appendix One: Further Reading in Logic. Appendix Two: Answer to Selected Exercises. Index.

"About this title" may belong to another edition of this title.

Store Description

Goodwill Southern California - We are a 501(c)(3) nonprofit organization whose mission is to help transform lives through the power of work. Goodwill Southern California serves individuals with disabilities or other vocational disadvantages and local businesses seeking qualified employees by providing education, skills training, work experience and job placement. In addition to our retail stores located throughout Southern California and in the Inland Empire, we also provide jobs and services such as secure shredding, e-recycling (computers and electronics), packaging and assembling, post retail recycling, etc. If you would like to know more about our company, our services, partnership opportunities or to make a donation, please either visit our website goodwillsocal.org, or contact us at our toll-free number, 1 (888) 4 GOODWILL. Thank you for your support of our mission to help others.

Visit Seller's Storefront

Seller's business information

Goodwill Industries of Southern California
342 N San Fernando Rd, Los Angeles, CA, 90031, U.S.A.

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 3.00	US$ 6.50

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.