Switch to: References

Citations of:

Truth Through Proof: A Formalist Foundation for Mathematics

Oxford, England: Oxford University Press (2010)

Add citations

You must login to add citations.
  1. Physicalism Without the Idols of Mathematics.Laszlo E. Szabo - unknown
    On the basis of a coherently applied physicalist ontology, I will argue that there is nothing conceptual in logic and mathematics. What we usually call “mathematical concepts”—from the most exotic ones to the most “evident” ones—are just names tagged to various elements of mathematical formalism. In fact they have nothing to do with concepts, as they have nothing to do with the actual things; they can be completely ignored by both philosophy and physics.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
    What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • A Metasemantic Challenge for Mathematical Determinacy.Jared Warren & Daniel Waxman - 2020 - Synthese 197 (2):477-495.
    This paper investigates the determinacy of mathematics. We begin by clarifying how we are understanding the notion of determinacy before turning to the questions of whether and how famous independence results bear on issues of determinacy in mathematics. From there, we pose a metasemantic challenge for those who believe that mathematical language is determinate, motivate two important constraints on attempts to meet our challenge, and then use these constraints to develop an argument against determinacy and discuss a particularly popular approach (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • A New–Old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.
    We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Robust Non-Transitive Logic.Alan Weir - 2015 - Topoi 34 (1):1-9.
    Logicians interested in naive theories of truth or set have proposed logical frameworks in which classical operational rules are retained but structural rules are restricted. One increasingly popular way to do this is by restricting transitivity of entailment. This paper discusses a series of logics in this tradition, in which the transitivity restrictions are effected by a determinacy constraint on assumptions occurring in both the major and minor premises of certain rules. Semantics and proof theory for 3-valued, continuum-valued and surreal-valued (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics and Language. (Synthese Library vol 373). Springer. pp. 367-387.
    Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Conservative Deflationism?Julien Murzi & Lorenzo Rossi - 2020 - Philosophical Studies 177 (2):535-549.
    Deflationists argue that ‘true’ is merely a logico-linguistic device for expressing blind ascriptions and infinite generalisations. For this reason, some authors have argued that deflationary truth must be conservative, i.e. that a deflationary theory of truth for a theory S must not entail sentences in S’s language that are not already entailed by S. However, it has been forcefully argued that any adequate theory of truth for S must be non-conservative and that, for this reason, truth cannot be deflationary :493–521, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Location of Pains.David Bain - 2007 - Philosophical Papers 36 (2):171-205.
    Perceptualists say that having a pain in a body part consists in perceiving the part as instantiating some property. I argue that perceptualism makes better sense of the connections between pain location and the experiences undergone by people in pain than three alternative accounts that dispense with perception. Turning to fellow perceptualists, I also reject ways in which David Armstrong and Michael Tye understand and motivate perceptualism, and I propose an alternative interpretation, one that vitiates a pair of objections—due to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   33 citations