PhiLoSci Wiki
논리철학연습 (양상논
리)
개설학기 : 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주 공리, 규칙, 그리고 체계
원본 주소 "http://zolaist.org/wiki/index.php?title=
논리철학연습_(양상논리)&oldid=2176"
imported>Zolaist님이 5년 전에 마지막으로 편집함