The Nature of Mathematical Truth
Knowledge and Inquiry · JC 1 · Formal Knowledge: Mathematics and Logic · 4.º Período

The Nature of Mathematical Truth

Students investigate whether mathematics is discovered or invented. They will explore the foundational role of axioms and deductive reasoning in establishing mathematical certainty.

MOE Syllabus OutcomesSEAB 9751 LO2: Understand how knowledge is constructed in different fields.SEAB 9751 LO3: Critically evaluate knowledge claims and their justifications.

About This Topic

Students investigate whether mathematics is discovered or invented. They will explore the foundational role of axioms and deductive reasoning in establishing mathematical certainty.

Key Questions

  1. Is mathematics a product of the human mind or an inherent feature of the universe?
  2. How do axioms form the basis of mathematical knowledge?
  3. What constitutes a mathematical proof?

More in Formal Knowledge: Mathematics and Logic

Logic and Valid Reasoning

This topic covers the principles of formal logic, distinguishing between validity and soundness. Students will identify and deconstruct common logical fallacies.

2 methodologies

The Limits of Formal Systems

Students are introduced to the limitations of formal logic and mathematics, touching upon concepts like Gödel's Incompleteness Theorems. They will evaluate the boundaries of deductive certainty.

2 methodologies