설명
명제논리 및 술어논리의 기본 기법 검토. 자연 연역과 일관성 트리. 건전성 및 완전성. 대체 의미론. 기초 논리의 확장: 동일성, 가능한 세계 의미론을 갖는 양상 논리, 3값 체계, 의무론적(규범) 논리.
선수 과목
- 선수과목: PHIL 2001 또는 학과 허가.
조건 및 세부사항
- 추가 학점 인정 불가: PHIL 3305.
- 선수과목: PHIL 2001 또는 학과 허가.
- 주당 강의 3시간.
원문 참조 텍스트
A review of the basic techniques of propositional and predicate logic. Natural deduction and consistency trees. Soundness and completeness. Alternative semantics. Extensions to basic logic: identity, modal logic with possible world semantics, three valued systems, deontic logic.
- Prerequisite(s): PHIL 2001 or permission of the Department.
- Precludes additional credit for Precludes additional credit for PHIL 3305.
- Lectures three hours a week.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/undergrad/courses/PHIL/