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. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  22
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark