Free delivery worldwide
Dispatched in 3 business days
When will my order arrive?
- Publisher: Penguin Books Ltd
- Format: Paperback | 304 pages
- Dimensions: 122mm x 196mm x 18mm | 222g
- Publication date: 28 December 2005
- Publication City/Country: London
- ISBN 10: 0141003146
- ISBN 13: 9780141003146
- Edition: 2
- Edition statement: 2nd ed.
- Illustrations note: line drawings, diagrams, tables, further reading, index
- Sales rank: 57,814
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".
Add item to wishlist
Other people who viewed this bought:
USD$14.94 - Save $0.31 (2%) - RRP $15.25
USD$10.21 - Save $1.99 16% off - RRP $12.20
USD$13.54 - Save $6.29 31% off - RRP $19.83
Wilfrid Hodges is a Professor of Mathematics at Queen Mary and Westfield College, University of London. He has held visiting appointments in the US.
'A lively and stimulating book' Philosophy
Table of contents
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.