- 수업시간 : 화 1, 2, 목 3
- 강의실 : 101동 234호
- 담당교수 : 정동욱 (zolaist@gnu.ac.kr)
- 연구실 : 101동 418호 (055-772-1154)
수업 개요
논리학은 논증의 타당성을 다루는 학문이다. 어떤 학문이든 자신의 주장을 뒷받침하기 위해 논증을 사용할 수밖에 없으므로, 논리학은 다른 모든 학문의 기초를 제공한다고 볼 수 있다. 기호논리학은 복잡한 일상언어 대신 단순한 기호들로만 이루어진 형식언어를 활용한 논리학이다. 형식언어는 일상언어에 비해 표현의 제약이 많은 대신 논리적 귀결 관계가 명확하기 때문에 추론과 논증 자체를 탐구하고 훈련하기 위한 목적으로 안성맞춤이다.
이 수업의 수강생들은 형식언어의 낯선 문법에 따라 문장을 작성하는 방법, 일상언어로 이루어진 문장을 형식언어로 번역하는 방법, 형식언어의 문장들로 이루어진 논증의 타당성을 검토하는 방법 등을 배울 것이다. 이 과정에서 수강생들은 논리학의 기본 개념들을 엄밀하게 배우고 적용할 수 있는 능력을 갖추게 될 것이다.
논리학은 임의의 전제들로부터 어떤 결론이 도출될 수 있는지에 대한 이론인 동시에 그 이론을 실제로 적용하여 구체적인 전제들로부터 모종의 결론을 추론하는 기술이기도 하다. 논리학의 이론적 측면은 강의를 통해 전달하겠지만, 논리학의 기술적 측면은 교재의 연습문제들과 과제를 스스로 풀면서 습득하는 수밖에 없다. 그러한 문제 풀이 과정에서 논리학의 이론적 측면에 대한 이해도 완벽해질 것이다.
수업 방법과 평가 비율
교재는 이병덕의 『코어 논리학』(성균관대학교출판부, 2019)을 사용할 것이며, 교재의 순서를 따라 수업을 진행할 것이다. 논리학은 임의의 전제들로부터 어떤 결론이 도출될 수 있는지에 대한 이론인 동시에 그 이론을 실제로 적용하여 구체적인 전제들로부터 모종의 결론을 추론하는 기술이기도 하다. 논리학의 이론적 측면은 강의를 통해 전달하겠지만, 논리학의 기술적 측면은 교재의 연습문제들을 스스로 풀면서 습득하는 수밖에 없다. 그러한 문제 풀이 과정에서 논리학의 이론적 측면에 대한 이해도 완벽해질 것이다.
- 평가 비율 : 출석(10%) | 과제(30%) | 중간고사(30%) | 기말고사(30%)
출석(10%) : 결석 4시간까지는 감점되지 않으며, 이후부터는 결석 1시간당 0.5점씩 감점되고 지각 또는 무단조퇴는 0.5시간의 결석으로 간주한다. 출석미달자(출석한 수업시수가 총 수업시수 45시간의 3/4, 즉 33.75시간에 미달한 자)에게는 무조건 F를 부여한다(학사관리 규정 제73조). 또한 4시간의 결석까지 감점을 하지 않는 대신, 학교에서 인정해주는 공결을 제외한 다른 사유의 결석은 출석으로 인정해주지 않는다.
과제(30%) : 연습문제를 중심으로 거의 매주 제공될 것이며, 총 과제 점수는 30%로 환산될 것이다.
수업 일정
1주. 논리학과 논증 : 타당성과 건전성 (강의노트)
2주. 논리적 연결사 : 부정, 연언 그리고 선언
3주. 모순, 반대, 소반대, 정언 진술 그리고 벤 다이어그램
4주. 문장 논리의 언어와 진리표를 이용한 타당성 증명
5주. 조건문, 쌍조건문, 필요조건 그리고 충분조건
6주. 문장 논리 1 : 자연 연역에 의한 타당성 증명
7주. 문장 논리 2 : 파생 규칙
8주. 중간고사
9주. 술어 논리 1 : 술어 논리의 언어
10주. 술어 논리 2 : 의미론과 타당성
11주. 다중 양화 문장
12주. 술어 논리의 자연 연역
13주. 동일성 문장과 확정 기술어구
14주. 논리학의 가치
15주. 기말고사