¿Se ha verificado algún sistema filosófico utilizando un moderno sistema de razonamiento automatizado?

Answer 1

¿La lógica en sí misma cuenta como un sistema filosófico? Tradicionalmente se considera parte de la filosofía, y todavía hay muchos lógicos trabajando en departamentos de filosofía académica.

Un sistema de razonamiento automatizado es básicamente solo un verificador formal de pruebas lógicas. Algunas versiones pueden generar sus propias pruebas, pero esto solo es factible cuando se trabaja con lógicas muy simples; Intentar ejecutar un programa así para una lógica indecidible es una mala idea. Pero la función de verificación de pruebas es fácilmente aplicable a los teoremas de la lógica filosófica, si hay alguna razón por la cual tal verificación podría ser necesaria.

¿Puede un argumento filosófico típico (de una rama de la filosofía que no sea lógica) traducirse en una lógica formal y luego verificarse mediante un razonamiento automatizado? Claro, pero no nos dirá nada útil. La computadora puede verificar que el argumento es formalmente válido, lo cual seguramente será el caso; Se requiere que los filósofos adopten la lógica de introducción, y formalmente hablando, la mayoría de los argumentos filosóficos son solo silogismos u otras formas simples. El problema para el argumento filosófico es verificar la verdad de las premisas, con las cuales el razonamiento automatizado no puede ayudar.

Answer 2

¿Por “automatizado” quieres decir con máquina? ¿O quiere decir “principios comúnmente acordados”?

Godel demostró que no puede probar todas las afirmaciones de sistemas lógicos complejos como la aritmética sin comenzar con algunas afirmaciones no comprobables desde fuera del sistema. Entonces no.

Las reglas de la lógica son generalmente acordadas, al igual que las reglas matemáticas. Una vez que acepte sus suposiciones iniciales y términos definidos, las otras afirmaciones que hacen pueden verificarse como verdaderas usando esas reglas.

Tan pronto como llegue a más problemas a nivel humano que impliquen valor (ética, teoría política, etc.) no obtendrá un acuerdo completo sobre los términos y los supuestos iniciales.