Explorations

Future Paths of Phenomenology

1st OPHEN Summer Meeting

Repository | Journal | Volume

COPR Bookmark Link
237245

Synthese

Logic and mathematical reasoning

Volume 134 (1-2)

edited byCarlos AlvarezMarco Panza(French National Centre for Scientific Research)

Details | Table of Contents

Introduction Carlos AlvarezMarco Panza(French National Centre for Scientific Research)

pp.1-2

https://doi.org/10.1023/A:1022155911458
Do mathematical constructions escape logic? Jean-Louis Gardies

pp.3-24

https://doi.org/10.1023/A:1022148016910
Mathematical reasoning vs. abductive reasoning

a structural approach

Atocha Aliseda

pp.25-44

https://doi.org/10.1023/A:1022127429205
Intentional gaps in mathematical proofs Don Fallis

pp.45-69

https://doi.org/10.1023/A:1022131513275
Randomization, persuasiveness and rigor in proofs Catherine WomachMatrin Farach

pp.71-84

https://doi.org/10.1023/A:1022183530114
Proofs and programs Giuseppe Longo

pp.85-117

https://doi.org/10.1023/A:1022135614184
Mathematical proofs Marco Panza(French National Centre for Scientific Research)

pp.119-158

https://doi.org/10.1023/A:1022187631022
Representational innovation and mathematical ontology Madeline M. Muntersbjorn

pp.159-180

https://doi.org/10.1023/A:1022139715092
Does mathematics have objects? in what sense? Michael Otte

pp.181-216

https://doi.org/10.1023/A:1022191731931
Physical-mathematical reasoning

Galileo on the extruding power of terrestrial rotation

Maurice A. Finocchiaro

pp.217-244

https://doi.org/10.1023/A:1022143816001
Fréchet and the logic of the constitution of abstract spaces from concrete reality Luis Carlos ArboledaLuis Cornelio Recalde

pp.245-272

https://doi.org/10.1023/A:1022195800071
Styles of physical thinking versus mathematical ones Jan Lacki

pp.273-288

https://doi.org/10.1023/A:1022175328296
Two ways of reasoning and two ways of arguing in geometry

some remarks concerning the application of figures in euclidean geometry

Carlos Alvarez

pp.289-323

https://doi.org/10.1023/A:1022100100980
Modern infinitesimals as a tool to match intuitive and formal reasoning in analysis Robert Lutz

pp.325-351

https://doi.org/10.1023/A:1022152117818

Publication details

Journal: Synthese

Volume: 134

Issue: 1-2

Year: 2003

Full citation:

Alvarez Carlos, Panza Marco (2003) Logic and mathematical reasoning. Synthese 134 (1-2).