Lógica intuicionista

Lógica intuicionista

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 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 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.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Lógica plurivalente — Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso.[1] Distintas lógicas plurivalentes… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… …   Wikipedia Español

  • Negación lógica — Para otros usos de este término, véase negación. En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de… …   Wikipedia Español

  • Fondo y génesis de la teoría de los topos — Saltar a navegación, búsqueda Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá… …   Wikipedia Español

  • Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril …   Wikipedia Español

  • Aritmética de Heyting — Saltar a navegación, búsqueda En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en… …   Wikipedia Español

  • Intuicionismo — En filosofía de las matemáticas, Intuicionismo o Neointuicionismo (contrario a preintuicionismo), es una aproximación a las matemáticas a partir de una vista mental constructiva humana. Todo objeto matemático es considerado producto de la mente… …   Wikipedia Español

  • Valor de verdad — En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. En lógica clásica, los únicos valores de verdad posibles son verdad y falsedad. Sin embargo, otros valores son posibles en otras lógicas. Una lógica… …   Wikipedia Español

  • Álgebra de Heyting — En matemáticas, las álgebras de Heyting (Su creador fue Arend Heyting) son conjuntos parcialmente ordenados especiales que constituyen una generalización de las álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”