Abstract
The purpose of this paper is threefold. First, I visit the Fogelin–Geach-dispute, criticizeMiller's interpretation of the Geachian notationN(x:N(fx)) and conclude that Fogelin's argumentagainst the expressive completeness of the Tractariansystem of logic is unacceptable and that the adoptionof the Geachian notation N(x:fx) would not violate TLP5.32. Second, I prove that a system of quantificationtheory with finite domains and with N as the solefundamental operation is expressively complete. Lastly, I argue that the Tractarian system is apredicate-eliminated many-sorted theory (withoutidentity) with finite domains and with N as the solefundamental operation, and thus is expressivelycomplete.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Anscombe, G. E. M.: 1971, An Introduction to Wittgenstein's Tractatus, University of Pennsylvania Press, Philadelphia.
Davis, M.: 1965, The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Raven Press, New York.
Fogelin, R. J.: 1976, Wittgenstein, Routledge, London.
Fogelin, R. J.: 1982, 'Wittgenstein's Operator N', Analysis 42, 124–127.
Fogelin, R. J.: 1987, Wittgenstein, 2nd edn., Routledge, London.
Geach, P.: 1981, 'Wittgenstein's Operator N', Analysis 41, 168–171.
Geach, P.: 1982, 'More on Wittgenstein's Operator N', Analysis 42, 127–129.
Glock, H.-J.: 1996, A Wittgenstein Dictionary, Blackwell, Oxford.
Miller III, H.: 1995, 'Tractarian Semantics for Predicate Logic', History and Philosophy of Logic 16, 197–215.
Mounce, H. O.: 1981, Wittgenstein's Tractatus: An Introduction, Blackwell, Oxford.
Soames, S.: 1983, 'Generality, Truth Functions, and Expressive Capacity in the Tractatus', The Philosophical Review XCII, 573–589.
Wittgenstein, L.: 1974, Tractatus Logico-Philosophicus, D. F. Pears & B. F. McGuinness (trans.), Routledge, London.
Wittgenstein, L.: 1978, in R. Rhees (ed.), Philosophical Grammar, A. Kenny (trans.), Blackwell, Oxford.
Wittgenstein, L.: 1981, Tractatus Logico-Philosophicus, C. K. Ogden (trans.), Routledge, London.
Wittgenstein, L.: 1995, in B. McGuinness and G. H. von Wright (eds), Ludwig Wittgenstein: Cambridge Letters, Blackwell, Oxford.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cheung, L.K.C. The Tractarian Operation N and Expressive Completeness. Synthese 123, 247–261 (2000). https://doi.org/10.1023/A:1005286219444
Issue Date:
DOI: https://doi.org/10.1023/A:1005286219444