.png){kind=icon}
.png){kind=icon}
Return
Variable Sharing and Mathematical Practice
.png){kind=icon}
OA
AI
DOI：10.1007/s10849-026-09455-1.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The relationship between relevant logic and mathematical practice has often been twofold: while some relevant logicians have focused on the descriptive project of capturing (in some sense) informal mathematical reasoning better than classical logic does, others have engaged in the normative project of suggesting how mathematics should be done as opposed to how it is done now. Both projects have received heavy criticism. In this paper, I argue that the intuitive idea of variable sharing does point to a real aspect of mainstream mathematical practices, and this fact can be used to make sense of both relevantist projects: on one hand, relevant logics may be used to provide a more accurate model of this particular aspect of current practices, while on the other, they can suggest new practices which deviate from the standard precisely in their approach to variable sharing.
Keywords:
Relevant logic
Nonclassical logic
Mathematical practice
Variable sharing
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
J
IF:
0.6
Papers:
29
Citations:
0