Switch to: References

Add citations

You must login to add citations.
  1. Turing's Fallacies.Timm Lampert - 2017
    This paper reveals two fallacies in Turing's undecidability proof of first-order logic (FOL), namely, (i) an 'extensional fallacy': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a meaningful sentence is proven, and (ii) a 'fallacy of substitution': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a true sentence is proven. The first fallacy erroneously suggests that Turing's proof of the non-existence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Wittgenstein on Proof and Concept-Formation.Sorin Bangu - forthcoming - Philosophical Quarterly.
    In his Remarks on the Foundations of Mathematics, Wittgenstein claims, puzzlingly, that ‘the proof creates a new concept’ (RFM III-41). This paper aims to contribute to clarifying this idea, and to showing how it marks a major break with the traditional conception of proof. Moreover, since the most natural way to understand his claim is open to criticism, a secondary goal of what follows is to offer an interpretation of it that neutralizes the objection. The discussion proceeds by analysing a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark