Switch to: References

Citations of:

Tractarian semantics for predicate logic

I. I. I. Hugh Miller

History and Philosophy of Logic 16 (2):197-215 (1995)

Add citations

You must login to add citations.

Tractarian First-Order Logic: Identity and the N-Operator.Brian Rogers & Kai F. Wehmeier - 2012 - Review of Symbolic Logic 5 (4):538-573.details 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 (...) Download Export citation Bookmark 11 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.details 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 (...) Download Export citation Bookmark

1