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: 05 July 2022

Abstract and Keywords

The debate between intuitionists and classical logicians is fought on two fronts. First, there is the battle over subject matter—the disputants disagree regarding which mathematical structures are legitimate domains of inquiry. Second, there is the battle over logic—they disagree over which algebraic structure correctly codifies logical consequence. In this article the emphasis is on the latter issue—it focuses on what the correct (formal) account of correct inference might look like, and, given such an account, how we should understand disagreements regarding the extension of the logical consequence relation. In the next two sections of the article, two typical sorts of arguments for intuitionistic logic are examined. The article then examines exactly what is at stake when one provides a logic as an account of logical consequence.

Keywords: intuitionism, classical logic, mathematical structures, logical consequence, intuitionistic logic, inference

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.