Jump to ContentJump to Main Navigation
Philosophy of MathematicsStructure and Ontology$
Users without a subscription are not able to see the full content.

Stewart Shapiro

Print publication date: 2000

Print ISBN-13: 9780195139303

Published to Oxford Scholarship Online: November 2003

DOI: 10.1093/0195139305.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2019. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in OSO for personal use (for details see www.oxfordscholarship.com/page/privacy-policy).date: 25 June 2019

Practice

Practice

Construction, Modality, Logic

Chapter:
(p.181) 6 Practice
Source:
Philosophy of Mathematics
Author(s):

Stewart Shapiro (Contributor Webpage)

Publisher:
Oxford University Press
DOI:10.1093/0195139305.003.0007

This chapter concerns a gap between the practice of mathematics and its current philosophical and semantic foundations. Mathematicians sometimes speak as if they perform constructions and dynamic operations: lines are drawn, functions are applied, choices are made, and sets are formed. In contrast, the standard realism in ontology, or platonism, and the current semantics, holds or presupposes that mathematics concerns an independent, static realm. Traditional intuitionism suggests the opposite view, that mathematics really is mental construction, and thus the static orientation is misleading and inappropriate. I show how structuralism provides a single conceptual umbrella for the various static/dynamic, classical/intuitionistic systems, as well as the relevant idealizations. Michael Dummett's argument that an assertabilist orientation, based on Heyting semantics, leads to intuitionistic revisionism is challenged. One is lead to revisionism only if assertabilist semantics is combined with a certain pessimism concerning the idealized epistemic powers; a more optimistic philosophy supports classical logic.

Keywords:   assertabilism, construction, Dummett, Heyting, idealization, intuitionism, logic, Platonism, realism, semantics, structuralism

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .