Tractarian first-order logic: Identity and the n-operator: Tractarian first-order logic

Review of Symbolic Logic 5 (4):538-573 (2012)
  Copy   BIBTEX


In the Tractatus, 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 identify three ways in which the first notational convention can be implemented, show that two of these are compatible with the text of the Tractatus, and argue on systematic and historical grounds, adducing posthumous work of Ramsey’s, for one of these as Wittgenstein’s envisaged method. With respect to the second Tractarian proposal, we discuss how Wittgenstein distinguished between general and non-general propositions and argue that, claims to the contrary notwithstanding, an expressively adequate N-operator notation is implicit in the Tractatus when taken in its intellectual environment. We finally introduce a variety of sound and complete tableau calculi for first-order logics formulated in a Wittgensteinian notation. The first of these is based on the contemporary notion of logical truth as truth in all structures. The others take into account the Tractarian notion of logical truth as truth in all structures over one fixed universe of objects. Here the appropriate tableau rules depend on whether this universe is infinite or finite in size, and in the latter case on its exact finite cardinality. As it is obviously easy to express how propositions can be constructed by means of this operation and how propositions are not to be constructed by means of it, this must be capable of exact expression. 5.503



    Upload a copy of this work     Papers currently archived: 89,764

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

On Ramsey's 'Silly Delusion' Regarding Tractatus 5.53.Kai Wehmeier - 2009 - In Giuseppe Primiero & Shahid Rahman (eds.), Acts of Knowledge: History, Philosophy and Logic. College Publications.
The power and the limits of Wittgenstein's N operator.James W. McGray - 2006 - History and Philosophy of Logic 27 (2):143-169.
Variablen im Tractatus.Matthias Varga Von Kibéd - 1993 - Erkenntnis 39 (1):79-100.
Tractarian semantics for predicate logic.Hugh Miller - 1995 - History and Philosophy of Logic 16 (2):197-215.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
In What Way Does Logic Involve Necessity?Sanford Shieh - 2014 - Philosophical Topics 42 (2):289-337.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Logic after Wittgenstein.Paul Tomassi - 2001 - Nordic Journal of Philosophical Logic 6 (1):43-70.
Symbols in Wittgenstein's Tractatus.Colin Johnston - 2007 - European Journal of Philosophy 15 (3):367-394.
Holismo E verofuncionalidade: Sobre um conflito lógico-filosófico essencial.Marcos Silva - 2013 - Philósophos - Revista de Filosofia 18 (2):167-200.
A Critique of Tractarian Semantics.Gary Watts Levvis - 1994 - Dissertation, The University of Tennessee


Added to PP

91 (#170,263)

6 months
10 (#133,894)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Kai Wehmeier
University of California, Irvine
Brian Wayne Rogers
University of Guelph

References found in this work

Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
Wittgenstein.Robert J. Fogelin - 1978 - Mind 87 (347):443-445.

View all 29 references / Add more references