제1장 진리론 ... 1
 1. 서언 ... 1
 2. 진리 대응론 ... 3
 3. 진리 정합론 ... 13
 4. 프래그머티즘적 진리론 ... 21
 5. 의미론적 진리론 ... 27
 6. 진리 잉여론 ... 52
 7. 결어 ... 72
 참고문헌 ... 75
제2장 역설과 그 해결방안 ... 79
 1. 서언 ... 79
 2. 역설의 분류 ... 81
 3. 역설의 해결방안 ... 90
 4. 결어 ... 113
 참고문헌 ... 118
제3장 양상(樣相)논리의 필연성 문제 ... 121
 1. 서언 ... 121
 2. '필연적'의 콰인의 해석 ... 123
 3. 스멀랸(Smullyan)의 반(反)비판 ... 129
 4. 결어 ... 137
 참고문헌 ... 140
제4장 다치(多値)논리의 해석문제 ... 143
 1. 서언 ... 143
 2. 3치논리(3値論理)의 문제점 ... 144
 3. 프라이어의 해석 ... 147
 4. 레셔의 해석 ... 150
 5. 결어 ... 157
 참고문헌 ... 160
제5장 직관(直觀)논리 ... 163
 1. 서언 ... 163
 2. 형식체계 ... 164
 3. 기호논리와 대비 ... 169
 4. 구성적 증명 ... 176
 5. 배중률의 거부 ... 181
 6. 직관논리의 번역 ... 185
 7. 크립키의 의미론 ... 188
 8. 결어 ... 194
 참고문헌 ... 197
제6장 시제(時制)논리 ... 199
 1. 서언 ... 199
 2. 역사적 배경 ... 200
 3. 기본 시제논리(Kt체계)와 그 해석 ... 205
 4. 선형 시제논리(CL체계)와 그 해석 ... 215
 5. 분지 시제논리(Kb체계)와 그 해석 ... 222
 6. 결어 ... 229
 참고문헌 ... 234
제7장 규범(規範)논리 ... 237
 1. 서언 ... 237
 2. 형식 체계 ... 239
 3. 힌티카(Hintikka)의 의미론 ... 258
 4. 이행개입과 역설 ... 267
 5. 결어 ... 275
 참고문헌 ... 278
찾아보기 ... 280