Introduction

We started this project of Mathematics for Philosophers from a discussion about identity in Locke and the notion of equivalence relation in mathematics.

This led us backwards through set theory, model theory, propositional logic and recursion, in that order. In fact, as we noticed, another circle of explanations.

This part Preliminaries makes a record of the material we thought we needed, but maybe also a little as we took the freedom to follow our interests.

…