**forall x: An Introduction to Formal Logic**

by P.D. Magnus

2008**ISBN/ASIN**: B002ACW8VA**Number of pages**: 160

**Description**:

forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading.

Download or read it online for free here:

**Download link**

(0.6MB, PDF)

## Similar books

**The Art of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.

(

**9080**views)

**Introduction to Mathematical Logic: A problem solving course**

by

**Arnold W. Miller**-

**arXiv**

This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.

(

**10175**views)

**Symbolic Logic: A First Course**

by

**Gary Hardegree**-

**Mcgraw-Hill College**

Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.

(

**10228**views)

**Notes on the Science of Logic**

by

**Nuel Belnap**-

**University of Pittsburgh**

This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.

(

**7448**views)