The aim of this course is to enable the students to question philosophical foundations of mathematics.
The nature of mathematical knowledge since Plato. The comparison of the nature of mathematical knowledge with the philosophical knowledge. The discussion of the problems about the foundation on which mathematical knowledge rests; the question whether mathematics is discovered or invented; the origin of the first principles and axioms of mathematics. A critical examination of the three views about the foundation of mathematics (Logicism, Intuitionism, Formalism).
Vertical Tabs
Course Learning Outcomes
Learning Outcomes Upon the completion of this course a student: |
Program Learning Outcomes |
Teaching Methods |
Assessment Methods |
1) acquires critical approach to the nature of mathematical knowledge. |
1,2,3,6,8,11,12 |
1,2,3,4 |
A,B,C,D,E |
2) discusses the problems about the foundation on which mathematical knowledge rests. |
1,2,3,6,11,12 |
1,2,3,4 |
A,B,C,D,E |
3) relates to epistemological concepts in a historical and critical way. |
1,2,3,6,7,11,12 |
1,2,3,4 |
A,B,C,D,E |
4) grasps the historical significance of mathematical knowledge. |
1,2,3,6,7,11,12 |
1,2,3,4 |
A,B,C,D,E |
5) distinguishes the importance of the question whether mathematics is discovered or invented. |
1,2,3,6,7,8,11,12 |
1,2,3,4 |
A,B,C,D,E |
Course Flow
COURSE CONTENT |
||
Week |
Topics |
Study Materials |
1 |
Infinitistic theorems in XVIIth century mathematics. |
17th century mathematics |
2 |
The foundations of the Leibnizian differential calculus and Berkeley's Analyst. |
Leibniz |
3 |
Kant on pure intuition in arithmetic and geometry. |
Kant |
4 |
The arithmetization of analysis: Bolzano's proof of the intermediate value theorem |
Brentano |
5 |
Dedekind's theory of irrational and natural numbers. |
Dedekind |
6 |
Frege's Begriffsschrift. |
Frege |
7 |
Frege's The Foundations of Arithmetic. |
Frege |
8 |
Frege's The Foundations of Arithmetic. |
Frege |
9 |
Frege's The Foundations of Arithmetic. |
Frege |
10 |
Review |
- |
11 |
The emergence of Cantorian set theory and the mathematical theory of the infinite; Zermelo's axiom of choice and his axiomatization of set theory; semi-intuitionism. |
Set Theory |
12 |
Hilbert's program I (axiomatization). |
Hilbert |
13 |
Russell's type theory |
Russell |
14 |
Hilbert's program II (proof theory); Gödel's results |
Hilbert |
15 |
General Assessment |
- |
16 |
Final Exam |
- |
Recommended Sources
RECOMMENDED SOURCES |
|
Textbook |
Course Reader prepared by the instructor. |
Additional Resources |
Frege, The Foundations of Arithmetic, Northwestern University Press. Dedekind, Essays on the Theory of Numbers, Dover. P. Mancosu, ed., From Brouwer to Hilbert: The debate on foundations of mathematics in the 1920s, Oxford University Press, 1998.
|
Material Sharing
MATERIAL SHARING |
|
Documents |
- |
Assignments |
- |
Exams |
- |
Assessment
ASSESSMENT |
||
IN-TERM STUDIES |
NUMBER |
PERCENTAGE |
Attendance |
15 |
10 |
Midterm |
- |
- |
Participation in seminar discussions |
15 |
10 |
Assignments |
1 |
10 |
Presentation |
1 |
10 |
Critical reading notes |
10 |
10 |
Final examination |
1 |
10 |
Final Paper |
1 |
40 |
Total |
|
100 |
CONTRIBUTION OF FINAL PAPER TO OVERALL GRADE |
|
40 |
CONTRIBUTION OF IN-TERM STUDIES TO OVERALL GRADE |
|
60 |
Total |
|
100 |
Course’s Contribution to Program
COURSE’S CONTRIBUTION TO THE PROGRAM |
|||||||
No |
Program Learning Outcomes |
Contribution |
|||||
1 |
2 |
3 |
4 |
5 |
|
||
1 |
acquires fundamental conceptual and methodological knowledge to use productively and creatively in academic studies. |
|
|
|
X |
|
|
2 |
improves a versatile critical and analytical approach, problem-solving, interpretative and argumentative skills in relation to advanced philosophical investigations. |
|
|
|
|
X |
|
3 |
proves to be a philosopher with principles, who communicates effectively, is specifically successful in written and oral presentation, has proper capacities for teamwork and interdisciplinary studies, takes the initiative, has developed a sense of responsibility, and contributes original ideas to the field of philosophy.
|
|
|
|
X |
|
|
4 |
applies life-long learning attitude to various ways of acquiring knowledge in order to maintain a professional and personal development.
|
|
|
X |
|
|
|
5 |
develops a consciousness of professional and social ethics. |
|
|
X |
|
|
|
6 |
acquires the necessary skill of choosing and developing actual means and using computing technologies effectively for a philosophical study .
|
|
|
|
|
X |
|
7 |
conducts an advanced study in history of philosophy which requires expertise, independently by using original texts. |
X |
|
|
|
|
|
8 |
applies philosophical knowledge to questions concerning contemporary, socio-cultural and political problematics.
|
|
|
X |
|
|
|
9 |
considers universal values and concepts of philosophy as a basis for [furthering] philosophical studies in Turkey; and is able to develop an approach to study and analyse issues that might arise when conducting discussions concerning history of philosophy in the Turkish language. |
|
X |
|
|
|
|
10 |
acquires the skill and background for making contributions to the field of history of philosophy, in national and international terms.
|
|
|
X |
|
|
|
11 |
uses his/her philosophical knowledge to establish interactions at national and international level.
|
|
|
X |
|
|
|
12 |
produces work of the quality of a contribution in national and international peer-reviewed journals in philosophy.
|
|
|
X |
|
|
|
13 |
holds the necessary knowledge of classical languages, a modern language in addition to English and history of philosophy to conduct an advanced philosophical study particularly in history of philosophy. |
X |
|
|
|
|
|
ECTS
ECTS ALLOCATED BASED ON STUDENT WORKLOAD BY THE COURSE DESCRIPTION |
|||
Activities |
Quantity |
Duration |
Total |
Course Duration (Including the exam week: 16 x Total course hours) |
16 |
10 |
160 |
Hours for off-the-classroom study (Pre-study, practice) |
15 |
10 |
150 |
Midterms |
- |
- |
- |
Assignments |
1 |
40 |
40 |
Presentation |
1 |
30 |
30 |
Critical reading notes |
10 |
4 |
40 |
Final examination |
1 |
40 |
40 |
Final Paper |
1 |
40 |
40 |
Total Work Load |
|
|
500 |
Total Work Load / 25 (h) |
|
|
20 |
ECTS Credit of the Course |
|
|
20 |