Author(s): John Dever
Year: 2004
Language: English
Pages: 2334
Prologue......Page 3
Puzzle A......Page 4
Puzzle B......Page 11
Abstract Thought......Page 18
The Basics of Logic......Page 24
What is an Argument?......Page 25
Validity......Page 36
Logic and Structure......Page 48
Speaking Logic......Page 55
A Small Surprise......Page 59
Natural Language Syntax......Page 98
The Problem of Linguistic Knowledge......Page 99
First Draft of a Theory......Page 130
Recursive Grammars......Page 162
Second Draft Theory......Page 202
Ambiguity......Page 213
Things Get Messy......Page 234
Propositional Logic......Page 343
How To Create A Language......Page 344
The Syntax of SL......Page 374
Making Meaning Precise......Page 389
Calculating Truth Values......Page 425
Truth Tables......Page 468
Implication Formalized......Page 487
Proofs......Page 510
Expressive Power......Page 602
Multivalued Logic......Page 651
Bivalence......Page 652
Alternatives to Truth and Falsity......Page 676
Multivalued Semantics......Page 703
Multivalued Logical Truth......Page 854
Multivalued Arguments......Page 868
Multivalued Semantics......Page 888
Multivalued Logical Truth......Page 920
Multivalued Arguments......Page 936
Modal Logic......Page 945
Possibility and Necessity......Page 946
Truth at a World......Page 976
Two Philosophical Applications......Page 1052
Modal Proofs......Page 1089
Making Modality Easy......Page 1136
Deontic Logic......Page 1205
Making Modality Hard......Page 1225
Deontic Logic Again......Page 1260
Knowing About Knowing......Page 1308
Temporal Logic......Page 1340
Reasoning Across Time......Page 1341
The Language TL......Page 1352
The Topology of Time......Page 1374
Until......Page 1399
Bisimulations......Page 1407
Proof By Induction......Page 1428
The Bisimilarity Theorem......Page 1467
The Undefinability of Until......Page 1498
Conditionals......Page 1524
Building a Better Conditional......Page 1525
Kangaroos......Page 1545
Close and Distant Worlds......Page 1578
Spheres......Page 1619
Counterfactual Logic......Page 1656
Proofs in SL......Page 1685
Dispositions......Page 1726
Quantified Logic......Page 1793
Looking Inside Sentences......Page 1794
Quantifiers......Page 1847
The Language QL......Page 1883
Translation......Page 1922
Venn Diagrams......Page 1958
Graphs and Relations......Page 1975
Theories and Models......Page 2030
Proofs in QL......Page 2084
The Completeness Proof......Page 2155
Weird Numbers......Page 2265
Openings......Page 2298
Navigation......Page 2327
