설명
형식 논리의 기법과 철학적 함의에 대한 입문으로, 표현의 기호적 형식 번역, 논리적 타당성 검사, 추론 규칙의 형식화 및 응용, 논리와 언어의 관계에 중점. 1학년 학생 수강 가능.
조건 및 세부사항
- 매주 강의 3시간. 선정된 학기에 튜토리얼이 제공될 수 있음.
원문 참조 텍스트
An introduction to the techniques and philosophical implications of formal logic with emphasis on translation of expressions into symbolic form, testing for logical correctness, the formulation and application of rules of inference, and the relation between logic and language. Open to first-year students.
- Lectures three hours a week. Tutorials may be offered in selected terms.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/undergrad/courses/PHIL/