Graduate studies at Western
Notre Dame Journal of Formal Logic 51 (3):351-360 (2010)
|Abstract||Pure second-order logic is second-order logic without functional or first-order variables. In "Pure Second-Order Logic," Denyer shows that pure second-order logic is compact and that its notion of logical truth is decidable. However, his argument does not extend to pure second-order logic with second-order identity. We give a more general argument, based on elimination of quantifiers, which shows that any formula of pure second-order logic with second-order identity is equivalent to a member of a circumscribed class of formulas. As a corollary, pure second-order logic with second-order identity is compact, its notion of logical truth is decidable, and it satisfies a pure second-order analogue of model completeness. We end by mentioning an extension to n th-order pure logics|
|Keywords||second-order logic nth-order logic elimination of quantifiers compactness decidability of validity model completeness|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Juha Kontinen (2006). The Hierarchy Theorem for Second Order Generalized Quantifiers. Journal of Symbolic Logic 71 (1):188 - 202.
Matti Eklund & Daniel Kolak (2002). Is Hintikka's Logic First-Order? Synthese 131 (3):371 - 388.
Savas Konur (2011). An Event-Based Fragment of First-Order Logic Over Intervals. Journal of Logic, Language and Information 20 (1):49-68.
Nino B. Cocchiarella (2001). A Conceptualist Interpretation of Lesniewski's Ontology. History and Philosophy of Logic 22 (1):29-43.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
T. Achourioti & M. van Lambalgen (forthcoming). A Formalisation of Kant's Transcendental Logic. Review of Symbolic Logic.
Added to index2010-08-19
Total downloads35 ( #39,349 of 740,546 )
Recent downloads (6 months)1 ( #61,960 of 740,546 )
How can I increase my downloads?