- 개설학기 : 2004년 1학기
- 담당교수 : 김영정
교과목 개요
양상논리학의 기본 개념과 그 철학적 함축들을 익히는 것이 이 교과목의 목표이다. 학습 내용은 크게 기본적인 양상명제논리, 정상양화체계, 양상술어논리의 세 파트로 구성된다.
교재 및 참고서
- 주교재 : Hughes & Cresswell, A New Introduction to Modal Logic (Rutledge, 1968).
- 참고교재 : 손병홍, 『가능세계의 철학』 (소피아, 2004).
강의 계획
- 1주 양상논리학의 기본 개념들
- 2주 체계 K, T 그리고 D (과제)
- 3주 체계 S4, S5, B, Triv, 그리고 Ver (과제)
- 4주 타당성 테스트 (과제)
- 5주 연언정상형식
- 6주 완전성
- 7주 정상 양상체계의 표준적 모형들 (과제)
- 8주 유한 모형들
- 9주 불완전성 (번역)
- 10주 틀과 체계
- 11주 엄밀 함축
- 12주 추가 고려사항들
- 13주 술어논리
- 14주 양상술어논리의 완전성
- 15주 논의 영역의 확장
- 16주 양상성과 존재
- 17주 동일성과 기술
- 18주 내포적 대상들
- 19주 추가 논의거리들
- 20주 공리, 규칙, 그리고 체계