Wittgensteinian Tableaux, Identity, and Co-Denotation

Erkenntnis 69 (3):363-376 (2008)
  Copy   BIBTEX

Abstract

Wittgensteinian predicate logic (W-logic) is characterized by the requirement that the objects mentioned within the scope of a quantifier be excluded from the range of the associated bound variable. I present a sound and complete tableaux calculus for this logic and discuss issues of translatability between Wittgensteinian and standard predicate logic in languages with and without individual constants. A metalinguistic co-denotation predicate, akin to Frege’s triple bar of the Begriffsschrift, is introduced and used to bestow the full expressive power of first-order logic with identity on W-logic in the presence of constants.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
The disappearance theory and the denotation argument.David R. Hiley - 1980 - Philosophical Studies 37 (April):307-20.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
First-Order Tableaux with Sorts.Christoph Weidenbach - 1995 - Logic Journal of the IGPL 3 (6):887-906.
Identity trouble: Disidentification and the problem of difference.Josè Medina - 2003 - Philosophy and Social Criticism 29 (6):655-680.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Tableaux variants of some modal and relevant systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Semantic Tableaux for A Logic With Identity.Ermanno Bencivenga - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):241-247.
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.

Analytics

Added to PP
2009-01-28

Downloads
122 (#137,032)

6 months
8 (#158,054)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kai Wehmeier
University of California, Irvine

Citations of this work

How to Live Without Identity—And Why.Kai F. Wehmeier - 2012 - Australasian Journal of Philosophy 90 (4):761 - 777.
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.

View all 14 citations / Add more citations

References found in this work

Tractatus logico-philosophicus.Ludwig Wittgenstein, G. C. M. Colombo & Bertrand Russell - 1933 - New York,: Harcourt, Brace. Edited by C. K. Ogden.
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.

View all 15 references / Add more references