Information Package / Course Catalogue
Philosophy and Symbolic Logic of Mathematics
Course Code: MTE526
Course Type: Area Elective
Couse Group: Second Cycle (Master's Degree)
Education Language: Turkish
Work Placement: N/A
Theory: 3
Prt.: 0
Credit: 3
Lab: 0
ECTS: 8
Objectives of the Course

Needed to conduct a research in mathematics education to ensure the creation of philosophical and theoretical foundations

Course Content

Ontology and epistemology of mathematics, numbers, sets, functions, etc. meanings of mathematical concepts and propositions, and mathematical expressions. The foundations of mathematics, methods, and philosophical problems about the nature of mathematics. Objectivity in mathematics and real-world applicability. Frege, Russell, Hilbert, Brouwer and Gödel´s philosophy of mathematics, such as the work of the pioneers. Principles and theories of the philosophy of mathematics: Mantıkçılık (Logisicm), Formalism (Formalism), Structuralism (structuralism), and Intuitionism (Intuitionism)

Name of Lecturer(s)
Lec. Müjdat AĞCAYAZI
Learning Outcomes
1.Explain the importance of philosophical, mathematical logic
2.Refers to the meaning of mathematical expressions
3.Explain the relationship between philosophy and the philosophy of mathematics education
4.Explain the basic theories of the philosophy of mathematics
5.Explain the symbolic logic and applications on symbolic logic
6.Express concept of set and solve related operations
Recommended or Required Reading
1.Stephan F. Barker; Matematik Felsefesi, İmge Kitapevi, 2003
Weekly Detailed Course Contents
Week 1 - Theoretical
What is Mathematics?
Week 2 - Theoretical
The nature of mathematics
Week 3 - Theoretical
Ontology of mathematics
Week 4 - Theoretical
Epistemology of mathematics
Week 5 - Theoretical
Meanings of mathematical expressions
Week 6 - Theoretical
Basic Theories in Philosophy of Mathematics
Week 7 - Theoretical
The historical development of mathematics as a discipline and its educational implications
Week 8 - Theoretical
Philosophy and logic (Midterm exam)
Week 9 - Theoretical
Propositions and its basic features
Week 10 - Theoretical
Conjunctions and accuracy tables
Week 11 - Theoretical
Quantifiers, mathematical proof and methods of proof
Week 12 - Theoretical
Set Theory, binary operations
Week 13 - Theoretical
Set operations
Week 14 - Theoretical
Multiplication sets
Assessment Methods and Criteria
Type of AssessmentCountPercent
Midterm Examination1%30
Final Examination1%70
Workload Calculation
ActivitiesCountPreparationTimeTotal Work Load (hours)
Lecture - Theory142370
Individual Work140342
Midterm Examination136238
Final Examination148250
TOTAL WORKLOAD (hours)200
Contribution of Learning Outcomes to Programme Outcomes
PÇ-1
PÇ-2
PÇ-3
PÇ-4
PÇ-5
PÇ-6
PÇ-7
PÇ-8
PÇ-9
PÇ-10
PÇ-11
PÇ-12
PÇ-13
OÇ-1
3
2
1
2
1
2
1
3
5
OÇ-2
3
2
1
2
1
2
1
3
5
OÇ-3
3
2
1
2
1
2
1
3
5
OÇ-4
3
2
1
2
1
2
1
3
5
OÇ-5
3
2
1
2
1
2
1
2
5
OÇ-6
3
2
1
2
1
2
1
2
5
Adnan Menderes University - Information Package / Course Catalogue
2026