Repository | Journal | Volume | Articles
(2018) Philosophy & Technology 31 (1).
We record the advances made by the eleventh century Persian logician Ibn Sina—known in the West as Avicenna—away from a purely cognitive view of proofs and towards a more computational view, and the kinds of consideration that led him to these advances. Some of Ibn Sina's new logics, which stand somewhere between Aristotle's categorical syllogisms and modern first-order logic, can serve as a kind of laboratory for testing what are the differences between Aristotelian and modern logic, and where these differences come from.
Publication details
DOI: 10.1007/s13347-016-0242-2
Full citation:
Hodges, W. (2018). Proofs as cognitive or computational: Ibn Sı̄nā's innovations. Philosophy & Technology 31 (1), pp. 131-153.
This document is unfortunately not available for download at the moment.