Numbering Code	G-LET01 75143 SJ34	Year/Term	2022 ・ First 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 classical propositional/predicate logic, modal propositional/predicate 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. Elementary set theory 3. Classical propositional logic (1) Defining formal language 4. Classical propositional logic (2) Counter model and validity 5. Classical propositional logic (3) Problems concerning material implication 6. Propositional modal logic (1) Modality and possible world 7. Propositional modal logic (2) Validity 8. Propositional modal logic (3) Correspondence theory 9. Classical predicate logic (1) Quantifiers 10.Classical predicate logic (2) Multiple qunatification 11.Classical predicate logic (3) Identity 12.Relation between modal logic and predicate logic 13.Predicate modal logic (1) De re and de dicto 14.Predicate modal logic (2) Constant and variable domains 15.Wrap up: from a logical point of view
Evaluation Methods and Policy	Your final grade will be evaluated by your scores on homework exercises and a term paper.
Course Requirements	None
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