Abstract Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the… Expand

Does evolutionary theory have implications about the existence of supernatural entities? This question concerns the logical relationships that hold between the theory of evolution and different bits… Expand

Divers and Melia (2002) argue by reductio that the genuine modal realist cannot satisfy the left-to-right direction of the universal closure of (P) without resort to modal primitives. In their… Expand

Sometimes, two unfair distributions cancel out in aggregate. Paradoxically, two distributions each of which is fair in isolation may give rise to aggregate unfairness. When assessing the fairness of… Expand

George Boolos has argued that the iterative conception of set justifies most, but not all, the ZFC axioms, and that a second conception of set, the Frege-von Neumann conception (FN), justifies the… Expand

Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made… Expand