I BACKGROUND IDEAS |
|
|
|
3 | (9) |
|
|
4 | (1) |
|
1.2 Logical consequence: the basic recipe |
|
|
5 | (1) |
|
1.3 Valid arguments and truth |
|
|
6 | (2) |
|
1.4 Summary, looking ahead, and reading |
|
|
8 | (4) |
|
2 Language, Form, and Logical Theories |
|
|
12 | (14) |
|
|
12 | (2) |
|
2.2 Atoms, connectives, and molecules |
|
|
14 | (2) |
|
|
16 | (1) |
|
|
17 | (2) |
|
2.5 Language and formal languages |
|
|
19 | (2) |
|
2.6 Logical theories: rivalry |
|
|
21 | (5) |
|
|
26 | (17) |
|
|
26 | (4) |
|
3.2 Ordered sets: pairs and n-tuples |
|
|
30 | (2) |
|
|
32 | (2) |
|
|
34 | (2) |
|
|
36 | (7) |
II BASIC CONNECTIVES |
|
|
|
43 | (19) |
|
4.1 Cases: complete and consistent |
|
|
43 | (2) |
|
4.2 Classical 'truth conditions' |
|
|
45 | (2) |
|
4.3 Basic classical consequence |
|
|
47 | (2) |
|
4.4 Motivation: precision |
|
|
49 | (1) |
|
|
50 | (4) |
|
|
54 | (1) |
|
4.7 Some notable valid forms |
|
|
55 | (2) |
|
4.8 Summary and looking ahead |
|
|
57 | (5) |
|
|
62 | (18) |
|
5.1 Apparent unsettledness |
|
|
62 | (3) |
|
|
65 | (1) |
|
5.3 Paracomplete truth and falsity conditions |
|
|
66 | (3) |
|
5.4 Paracomplete consequence |
|
|
69 | (3) |
|
|
72 | (2) |
|
|
74 | (1) |
|
|
75 | (1) |
|
5.8 Summary and looking ahead |
|
|
76 | (4) |
|
6 A Paraconsistent Theory |
|
|
80 | (19) |
|
6.1 Apparent overdeterminacy |
|
|
80 | (2) |
|
|
82 | (1) |
|
6.3 Paraconsistent 'truth conditions' |
|
|
83 | (3) |
|
6.4 Paraconsistent consequence |
|
|
86 | (1) |
|
|
87 | (4) |
|
|
91 | (1) |
|
|
91 | (2) |
|
6.8 Summary and looking ahead |
|
|
93 | (6) |
III INNARDS, IDENTITY, AND QUANTIFIERS |
|
|
|
99 | (11) |
|
7.1 Atomic innards: names and predicates |
|
|
99 | (2) |
|
7.2 Truth and falsity conditions for atomics |
|
|
101 | (2) |
|
7.3 Cases, domains, and interpretation functions |
|
|
103 | (2) |
|
7.4 Classical, paracomplete and paraconsistent |
|
|
105 | (1) |
|
|
105 | (2) |
|
7.6 Summary and looking ahead |
|
|
107 | (3) |
|
|
110 | (10) |
|
8.1 Logical expressions and logical form |
|
|
110 | (1) |
|
8.2 Validity involving identity |
|
|
111 | (1) |
|
8.3 Identity: informal sketch |
|
|
112 | (1) |
|
8.4 Truth conditions: informal sketch |
|
|
113 | (2) |
|
|
115 | (2) |
|
8.6 Summary and looking ahead |
|
|
117 | (3) |
|
9 Everything and Something |
|
|
120 | (13) |
|
9.1 Validity involving quantifiers |
|
|
120 | (2) |
|
9.2 Quantifiers: an informal sketch |
|
|
122 | (1) |
|
9.3 Truth and falsity conditions |
|
|
123 | (1) |
|
|
124 | (3) |
|
9.5 Paraconsistent, paracomplete, classical |
|
|
127 | (1) |
|
9.6 Summary and looking ahead |
|
|
128 | (5) |
IV FREEDOM, NECESSITY, AND BEYOND |
|
|
|
133 | (10) |
|
10.1 Speaking of non-existent 'things' |
|
|
133 | (1) |
|
|
134 | (1) |
|
10.3 Freeing our terms, expanding our domains |
|
|
135 | (1) |
|
10.4 Truth conditions: an informal sketch |
|
|
135 | (2) |
|
|
137 | (6) |
|
|
143 | (18) |
|
11.1 Possibility and necessity |
|
|
143 | (1) |
|
11.2 Towards truth and falsity conditions |
|
|
144 | (5) |
|
11.3 Cases and consequence |
|
|
149 | (1) |
|
|
150 | (4) |
|
11.5 Remark on going beyond possibility |
|
|
154 | (7) |
|
12 Glimpsing Different Logical Roads |
|
|
161 | (14) |
|
|
162 | (2) |
|
|
164 | (3) |
|
12.3 Other alethic modalities: actuality |
|
|
167 | (1) |
|
12.4 Same connectives, different truth conditions |
|
|
168 | (2) |
|
12.5 Another road to difference: consequence |
|
|
170 | (5) |
A List of Common Abbreviations |
|
175 | (1) |
References |
|
176 | (3) |
Index |
|
179 | |