Switch to: References

Add citations

You must login to add citations.
  1. (2 other versions)Wittgenstein Sobre as Provas Indutivas.André Porto - 2009 - Dois Pontos 6 (2).
    This paper offers a reconstruction of Wittgenstein's discussion on inductive proofs. A "algebraic version" of these indirect proofs is offered and contrasted with the usual ones in which an infinite sequence of modus pones is projected.
    Download  
     
    Export citation  
     
    Bookmark  
  • Formalization and infinity.André Porto - 2008 - Manuscrito 31 (1):25-43.
    This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein.
    Download  
     
    Export citation  
     
    Bookmark