Abstract :
[fr] Quoiqu'elles pratiquent en permanence le raisonnement déductif, les mathématiques ne dépendent pas de la logique. Au contraire, toute logique formelle est mathématique. Contrairement à ce que l'on dit souvent, les mathématiques ne sont pas la science de la quantité, mais la science des conclusions nécessaires. Elles raisonnent à partir de pures hypothèses, dont elles explorent les possibilités de manière imaginaire pour en tirer des conclusions apodictiques. Obtenir des résultats nouveaux et proprement théorématiques - plutôt que de simplement "corollaires" des résultats déjà obtenus - suppose de ne pas s'en tenir à déduire des conséquences analytiques par analyse des concepts généraux impliqués; il faut au contraire représenter ces concepts généraux dans des diagrammes singuliers et opérer sur ces derniers des transformations qui font apparaître des propriétés ou relations nécessaires encore inaperçues. En faisant de ces propriétés ou relations les objets de nouveaux jugements, les mathématiques pratiquent l'"abstraction" en un sens distinct de l'opération psychique de réserver son attention à certains traits d'un percept au détriment des autres.
[en] Even though mathematics is deductive reasoning all along, it does not depend on logic. On the contrary, formal logic is mathematical. Despite what is often claimed, mathematics is not the science of quantity, but the science of necessary conclusions. It reasons from pure hypotheses, explores their possibilities in imagination and draws apodictic conclusions. Obtaining new theoretical results - as opposed to mere "corollaries" of previous results - asks for more than mere deduction of analytical consequences by analysis of the general concepts involved. It requires representing these general concepts into singular diagrams and operating transformations on them in order to reveal necessary properties or relations which had not yet been perceived. By making these properties or relations the objects of new judgments, mathematics practices "abstraction" in a sense that does not reduce to the psychic operation of reserving one's attention to certain features of a percept at the expense of others.
Scopus citations®
without self-citations
0