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, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material. 'A lively and stimulating book' Philosophy
Wilfrid Hodges is a Professor of Mathematics at Queen Mary and Westfield College, University of London. He has held visiting appointments in the US.
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.