Skip to content. | Skip to navigation

  • 日本語
  • English
 
You are here: Home en Syllabuses (2020) Graduate School of Letters Taught in Japanese and English 5143007Philosophy

5143007Philosophy

JA | EN

Numbering Code
  • G-LET01 75143 SJ34
Term 2020/First semester
Number of Credits 2 credits
Course Type Seminar
Target Student Graduate
Language Japanese and English
Day/Period Mon.5
Instructor(s)
  • ONISHI KAKUROPart-time Lecturer ONISHI KAKURO
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
Grading Policy Your final grade will be evaluated by your scores on homework exercises and a term paper.
Prerequisites None
Preparation and Review Weekly homework exercises.
Textbook
  • No specific textbook. Lecture notes will be distributed.
Related URL(s)
  • https://sites.google.com/site/onishitakuro/teaching/2019logic