Online research in philosophy

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.

A discussion of the philosophical prospects for basing a neo-Fregean theory of classes on a principle that attempts to articulate the limitation-of-size conception.

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed in Smiley’s paper.

We correct a misunderstanding by Hale and Wright of an objection we raised in 'Hale on Caesar' to their abstractionist programme for rehabilitating logicism in the foundations of mathematics.

What is wrong with abstraction’, Michael Potter and Peter Sullivan explain a further objection to the abstractionist programme in the foundations of mathematics which they first presented in their ‘Hale on Caesar’ and which they believe our discussion in The Reason's Proper Study misunderstood. The aims of the present note are: To get the character of this objection into sharper focus; To explore further certain of the assumptions—primarily, about reference-fixing in mathematics, about certain putative limitations of abstractionist set theory, and about the effects of impredicativity in abstraction principles—which underlie it; and To advance the debate of the issues thereby raised. Thanks for helpful comments to Roy Cook and to an anonymous referee. CiteULike Connotea Del.icio.us What's this?

A follow-up, showing why Bob Hale's revision of his notion of weak sense is still inadequate.

Explains why Bob Hale's proposed notion of weak sense cannot explain the analyticity of Hume's principle as he claims. Argues that no other notion of the sort Hale wants could do the job either.