Nota sobre el concepto de demostración en C. S. Peirce

Abstract

Charles Sanders Peirce developed in the last stage of his thought a conception of mathematical proof with roots in his own semiotic theory: proving is constructing an icon or diagram. The aim of this note is to make a brief but clear analysis of the notions that come into play in this conception and suggest its usefulness for the philosophy of mathematical practice.

C. S. Peirce desarrolló en la última etapa de su pensamiento una peculiar concepción de la demostración matemática con raíces en su teoría semiótica: demostrar es construir un ícono o diagrama. El objetivo de esta nota es analizar breve pero claramente los conceptos que entran en juego en esta concepción y sugerir su utilidad para la filosofía de la práctica matemática.