Lógica de probabilidad - Provability logic
La lógica de demostrabilidad es una lógica modal , en la que el operador de caja (o "necesidad") se interpreta como "se puede demostrar que". El punto es capturar la noción de un predicado de prueba de una teoría formal razonablemente rica , como la aritmética de Peano .
Ejemplos de
Hay una serie de lógicas de demostrabilidad, algunas de las cuales se tratan en la literatura mencionada en § Referencias . El sistema básico generalmente se denomina GL (para Gödel - Löb ) o L o K4W . Se puede obtener agregando la versión modal del teorema de Löb a la lógica K (o K4 ).
Es decir, los axiomas de GL son todas tautologías de la lógica proposicional clásica más todas las fórmulas de una de las siguientes formas:
- Axioma de distribución : □ ( p → q ) → (□ p → □ q );
- Axioma de Löb : □ (□ p → p ) → □ p .
Y las reglas de inferencia son:
- Modus ponens : De p → q y p concluyen q ;
- Necesidad : De p concluir □ p .
Historia
El modelo GL fue iniciado por Robert M. Solovay en 1976. Desde entonces, hasta su muerte en 1996, el principal inspirador del campo fue George Boolos . Sergei N. Artemov , Lev Beklemishev, Giorgi Japaridze , Dick de Jongh , Franco Montagna, Giovanni Sambin, Vladimir Shavrukov, Albert Visser y otros han realizado contribuciones significativas al campo .
Generalizaciones
Las lógicas de interpretabilidad y la lógica polimodal de Japaridze presentan extensiones naturales de la lógica de demostrabilidad.
Ver también
- Condiciones de demostrabilidad de Hilbert – Bernays
- Lógica de interpretabilidad
- Semántica de Kripke
- La lógica polimodal de Japaridze
- Teorema de Löb
Referencias
- George Boolos , La lógica de la demostrabilidad . Prensa de la Universidad de Cambridge, 1993.
- Giorgi Japaridze y Dick de Jongh, La lógica de la demostrabilidad . En: Manual de teoría de la prueba , S. Buss, ed. Elsevier, 1998, págs. 475–546.
- Sergei N. Artemov y Lev Beklemishev , lógica de probabilidad . En: Manual de lógica filosófica , D. Gabbay y F. Guenthner, eds., Vol. 13, 2ª ed., Págs. 189–360. Springer, 2005.
- Según Lindström , lógica de probabilidad: una breve introducción . Theoria 62 (1996), págs. 19–61.
- Craig Smoryński, autorreferencia y lógica modal . Springer, Berlín, 1985.
- Robert M. Solovay , `` Interpretaciones de probabilidad de la lógica modal '', Revista de Matemáticas de Israel , vol. 25 (1976): 287-304.
- Rineke Verbrugge , lógica de probabilidad , de la Enciclopedia de Filosofía de Stanford .