[강의계획서] 논리철학연습: 양상 논리 (권홍우, 2011년 2학기)

- 수업명: <논리철학연습: 양상 논리>

- 2011년 2학기

- 서울대 철학과 대학원

- 담당교수: 권홍우

​

​

■ 수업목표

​

양상논리는 필연성과 가능성의 논리학이다. 양상논리는 20세기 이래 명제논리 및 일차술어논리에 양상 연산자(“□”와 “◇”)를 도입하고, 이에 가능세계 의미론을 부여하는 방식으로 주로 발전되어 왔다. 이 강의의 주된 관심도 이러한 표준적인 양상논리가 될 것이다. 본 강의의 목표는 일차적으로는 양상논리의 기본적인 개념, 주요 체계, 그리고 중요 메타논리적 결과들을 익히는데 있지만, 강의 전반에 걸쳐 양상논리와 가능세계 모형의 철학적인 응용이나 함축에 대해서도 관심의 끈을 놓지 않을 것이다 (가령, 형식의미론이나, 수반, 인과 등등의 형이상학적 문제, 심리철학에서의 지향성의 문제, 확률 이론 및 형식인식론, 결정이론 등등). 보다 일반적으로는 본 강의가 제반 철학적 문제에 대한 형식적 사유 능력을 증대시키기를 기대한다.

​

​

■ 강의 내용 및 목표

​

양상논리는 필연성과 가능성의 논리학이다. 양상논리는 20세기 이래 명제논리 및 일차술어논리에 양상 연산자 (“□” 와 “◇”) 를 도입하고, 이에 다음과 같은 방식으로 가능세계 의미론을 부여하는 방식으로 주로 발전되어 왔다.

​

“p”는 참이다 iff “p”는 모든 가능세계에서 참이다.

​

본 강의의 목표는 일차적으로는 이러한 표준적인 양상논리의 기본적인 개념, 주요체계, 그리고 중요 메타논리적 결과들을 익히는데 있다. 하지만 강의 전반에 걸쳐 가능세계 모형의 형이상학적 위상, 그 철학적 응용 등등에 대해서도 관심의 끈을 놓지 않을 것이다 (가령, 형식의미론이나, 수반, 인과 등등의 형이상학적 문제, 심리철학에서의 지향성의 문제, 확률 이론 및 형식인식론, 결정이론 등등). 보다 일반적으로는 본 강의가 제반 철학적 문제에 대한 형식적 사유 능력을 증대시키기를 기대한다.

​

​

■ 교재

​

• Hughes & Cresswell (1996), A New Introduction to Modal Logic (이전 버전(1971)으로 대체 불가).

​

그 외 세미나에서 읽거나 참고하고자 하는 논문들은 다음과 같다.

• Adams (1974), “Theories of Actuality”

• von Fintel (2006), “Modality and Language”

• Kripke (1963), “Semantical Considerations on Modal Logic”

• Plantinga (1976), “Actualism and Possible Worlds”

• Quine (1953), “Three Grades of Modal Involvement”

• Stalnaker (1984), “Possible Worlds”

• Stalnaker (1994), “The Interaction of Modality with Quantification and Identity”

• Stalnaker (2011), “Possible Worlds Semantics: Philosophical Foundations”

• Williamson (2002), “Necessary Existents”

​

​

■ 평가방식

​

매주 짧은 논평문이나 연습문제 풀이 과제가 있을 것이다. 그 중 2/3의 성적만을 최종 성적에 반영하도록 하겠다. (청강하는 학생들도 연습문제 풀이 과제를 제출할 것을 권한다.) 기말 논문은 없는 대신, 기말 시험이 있을 것이다. 수강자들의 선호에 따라 재택시험으로 할 수 있다.

​

​

■ 대략적인 일정

​

(수강자들의 이해 정도에 따라 완급을 조절하겠다.)

​

I부. 도입

​

1주. 개요 및 표준 논리 (고급) 개관: 1장 전반부

2주. 철학적, 역사적 입문: Quine (1953), Hughes et al. 1장 후반부

​

II부. 명제 양상논리

​

3주. 정상(normal) 양상체계 K, D, T, B, S4, S5 등등: 2-3장

4주. 가능세계 의미론, 건전성: 2-3장

5주. 타당성 검증 절차: 4장

6주. 철학적 막간 - 가능세계의 철학: Adams(1974), Stalnaker (1984)

7주. 표준(canonical) 모형 및 완전성(completeness) 증명: 6장

8주. 유한 모형과 양상체계 KW(또는 GL): 7-8장

9주. 양상체계 KH, 불완전성: 9장

​

III부. 술어양상논리

​

10주. 술어 양상논리의 공리체계, 의미론: 13장

11주. 발칸 포뮬라(Barcan formula)와 역발칸 포뮬라: Kripke (1963), 15장

12주. 철학적 막간 - 가능적 존재자의 문제: Plantinga(1976), Williamson(2002).

13주. 동일성과 필연성: 17장

14주. 상대역(counterpart) 이론: 19장, Stalnaker(1994)

15주. 결론

​

​

(2015.12.05.)