In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER. pp. 61–76 (2001)

John Corcoran
State University of New York, Buffalo
“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been.
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

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.

Add more references

Citations of this work BETA

Why Simpler Arguments Are Better.Moti Mizrahi - 2016 - Argumentation 30 (3):247-261.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - 2016 - Quadripartita Ratio: Revista de Argumentación y Retórica 1 (1):1-34.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.

View all 6 citations / Add more citations

Similar books and articles

Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
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 and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
First-Order Logic, Second-Order Logic, and Completeness.Marcus Rossberg - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler & Heinrich Wansing (eds.), First-Order Logic Revisited. Logos. pp. 303-321.
A Critical Appraisal of Second-Order Logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.
Non‐Elementary Speed‐Ups in Logic Calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.


Added to PP index

Total views
750 ( #5,764 of 2,342,657 )

Recent downloads (6 months)
36 ( #18,521 of 2,342,657 )

How can I increase my downloads?


My notes