Switch to: References

Add citations

You must login to add citations.
  1. Tractarian First-Order Logic: Identity and the N-Operator.Brian Rogers & Kai F. Wehmeier - 2012 - Review of Symbolic Logic 5 (4):538-573.
    In theTractatus, Wittgenstein advocates two major notational innovations in logic. First, identity is to be expressed by identity of the sign only, not by a sign for identity. Secondly, only one logical operator, called “N” by Wittgenstein, should be employed in the construction of compound formulas. We show that, despite claims to the contrary in the literature, both of these proposals can be realized, severally and jointly, in expressively complete systems of first-order logic. Building on early work of Hintikka’s, we (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Expressive Power of the N_-Operator and the Decidability of Logic in Wittgenstein’s _Tractatus.Rodrigo Sabadin Ferreira - 2023 - History and Philosophy of Logic 44 (1):33-53.
    The present text discusses whether there is a tension between aphorisms 6.1-6.13 of the Tractatus and the Church-Turing theorem about the decidability of predicate logic. We attempt to establish the following points: (i) Aphorisms 6.1-6.13 are not consistent with the Church-Turing theorem. (ii) The logical symbolism of the Tractatus, built from the N-operator, can (and should) be interpreted as expressively complete with respect to first-order formulas. (iii) Wittgenstein’s reasons for believing that Logic is decidable were purely philosophical and the undecidability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•