Formal logic / Mark Jago.

Format:

Book

Author/Creator:

Jago, Mark.

Series:

Philosophy insights.

Philosophy insights

Language:

English

Subjects (All):

Logic.

Physical Description:

1 online resource (111 p.)

Place of Publication:

Tirril [England] : Humanities-Ebooks, 2007.

Language Note:

English

Summary:

This book introduces the techniques of formal logic in a way suitable for all students of philosophy. Chapter 1: Logical Reasoning introduces the ideas behind formal logic. Chapter 2: Propositional logic and Chapter 3: Entailment and Equivalence develop t

Contents:

""Cover""; ""Copyright and Use""; ""Title Page""; ""The Author""; ""Contents""; ""Introduction""; ""Logical Reasoning""; ""Preliminaries""; ""Valid Arguments""; ""Valid Forms of Inference""; ""Exercises""; ""Propositional Logic""; ""Introduction""; ""Logical Connectives""; ""The Logical Language""; ""Construction Trees""; ""Truth Tables""; ""Valuations""; ""Exercises""; ""Entailment and Equivalence""; ""Logical Entailment""; ""Equivalence""; ""Equivalence Schemes""; ""Exercises""; ""Proof Trees""; ""Proofs in Logic""; ""The Proof Tree Method""; ""Examples of Proof Trees""; ""Decidability""

""Valuations From Open Finished Trees""""Soundness and Completeness""; ""Exercises""; ""First Order Logic""; ""More Valid Arguments""; ""Constants, Predicates and Relations""; ""Existence and Generality""; ""Formation Rules""; ""Binary Relations""; ""Semantics for First-Order Logic""; ""Satisfaction""; ""Exercises""; ""Identity""; ""The Puzzle of Identity""; ""Identity in First-Order Logic""; ""Expressing At Least, At Most and Exactly""; ""Definite Descriptions""; ""Leibniz's Law and Second Order Logic""; ""Exercises""; ""Proof Trees for First Order Logic""; ""Rules for Quantifiers""

""Rules for Identity""""Undecidability""; ""Constructing Models from Open Branches""; ""Soundness and Completeness""; ""Exercises""; ""Appendix A. Basic Set Theory""; ""Appendix B. Infinity""; ""References and Further Reading""; ""Answers to Exercises""

Notes:

Description based upon print version of record.

Includes bibliographical references.

ISBN:

1-282-04060-X

9786612040603

1-84760-041-7