Lógica demostrativa

Lógica demostrativa

La lógica demostrativa es una lógica modal, en la que el operador caja (o "necesidad") es interpretado significando 'debe ser demostrado que'. El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal razonablemente rica, tal como la aritmética de Peano.

Existen varias lógicas demostrativas, algunas de las cuales están tratadas en la literatura en la sección de referencias. El sistema básico es generalmente llamado GL (por Gödel-Löb) o L o K4W. El mismo se puede obtener agregando la versión modal del teorema de Löb a la logica K (o K4). El tema fue desarrollado por Robert M. Solovay en 1976. Desde entonces el principal investigador del tema ha sido George Boolos. Los siguientes especialistas han realizado contribuciones significativas al tema: Sergei Artemov, Lev Beklemishev, Giorgi Japaridze, Dick de Jongh, Franco Montagna, Vladimir Shavrukov, Albert Visser entre otros. Las lógicas de interpretabilidad constituyen extensiones naturales de la lógica demostrativa.

Referencias

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Teorema de Löb — En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que si P es demostrable entonces P , entonces P es demostrable. O sea: si , entonces donde Dem(#P) significa …   Wikipedia Español

  • George Boolos — George Stephen Boolos (4 de septiembre de 1940, Nueva York – 27 de mayo de 1996) fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology. Contenido 1 Vida 2 Trabajo 3 Véase también …   Wikipedia Español

  • Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …   Wikipedia Español

  • Ramon Llull — Raimundo Lulio Beato …   Wikipedia Español

  • Sociónica — es una ciencia sobre el intercambio informativo en la persona y en la sociedad humana (en el sentido simplificado más práctico – sobre la compatibilidad psicológica), el concepto clave del cual es “tipo del metabolismo informativo” (sociotipo).… …   Wikipedia Español

  • Averroes — Detalle del fresco de Andrea de Bonaiuto El triunfo de Santo Tomás, con la imagen de Averroes sentado. Averroes (latinización del nombre árabe Ibn Rushd) es el nombre por el que se conoce en la tradición occidental a Abū l Walīd Muhammad ibn… …   Wikipedia Español

  • Ortografía del español — Contenido 1 Letras 1.1 Variaciones nomenclaturales 2 Regularidad e irregularidad ortográfica 3 Historia …   Wikipedia Español

  • Nacionalismo español — Para otros usos de este término, véase Españolismo. La Batalla de T …   Wikipedia Español

Compartir el artículo y extractos

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