http://zolaist.org/wiki/index.php?title=%EB%85%BC%EB%A6%AC%EC%B2%A0%ED%95%99%EC%97%B0%EC%8A%B5_(%EC%96%91%EC%83%81%EB%85%BC%EB%A6%AC)&feed=atom&action=history
논리철학연습 (양상논리) - 편집 역사
2024-03-29T10:04:19Z
이 문서의 편집 역사
MediaWiki 1.36.0
http://zolaist.org/wiki/index.php?title=%EB%85%BC%EB%A6%AC%EC%B2%A0%ED%95%99%EC%97%B0%EC%8A%B5_(%EC%96%91%EC%83%81%EB%85%BC%EB%A6%AC)&diff=2176&oldid=prev
imported>Zolaist: /* 강의 계획 */
2017-05-11T07:36:51Z
<p><span dir="auto"><span class="autocomment">강의 계획</span></span></p>
<p><b>새 문서</b></p><div>*개설학기 : 2004년 1학기 <br />
*담당교수 : 김영정<br />
<br />
== 교과목 개요 ==<br />
<br />
양상논리학의 기본 개념과 그 철학적 함축들을 익히는 것이 이 교과목의 목표이다. 학습 내용은 크게 기본적인 양상명제논리, 정상양화체계, 양상술어논리의 세 파트로 구성된다.<br />
<br />
== 교재 및 참고서 ==<br />
<br />
*주교재 : Hughes & Cresswell, ''A New Introduction to Modal Logic'' (Rutledge, 1968).<br />
*참고교재 : 손병홍, {{책|가능세계의 철학}} (소피아, 2004).<br />
<br />
==강의 계획 == <br />
<br />
*1주 양상논리학의 기본 개념들<br />
*2주 체계 K, T 그리고 D ([[미디어:양상논리 2장 과제.pdf|과제]])<br />
*3주 체계 S4, S5, B, Triv, 그리고 Ver ([[미디어:양상논리 3장 과제.pdf|과제]])<br />
*4주 타당성 테스트 ([[미디어:양상논리 4장 과제.pdf|과제]])<br />
*5주 [[미디어:양상논리 5장. 연언정상형식.pdf|연언정상형식]] <br />
*6주 완전성<br />
*7주 정상 양상체계의 표준적 모형들 ([[미디어:양상논리 7장 과제.pdf|과제]])<br />
*8주 유한 모형들<br />
*9주 [[미디어:양상논리 9장. 불완전성.pdf|불완전성]] ([[미디어:양상논리 9장. 불완전성 번역.pdf|번역]])<br />
*10주 틀과 체계<br />
*11주 엄밀 함축<br />
*12주 추가 고려사항들<br />
*13주 술어논리<br />
*14주 양상술어논리의 완전성<br />
*15주 논의 영역의 확장<br />
*16주 양상성과 존재<br />
*17주 동일성과 기술<br />
*18주 내포적 대상들<br />
*19주 추가 논의거리들<br />
*20주 [[미디어:양상논리 부록. 공리, 규칙 그리고 체계.pdf|공리, 규칙, 그리고 체계]]<br />
<br />
[[분류:수업]]<br />
[[분류:논리철학]]</div>
imported>Zolaist