Modern Logic: A Text in Elementary Symbolic Logic

UK
ISBN: 978-0-19-508029-2
Verlag: OXFORD UNIV PR

Buch, Englisch, 416 Seiten, Format (B × H): 164 mm x 235 mm, Gewicht: 612 g

Modern Logic is a text designed for a first course in symbolic logic for students in philosophy, mathematics, computer science, or linguistics. The book covers classical sentential logic, monadic predicate logic, and full first-order logic with identity, in three separate sections. Modern Logic's natural deduction system will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis throughout is to give the student a thorough understanding of the concepts rather than just a facility with formal procedures.

Autoren/Hrsg.

Forbes, Graeme

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

- Introduction

- Part I: Classical Sentential Logic

- 1: What is logic?

- 2: First steps in symbolization

- 3: Semantics for sentential logic

- Part II: Monadic Predicate Logic

- 5: Predication and quantification in English

- 6: Validity and provability in monadic predicate logic

- Part III: First-Order Logic with Identity

- 7: Advanced symbolizations

- 8: Validity and provability in first-order logic with identity

- Part IV: Extensions and Alternatives

- 9: An extension to classical logic: Modal logic

- 10: Alternatives to classical logic (I): Intuitionism

- 11: Alternatives to classical logic (II): Fuzzy logic

- Solutions to selected exercises

- Bibliography

- Index