Second-Order Logic

Abstract

Second-order logic is the extension of first-order logic obtaining by introducing quantification of predicate and function variables.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,650

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Second-order Logic.John Corcoran - 2001 - In C. Anthony Anderson & Michael Zelëny, Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers. pp. 61–76.
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.
Second-order Logic Revisited.Otavio Bueno - unknown
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
On Second Order Logic.Jouko Väänänen - 2015 - Philosophical Inquiry 39 (1):59-62.
Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
On second-order logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.

Analytics

Added to PP
2010-07-22

Downloads
136 (#176,181)

6 months
12 (#395,107)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references