Switch to: References

Add citations

You must login to add citations.
  1. A Note on Formality and Logical Consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.
    Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question arises (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark