Switch to: References

Citations of:

Neologicist Nominalism

Studia Logica 96 (2):149-173 (2010)

Add citations

You must login to add citations.
  1. Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.
    With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Numbers and Propositions Versus Nominalists: Yellow Cards for Salmon & Soames. [REVIEW]Rafal Urbaniak - 2012 - Erkenntnis 77 (3):381-397.
    Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • How Not To Use the Church-Turing Thesis Against Platonism.R. Urbaniak - 2011 - Philosophia Mathematica 19 (1):74-89.
    Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. The key step of his argument employs an example of a supposedly effectively computable but not Turing-computable function. I argue that the process he describes is not an effective computation, and that the argument relies on the illegitimate conflation of effective computability with there being a way to find out . ‘Ah, but,’ you say, ‘what’s the use of its being right twice (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • Plural Quantifiers: A Modal Interpretation.Rafal Urbaniak - 2014 - Synthese 191 (7):1-22.
    One of the standard views on plural quantification is that its use commits one to the existence of abstract objects–sets. On this view claims like ‘some logicians admire only each other’ involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates—substitutional and set-theoretic—only the latter can provide the language of plurals with the desired expressive power (given that (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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 (7 more)  
     
    Export citation  
     
    Bookmark