Switch to: References

Add citations

You must login to add citations.
  1. From Plurals to Superplurals: In Defence of Higher-Level Plural Logic.Berta Grimau Roca - 2018 - Dissertation, University of Glasgow
    Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Grounding Megethology on Plural Reference.Massimiliano Carrara & Enrico Martino - 2015 - Studia Logica 103 (4):697-711.
    In Mathematics is megethology Lewis reconstructs set theory combining mereology with plural quantification. He introduces megethology, a powerful framework in which one can formulate strong assumptions about the size of the universe of individuals. Within this framework, Lewis develops a structuralist class theory, in which the role of classes is played by individuals. Thus, if mereology and plural quantification are ontologically innocent, as Lewis maintains, he achieves an ontological reduction of classes to individuals. Lewis’work is very attractive. However, the alleged (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Słupecki's Generalized Mereology and Its Flaws.Rafal Urbaniak - 2014 - History and Philosophy of Logic 35 (3):289-300.
    One of the streams in the early development of set theory was an attempt to use mereology, a formal theory of parthood, as a foundational tool. The first such attempt is due to a Polish logician, Stanisław Leśniewski . The attempt failed, but there is another, prima facie more promising attempt by Jerzy Słupecki , who employed his generalized mereology to build mereological foundations for type theory. In this paper I situate Leśniewski's attempt in the development of set theory, describe (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark