Diferencia entre revisiones de «Lógica intuicionista»

Contenido eliminado Contenido añadido
Sin resumen de edición
BOTpolicia (discusión · contribs.)
m Robot: Rv. edic. de 201.236.221.7 (disc) a vers. 11786823 de BOTpolicia (disc)
Línea 1:
{{wikificar}}
logica inuicionista:
 
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.
es una lógica planteada como alternatica correcta por Brouwer
 
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".
resulta de reemplazar el axioma que dice:
 
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.
por los axiomas:
 
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.
1)α→−−α
 
El existencialismo analiza la existencia del hombre en el mundo, por lo que el realismo forma parte de su misma base.
2)α→(−α→β)
 
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.
3) (α→β)→(−β→−α)
[[Categoría:Lógica]]