Open texture and mathematics

DOI10.1215/00294527-2021-0007MaRDI QIDQ1982002zbMATH OpenOpenAlexFDO

Authors Stewart Shapiro, Craige Roberts

Publication date 7 September 2021

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2021-0007

zbMATH Keywords

Lakatosopen textureWaismann

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)

Recommendations

• The concept of ‘rigorous proof’
• Informal proofs and mathematical rigour
• Reshaping the metaphor of proof
• The objectivity of mathematics
• The importance of definitions in mathematics

Cites work

• scientific article; zbMATH DE number 3119278 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3790395 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 3531332 (Why is no real title available?)
• scientific article; zbMATH DE number 3563433 (Why is no real title available?)
• scientific article; zbMATH DE number 3580483 (Why is no real title available?)
• scientific article; zbMATH DE number 1329018 (Why is no real title available?)
• scientific article; zbMATH DE number 976357 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3199782 (Why is no real title available?)
• scientific article; zbMATH DE number 3019893 (Why is no real title available?)
• scientific article; zbMATH DE number 3051296 (Why is no real title available?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Audience role in mathematical proof development
• Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Translated and edited by Philip A. Ebert and Marcus Rossberg. With a foreword by Crispin Wright and an appendix by Roy T. Cook
• Computability, proof, and open-texture
• Frege's conception of logic
• Generalized quantifiers and natural language
• Rigor and structure
• Varieties of logic

This page was built for publication: Open texture and mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1982002)