Toward a Theory of Second-Order Consequence

Augustín Rayo; Gabriel Uzquiano

doi:10.1305/ndjfl/1022615612

Translator Disclaimer

Summer 1999 Toward a Theory of Second-Order Consequence

Augustín Rayo, Gabriel Uzquiano

Notre Dame J. Formal Logic 40(3): 315-325 (Summer 1999). DOI: 10.1305/ndjfl/1022615612

Abstract

We develop an account of logical consequence for the second-order language of set theory in the spirit of Boolos's plural interpretation of monadic second-order logic.

Citation

Download Citation

Augustín Rayo. Gabriel Uzquiano. "Toward a Theory of Second-Order Consequence." Notre Dame J. Formal Logic 40 (3) 315 - 325, Summer 1999. https://doi.org/10.1305/ndjfl/1022615612