Learning Mathematical Philosophy
Just as in any other area in which logical or mathematical methods are being used, it is necessary to first learn to understand and practice these methods before they can be applied successfully. One way of achieving this is of course to take courses at our Center. Additionally, here is some background material on logic and philosophy that will be of use for self-study:
Basic
- Teach Yourself Logic: A Guide
- Eine Einführung in die klassische Aussagen- und Prädikatenlogik (Lecture Notes on Introductory Logic in German, 277 pages)
- An Introduction to Mathematical Logic (for mathematicians, 147 pages)
- Logic in Philosophy of Mathematics (article, 27 pages)
- Logic in Philosophy of Science (article, 14 pages)
- Basic Set Theory (Lecture Notes, 6 pages)
- Basic Set Theory II (Lecture Notes, 5 pages)
- Introduction to Model Theory (Lecture Notes, 4 pages)
- Notes on Formal Methods (55 pages)
- Notes on Modal Logic (14 pages)
- Introduction to Formal Epistemology (Lecture Notes, 52 pages)
Advanced
- A Philosophers' Guide to Forcing (by Toby Meadows, 402kb)
- Advanced Logic (by Toby Meadows, 651kb)
- Category Theory (Lecture Notes by Steve Awodey)
- Categorical Logic (Lecture Notes by Steve Awodey)
- Bayesian epistemology I: Probabilism and its Dutch Book argument (2 pages)
- Bayesian epistemology II: Arguments for Probabilism (5 pages)
- Bayesian epistemology III: Arguments for Conditionalization (4 pages)
- Introduction to Neighborhood Semantics (Lecture Notes, 38 pages)
- Set theory - basics and advanced overview (by Toby Meadows, 522kb)
- The Compactness and Löwenheim-Skolem Theorems (6 pages)
- Truth & Paradox (by Toby Meadows, 323kb)
- An Introduction to Toposes (Lecture Notes, for mathematicians, 63 pages)
- Coherence (Seminar website with notes and audio files)