Akademik Dersler - Tanıtım

Last Updated: 24/10/2025

Code - Course Title	Course Type	Laboratory + Practice	ECTS
MNT406 - Logicand Philosophy of Mathematics	VIII. SEMESTER	3 +0	4.5

Language of Instruction	Türkçe
Course Type	Area Elective Courses
Course Instructor(s)
Mode of Delivery	The mode of delivery for this course is face to face.
Place of Delivery
Used Educational Platforms
Prerequisites	A knowledge of basic quantificational logic is expected.
Courses Recomended	Program courses MNT102 and MNT203 are recommended.
Recommended Resources	Matematiksel Düşünme, Cemal Yıldırım, Remzi Kitabevi, 2019
Work Placement	None
Aims of the Course

Weeks	Learning Outcomes	Topics	Teaching Methods
Week - 1		A brief history of mathematics
Week - 2		Philosophical views about mathematics before contemporary philosophies of mathematics (Pythagoreanism, Plato, Aristotle,...)
Week - 3		Philosophical views about logic before contemporary philosophies of logic (Descartes, Leibniz, Kant,...)
Week - 4		Foundation of the contemporary logic
Week - 5		Midterm Examination
Week - 6		Logicism
Week - 7		Logicism (continuation)
Week - 8		Formalism
Week - 9		Formalism (continuation)
Week - 10		Intiutionistic logic and mathematical intiutionism
Week - 11		Intiutionistic logic and mathematical intiutionism (devam)
Week - 12		Logical pluralism
Week - 13		Some other views about the foundations of mathematics
Week - 14		Some other views about the foundations of mathematics (continuation)

No content has been provided.

No content has been provided.

No content has been provided.

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