기호논리학 2022-1

  • 수업시간 : 화 1, 2, 목 3
  • 강의실 : 102동 217호
  • 담당교수 : 정동욱 (zolaist@gmail.com)
  • 연구실 : 101동 418호 (055-772-1154)

수업 개요

논리학은 논증의 타당성을 다루는 학문이다. 어떤 학문이든 자신의 주장을 뒷받침하기 위해 논증을 사용할 수밖에 없으므로, 논리학은 다른 모든 학문의 기초를 제공한다고 볼 수 있다. 기호논리학은 복잡한 일상언어 대신 단순한 기호들로만 이루어진 형식언어를 활용한 논리학이다. 형식언어는 일상언어에 비해 표현의 제약이 많은 대신 논리적 귀결 관계가 명확하기 때문에 추론과 논증 자체를 탐구하고 훈련하기 위한 목적으로 안성맞춤이다.

이 수업의 수강생들은 형식언어의 낯선 문법에 따라 문장을 작성하는 방법, 일상언어로 이루어진 문장을 형식언어로 번역하는 방법, 형식언어의 문장들로 이루어진 논증의 타당성을 검토하는 방법 등을 배울 것이다. 이 과정에서 수강생들은 논리학의 기본 개념들을 엄밀하게 배우고 적용할 수 있는 능력을 갖추게 될 것이다.

논리학은 임의의 전제들로부터 어떤 결론이 도출될 수 있는지에 대한 이론인 동시에 그 이론을 실제로 적용하여 구체적인 전제들로부터 모종의 결론을 추론하는 기술이기도 하다. 논리학의 이론적 측면은 강의를 통해 전달하겠지만, 논리학의 기술적 측면은 교재의 연습문제들과 과제를 스스로 풀면서 습득하는 수밖에 없다. 그러한 문제 풀이 과정에서 논리학의 이론적 측면에 대한 이해도 완벽해질 것이다.

수업 방법과 평가 비율

교재는 이병덕의 『코어 논리학』(성균관대학교출판부, 2019)을 사용할 것이며, 교재의 순서를 따라 수업을 진행할 것이다. 논리학은 임의의 전제들로부터 어떤 결론이 도출될 수 있는지에 대한 이론인 동시에 그 이론을 실제로 적용하여 구체적인 전제들로부터 모종의 결론을 추론하는 기술이기도 하다. 논리학의 이론적 측면은 강의를 통해 전달하겠지만, 논리학의 기술적 측면은 교재의 연습문제들을 스스로 풀면서 습득하는 수밖에 없다. 그러한 문제 풀이 과정에서 논리학의 이론적 측면에 대한 이해도 완벽해질 것이다.

  • 평가 비율 : 출석(10%) | 과제(30%) | 퀴즈1(15%) | 퀴즈2(15%) | 중간고사(15%) | 기말고사(15%)

과제는 연습문제를 중심으로 거의 매주 제공될 것이며, 총 과제 점수는 30%로 환산될 것이다. 너무 광범위한 시험 범위를 줄이기 위해 총 4번의 시험(퀴즈1/중간고사/퀴즈2/기말고사)을 볼 것이며, 각 시험의 비중은 15%씩이다.

수업 일정

1주. 논리학과 논증 : 연역 논증과 귀납 논증

2주. 논리적 연결사 : 부정, 연언 그리고 선언

3주. 문장 논리의 언어와 진리표를 이용한 타당성 증명

4주. 조건문, 쌍조건문, 필요조건 그리고 충분조건

5주. 문장 논리 1 : 자연 연역에 의한 타당성 증명

6주. 문장 논리 2 : 파생 규칙

7주. 중간고사

8주. 술어 논리 1 : 술어 논리의 언어

9주. 술어 논리 2 : 의미론과 타당성

10주. 다중 양화 문장

11주. 술어 논리의 자연 연역

12주. 동일성 문장과 확정 기술어구

13주. 재구성을 통한 논증의 이해

14주. 논리학의 가치

15주. 기말고사