목차 일부
머리말
Ⅰ. 序章 ... 1
Ⅱ. 樣相論理 ... 5
(Ⅰ) 樣相論理의 歷史的 背景과 그 體系 ... 5
1. 序言 ... 5
2. 歷史的 背景 ... 6
3. T體系 ... 13
4. S4體系 ... 20
5. S5體系 ... 21
6. 結語 ... 24
(Ⅱ) 樣相論理의 解釋問題 ... 26
1. 序言 ... 26
2. ...
더보기
목차 전체
머리말
Ⅰ. 序章 ... 1
Ⅱ. 樣相論理 ... 5
(Ⅰ) 樣相論理의 歷史的 背景과 그 體系 ... 5
1. 序言 ... 5
2. 歷史的 背景 ... 6
3. T體系 ... 13
4. S4體系 ... 20
5. S5體系 ... 21
6. 結語 ... 24
(Ⅱ) 樣相論理의 解釋問題 ... 26
1. 序言 ... 26
2. 樣相論理의 體系 ... 27
3. Quine의 解釋問題 ... 30
4. Smullyan의 反批判 ... 37
5. Marcus의 見解 ... 45
6. Kripke의 意味論 ... 51
7. 世界通用의 同一性 문제 ... 55
8. 結語 ... 59
Ⅲ. 多値論理 ... 64
(Ⅰ) 多値論理의 歷史的 背景과 그 體系 ... 64
1. 序言 ... 64
2. 歷史的 背景 ... 65
3. 形式體系 및 提出動機 ... 70
4. 適用問題 ... 88
5. 結語 ... 91
(Ⅱ) 多値論理의 解釋問題 ... 96
1. 序言 ... 96
2. 3値論理의 問題點 ... 97
3. Prior의 解釋 ... 100
4. Rescher의 解釋 ... 102
5. 結語 ... 109
Ⅳ. 古典論理의 現代的 分析 ... 113
(Ⅰ) 直接推理法則의 現代的 分析 ... 113
1. 序言 ... 113
2. 諸法則의 記號化 ... 114
3. 諸法則의 還元分析 ... 121
4. 公理體系 ... 131
5. 記號化에 의한 命題計算 ... 144
6. 結語 ... 150
(Ⅱ) 間接推理法則의 現代的 分析 ... 152
1. 序言 ... 152
2. Boole 및 論理代數에 의한 分析 ... 153
3. 記號論理學에 의한 分析 ... 173
4. 公理體系 ... 182
5. 結語 ... 190
Ⅴ. 必然的 隨伴의 問題 ... 195
1. 序言 ... 195
2. 必然的 隨伴의 定義와 問題點 ... 196
3. Anderson과 Belnap의 批判 ... 198
4. Geach의 見解 ... 202
5. Cleave의 見解 ... 209
6. Hughes와 Cresswell의 辯護 ... 212
7. Nelson의 必然的 隨伴 ... 214
8. 結語 ... 217
Ⅵ. 確率에 관한 세 學說 ... 221
1. 序言 ... 221
2. 古典說 ... 222
3. 頻度說 ... 231
4. 歸納說 ... 243
5. 結語 ... 264
索引 ... 269
더보기 닫기