es una lógica planteada como alternatica correcta por Brouwer
En la edad contemporánea el realismo ha recuperado prestigio entre los filósofos. El principal responsable quizá sea el neorrealismo que nació a finales del [[siglo XIX]] en los países anglosajones.
resulta de reemplazar el axioma que dice:
El realismo ingenuo se identifica con el naturalismo filosófico en el sentido de que el punto de partida es la existencia de la naturaleza. Es la posición intuitiva, del "sentido común".
(−α→−β)→(β→α)
El realismo crítico afirma que existe la cosa en sí, pero que el objeto inmediato de conocimiento no es necesariamente ésta, sino un conjunto de cualidades pertenecientes a la cosa.
por los axiomas:
Para el realismo absoluto no hay diferencia, ni puede haber, entre el objeto de conocimiento y la cosa en sí. El realismo materialista del materialismo dialéctico es un tipo de realismo absoluto que ha sido desarrollado por los seguidores de Karl Marx, fundamentalmente Lenin. Añade la tesis de que nuestro conocimiento no es invariable, y siempre hay que razonar dialécticamente.
1)α→−−α
El neotomismo defiende un realismo no naturalista. Existe la cosa en sí independientemente de nosotros, pero esta existencia no se reduce a los objetos naturales, también existen los objetos espirituales.
2)α→(−α→β)
El existencialismo analiza la existencia del hombre en el mundo, por lo que el realismo forma parte de su misma base.
3) (α→β)→(−β→−α)
El realismo liberal (Antonio Muñoz Ballesta) analiza las sociedades del siglo XXI basadas en los principios realistas de lo político y en la ciencia social y económica de la Escuela austriaca de economía.
