36 found
Order:
See also
Tim Button
University College London
  1. Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  2. The Limits of Realism.Tim Button - 2013 - Oxford: Oxford University Press UK.
    Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, be (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  3. A fictionalist theory of universals.Tim Button & Robert Trueman - forthcoming - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Mathematical Internal Realism.Tim Button - 2022 - In Sanjit Chakraborty & James Ferguson Conant (eds.), Engaging Putnam. De Gruyter. pp. 157-182.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Deflationary metaphysics and ordinary language.Tim Button - 2020 - Synthese 197 (1):33-57.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  6. There's no time like the present.Tim Button - 2006 - Analysis 66 (2):130–135.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  7. Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.
    This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  8. Realistic structuralism's identity crisis: A hybrid solution.Tim Button - 2006 - Analysis 66 (3):216–222.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  9. forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Level theory, part 1: Axiomatizing the bare idea of a cumulative hierarchy of sets.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):436-460.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Every now and then, no-futurism faces no sceptical problems.Tim Button - 2007 - Analysis 67 (4):325–332.
    Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of how (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  12. Wand/set theories.Tim Button - manuscript
    Here is a template for introducing mathematical objects: “Objects are found in stages. For every stage S: (1) for any things found before S, you find at S the bland set whose members are exactly those things; (2) for anything, x, which was found before S, you find at S the result of tapping x with any magic wand (provided that the result is not itself a bland set); you find nothing else at S.” -/- This Template has rich applications, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. SAD computers and two versions of the Church–Turing thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.
    Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective version (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  14. Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic.Tim Button - 2016 - Analysis 76 (1):7-19.
    Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  15. Dadaism: Restrictivism as Militant Quietism.Tim Button - 2010 - Proceedings of the Aristotelian Society 110 (3pt3):387-398.
    Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  16. The iterative conception of function and the iterative conception of set.Tim Button - forthcoming - In Carolin Antos, Neil Barton & Giorgio Venturi (eds.), The Palgrave Companion to the Philosophy of Set Theory. Palgrave.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Too clever by halving.Tim Button, Daniel Rothschild & Levi Spectre - manuscript
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  18. The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.
    Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  19. The Weight of Truth: Lessons for Minimalists from Russell's Gray's Elegy Argument.Tim Button - 2014 - Proceedings of the Aristotelian Society 114 (3pt3):261-289.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Brains in vats and model theory.Tim Button - 2016 - In Sanford Goldberg (ed.), The Brain in a Vat. Cambridge: Cambridge University Press. pp. 131-154.
    Hilary Putnam’s BIV argument first occurred to him when ‘thinking about a theorem in modern logic, the “Skolem–Löwenheim Theorem”’ (Putnam 1981: 7). One of my aims in this paper is to explore the connection between the argument and the Theorem. But I also want to draw some further connections. In particular, I think that Putnam’s BIV argument provides us with an impressively versatile template for dealing with sceptical challenges. Indeed, this template allows us to unify some of Putnam’s most enduring (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Grades of Discrimination: Indiscernibility, Symmetry, and Relativity.Tim Button - 2017 - Notre Dame Journal of Formal Logic 58 (4):527-553.
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Exclusion Problems and the Cardinality of Logical Space.Tim Button - 2017 - Journal of Philosophical Logic 46 (6):611-623.
    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: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Symmetric relations, symmetric theories, and Pythagrapheanism.Tim Button - 2022 - Philosophy and Phenomenological Research (3):583-612.
    It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.
    Download  
     
    Export citation  
     
    Bookmark  
  24. Other minds and God: Russell and Stout on James and Schiller.Tim Button - 2018 - In Maria Baghramian & Sarin Marchetti (eds.), Pragmatism and the European Traditions: Encounters with analytic philosophy and phenomenology before the great divide. London: Routledge. pp. 86-109.
    In 1907–8, Russell and Stout presented an objection against James and Schiller, to which both James and Schiller replied. In this paper, I shall revisit their transatlantic exchange. Doing so will yield a better understanding of Schiller’s relationship to a worryingly solipsistic brand of phenomenalism. It will also allow us to appreciate a crucial difference between Schiller and James; a difference which James explicitly downplayed.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Level theory, part 2: Axiomatizing the bare idea of a potential hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Level Theory, Part 3: A Boolean Algebra of Sets Arranged in Well-Ordered Levels.Tim Button - 2022 - Bulletin of Symbolic Logic 28 (1):1-26.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Wittgenstein on Solipsism in the 1930s: Private Pains, Private Languages, and Two Uses of ‘I’.Tim Button - 2018 - Royal Institute of Philosophy Supplement 82:205-229.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Spotty Scope and Our Relation to Fictions.Tim Button - 2012 - Noûs 46 (2):243-58.
    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) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Hyperloops do not threaten the notion of an effective procedure.Tim Button - 2009 - Lecture Notes in Computer Science 5635:68-78.
    This paper develops my (BJPS 2009) criticisms of the philosophical significance of a certain sort of infinitary computational process, a hyperloop. I start by considering whether hyperloops suggest that "effectively computable" is vague (in some sense). I then consider and criticise two arguments by Hogarth, who maintains that hyperloops undermine the very idea of effective computability. I conclude that hyperloops, on their own, cannot threaten the notion of an effective procedure.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Para Todxs: Natal - uma introdução à lógica formal.P. D. Magnus, Tim Button, Robert Loftis, Robert Trueman, Aaron Thomas Bolduc, Richard Zach, Daniel Durante, Maria da Paz Nunes de Medeiros, Ricardo Gentil de Araújo Pereira, Tiago de Oliveira Magalhães, Hudson Benevides, Jordão Cardoso, Paulo Benício de Andrade Guimarães & Valdeniz da Silva Cruz Junior - 2022 - Natal-RN: PPGFIL-UFRN.
    Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.
    Download  
     
    Export citation  
     
    Bookmark  
  31. Naturalism, Realism, and Normativity, by Hilary Putnam, edited by Mario de Caro. [REVIEW]Tim Button - 2017 - Philosophy 92 (2):305-15.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Review of: Ontology After Carnap, by Stephan Blatti and Sandra Lapointe (eds.). [REVIEW]Tim Button - 2016 - Notre Dame Philosophical Reviews.
    Ontology after Carnap focusses on metaontology in the light of recent interest in Carnap’s ‘Empiricism, Semantics and Ontology’. That paper is at the centre of things, as it is where Carnap formulates his internal/external dichotomy. If you haven’t already encountered the dichotomy, then neither Ontology after Carnap, nor this review, is for you. My aim in this review is to try to tease out some of the book’s themes, thereby giving some sense of contemporary neo-Carnapianism.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Review of: Hilary Putnam on Logic and Mathematics, by Geoffrey Hellman and Roy T. Cook (eds.). [REVIEW]Tim Button - 2019 - Mind 129 (516):1327-1337.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Review of: Truth by Analysis: Games, Names, and Philosophy, by Colin McGinn. [REVIEW]Tim Button - 2013 - Analysis 73 (3):577-580.
    In Truth by Analysis (2012), Colin McGinn aims to breathe new life into conceptual analysis. Sadly, he fails to defend conceptual analysis, either in principle or by example.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Review of: Reading Putnam, by Maria Baghramian (ed.). [REVIEW]Tim Button - 2014 - Mind 123 (490):569-575.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. The chair that is used to sit in. Review of: The American Pragmatists by Cheryl Misak. [REVIEW]Tim Button - 2013 - Times Literary Supplement 18.
    In The American Pragmatists (2013), Cheryl Misak casts Peirce and Lewis as the heroes of American pragmatism. She establishes an impressive continuity between pragmatism and both logical empiricism and contemporary analytic philosophy. However, in casting James and Dewey as the villains of American pragmatism, she underplays the pragmatists' interest in action.
    Download  
     
    Export citation  
     
    Bookmark