Numbering Code G-LET01 75143 SJ34 Year/Term 2021 ・ Second semester
Number of Credits 2 Course Type Seminar
Target Year Target Student
Language Japanese and English Day/Period Mon.5
Instructor name ONISHI TAKURO (Center for the Promotion of Interdisciplinary Education and Research Program-Specific Associate Professor)
Outline and Purpose of the Course This course aims to furnish students with basics in logical topics which are required in reading and writing papers in philosophy. It will cover the theory of strict implication, intuitionist logic, many-valued logic, relevant logic, and related philosophical debates.
Course Goals To master basic skills to deal with logic used in philosophy papers. To obtain broad knowledge about various logical systems and related philosophical issues.
Schedule and Contents 1. Introduction
2. Strict implication (1) Paradox of material implication
3. Strict implication (2) Paradox of strict implication
4. Intuitionist logic (1) BHK interpretation and proof-theoretic semantics
5. Intuitionist logic (2) Hereditary model
6. Intuitionist logic (3) Constructivity
7. Intuitionist logic (4) S4-embedding
8. Many-valued logic (1) Consistency and completeness
9. Many-valued logic (2) FDE, LP, K3, and CL
10.Relevant logic (1) Fallacy of relevance
11.Relevant logic (2) Impossible world
12.Relevant logic (3) Ternary relation
13.Relevant logic (4) Structural rules and relevance
14.Negation as modal operator
15.Wrap up: non-classical logic and philosophy
Evaluation Methods and Policy Your final grade will be evaluated by your scores on homework exercises and a term paper.
Course Requirements Students are supposed to complete my course in the first semester or be familiar with modal logic and possible world semantics.
Study outside of Class (preparation and review) Weekly homework exercises.
Textbooks Textbooks/References No specific textbook. Lecture notes will be distributed.
Related URL Lecture notes for 2019 available here.