Show Summary Details

Page of

PRINTED FROM OXFORD HANDBOOKS ONLINE ( © Oxford University Press, 2022. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a title in Oxford Handbooks Online for personal use (for details see Privacy Policy and Legal Notice).

date: 06 July 2022

Abstract and Keywords

This article discusses canonical (i.e., full, or standard) second-order consequence and argues against it being a case of logical consequence. The discussion is divided into three parts. The first part comprises the first three sections. After stating the problem in Section 1, Sections 2 and 3 examine the role that the consequence relation is expected to play in axiomatic theories. This leads to put forward two requirements on logical consequence, which are called “formality” and “noninterference.” It is this last requirement that canonical second-order consequence violates, as the article sets out to substantiate. The fourth section argues that canonical second-order logic is inadequate for axiomatizing set theory, on the grounds that it codes a significant amount of set-theoretical content.

Keywords: higher-order logic, second-order consequence, logical consequence, axiomatic theories, formality, noninterference, set-theoretical content

Access to the complete content on Oxford Handbooks Online requires a subscription or purchase. Public users are able to search the site and view the abstracts and keywords for each book and chapter without a subscription.

Please subscribe or login to access full text content.

If you have purchased a print title that contains an access token, please see the token for information about how to register your code.

For questions on access or troubleshooting, please check our FAQs, and if you can''t find the answer there, please contact us.