Tim Button

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive way of fleshing out this idea is synonymous with a ZF-like theory. This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974).

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations.

We argue against the halving response to Sleeping Beauty. First, we outline an appealing constraint on probability assignments: the Principle of Irrelevant Information. Roughly, this says: if you don’t know whether C, but you would assign probability p to X regardless of whether C or not-C, then you should assign p to X. This Principle is deeply plausible, but we show that it contradicts halving. Second, we show that halving either violates solid statistical reasoning or draws absurd distinctions.

Hilary Putnam’s Realism with a Human Face began with a quotation from Rilke, exhorting us to ‘try to love the questions themselves like locked rooms and like books that are written in a very foreign tongue’. Putnam followed this advice throughout his life. His love for the questions permanently changed how we understand them. In Naturalism, Realism, and Normativity – published only a few weeks after his death – Putnam continued to explore central questions concerning realism and perception, from the perspective of ‘liberal naturalism’. The volume’s thirteen papers were written over the past fifteen years (only one paper is new), and they show a man who fully inhabited the questions he loved. And the main significance of this book is that it shows – implicitly, but very clearly – quite how much of Putnam’s contribution to his philosophy is continuous with his ‘The Meaning of “Meaning”’.

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically.

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT.

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories due to Scott, Montague, Derrick, and Potter.

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with Level Theory, as developed in Part 1.

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural extension of BLT is definitionally equivalent with ZF.

forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for the exercises in the book is available.

Putnam’s most famous contribution to mathematical logic was his role in investigating Hilbert’s Tenth Problem; Putnam is the ‘P’ in the MRDP Theorem. This volume, though, focusses mostly on Putnam’s work on the philosophy of logic and mathematics. It is a somewhat bumpy ride. Of the twelve papers, two scarcely mention Putnam. Three others focus primarily on Putnam’s ‘Mathematics without foundations’ (1967), but with no interplay between them. The remaining seven papers apparently tackle unrelated themes. Some of this disjointedness would doubtless have been addressed, if Putnam had been able to compose his replies to these papers; sadly, he died before this was possible. In this review, I do my best to tease out some connections between the paper; and there are some really interesting connections to be made.

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic result

Reading Putnam consists largely of papers from the fantastic ‘Putnam @80’ conference (organised by Maria Baghramian in 2007) together with replies from Hilary Putnam. Given the diversity of Putnam’s work, the papers in this collection cover many different topics. This makes the collection difficulty to read but, ultimately, extremely rewarding. In this review, I focus on the contributions from Michael Devitt, Charles Parsons, Richard Boyd, Ned Block, Charles Travis and John McDowell, together with Putnam’s responses. My aim is to highlight some connections between Putnam’s (evolving) views on ontology, conceptual relativism, and perception.

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code.

In the early-to-mid 1930s, Wittgenstein investigated solipsism via the philosophy of language. In this paper, I want to reopen Wittgenstein's ‘grammatical’ examination of solipsism.Wittgenstein begins by considering the thesis that only I can feel my pains. Whilst this thesis may tempt us towards solipsism, Wittgenstein points out that this temptation rests on a grammatical confusion concerning the phrase ‘my pains’. In Section 1, I unpack and vindicate his thinking. After discussing ‘my pains’, Wittgenstein makes his now famous suggestion that the word ‘I’ has two distinct uses: a subject-use and an object-use. The purpose of Wittgenstein's suggestion has, however, been widely misunderstood. I unpack it in Section 2, explaining how the subject-use connects with a phenomenological language, and so again tempts us into solipsism. In Sections 3–4, I consider various stages of Wittgenstein's engagement with this kind of solipsism, culminating in a rejection of solipsism via reflections on private languages.

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory.

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions Model theory is used in every ‘theoretical’ branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging appeals to model theory have created a highly fragmented literature. On the one hand, many philosophically significant mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right.

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts.

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many.

Whatever the attractions of Tolkein's world, irrealists about fictions do not believe literally that Bilbo Baggins is a hobbit. Instead, irrealists believe that, according to The Lord of the Rings {Bilbo is a hobbit}. But when irrealists want to say something like “I am taller than Bilbo”, there is nowhere good for them to insert the operator “according to The Lord of the Rings”. This is an instance of the operator problem. In this paper, I outline and criticise Sainsbury's (2006) spotty scope approach to the operator problem. Sainsbury treats the problem as syntactic, but the problem is ultimately metaphysical

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language.

Minimalists, such as Paul Horwich, claim that the notions of truth, reference and satisfaction are exhausted by some very simple schemes. Unfortunately, there are subtle difficulties with treating these as schemes, in the ordinary sense. So instead, minimalists regard them as illustrating one-place functions, into which we can input propositions (when considering truth) or propositional constituents (when considering reference and satisfaction). However, Bertrand Russell's Gray's Elegy argument teaches us some important lessons about propositions and propositional constituents. When applied to minimalism, these lessons show us why we should abandon it