Forall X: An Introduction to Formal Logic

Forall X: An Introduction to Formal Logic

By P. D. Magnus
Book Description

In formal logic, sentences and arguments are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This text describes two formal languages which have been of special importance to philosophers: truth-functional sentential logic and quantified predicate logic. The book covers translation, formal semantics, and proof theory for both languages.This can be used as the textbook for a semester long course in logic, for a unit on logic, or for self-directed study. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.The author is an assistant professor of philosophy at the University at Albany, SUNY. For more information, see the forall x homepage and the author's homepage.

Table of Contents
  • What is logic?
    • Arguments
    • Sentences
    • Two ways that arguments can go wrong
    • Deductive validity
    • Other logical notions
    • Formal languages
    • Practice Exercises
  • Sentential logic
    • Sentence letters
    • Connectives
    • Other symbolization
    • Sentences of SL
    • Practice Exercises
  • Truth tables
    • Truth-functional connectives
    • Complete truth tables
    • Using truth tables
    • Partial truth tables
    • Practice Exercises
  • Quantified logic
    • From sentences to predicates
    • Building blocks of QL
    • Quantifiers
    • Translating to QL
    • Sentences of QL
    • Identity
    • Practice Exercises
  • Formal semantics
    • Semantics for SL
    • Interpretations and models in QL
    • Semantics for identity
    • Working with models
    • Truth in QL
    • Practice Exercises
  • Proofs
    • Basic rules for SL
    • Derived rules
    • Rules of replacement
    • Rules for quantifiers
    • Rules for identity
    • Proof strategy
    • Proof-theoretic concepts
    • Proofs and models
    • Soundness and completeness
    • Practice Exercises
  • Other symbolic notation
  • Solutions to selected exercises
  • C Quick Reference
    No review for this book yet, be the first to review.
      No comment for this book yet, be the first to comment
      You May Also Like
      Also Available On
      Curated Lists
      • Pattern Recognition and Machine Learning (Information Science and Statistics)
        by Christopher M. Bishop
        Data mining
        by I. H. Witten
        The Elements of Statistical Learning: Data Mining, Inference, and Prediction
        by Various
        See more...
      • CK-12 Chemistry
        by Various
        Concept Development Studies in Chemistry
        by John Hutchinson
        An Introduction to Chemistry - Atoms First
        by Mark Bishop
        See more...
      • Microsoft Word - How to Use Advanced Algebra II.doc
        by Jonathan Emmons
        Advanced Algebra II: Activities and Homework
        by Kenny Felder
        See more...
      • The Sun Who Lost His Way
        Tania is a Detective
        by Kanika G
        See more...
      • Java 3D Programming
        by Daniel Selman
        The Java EE 6 Tutorial
        by Oracle Corporation
        See more...