Numbering Code	G-LET01 75143 SJ34	Year/Term	2022 ・ Second semester
Number of Credits	2	Course Type	Seminar
Target Year		Target Student
Language	Japanese and English	Day/Period	Mon.5
Instructor name	ＯＮＩＳＨＩ　TＡＫＵＲＯ (Graduate School of Letters 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.