19 found
Order:
  1. The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  2. 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 (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  3. Unrestricted Quantification and the Structure of Type Theory.Salvatore Florio & Nicholas K. Jones - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.
    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 (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4. On Type Distinctions and Expressivity.Salvatore Florio - 2023 - Proceedings of the Aristotelian Society 123 (2):150-172.
    Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Plurals and Mereology.Salvatore Florio & David Nicolas - 2020 - Journal of Philosophical Logic 50 (3):415-445.
    In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6. 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 (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  7. Critical Plural Logic.Salvatore Florio & Øystein Linnebo - 2020 - Philosophia Mathematica 28 (2):172-203.
    What is the relation between some things and the set of these things? Mathematical practice does not provide a univocal answer. On the one hand, it relies on ordinary plural talk, which is implicitly committed to a traditional form of plural logic. On the other hand, mathematical practice favors a liberal view of definitions which entails that traditional plural logic must be restricted. We explore this predicament and develop a “critical” alternative to traditional plural logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.
    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 (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. (1 other version)Overgeneration in the higher infinite.Salvatore Florio & Luca Incurvati - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press.
    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   2 citations  
  10. 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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11. 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   6 citations  
  12. 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  
     
    Export citation  
     
    Bookmark   6 citations  
  13. 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 (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14. Two conceptions of absolute generality.Salvatore Florio & Nicholas K. Jones - 2023 - Philosophical Studies 180 (5-6):1601-1621.
    What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. 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   3 citations  
  16. 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 (12 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Introduction.Salvatore Florio - 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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Logic and Plurals.Salvatore Florio & Øystein Linnebo - 2016 - In Kirk Ludwig & Marija Jankovic (eds.), The Routledge Handbook of Collective Intentionality. New York: 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   1 citation  
  19.  55
    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