Wittgensteinian Predicate Logic

Abstract
We investigate a rst-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 specically, 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.
Keywords identity  variables  quantifiers  Wittgenstein  Tractatus
Categories (categorize this paper)
DOI 10.1305/ndjfl/1094155275
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,856
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

View all 6 citations / Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
69 ( #86,407 of 2,231,870 )

Recent downloads (6 months)
5 ( #120,614 of 2,231,870 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature