Akademik Dersler - Tanıtım

Last Updated: 30/09/2026

Code - Course Title	Course Type	Laboratory + Practice	ECTS
FEL510 - Philosophical Logic	II. SEMESTER	3 +0	6.0

Language of Instruction	Türkçe
Course Type	Elective Courses
Course Instructor(s)	DOÇ. DR. İSKENDER TAŞDELEN
Mode of Delivery	The mode of delivery for this course is face to face.
Place of Delivery
Used Educational Platforms
Prerequisites	Symbolic Logic I and Symbolic Logic II, or equivalents, are prerequisites for this course.
Courses Recomended	None
Recommended Resources	James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 2013
Work Placement	N/A
Aims of the Course

Weeks	Learning Outcomes	Topics	Teaching Methods
Week - 1		Revision of topics in classical propositional logic
Week - 2		Logical modalities, modal propositions, language of modal propositional logic
Week - 3		Kripke semantics for modal propositional logic
Week - 4		Kripke semantics for modal propositional logic (cont.)
Week - 5		Natural deduction system for modal propositional logic
Week - 6		Natural deduction system for modal propositional logic (cont.)
Week - 7		Natural deduction system for modal propositional logic (cont.)
Week - 8		Recapitulation of previous topics
Week - 9		Mid-term
Week - 10		Revision of topics in classical quantificational logic
Week - 11		Kripke semantics for modal quantificational logic
Week - 12		Kripke semantics for modal quantificational logic (cont.)
Week - 13		Natural deduction system for modal quantificational logic
Week - 14		Natural deduction system for modal quantificational logic (cont.)

No content has been provided.

No content has been provided.

No content has been provided.

Assessment Method and Passing Requirements
	Quamtity	Percentage (%)
Toplam (%)