Logic
著者
書誌事項
Logic
(Penguin books, . Philosophy,
Penguin Books, 2001
2nd ed
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"First published in Pelican Books 1977"--T.p. verso
Includes index
内容説明・目次
内容説明
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
目次
- 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.
「Nielsen BookData」 より