History and Philosophy of Logic 16 (2):197-215 (1995)
|Abstract||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)|
|Through your library||Configure|
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..
David Nicolas (2008). Mass Nouns and Plural Logic. Linguistics and Philosophy 31 (2):211 - 244.
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 downloads9 ( #122,328 of 722,708 )
Recent downloads (6 months)2 ( #36,438 of 722,708 )
How can I increase my downloads?