Graduate studies at Western
Synthese 123 (2):247-261 (2000)
|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.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
H. Jerome Keisler & Wafik Boulos Lotfallah (2004). First Order Quantifiers in Monadic Second Order Logic. Journal of Symbolic Logic 69 (1):118-136.
Chris Fox & Shalom Lappin, Achieving Expressive Completeness and Computational Efficiency for Underspecified Scope Representations.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
Mojżesz Presburger & Dale Jabcquette (1991). On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation. History and Philosophy of Logic 12 (2):225-233.
Natan Berber (2007). The Logical Basis of the Tractarian Ontology. Axiomathes 17 (2):185-196.
Wiesław Dziobiak (1981). The Lattice of Strengthenings of a Strongly Finite Consequence Operation. Studia Logica 40 (2):177 - 193.
Ian Hodkinson (1994). Finite H-Dimension Does Not Imply Expressive Completeness. Journal of Philosophical Logic 23 (5):535 - 573.
Matthias Varga Von Kibéd (1993). Variablen Im Tractatus. Erkenntnis 39 (1):79 - 100.
Hugh Miller (1995). Tractarian Semantics for Predicate Logic. History and Philosophy of Logic 16 (2):197-215.
Added to index2009-01-28
Total downloads16 ( #81,883 of 740,918 )
Recent downloads (6 months)1 ( #61,802 of 740,918 )
How can I increase my downloads?