Synthese

Repository | Journal | Volume

2003

351 Pages

ISBN n/a

Synthese

Logic and mathematical reasoning

Vol. 134 (1-2)

Edited by

Carlos Alvarez, Marco Panza

Publication details

Full citation:

Alvarez, C. , Panza, M. (eds) (2003). Logic and mathematical reasoning. Synthese 134 (1-2).

Table of Contents

Introduction

Alvarez Carlos; Panza Marco

1-2

Do mathematical constructions escape logic?

Gardies Jean-Louis

3-24

Mathematical reasoning vs. abductive reasoning

Aliseda Atocha

25-44

Intentional gaps in mathematical proofs

Fallis Don

45-69

Randomization, persuasiveness and rigor in proofs

Womach Catherine; Farach Matrin

71-84

Proofs and programs

Longo Giuseppe

85-117

Mathematical proofs

Panza Marco

119-158

Representational innovation and mathematical ontology

Muntersbjorn Madeline M.

159-180

Does mathematics have objects? in what sense?

Otte Michael

181-216

Physical-mathematical reasoning

Finocchiaro Maurice A.

217-244

Fréchet and the logic of the constitution of abstract spaces from concrete reality

Arboleda Luis Carlos; Recalde Luis Cornelio

245-272

Styles of physical thinking versus mathematical ones

Lacki Jan

273-288

Two ways of reasoning and two ways of arguing in geometry

Alvarez Carlos

289-323

Modern infinitesimals as a tool to match intuitive and formal reasoning in analysis

Lutz Robert

325-351

Is this table of contents incomplete? Click here to add the missing references

This document is unfortunately not available for download at the moment.