ABSTRACT

A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.

chapter Chapter 1|14 pages

Logic and language

chapter Chapter 2|34 pages

A propositional language

chapter Chapter 3|29 pages

A propositional calculus

chapter Chapter 4|28 pages

Elementary meta-theory for the propositional calculus

chapter Chapter 5|35 pages

A predicate language

chapter Chapter 6|24 pages

Logical analysis

chapter Chapter 7|16 pages

The theory of relations

chapter Chapter 8|16 pages

Predicate logic semantics

chapter Chapter 9|21 pages

Challenges and limitations