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

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주 공리, 규칙, 그리고 체계