説明
形式論理の技法とその哲学的含意への導入。記号表現への翻訳、論理的正しさの検査、推論規則の定式化と適用、論理と言語の関係に重点を置く。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/