RT Journal Article
T1 Modeling and normativity, How much revisionism can we tolerate?
A1 Shapiro, Stewart
K1 Lóxica simbólica e matemática
AB The paper concerns the relationship between mathematical logic and its suposed subject matter: correct reasoning. I suggest that a formal logic iS a mathematical model of reasoning, un much the same sense, as a system of point masses is a model of moving objects. There are gaps between the model and what it is a model of. The papar explores the possibility of using a logic, so understood, to motivate revisions in reasoning. The main case studies are classical logic, ralevance logic, and intuitionism. The paper is an extended commentary on John Corcoran's classic paper "Gaps between logical theory and mathematical practice" (The methodological unity of science edited by M. Bunge, Dordrecht, Holland, D. Reidel, 23-50).
PB Universidade de Santiago de Compostela. Servizo de Publicacións e Intercambio Científico
SN 0211-6642
YR 2001
FD 2001-01
LK http://hdl.handle.net/10347/1179
UL http://hdl.handle.net/10347/1179
LA eng
NO SHAPIRO, Stewart: «Modeling and normativity, How much revisionism can we tolerate?», Ágora : Papeles de Filosofía, ISSN 0211-6642, Vol. 20, N. 1 (2001), 159-173
DS Minerva
RD 23 abr 2026