Official, printable course outlines in PDF format can be found at the end of this page.
The philosophy of mathematics deals with, as its name suggests, philosophical issues that are raised by mathematics. Perhaps the most important difference between mathematics and the other sciences is that mathematics deals with entirely abstract concepts (such as number, set, function). Mathematicians do not conduct experiments to confirm their hypotheses, they find proofs. One important issue then, for instance, is clarifying the role of proofs in mathematics, and with it, the nature of mathematical knowledge. Another issue is the question of the status of mathematical objects—do they inhabit some Platonic realm of mathematical objects, are they constructions of the mind, or are there perhaps, strictly speaking, no mathematical objects, are they fictitious? In the course of discussing these issues, we will first focus on three important schools of thought: logicism, intuitionism, and formalism. These schools are associated with, respectively, Gottlob Frege and Bertrand Russell, Immanuel Kant and L. E. J. Brouwer, and with David Hilbert. In the second half of the course, we will study some of the more recent developments in the philosophy of mathematics (after 1950). This includes the debate about the metaphysics of mathematical objects, in particular, whether there are any (realism) or not (nominalism), and the status of mathematical truths; structuralism in mathematics; mathematical explanation; and empiricist and naturalist approaches to mathematics.
Two previous courses in Philosophy, one of which must be PHIL 367 or 467, and one of which must be a 400 or higher level course; or consent of the Department. Due to the nature of the course, I will be very open to waiving prerequisites, especially if you have advanced training in logic (such as PHIL 379 or 479) or in mathematics. Please email firstname.lastname@example.org if you would like to take the course but do not have the listed prerequisites.
Although Phil 279 (Logic I) and 379 (Logic II) are not formally prerequisites, you will have a hard time in this course if you have not at least taken Logic I. Obtaining a background in logic (at least Phil 279, preferably 379) is therefore highly recommended.
Alexander George and Daniel J. Velleman, Philosophies of Mathematics (Blackwell, 2002)
Gottlob Frege, The Foundations of Arithmetic (Blackwell/Northwestern, 1980)
A package of readings.
All will be available at the University of Calgary Bookstore.
Undergraduate students: Six short writing assignments (250 words max., 5% each for a total of 30%, graded on pass/fail basis), a final paper (2500–4000 words max., 40%), and an in-class presentation on the topic of your paper (10–15 minutes, 10%). Class participation counts for 20% of your grade.
Graduate students: Six short writing assignments (250 words max., 5% each for a total of 30%, graded on pass/fail basis), a final paper (5000 words max., 40%), and preparing and leading a one-hour lecture/seminar (10%). Class participation counts for 20% of your grade. There will be a separate discussion section reserved for graduate students.
Due Dates: The final paper will be due the last week of class (i.e., April 13).
The aim of the short writing assignments is to get you engaged with the readings before they are discussed in class. A short writing assignment consists in a one-page writeup of something you think of while you do the reading. It can be a question together with an attempted answer, a worry, a short note on a connection between the reading for that week and some other topic (from this or another class). Ideally, it would be something that can form the basis of a discussion in class.
You have to turn in six such short essays. You can choose when you submit them, and on what you want to write. They are due on Tuesdays at 6pm and you may submit them by email. However, you have to complete at least two of these assignments in weeks 1–6, and at least two in weeks 7–12.
Your final paper, your presentation, and your course participation will receive a letter grade reflecting the level of mastery of the material shown by the work you submit. The meanings of letter grades are defined in the Calendar, for written work, they amount roughly to the following criteria:
- Excellent—superior performance, showing comprehensive understanding of subject matter. (Your writing is clear and concise; your assignments make obvious that your understanding of the issues and arguments is correct and complete; you show superior ability in representing and assessing others’ philosophical arguments; you show significant ability for original philosophical thinking).
- Good—clearly above average performance with knowledge of subject matter generally com-plete. (You show a good grasp of the assigned reading; but either your writing is not perfectly clear or your assignments are largely only expository and don’t show the critical ability required for an A).
- Satisfactory—basic understanding of the subject matter. (Your work shows that you've worked through the reading and attended class, but your assignments misrepresent the arguments or views we’re discussing, or your criticisms are off the mark.)
- Minimal pass—marginal performance. (Your work is unclear or confused; or you grossly misunderstood or misrepresent the arguments or views we're discussing.)
- Fail—Unsatisfactory performance. (Your work fails to show that you've made a serious attempt at coming to grips with the material; or your writing borders on the incomprehensible.)
In computing your final grade, your marks will be converted to grade points and averaged according to the weights given above. The correspondence of letter grades with grade points is defined in the Calendar (A = 4, B = 3, C = 2, D = 1, F = 0). "Slash" grades are possible with grade point values 0.5 below the higher grade (e.g., A/B = 3.5). For short writing assignments, a "pass" will receive 4 grade points, a fail, 0.
The final grade will be the letter grade corresponding to the weighted average of your assignments, paper, presentation, and participation plus a margin of 0.1. For the final grade, +'s and -'s are possible, too; as defined in the Calendar, +/- adds/subtracts 0.3 grade points. In other words, a course average of 3.9 or higher receives an A; between 3.6 and 3.9, an A--; between 3.2 and 3.6, a B+; between 2.9 and 3.2, a B; and so on. There is no D- grade; to earn a D you require a course average of at least 0.9. The A+ grade is reserved for "truly outstanding" performance.
A final paper handed in late will be penalized by the equivalent of one grade point per calendar day. A short writing assignment handed in late will be penalized by one half grade point for every two hours (or part thereof) it is late (i.e., it will receive a 3.5 if handed in after 6pm but before 8pm, a 3.0 if handed in before 10pm, etc.).
You will find the University policy on plagiarism at the end of the printed version of this outline. Plagiarism is a very serious academic offense. It is not limited to copying papers wholesale from the Internet; close paraphrase of the texts, of the lectures, or of anyone (other than you) without attribution constitutes plagiarism. Your assignments should only contain your own formulations. You should use direct quotes from the texts sparingly, and clearly mark them as such by using quotation marks and giving a source reference. When in doubt, consult with the instructor. Plagiarism will result in a failing grade in the course and a report to the Dean's office.
University policies for reappraisal of term work and final grades apply (see the section "Reappraisal of Grades and Academic Appeals" of the Academic Regulations in the Calendar). In particular, term work will only be reappraised within 15 days of the date you are advised of your marks. Please keep track of your assignments (make sure to pick them up in lecture or in office hours) and your marks (check them on the website) and compare them with the graded work returned to you.
A course website on U of C's BlackBoard server has been set up. You will be automatically registered if you're registered in the class. To access the BlackBoard site, you can either go directly to blackboard.ucalgary.ca and log in with your UCIT account name and password, or you can access it through the myUofC portal (my.ucalgary.ca; log in with your eID). If you don't have an eID or UCIT account, see elearn.ucalgary.ca/help.html.
This is a tentative syllabus to give you a rough idea what topics we will cover when.
Frege, Foundations, Sections 1--28
Frege, Foundations, Sections 29--69
George and Velleman, Philosophies of Mathematics, Ch. 2
Benacerraf, "Frege: The last logicist"
MacFarlane, "Frege, Kant, and the logic in logicism"
Frege, Foundations, Sections 70--109
Dedekind, "The nature and meaning of numbers"
Tait, "Frege versus Cantor and Dedekind: On the concept of number"
Reck, Dedekind's Structuralism: An Interpretation and Partial Defense"
Russell, Letter to Frege
Russell, "Mathematical logic as based on the theory of types"
George and Velleman, Philosophies of Mathematics, Ch. 3
Gödel, "Russell's mathematical logic"
Urquhart, "The theory of types"
Weyl, "On the new foundational crisis of mathematics"
Brouwer, "Mathematics, science, and language"
Heyting, "The intutionist foundation of mathematics"
George and Velleman, Philosophies of Mathematics, Ch. 4 and 5.
Brouwer, "Intuitionistic reflections on formalism"
George and Velleman, Philosophies of Mathematics, Ch. 6
Hilbert, "On the infinite"
Bernays, "The philosophy of mathematics and Hilbert's proof theory"
Hilbert, "The foundations of mathematics"
Mancosu, "Hilbert and Bernays on metamathematics"
von Neumann, "The formalist foundation of mathematics"
Zach, "Hilbert's Program"
Detlefsen, "On interpreting Gödel's second theorem"
George and Velleman, Philosophies of Mathematics, Ch. 7
Zach, "Gödel's first incompleteness theorem and mathematical instrumentalism"
Putnam, "What is mathematical truth?"
Putnam, Philosophy of Logic, Sections IV--IX.
Benacerraf, "Mathematical truth"
Tait, "Truth and proof: The platonism of mathematics"
Burgess, "Why I am not a nominalist"
Maddy, "Indispensability and practice"
Putnam, "Mathematics without foundations"
Field, "Is mathematical knowledge just logical knowledge?"
Benacerraf, "What numbers could not be"
Parsons, "The structuralist view of mathematical objects"
Field, "Mathematical objectivity and mathematical objects"
Reck and Price, "Structures and structuralism in contemporary philosophy of mathematics"
Steiner, "Mathematical explanation"
Resnik and Kushner, "Explanation, independence, and realism in mathematics"
Mancosu, "Mathematical explanation: problems and prospects"
Sandborg, "Mathematical explanation and the theory of why-questions"
Lakatos, "A renaissance of empiricism in the recent philosophy of mathematics?"
Kitcher, "Mathematical naturalism"