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.
La lógica intuicionista rechaza el principio del tercero excluido, pero conserva el principio de explosión. Esto se debe a una observación de Brouwer de que si enfatizamos las pruebas en vez de la verdad, entonces en los conjuntos infinitos el principio del tercero excluido falla cuando se aplica a una proposición para la que no existe demostración, ni de su verdad ni de su falsedad. En los conjuntos finitos siempre es posible verificar si una proposición es cierta o falsa; en los infinitos, no.
Constructivismo matemático
En la semántica de la lógica clásica, se asignan valores de verdad a fórmulas proposicionales de el conjunto de dos elementos ("verdadero y "falso" respectivamente) independientemente si se tiene evidencia directa para cada caso. Esto se refiere a el Principio del tercero excluido, que excluye la posibilidad para cualquier valor verdadero aparte de "verdadero" o "falso", evitando así un enunciado contradictorio. En contraste, las fórmulas proposicionales en lógica intuicionista no tienen un valor definitivo de verdad asignado y solo son únicamente consideradas como "verdaderas" cuando se tiene evidencia directa.
Polémica
La lógica intuicionista es una de las maneras de abordar el Constructivismo en matemáticas. El uso de Lógicas constructivistas en general han sido vistas como un tema controvertido entre matemáticos y filósofos.
La objeción más reconocida que tiene es que excluye el principio del tercero excluido y la eliminación de doble negación, las cuales han sido reglas centrales para el Cálculo proposicional, y que David Hilbert escribió de ellas: "Quitando el Principio del tercero excluido a un matemático, seria lo mismo, a quitar un telescopio a un astrónomo o los guantes a un boxeador, prohibir la existencia a enunciados y el principio de exclusión es equivalente a renunciar a toda la ciencia de las matemáticas."
lógica, intuicionista, lógica, intuicionista, lógica, constructivista, sistema, lógico, originalmente, desarrollado, arend, heyting, para, proveer, base, formal, para, proyecto, intuicionista, brouwer, sistema, enfatiza, pruebas, verdad, largo, transformacione. La logica intuicionista o logica constructivista es el sistema logico 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 La logica intuicionista rechaza el principio del tercero excluido pero conserva el principio de explosion Esto se debe a una observacion de Brouwer de que si enfatizamos las pruebas en vez de la verdad entonces en los conjuntos infinitos el principio del tercero excluido falla cuando se aplica a una proposicion para la que no existe demostracion ni de su verdad ni de su falsedad En los conjuntos finitos siempre es posible verificar si una proposicion es cierta o falsa en los infinitos no Constructivismo matematico EditarEn la semantica de la logica clasica se asignan valores de verdad a formulas proposicionales de el conjunto de dos elementos displaystyle top bot verdadero y falso respectivamente independientemente si se tiene evidencia directa para cada caso Esto se refiere a el Principio del tercero excluido que excluye la posibilidad para cualquier valor verdadero aparte de verdadero o falso evitando asi un enunciado contradictorio En contraste las formulas proposicionales en logica intuicionista no tienen un valor definitivo de verdad asignado y solo son unicamente consideradas como verdaderas cuando se tiene evidencia directa Polemica EditarLa logica intuicionista es una de las maneras de abordar el Constructivismo en matematicas El uso de Logicas constructivistas en general han sido vistas como un tema controvertido entre matematicos y filosofos La objecion mas reconocida que tiene es que excluye el principio del tercero excluido y la eliminacion de doble negacion las cuales han sido reglas centrales para el Calculo proposicional y que David Hilbert escribio de ellas Quitando el Principio del tercero excluido a un matematico seria lo mismo a quitar un telescopio a un astronomo o los guantes a un boxeador prohibir la existencia a enunciados y el principio de exclusion es equivalente a renunciar a toda la ciencia de las matematicas Vease tambien EditarIntuicionismo Logica modal Datos Q176786Obtenido de https es wikipedia org w index php title Logica intuicionista amp oldid 123175993, wikipedia, wiki, leyendo, leer, libro, biblioteca,
