Journals (accessible from the McGill network): History and Philosophy of Mathematics Historia Mathematica Philosophia Mathematica Logic, History and Philosophy of Logic Bulletin of Symbolic Logic History and Philosophy of Logic Nordic Journal of Philosophical Logic Notre Dame Journal of Formal Logic Journal of Philosophical Logic Journal of Symbolic Logic Philosophy of Science Archive for the History of Exact Sciences British Journal for Philosophy of Science Studies in the History and Philosophy of Science. Part A ... Part B: Studies in History and Philosophy of Modern Physics ... Part C: Studies in History and Philosophy of Biological and Biomedical Sciences Philosophy of Science Science in Context Philosophy Dialectica Erkenntnis Journal of Philosophy Synthese Professor Jeff Speaks's Online Philosophy Resources has further links to relevant journals (Mind, Philosophical Studies, Mind and Language, Linguistics and Philosophy, Noûs, Analysis, Australasian Journal of Philosophy, Philosophy and Phenomenological Research, Pacific Philosophical Quarterly, Canadian Journal of Philosophy) Many older articles can be downloaded from JSTOR. Mathematics: Have a look at The FOM Archives to see what experts on the foundations of mathematics talk about these days. See the AMS 2000 Mathematics Subject Classification to get a feel what topics are covered in mathematics. The Stanford Encyclopedia of Philosophy has very well-written and comprehensive articles about a number of topics and philosophers we talk about in this course. Classics of philosophy (use printed editions for quotations!): The works of Plato (MIT Classics, U of Adelaide Library). The works of Aristotle (MIT Classics, U of Adelaide Library). History of mathematics: The MacTutor History of Mathematics Archive has many biographies of mathematicians, including a page dedicated to the mathematicians of the day. If you are interested in Earliest Uses of Various Mathematical Symbols Jeff Miller's webpage is the place to go. Henry Mendell's Vignettes of Ancient Mathematics has many examples of ancient Greek mathematics. Gödel's famous 1931 paper "On formally undecidable propositions of Principia Mathematica and related systems I". A pdf version can be downloaded following the link at the bottom of this page.