Lógica intuicionista y teoría justificacionista del significado

Descripción

En este trabajo se explora una posible defensa del intuicionismo lógico y matemático. Su motivación parte de preguntas como: ¿qué tipo de razones posee la matemática y la lógica intuicionista en su favor? ¿Existen razones lo suficientemente convincentes para considerar a la lógica intuicionista como única lógica legítima para el razonamiento? La primera parte de este trabajo está íntegramente dedicada a la caracterización del intuicionismo, comenzando por los aspectos ontológicos que subyacen a los sistemas formales intuicionistas, continuando con una caracterización de las costantes lógicas intuicionistas y ofreciendo el rechazo a diversas leyes lógicas de la lógica clásica sobre la base de estas conectivas. Posteriormente se ofrece una caracterización de las teorías vertitativo-condicionales, teorías sobre las que encuentra la lógica y la matemática clásica su fundamento. Luego de esto, se ofrece un argumento en contra de dichas teorías fundamentado en que dichas teorías no caracterizan el significado en términos de habilidades lingüísticas. A continuación se argumenta en favor de una teoría justificacionista del significado que servirá de base al intuicionismo, y se ofrecerá una contrarréplica a la acusación de circularidad.