If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, this work takes the reader through the whole gamut of logical expressions in a simple way.

Part 1 Consistency: consistent sets of beliefs. Part 2 Expressing beliefs in sentences: beliefs and words; declarative sentences; ambiguity. Part 3 When is a sentence true?: truth and references; borderline cases and bizarre situations; misleading statements; possible situations and meanings. Part 4 Testing for consistency and validity: consistent sets of short sentences; the tableau technique; arguments. Part 5 How are complex sentences built up?: phrase-classes; phrase-markers; scope; context-free grammars. Part 6 Logical analysis: sentence-functors and truth-functors; some basic truth-functors; special problems with "->" and ""; analyis of complex sentences. Part 7 Sentence tableaux: sentence tableaux; interpretations. Part 8 Propositional calculus: a formal language; truth-tables; properties of semantic entailment; formal tableaux. Part 9 Designators and identity: designators and predicates; purely referential occurrences; two policies on reference; identity. Part 10 Relations: satisfaction; binary relations; "same", "at least" and "more"; equivalence relations. Part 11 Quantifiers: quantification; "all" and "some"; quantifier rules. Part 12 Predicate logic: logical scope; analyses using identity; predicate interpretations; predicate tableaux; formalization again. Part 13 Horizons of logic: likelihood; intension; semantics.