제Ⅰ부 서 론 제 1 장 세계에 대한 우리의 인식 구조와 문장의 구조 제 2 장 문장, 단순 문장, 복합 문장 제 3 장 명제, 모순 3.1 명제, 타당한 명제, 부당한 명제 3.2 모순 3.3 명제가 아닌 문장 제 4 장 논증, 타당한 논증, 부당한 논증, 추론 규칙 제 5 장 논증의 증명 구조와 반박 구조 연습문제
제Ⅱ부 고전 논리학 제 1 장 명제의 벤다이어그램 표현 제 2 장 벤다이어그램을 이용한 논증의 증명과 반박 제 3 장 정언적 삼단논법 제 4 장 정언적 삼단논법의 증명과 반박 연습문제
제Ⅲ부 명제 논리 제 1 장 문 법 1.1 명제 기호 1.2 연결사, 논리식 변수, 명제 논리의 논리식 1.3 괄호의 생략 1.4 명제 논리 논리식의 자연어 번역 1.5 자연어 문장의 명제 논리 논리식 표현 제 2 장 의미론 2.1 진리값과 진리표 2.2 진리 함수로서의 연결사 2.3 원자식, 분자식, 타당한 논리식, 모순 논리식 2.4 충족가능성, 충족불가능성 2.5 논리적 동치 제 3 장 명제 논리에서의 논증의 증명과 반박 3.1 진리표를 이용한 논증의 증명과 반박 3.2 추론 규칙을 이용한 논증의 증명 3.2.1 타당한 논리식 형태, 동치 법칙 3.2.2 연역의 구조 3.2.3 명제 논리에서의 전건긍정 MP1과 파생 추론 규칙들 3.2.4 논증 증명의 예 3.2.5 증명의 전략 연습문제
제Ⅳ부 술어 논리 제 1 장 문 법 1.1 주어와 술어 1.2 양화사, 양화 변수, 술어 논리의 논리식 1.3 양화사의 범위 1.4 자유 변수, 결합 변수, 변수의 재명명 1.5 항, 논리식의 자유로운 대입 1.6 술어 논리 논리식의 자연어 번역 1.7 자연어 문장의 술어 논리의 논리식 표현 제 2 장 의미론 2.1 술어 논리 논리식의 해석 2.2 양화사의 순서 2.3 자유 변수의 해석 제 3 장 술어 논리에서의 논증의 증명과 반박 3.1 추론 규칙을 이용한 논증의 증명 3.1.1 명제 논리 추론 규칙의 술어 논리에서의 타당성 3.1.2 술어 논리에서의 전건긍정 추론 규칙 MP2 3.1.3 양화사를 도입하고 제거하는 추론 규칙들 3.1.4 동치 법칙 3.1.5 논증 증명의 예 3.2 모델 구축에 의한 논증의 반박 3.2.1 모델의 구축 3.2.2 논증의 반박 연습문제
