Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 45, Number 1 (2004), 1-11.
Wittgensteinian Predicate Logic
We investigate a first-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specifically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems.
Notre Dame J. Formal Logic, Volume 45, Number 1 (2004), 1-11.
First available in Project Euclid: 2 September 2004
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Wehmeier, Kai F. Wittgensteinian Predicate Logic. Notre Dame J. Formal Logic 45 (2004), no. 1, 1--11. doi:10.1305/ndjfl/1094155275. https://projecteuclid.org/euclid.ndjfl/1094155275