14 found
Order:
See also
Salvatore Florio
University of Birmingham
  1. Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind:1-33.
    A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  37
    Unrestricted Quantification and the Structure of Type Theory.Nicholas K. Jones & Salvatore Florio - forthcoming - Philosophy and Phenomenological Research.
    Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  32
    Overgeneration in the Higher Infinite.Salvatore Florio & Luca Incurvati - manuscript
    The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. On the Innocence and Determinacy of Plural Quantification.Salvatore Florio & Øystein Linnebo - 2016 - Noûs 50 (3):565–583.
    Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the first-order quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of non-standard interpretations that confronts higher-order logics on their more traditional, set-based semantics. We challenge both claims. Our challenge is based on a Henkin-style semantics for plural logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.
    Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview of the main arguments for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. The Paradox of Idealization.Salvatore Florio & Julien Murzi - 2009 - Analysis 69 (3):461-469.
    A well-known proof by Alonzo Church, first published in 1963 by Frederic Fitch, purports to show that all truths are knowable only if all truths are known. This is the Paradox of Knowability. If we take it, quite plausibly, that we are not omniscient, the proof appears to undermine metaphysical doctrines committed to the knowability of truth, such as semantic anti-realism. Since its rediscovery by Hart and McGinn (1976), many solutions to the paradox have been offered. In this article, we (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Set Theory, Type Theory, and Absolute Generality.Salvatore Florio & Stewart Shapiro - 2014 - Mind 123 (489):157-174.
    In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or that neither (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  39
    What Russell Should Have Said to Burali–Forti.Salvatore Florio & Graham Leach-Krouse - 2017 - Review of Symbolic Logic 10 (4):682-718.
    The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Introduction.Salvatore Florio, Øystein Linnebo, Sean Walsh & Philip Welch - 2015 - Notre Dame Journal of Formal Logic 56 (1):1-2.
    Introduction to a special issue based on a summer school on set theory and high-order logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.
    According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  88
    Plural Logic and Sensitivity to Order.Salvatore Florio & David Nicolas - 2015 - Australasian Journal of Philosophy 93 (3):444-464.
    Sentences that exhibit sensitivity to order (e.g. 'John and Mary arrived at school in that order' and 'Mary and John arrived at school in that order') present a challenge for the standard formulation of plural logic. In response, some authors have advocated new versions of plural logic based on fine-grained notions of plural reference, such as serial reference (Hewitt 2012) and articulated reference (Ben-Yami 2013). The aim of this article is to show that sensitivity to order should be accounted for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Logic and Plurals.Salvatore Florio & Øystein Linnebo - 2018 - In Kirk Ludwig & Marija Jankovic (eds.), The Routledge Handbook of Collective Intentionality. Routledge. pp. 451-463.
    This chapter provides an overview of the philosophical and linguistic debate about the logic of plurals. We present the most prominent singularizing analyses of plurals as well as the main criticisms that such analyses have received. We then introduce an alternative approach to plurals known as plural logic, focusing on the question whether plural logic can count as pure logic.
     
    Export citation  
     
    Bookmark  
  13.  28
    Introduction to Special Issue: Abstraction Principles.Salvatore Florio - 2017 - Philosophia Mathematica 25 (1):1-2.
    Introduction to a special issue on abstraction principles.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  40
    Untyped Pluralism.Salvatore Florio - 2014 - Mind 123 (490):317-337.
    In the semantic debate about plurals, pluralism is the view that a plural term denotes some things in the domain of quantification and a plural predicate denotes a plural property, i.e. a property that can be instantiated by many things jointly. According to a particular version of this view, untyped pluralism, there is no type distinction between objects and properties. In this article, I argue against untyped pluralism by showing that it is subject to a variant of a Russell-style argument (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark