Wittgensteinian Predicate Logic
Wehmeier, Kai F.
Notre Dame J. Formal Logic, Tome 45 (2004) no. 1, p. 1-11 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2004-01-14
Classification:  Wittgenstein,  variables,  cut-free calculi,  03A05,  03B60,  03F05 
@article{1094155275,
     author = {Wehmeier, Kai F.},
     title = {Wittgensteinian Predicate Logic},
     journal = {Notre Dame J. Formal Logic},
     volume = {45},
     number = {1},
     year = {2004},
     pages = { 1-11},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1094155275}
}

Wehmeier, Kai F. Wittgensteinian Predicate Logic. Notre Dame J. Formal Logic, Tome 45 (2004) no. 1, pp.  1-11. http://gdmltest.u-ga.fr/item/1094155275/