1.  6
    Arithmetic with Fusions.Jeff Ketland & Thomas Schindler - 2016 - Logique Et Analyse 234:207-226.
    In this article, the relationship between second-order comprehension and unrestricted mereological fusion (over atoms) is clarified. An extension PAF of Peano arithmetic with a new binary mereological notion of “fusion”, and a scheme of unrestricted fusion, is introduced. It is shown that PAF interprets full second-order arithmetic, Z_2.
    Direct download  
    Export citation  
    My bibliography  
  2.  31
    Can the Cumulative Hierarchy Be Categorically Characterized?Luca Incurvati - 2016 - Logique Et Analyse 59 (236):367-387.
    Mathematical realists have long invoked the categoricity of axiomatizations of arithmetic and analysis to explain how we manage to fix the intended meaning of their respective vocabulary. Can this strategy be extended to set theory? Although traditional wisdom recommends a negative answer to this question, Vann McGee (1997) has offered a proof that purports to show otherwise. I argue that one of the two key assumptions on which the proof rests deprives McGee's result of the significance he and the realist (...)
    Direct download  
    Export citation  
    My bibliography   2 citations  
  3.  7
    Against Truthmaker Necessitarianism.Robin Stenwall - 2016 - Logique Et Analyse 59 (233).
    This paper is an argument against Truthmaker Necessitarianism—the doctrine that the existence of a truthmaker necessitates the truth of the proposition it makes true. Armstrong’s sufficiency argument for necessitarianism is examined and shown to be question begging. It is then argued in detail that truthmaking is a matter of grounding truth and that grounding is a dependency relation that neither entails nor reduces to necessitation.
    Direct download  
    Export citation  
    My bibliography   1 citation  
 Previous issues
Next issues