- Introduction
- Consistency
- Consistent Sets of Beliefs
- Expressing Beliefs in Sentences
- Beliefs and Words
- Declarative Sentences
- Ambiguity
- When is a Sentence True?
- Truth and References
- Borderline Cases and Bizarre Situations
- Misleading Statements
- Possible Situations and Meanings
- Testing for Consistency and Validity
- Consistent Sets of Short Sentences
- The Tableau Technique
- Arguments
- How are Complex Sentences Built Up?
- Phrase-classes
- Phrase-markers
- Scope
- Context-free Grammars
- Logical Analysis
- Sentence-functors and Truth-functors
- Some Basic Truth-functors
- Special Problems with ‘→’ and ‘^’
- Analysis of Complex Sentences
- Sentence Tableaux
- Sentence Tableaux
- Interpretations
- Propositional Calculus
- A Formal Language
- Truth-tables
- Properties of Semantic Entailment
- Formal Tableaux
- Designators and Identity
- Designators and Predicates
- Purely Referential Occurrences
- Two Policies on Reference
- Identity
- Relations
- Satisfaction
- Binary Relations
- Same, at least and more
- Equivalence Relations
- Quantifiers
- Quantification
- All and some
- Quantifier Rules
- Predicate Logic
- Logical Scope
- Analyses Using Identity
- Predicate Interpretations
- Predicate Tableaux
- Formalization Again
- Horizons of Logic
- Likelihood
- Intension
- The Quest for Ingredient X
- Answers to Exercises
- Tableau Rules
- Empty Domains
- A Note on Notation
Array ( [_edit_lock] => Array ( [0] => 1576611651:1 ) [ISBN] => Array ( [0] => 9780140136364 [1] => 9780140136364 ) [_edit_last] => Array ( [0] => 1 ) [ASIN] => Array ( [0] => 0140136363 ) [shop] => Array ( [0] => "15089"|1998|£4.50 ) [subtitle] => Array ( [0] => An Introduction to Elementary Logic ) )