|
La '''lógica intuicionista''', o '''lógica constructivista''', es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.
{{wikificar|filosofía}}
La lógica intuicionista rechaza el [[principio del tercero excluido]], pero conserva [[principio de explosión]]. Esto se debe a una observación de Brouwer de que si enfatizamos la noción de prueba en vez de la de verdad, entonces en los conjuntos infinitos, el [[principio del tercero excluido]] parece fallar. Por ejemplo, si decimos que hay un número natural que es el último número primo, entonces no tenemos derecho a afirmar que esa proposición es verdadera o falsa, pues no tenemos una prueba ni de lo uno ni de lo otro.
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.
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.
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.
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.
El existencialismo analiza la existencia del hombre en el mundo, por lo que el realismo forma parte de su misma base.
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.
== Véase también ==
| 