¿Alguien ha usado la lógica modal para razonar sobre deseos / motivación?

Answer 1

De una búsqueda rápida de literatura, no pude encontrar ninguna cita que coincida directamente con su consulta. Encontré una cuenta interesante del deseo en http://www.csc.ncsu.edu/faculty/… pero esa cuenta trata el deseo matemáticamente en lugar de usar la modalidad.

En principio, ciertamente tiene razón en que el deseo debe ser modal, aunque debe ser un poco más cuidadoso con sus ejemplos. “Bob quiere un trago” podría leerse como una simple predicción. Una oración como “Mamá quiere que limpie mi habitación” indica más claramente que el deseo es una actitud hacia una proposición y, por lo tanto, un modal. La estructura sería aún más clara si hiciéramos esta discusión en, por ejemplo, francés, donde el complemento es un subjuntivo en lugar de un infinitivo, pero eso no es importante aquí.

Ahora, para los detalles: está bastante claro que el deseo es un operador similar a la necesidad. El dual sería algo similar a la aceptación o la tolerancia.

¿Qué lógica debería modelar el deseo? Para simplificar, supongamos que se desean todas las tautologías. Eso nos permitirá trabajar con lógicas modales normales, que están mucho mejor estudiadas que las alternativas. Además, creo que la mayoría de las personas preferiría vivir en un universo constante a uno en el que cada proposición sea cierta, por lo que parece plausible que queramos que todas las tautologías sean verdaderas y que todas las contradicciones sean falsas.

El axioma T obviamente falla para una modalidad de deseo, ya que no siempre obtenemos lo que queremos. Las propiedades modales iteradas (axiomas 4 y 5) también son claramente falsas, ya que hay casos de deseos de segundo orden a la Frankfurt. Sin embargo, parece ser el caso de que todo lo que es deseable también es aceptable. Por lo tanto, la mejor lógica candidata para el deseo es el sistema D.

Answer 2

Creo que la lógica de predicados maneja eso bien, ¿no?

El punto sobre los modos es que manejan modificadores para que las cosas sean verdaderas. (Por ejemplo, a la vez, o con una cierta probabilidad). Pero no estoy seguro de que lo que decimos específicamente sobre los deseos necesite mucha modificación. O deseamos algo o no lo deseamos. Y si “a veces” lo deseamos, entonces un cuantificador modal ordinario sobre el tiempo probablemente lo maneja.

¿Tiene un caso donde un deseo NO PODRÍA ser manejado con predicados ordinarios? Veo lo que estás diciendo sobre el reflejo de “querer no querer”. Pero no estoy seguro de si eso realmente necesita un modificador exótico.

La aplicación de la lógica a los deseos en general comienza a pasar al dominio de la economía. Por lo tanto, puede haber algo de literatura sobre el manejo, por ejemplo, de cascadas de deseos y preferencias múltiples y en competencia.

Answer 3

Es posible…