Pure Second-Order Logic with Second-Order Identity

Notre Dame Journal of Formal Logic 51 (3):351-360 (2010)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
A conceptualist interpretation of Lesniewski's ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.

Analytics

Added to PP
2010-08-19

Downloads
102 (#156,722)

6 months
6 (#201,673)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

A. C. Paseau
University of Oxford

Citations of this work

No citations found.

Add more citations

References found in this work

Pure second-order logic.Nicholas Denyer - 1992 - Notre Dame Journal of Formal Logic 33 (2):220-224.

Add more references