¿Hay alguna forma general de encontrar una respuesta lógica a una pregunta?

Answer 1

Si la pregunta se expresa formalmente como un enunciado en lógica de predicado de primer orden (FOPL), entonces hay varios comprobadores de teoremas automatizados que pueden intentar probar el enunciado a partir de un conjunto dado de axiomas. Por ejemplo, el lenguaje de programación de computadora Prolog (entre otros lenguajes de programación) puede “probar” varias declaraciones de un subconjunto de FOPL.

La mala noticia es que FOPL en sí es lo suficientemente expresivo como para poder hacer preguntas que son indecidibles dentro de FOPL y que también sufren el Problema de detención en los lenguajes de programación. Entonces, incluso para este subconjunto formal de preguntas, no podemos garantizar una respuesta.

La buena noticia es que se puede responder a una gran variedad de preguntas que incluyen, por ejemplo, todos los rompecabezas de Sudoku a través de un programa Prolog trivial (si es ineficiente) 🙂

Answer 2

La mayoría de las veces, sí. Esto, sin embargo, depende de la naturaleza de la pregunta y de cómo se formula.

Las respuestas lógicas o al menos los pasos lógicos hacia una respuesta tienen más que ver con evitar la irracionalidad y las falacias en lugar de seguir un método paso a paso.

Answer 3

Sí, pero los resultados aún pueden ser insatisfactorios.

Los métodos lógicos prometen solo consistencia.

Depende de la disciplina. En ciencia, obtener una respuesta derivada consistentemente es una gran cosa porque esto significa que su conclusión probablemente será confirmada por el mundo físico.

En matemáticas, una respuesta derivada consistentemente es buena porque estás operando desde axiomas viables.

En filosofía, una respuesta derivada consistentemente podría ser cuestionable porque sus premisas podrían ser cuestionables (es por eso que la solidez es una preocupación en filosofía: http://plato.stanford.edu/entrie …

Answer 4

Si. Pero no siempre es obvio al principio. Puede tomar años para que te des cuenta, y luego puedes explicarlo lógicamente a cualquiera en un segundo, y él lo entendería, porque lo descifraste y ahora es lógico. A todos

Answer 5

Existe el método de fuerza bruta.

Primero, verifique si la pregunta en sí misma es lógica y respondeble.

Si es así, conecte todas las soluciones posibles en él. Elimina los que no tienen sentido, uno por uno.

Al final, las soluciones que tienen sentido son las respuestas.