Nevşehir Hacı Bektaş Veli University Course Catalogue
|
|||||
| Year/Semester of Study | 4 / Fall Semester | ||||
| Level of Course | 1st Cycle Degree Programme | ||||
| Type of Course | Optional | ||||
| Department | PHILOSOPHY | ||||
| Pre-requisities and Co-requisites | None | ||||
| Mode of Delivery | Face to Face | ||||
| Teaching Period | 14 Weeks | ||||
| Name of Lecturer | ARMAN BESLER (armanbesler@nevsehir.edu.tr) | ||||
| Name of Lecturer(s) | |||||
| Language of Instruction | Turkish | ||||
| Work Placement(s) | None | ||||
| Objectives of the Course | |||||
| The aim of this course is to introduce the student to the history and modern instances of philosophical thinking on the disciplines of logic and mathematics. | |||||
| Learning Outcomes | PO | MME | |
| The students who succeeded in this course: | |||
| LO-1 | can explain the notion of formal science, and identify formal sciences. |
PO-1 Developing skills of analytic and synthetic thinking, reading and writing. PO-14 Approaching in a philosophical-logical manner to discussions in non-philosophical fields. PO-15 Identifying the philosophical-logical facets of problems treated in given scientific texts, and locating within the philosophical literature possible solutions to such problems. |
Examination |
| LO-2 | can explain the notion of axiomatic system in general terms. |
PO-12 Attaining knowledge and using sources in the field of history of science. PO-15 Identifying the philosophical-logical facets of problems treated in given scientific texts, and locating within the philosophical literature possible solutions to such problems. |
Examination |
| LO-3 | can explain the Leibnizian and Kantian approaches to the relation between mathematics and logic. |
PO-3 Conducting research on, and developing methods in solving, philosophical problems treated in philosophical texts. PO-8 Understanding, resolving and – if need be – manipulating singular problems confronted in sub-disciplines of philosophy. PO-14 Approaching in a philosophical-logical manner to discussions in non-philosophical fields. |
Examination |
| LO-4 | can explain the main currents in modern philosophy of mathematics. |
PO-8 Understanding, resolving and – if need be – manipulating singular problems confronted in sub-disciplines of philosophy. PO-12 Attaining knowledge and using sources in the field of history of science. PO-14 Approaching in a philosophical-logical manner to discussions in non-philosophical fields. |
Examination |
| LO-5 | can explain the philosophical import of geometrical cognition, and grasp the application of the geometrical method. |
PO-1 Developing skills of analytic and synthetic thinking, reading and writing. PO-12 Attaining knowledge and using sources in the field of history of science. PO-14 Approaching in a philosophical-logical manner to discussions in non-philosophical fields. |
Examination |
| PO: Programme Outcomes MME:Method of measurement & Evaluation |
|||
| Course Contents | ||
| Presentation of the formal science-positive science distinction; identification of the roots of the analytic cognition-synthetic cognition divide in classical philosophy; a brief examination of the relation between logic and mathematics in Leibniz and Kant; a discussion on the philosophical import of analytical geometry; presentation of the birth and modern scientific outcomes of non-Euclidean geometries; presentation of the logicist, intuitionist and formalist views in modern philosophy of mathematics; presentation of the common sub-disciplines of logic and mathematics. | ||
| Weekly Course Content | ||
| Week | Subject | Learning Activities and Teaching Methods |
| 1 | The formal science-positive science distinction | Lecture |
| 2 | The development of mathematical thought in broad perspective | Lecture |
| 3 | Pythagoras, Euclid and Plato | Lecture |
| 4 | The Leibnizian division of truths | Lecture |
| 5 | The Kantian division of truths/cognitions | Lecture |
| 6 | The philosophical import of non-Euclidean geometries | Lecture |
| 7 | The notion of axiomatic system | Lecture |
| 8 | mid-term exam | |
| 9 | The development of modern philosophy of mathematics | Lecture |
| 10 | The logicist program | Lecture |
| 11 | The philosophical outcomes of the logicist program | Lecture |
| 12 | The intuitionist approach | Lecture |
| 13 | The formalist approach | Lecture |
| 14 | The common sub-disciplines of logic and mathematics | Lecture |
| 15 | The future of mathematics | Lecture and discussion |
| 16 | final exam | |
| Recommend Course Book / Supplementary Book/Reading | ||
| 1 | Reichenbach, H. (2000), Bilimsel Felsefenin Doğuşu, çev. Yıldırım, C., İstanbul: Bilgi. | |
| 2 | Yıldırım, C. (2000), Matematiksel Düşünme, İstanbul: Remzi Kitabevi. | |
| 3 | Frege, G. (2014), Aritmetiğin Temelleri: Sayı Kavramı Üzerine Mantıksal-Matematiksel Bir İnceleme, çev. Gözkan, B., İstanbul: Yapı Kredi Yayınları. | |
| Required Course instruments and materials | ||
| Coursebook | ||
| Assessment Methods | |||
| Type of Assessment | Week | Hours | Weight(%) |
| mid-term exam | 1 | 1 | 40 |
| Other assessment methods | |||
| 1.Oral Examination | |||
| 2.Quiz | |||
| 3.Laboratory exam | |||
| 4.Presentation | |||
| 5.Report | |||
| 6.Workshop | |||
| 7.Performance Project | |||
| 8.Term Paper | |||
| 9.Project | |||
| final exam | 1 | 1 | 60 |
| Student Work Load | |||
| Type of Work | Weekly Hours | Number of Weeks | Work Load |
| Weekly Course Hours (Theoretical+Practice) | 3 | 14 | 42 |
| Outside Class | |||
| a) Reading | 5 | 14 | 70 |
| b) Search in internet/Library | 0 | ||
| c) Performance Project | 0 | ||
| d) Prepare a workshop/Presentation/Report | 0 | ||
| e) Term paper/Project | 0 | ||
| Oral Examination | 0 | ||
| Quiz | 0 | ||
| Laboratory exam | 0 | ||
| Own study for mid-term exam | 5 | 5 | 25 |
| mid-term exam | 1 | 1 | 1 |
| Own study for final exam | 5 | 5 | 25 |
| final exam | 1 | 1 | 1 |
| 0 | |||
| 0 | |||
| Total work load; | 164 | ||