- 수업명: <기호논리학>
- 2019년 2학기
- 서울대 철학과 학부 전공 수업
- 담당교수: 강진호
■ 수업목표
논리학은 타당한 논증과 부당한 논증이 어떻게 구별될 수 있으며 논증의 타당성이 어떠한 법칙들에 근거하고 있는지 탐구하는 학문이다. 모든 학문적 탐구에 있어서 논증을 통해 자신이 개진하고자 하는 주장의 근거를 제시하는 과정이 필수적으로 요구되므로, 논리학은 다른 모든 학문의 기초를 제공한다고 볼 수 있다. 특히 독일의 수학자이자 철학자인 고틀롭 프레게(Gottlob Frege, 1848-1925)가 처음 창안한 현대 기호논리학은 논증을 형식화하고 그 타당성을 분석하는 데 있어 수학적 기법을 도입함으로써 엄밀성과 명료함, 그리고 적용가능성에 있어 비약적인 발전을 이루었다. 오늘날 기호논리학은 철학, 수학, 언어학, 컴퓨터공학, 인지과학 등 다양한 학문 분야에서 중요한 도구로 활용되고 있다.
본 강좌는 현대 기호논리학의 기본적 내용을 개괄하는 것을 목적으로 한다. 교재 1장과 2장에서는 기호논리학을 공부하기 위해 필요한 주요 개념들을 살펴본다. 3장에서는 형식언어 𝓛의 문법을 배운다. 4장에서는 ‘해석 하에서의 참’ 개념을 바탕으로 형식언어 𝓛의 문장들로 이루어진 논증의 타당성과 부당성을 검토하는 방법을 연습한다. 5장에서는 일상언어로 표현된 논증을 𝓛에서 어떻게 형식화할 수 있는지 고찰한다. 6장과 7장에서는 L의 문장들로 형식화된 논증의 타당성을 증명할 수 있는 형식체계 BM과 BM+를 각각 살펴보고, BM과 BM+의 추론규칙들을 사용하여 타당한 논증의 결론을 그 전제들로부터 도출하는 것을 연습한다. 8장에서는 메타논리학에 관해 고찰하면서 특히 형식체계 BM+의 건전성과 완전성을 증명한다. 마지막으로 철학과 기호논리학의 관계에 대해 논의한다.
본 강좌를 수강한 학생들은 기호논리학의 기본적 내용을 습득하는 것 이외에도, 다양한 논증들을 가장 엄밀한 수준에서 분석하고 그 타당성 여부를 검토하는 훈련을 통해 전공 분야를 막론하고 자신의 생각을 체계적으로 엄밀하게 전개하는 능력을 기를 수 있을 것이다.
■ 교재 및 참고문헌
벤슨 메이츠, 『기호논리학』 (김영정・선우환 옮김. 문예출판사, 1995)
■ 성적 평가 방식
본 강좌의 성적은 다음과 같은 방식으로 평가된다.
(1) 출석 (5%)
(2) 연습문제 풀이 제출 (20%)
(3) 중간고사 (30%)
(4) 기말고사 (45%)
- 출석: 어느 강좌를 막론하고 담당교수는 성실하게 강의할 의무를, 수강생은 성실하게 수업에 들어올 의무를 가지고 있다. 수강생이 정당한 이유 없이 수업에 결석할 경우 이를 성적 평가에 반영할 것이다. 정당한 이유가 있어 수업에 결석해야 하는 학생은 수업시간 전 미리 담당교수에게 연락을 취해야 한다.
- 연습문제 풀이 제출: 교재 각 장마다 연습문제가 수록되어 있다. 수강생들은 지정된 날짜까지 해당 장의 연습문제를 풀어서 제출해야 한다. 모범답안은 강의게시판에 게시된다. 연습문제는 채점하지 않으며 수강생들은 모든 문제를 풀어서 내기만 하면 지정된 배점을 모두 받을 수 있다. 단 연습문제를 일부만 풀었을 경우에는 부분 배점을 적용한다. 또한 다른 수강생의 리포트나 기존의 풀이를 베꼈을 경우에는 0점 처리한다.
- 중간고사와 기말고사: 아래 지정된 날짜에 중간고사와 기말고사를 본다. 모범답안은 강의게시판에 게시된다. 중간고사와 기말고사 답안지는 담당교수와 상의 하에 강의조교가 채점하고 담당교수가 보관한다. 채점에 이의가 있는 수강생은 면담을 신청하여 자신의 답안지를 검토할 수 있다.
■ 수강생 유의 사항
• 본 강좌 수강을 희망하는 학생들의 수가 정원을 초과할 경우 초안지를 받는다. 초안지 제출 시기는 9월 2일(월) 첫 강의 후이며, 본 강좌가 철학과 전공 필수 과목임을 감안하여 철학 전공(복수전공, 부전공) 여부와 졸업 시기, 학번 등에 대한 종합적 고려를 바탕으로 정원의 20%인 20명 한도 내에서 학생들을 선정한다.
• 본 강좌 수강을 위해 별도의 논리학 배경지식이 요구되지는 않는다.
• 수업일수의 1/3을 초과하여 결석하거나 또는 시험에서 부정행위가 발견될 경우 F 처리한다.
■ 강좌 일정
09월 02일(월)
- 과목 소개
- 서장 (1장)
09월 04일(수)
- 서장 (1장)
09월 09일(월)
- 보다 정도 높은 예비사항들 (2장)
09월 11일(수) / [추석연휴 휴강]
09월 16일(월)
- 보다 정도 높은 예비사항들 (2장)
- 1장 연습문제 제출
09월 18일(수)
- 보다 정도 높은 예비사항들 (2장)
09월 23일(월)
- 형식언어 𝓛 (3장)
- 2장 연습문제 제출
09월 25일(수)
- 해석과 타당성 (4장)
09월 30일(월)
- 해석과 타당성 (4장)
- 3장 연습문제 제출
10월 02일(수)
- 해석과 타당성 (4장)
10월 07일(월)
- 해석과 타당성 (4장)
10월 09일(수) / [한글날 휴강]
10월 14일(월)
- 자연언어를 𝓛로 번역하기 (5장)
- 4장 연습문제 제출
10월 16일(수)
- 자연언어를 𝓛로 번역하기 (5장)
10월 21일(월)
- 자연언어를 𝓛로 번역하기 (5장)
10월 23일(수)
- 동어반복적 문장들 (6장)
10월 26일(토) / 중간고사 (18:00~21:00)
10월 28일(월)
- 동어반복적 문장들 (6장)
10월 30일(수)
- 동어반복적 문장들 (6장)
11월 04일(월)
- 동어반복적 문장들 (6장)
- 5장 연습문제 제출
11월 06일(수)
- 동어반복적 문장들 (6장)
11월 11일(월)
- 𝓛의 추론규칙들 (7장)
11월 13일(수)
- 𝓛의 추론규칙들 (7장)
11월 18일(월)
- 𝓛의 추론규칙들 (7장)
- 6장 연습문제 제출
11월 20일(수)
- 𝓛의 추론규칙들 (7장)
11월 25일(월)
- 𝓛의 추론규칙들 (7장)
11월 27일(수)
- 약간의 메타정리들 (8장)
12월 02일(월)
- 약간의 메타정리들 (8장)
- 7장 연습문제 제출
12월 04일(수)
- 약간의 메타정리들 (8장)
12월 09일(월)
- 약간의 메타정리들 (8장)
12월 11일(수)
- 철학과 기호논리학
12월 14일(토) / 기말고사 (18:00~21:00)
(2023.07.04.)
