What This Document Is
This resource is a compilation of materials used in MATH 592, a seminar at the University of Illinois at Chicago exploring the philosophical foundations of mathematics. It serves as a collection of readings, definitions, and activities designed to stimulate discussion and deeper understanding of the interplay between mathematical reasoning, language, and truth. The materials appear to be drawn from a summer school setting focused on these themes.
Why This Document Matters
This resource will be particularly valuable for students enrolled in advanced mathematics courses, philosophy of science programs, or anyone interested in the logical underpinnings of mathematical thought. It’s ideal for use during seminar preparation, as a supplementary resource for coursework, or for independent study. Individuals seeking to critically examine the nature of mathematical proof and the relationship between formal systems and real-world understanding will find this collection insightful.
Topics Covered
* The nature of mathematical language and its relationship to truth.
* Formal definitions of fundamental geometric concepts.
* The compositional theory of truth and its application to mathematical statements.
* Exploring different perspectives on foundational questions in mathematics (e.g., evolution vs. creationism as analogies for mathematical development).
* Methods for analyzing and constructing mathematical proofs.
* The historical and philosophical context of mathematical definitions.
What This Document Provides
* Excerpts from resources like Barwise-Etchmendy and Tarski’s World.
* Definitions and postulates from standard geometry textbooks (e.g., Glencoe).
* Discussion prompts and activity suggestions related to proving geometric theorems.
* References to external resources, including articles and polls related to scientific beliefs.
* A starting point for reflecting on the learning process and identifying areas for further exploration.