David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 16 (2):197-215 (1995)
It is a little understood fact that the system of formal logic presented in Wittgenstein?s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Robert J. Fogelin (1987/1999). Wittgenstein. Routledge.
Gottlob Frege (1991). Posthumous Writings. Wiley-Blackwell.
Gottlob Frege (1964). The Basic Laws of Arithmetic. Berkeley, University of California Press.
P. T. Geach (1981). On a Claim of Hare's. Analysis 41 (1):63 -.
Citations of this work BETA
Brian Rogers & Kaif Wehmeier (2012). Tractarian First-Order Logic: Identity and the N-Operator. Review of Symbolic Logic 5 (4):538-573.
Similar books and articles
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Franco Montagna & Hiroakira Ono (2002). Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀. Studia Logica 71 (2):227-245.
Robert Mattison (1968). An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic. Santa Monica, Calif.,Rand Corp..
Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.
Natan Berber (2007). The Logical Basis of the Tractarian Ontology. Axiomathes 17 (2):185-196.
Gert Jan Lokhorst (1988). Ontology, Semantics and Philosophy of Mind in Wittgenstein's Tractatus: A Formal Reconstruction. [REVIEW] Erkenntnis 29 (1):35 - 75.
C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
Added to index2010-08-10
Total downloads15 ( #155,553 of 1,696,615 )
Recent downloads (6 months)2 ( #250,163 of 1,696,615 )
How can I increase my downloads?