An introduction to formal logic / Richard L. Epstein.

Format:

Book

Author/Creator:

Epstein, Richard L., 1947- author.

Language:

English

Subjects (All):

Logic.

Physical Description:

1 online resource (230 p.) ill

Edition:

Second edition.

Place of Publication:

Socorro, New Mexico : Advanced Reasoning Forum, [2020]

Summary:

- Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study. - Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Summaries are given at important junctures in the book to keep students aware of what they are doing and where they are going. - Criteria of formalization are developed and applied to formalizing ordinary language reasoning in an example-analysis format. - More than 300 worked examples. - More than 500 exercises with answers available on the web.

Contents:

Intro

Table of Contents

Preface to the Instructor

1 The Basics of Logic

2 Compound Propositions

3 Classical Propositional Logic: Form

4 Classical Propositional Logic: Meaning

5 Using Classical Propositional Logic

6 Proving

Summary of Chapters 1 to 6

7 Reasoning about Things

8 The Grammar of Things

9 A Formal Language for Predicate Logic

10 A Predicate Applies to an Object or Objects

11 Models for Classical Predicate Logic

12 Distribution of Quantifiers and Substitution of Variables

13 An Axiom System for Classical Predicate Logic

Summary of Chapters 7-13

14 Formalizing in Classical Predicate Logic

15 Identity

16 Formalizing with the Equality Predicate

17 Possibilities

Appendix 1 Proof by Induction

Appendix 2 Set-Theory Notation

Appendix 3 Naming, Pointing, and What There Is

Appendix 4 Completeness Proofs

Classical Propositional Logic (PC)

Classical Predicate Logic

Classical Predicate Logic with Equality

Appendix 5 Other Interpretations of the Quantifiers

Appendix 6 Mathematical Semantics

Appendix 7 Aristotelian Logic

Index of Symbols

Index of Examples

Index.

Notes:

Description based on publisher supplied metadata and other sources.

Description based on print record.

Includes index.

ISBN:

9781938421532

1938421531

OCLC:

1410712403