David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 123 (2):247-261 (2000)
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)
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
No references found.
Citations of this work BETA
Leo K. C. Cheung (2008). The Disenchantment of Nonsense: Understanding Wittgenstein's Tractatus. Philosophical Investigations 31 (3):197–226.
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 downloads24 ( #70,857 of 1,099,018 )
Recent downloads (6 months)8 ( #27,186 of 1,099,018 )
How can I increase my downloads?