Najm al-Dīn al-Qazwīnī al-Kātibī
¿Quién amplió el trabajo de Avicena en lógica temporal?
Un sistema formal temprano de lógica temporal fue estudiado por Avicena. Aunque no desarrolló una teoría real de las proposiciones temporales, sí estudió la relación entre temporalis y la implicación. El trabajo de Avicena fue desarrollado por Najm al-Dīn al-Qazwīnī al-Kātibī y se convirtió en el sistema dominante de la lógica islámica hasta los tiempos modernos. La lógica aveniana también influyó en varios de los primeros lógicos europeos como Alberto Magno y Guillermo de Ockham. Avicena apoyó la ley de no contradicción propuesta por Aristóteles, que un hecho no podía ser verdadero y falso al mismo tiempo y en el mismo sentido de la terminología utilizada. Declaró: "Cualquiera que niegue la ley de la no contradicción debe ser golpeado y quemado hasta que admite que ser golpeado no es lo mismo que no ser golpeado, y ser quemado no es lo mismo que no ser quemado".
question: ¿Quién amplió el trabajo de Avicena en lógica temporal?, answer: Najm al-Dīn al-Qazwīnī al-Kātibī