INTUICIONISMO

El término ‘intuicionismo’ puede entenderse en tres sentidos: matemático (y lógico); general (metodológico), y ético.                   

En el primer sentido, ‘intuicionismo de­signa una cierta dirección de la actual lógica y filosofía de la matemática. En los artículos Matemática y Tercero excluido (Principio del) hemos proporcionado algunos datos sobre la tendencia intuicionista en ma­temática y sobre sus principales representan­tes. Complementamos ahora esta información con algunos datos relativos a la lógica intui­cionista, es decir, a la lógica mantenida por la filosofía intuicionista de la matemática. Esta lógica no admite que todo enunciado tenga que ser o verdadero o falso. Algunos enuncia­dos no son para ella ni verdaderos ni falsos. Mas, a diferencia de lo que sucede con las ló­gicas polivalentes (véase Polivalente), no adscribe a tales enunciados otro diferente va­lor de verdad. La lógica