Logic
Published on 29. November 2001
Book
Paperback/Softback
304 pages
978-0-14-100314-6 (ISBN)
Description
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
Reviews / Votes
'A lively and stimulating book' PhilosophyMore details
Language
English
Place of publication
London
United Kingdom
Product notice
Paperback (UK-B)
Dimensions
Height: 197 mm
Width: 129 mm
Thickness: 17 mm
Weight
222 gr
ISBN-13
978-0-14-100314-6 (9780141003146)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Person
Wilfrid Hodges is a Professor of Mathematics at Queen Mary and Westfield College, University of London. He has held visiting appointments in the US.
Content
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.