논리철학연습 (양상논리)

• 개설학기 : 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주 공리, 규칙, 그리고 체계