Publication Date
7-2015
Abstract
Famous medieval philosophers Al-Sijistani and Maimonides argued that the use of double negation helps us to better understand issues related to theology. To a modern reader, however, their arguments are somewhat obscure and unclear. We show that these arguments can be drastically clarified if we take into account the 20 century use of double negation in constructive logic.
Comments
Technical Report: UTEP-CS-15-60
Published in International Mathematical Forum, 2015, Vol. 10, No. 12, pp. 587-593.