|
|
1 | (10) |
|
1.1 Analytical Table of Contents |
|
|
2 | (5) |
|
1.2 Symbols and Abbreviations |
|
|
7 | (4) |
|
|
|
|
11 | (20) |
|
|
11 | (1) |
|
|
11 | (2) |
|
2.3 Language, Logic, Metaphysics |
|
|
13 | (2) |
|
|
15 | (2) |
|
2.5 Undecidability, Bivalence, and the Law of Excluded Middle |
|
|
17 | (2) |
|
|
19 | (1) |
|
|
20 | (1) |
|
|
20 | (2) |
|
2.9 Correct Assertibility or Truth? |
|
|
22 | (2) |
|
2.10 Meaning Theory, Theory of Meaning and Semantic Theory |
|
|
24 | (2) |
|
2.11 Revisionism versus Eclecticism |
|
|
26 | (2) |
|
2.12 Metaphysical Conclusions |
|
|
28 | (1) |
|
|
29 | (2) |
|
|
31 | (26) |
|
|
31 | (1) |
|
3.2 Brouwer's Philosophy of Mathematics |
|
|
31 | (1) |
|
3.3 Constructive Mathematics |
|
|
32 | (1) |
|
3.4 The Axiomatization of Intuitionistic Logic |
|
|
33 | (1) |
|
|
33 | (1) |
|
3.6 The BHK Interpretation |
|
|
34 | (5) |
|
3.6.1 Correctness and Explosion |
|
|
38 | (1) |
|
|
39 | (8) |
|
|
42 | (1) |
|
3.7.2 Logical Consequence |
|
|
43 | (1) |
|
3.7.3 Kripke Semantics and the BHK Interpretation |
|
|
44 | (3) |
|
3.8 Tensed or Untensed Provability? |
|
|
47 | (7) |
|
3.8.1 Untensed Provability |
|
|
48 | (1) |
|
|
49 | (1) |
|
3.8.3 Varieties of Tensed Provability |
|
|
50 | (3) |
|
3.8.4 The Meaning of the Value 1 |
|
|
53 | (1) |
|
|
54 | (3) |
|
4 Gaps, Gluts and Paraconsistency |
|
|
57 | (28) |
|
|
57 | (1) |
|
|
58 | (1) |
|
4.3 First Degree Entailment |
|
|
59 | (5) |
|
|
61 | (1) |
|
|
62 | (2) |
|
|
64 | (2) |
|
|
66 | (1) |
|
|
67 | (2) |
|
4.6.1 Presupposition Failure |
|
|
67 | (2) |
|
4.7 Designated Values, Assertoric Content and Ingredient Sense |
|
|
69 | (2) |
|
4.8 Motivations for Paraconsistency |
|
|
71 | (1) |
|
|
72 | (1) |
|
4.10 Expressing the Law of Non-Contradiction |
|
|
73 | (2) |
|
4.11 The Law of Non-Contradiction, Bivalence, and Duality |
|
|
75 | (1) |
|
|
76 | (1) |
|
|
77 | (8) |
|
|
|
5 From Proofs to Verifications and on to Falsifications |
|
|
85 | (20) |
|
|
85 | (3) |
|
5.2 Stage I: Pure Verificationism |
|
|
88 | (3) |
|
5.3 Stage II: Expanded Verificationism |
|
|
91 | (5) |
|
5.3.1 Intuitionistic Logic? |
|
|
92 | (4) |
|
5.4 Stage III: Hybrid Strategies |
|
|
96 | (3) |
|
5.5 Stages IV and V: Expanded and Pure Falsificationism |
|
|
99 | (2) |
|
5.6 Hybrid Strategies Again |
|
|
101 | (1) |
|
|
102 | (3) |
|
|
105 | (20) |
|
|
105 | (1) |
|
6.2 The Centrality of Incorrectness |
|
|
106 | (2) |
|
6.3 Retracting, Surprising, and Misleading |
|
|
108 | (1) |
|
6.4 What is a Falsification? |
|
|
109 | (1) |
|
6.5 Correct Assertibility as Unfalsifiability |
|
|
110 | (2) |
|
6.6 Example I: Legal Trials |
|
|
112 | (1) |
|
6.7 Example II: Faultless Disagreement |
|
|
113 | (5) |
|
6.7.1 General Strategies and Their Problems |
|
|
113 | (2) |
|
6.7.2 Unfalsifiability and Analetheism |
|
|
115 | (1) |
|
|
116 | (1) |
|
6.7.4 Falsificationism About Taste |
|
|
117 | (1) |
|
6.8 Correctness and Truth |
|
|
118 | (2) |
|
6.9 The Uncertain Truth Conditions of Conditionals |
|
|
120 | (1) |
|
6.10 Falsificationistic Systems of Logic |
|
|
121 | (1) |
|
|
121 | (4) |
|
|
|
7 Stage Five: Pure Falsificationism and Dual Intuitionistic Logic |
|
|
125 | (20) |
|
|
125 | (1) |
|
7.2 Dummett's Falsificationistic Logic |
|
|
126 | (1) |
|
7.3 Falsificationistic Semantics |
|
|
127 | (1) |
|
7.3.1 Rumfitt's "Safe Assertibility" |
|
|
127 | (1) |
|
7.4 Kripke Semantics for Dual Intuitionistic Logic |
|
|
128 | (6) |
|
7.4.1 Kripke Semantics: The Basic Setup |
|
|
129 | (3) |
|
|
132 | (2) |
|
7.5 Some Characteristic Features of DIL |
|
|
134 | (3) |
|
|
135 | (2) |
|
7.6 A BHK-Style Interpretation |
|
|
137 | (7) |
|
7.6.1 Conjunction and Disjunction |
|
|
137 | (1) |
|
|
137 | (5) |
|
|
142 | (1) |
|
|
143 | (1) |
|
|
144 | (1) |
|
8 Stage Two: Expanded Verificationism and the Logic N3 |
|
|
145 | (18) |
|
|
145 | (1) |
|
|
146 | (1) |
|
|
147 | (3) |
|
|
149 | (1) |
|
|
150 | (3) |
|
8.5 Features of the Logic N3 |
|
|
153 | (6) |
|
8.5.1 Some Attempts to Get Contraposition Back |
|
|
155 | (2) |
|
8.5.2 Embracing Contraposition Failure |
|
|
157 | (2) |
|
8.6 Toggle Negation Versus Intuitionistic Negation |
|
|
159 | (3) |
|
|
162 | (1) |
|
9 Stage Four: Expanded Falsificationism and the Logic N3f |
|
|
163 | (12) |
|
|
163 | (1) |
|
9.2 Falsificationistic Nelson Logics |
|
|
164 | (3) |
|
|
167 | (5) |
|
9.3.1 Getting Rid of Incoherence |
|
|
170 | (2) |
|
9.4 Safe Assertibility Reconsidered |
|
|
172 | (1) |
|
|
173 | (2) |
|
10 Stage Three: Hybrid Strategies |
|
|
175 | (22) |
|
|
175 | (2) |
|
10.2 Dummett on Hybrid Strategies |
|
|
177 | (3) |
|
|
177 | (1) |
|
10.2.2 Dummett Against In/Correctness Gaps |
|
|
177 | (3) |
|
10.3 CV&IF: Additional Effects |
|
|
180 | (1) |
|
10.4 Verificationism and Falsificationism Again (with Additional Effects) |
|
|
181 | (1) |
|
|
182 | (2) |
|
10.6 Unifying the Account |
|
|
184 | (1) |
|
10.7 Burden of Proof Distribution |
|
|
185 | (5) |
|
10.7.1 Taking the BoP Outside of Legal Discourse |
|
|
186 | (1) |
|
10.7.2 The BoP in the Conversational Score |
|
|
187 | (2) |
|
10.7.3 Summing Up the BoP Strategy |
|
|
189 | (1) |
|
|
190 | (2) |
|
10.9 Whatever Happened to Truth? |
|
|
192 | (1) |
|
|
193 | (4) |
|
|
|
|
197 | (6) |
|
|
197 | (2) |
|
11.2 What is Constructivity? |
|
|
199 | (4) |
Appendix A Characteristics of Some of the Logics |
|
203 | (2) |
Appendix B Tableaux for N3, N3f, NAND, NAND f and Hybrid Consequence |
|
205 | (6) |
References |
|
211 | (4) |
Index |
|
215 | |