옮긴이의 말 ... ⅰ
지은이 머리말(초판) ... ⅲ
지은이 머리말(재판) ... ⅴ
제1장 서론 ... 1
 1.1 논리학이란 무엇인가? ... 1
  1.1.1 논리학은 사유방식을 묘사해 주는 서술적 학문인가? ... 1
  1.1.2 논리학은 사유규범을 가르쳐 주는 당위적 학문인가? ... 2
 1.2 논증 ... 4
 1.3 논증형식과 타당성 ... 5
 1.4 문장과 명제 ... 13
 1.5 구문론, 의미론, 화용론 ... 17
제2장 삼단논법 ... 19
 2.1 삼단논법의 발전 ... 19
 2.2 삼단논법의 기본요소 : 정언명제 ... 22
  2.2.1 어떤 x는 y이다 ... 24
  2.2.2 어떤 x는 y가 아니다 ... 25
  2.2.3 모든 x는 y이다 ... 26
  2.2.4 어떤 x도 y가 아니다 ... 26
  2.2.5 관련용어 : 양, 질, 주연, 부주연 ... 27
 2.3 대당사각형 ... 31
  2.3.1 존재함축과 존재가정 ... 40
 2.4 벤다이어그램과 부울등식 ... 48
 2.5 직접추리 ... 54
  2.5.1 환위 ... 54
  2.5.2 환질 ... 58
  2.5.3 이환 ... 61
 2.6 삼단논증Ⅰ ... 64
 2.7 삼단논증Ⅱ : 벤다이어그램에 의한 타당성평가 ... 70
 2.8 규칙에 의한 타당성평가 ... 78
  2.8.1 삼단논증의 규칙 ... 78
 2.9 비표준형식의 번역 ... 82
  2.9.1 비표준적 개념 ... 82
  2.9.2 비표준적 양화사 ... 83
  2.9.3 비표준적 동사 ... 87
  2.9.4 요약 ... 88
 2.10 연환식 ... 91
  2.10.1 생략삼단논증 ... 94
제3장 명제논리 ... 97
 3.1 명제논리의 제요소 ... 97
 3.2 분자명제, 연결사, 참 : 제1부 ... 101
 3.3 분자명제, 연결사, 참 : 제2부 ... 110
 3.4 기타 연결사들 ... 115
 3.5 항진명제, 모순명제, 우연명제 ... 123
 3.6 세 개 이상의 명제문자로 된 복합명제에 대한 진리표 작성 ... 126
 3.7 진리표를 이용한 타당성평가 ... 131
  3.7.1 '⊃', '함축', 정합성 ... 137
 3.8 약식진리치분석 ... 142
  3.8.1 정합성 ... 146
 3.9 자연연역법 ... 150
  3.9.1 조건증명법 ... 167
  3.9.2 간접증명법 : 조건증명법의 확장 ... 172
  3.9.3 추론규칙과 항진명제 ... 174
 3.10 진리나무방법 ... 176
  3.10.1 나무방법에 의한 항진명제증명 ... 184
 3.11 명제논리의 확장 ... 186
  3.11.1 양상논리 ... 188
  3.11.2 다치논리 ... 193
  3.11.3 스위치회로 ... 199
 3.12 명제논리의 발달사 ... 204
제4장 술어논리 ... 207
 4.1 술어논리의 제요소 ... 207
 4.2 단순일반명제와 단순일반논증 ... 215
  4.2.1 단순일반논증에 대한 타당성평가 ... 218
 4.3 복합일반명제와 복합일반논증 ... 225
  4.3.1 복합일반논증에 대한 타당성평가 ... 232
  4.3.2 보편양화사와 존재양화사의 관계 ... 233
 4.4 술어논리와 추론규칙 ... 236
  4.4.1 양화규칙들에 대한 요약 ... 251
  4.4.2 논리적 참에 대한 증명 ... 261
 4.5 관계술어 ... 265
  4.5.1 이항관계술어의 제속성 ... 276
  4.5.2 동일성관계 ... 281
 4.6 진리나무방법과 술어논리 ... 287
 4.7 술어논리의 발달사 ... 304
제5장 형식체계 ... 307
 5.1 기하학과 그 역사 ... 307
  5.1.1 형식적 연역체계의 특징 ... 312
 5.2 명제논리에서의 형식체계 ... 313
  5.2.1 메타정리Ⅰ : H.A체계는 함수적으로 완전하다 ... 327
  5.2.2 메타정리Ⅱ : H.A체계의 공리들은 독립적이다 ... 337
  5.2.3 메타정리Ⅲ : H.A체계는 분석적이다 ... 345
  5.2.4 메타정리Ⅳ : H.A체계는 정합적이다 ... 348
  5.2.5 메타정리Ⅴ : 대입메타정리 ... 353
 5.3 형식화는 왜 하는가? ... 359
 5.4 술어논리의 형식화 ... 363
 5.5 괴델의 불완전성정리 ... 370
제6장 논리학과 언어 ... 377
 6.1 논리학과 언어 ... 377
  6.1.1 논리학의 기초 ... 384
 6.2 비형식적 오류 ... 392
  6.2.1 구문론적 오류 ... 395
  6.2.2 의미론적 오류 ... 396
  6.2.3 화용론적 오류 ... 402
  6.2.4 역설 두 가지에 대한 고찰 ... 414
 6.3 정의 ... 417
 6.4 의미 ... 423
제7장 과학의 논리 ... 433
 7.1 과학과 설명 ... 433
  7.1.1 피설명항 ... 440
  7.1.2 설명항 ... 441
 7.2 법칙 ... 444
  7.2.1 법칙의 설정 ... 447
  7.2.2 설명과 예측 ... 456
 7.3 이론 ... 457
  7.3.1 환원과 이론 ... 463
 7.4 인과관계 ... 464
 7.5 수학과 과학 ... 468
 7.6 사회과학의 제문제 ... 471
  7.6.1 사회과학에서의 설명 ... 473
  7.6.2 사회과학의 자연과학에로의 환원 ... 475
  7.6.3 사회과학의 일종으로서의 역사학 및 사회과학들 상호간의 관계 ... 476
제8장 철학적 논증 ... 479
 8.1 철학적 추론 ... 479
 8.2 딜레마 ... 480
 8.3 무한소급 ... 486
 8.4 유추 ... 489
부록Ⅰ : 그 밖의 여러 가지 기호들 및 표기법 ... 499
부록Ⅱ : 한정기술구 ... 503
추천도서목록 ... 507
이름 찾아보기 ... 511
내용 찾아보기 ... 513