Ibn Sīnā on analysis: 1. Proof search. Or: Abstract State Machines as a tool for history of logic
by
Wilfrid Hodges
,
Devon Ex Py
| Citations: | 2 - 2 self |
BibTeX
@MISC{Hodges_ibnsīnā,
author = {Wilfrid Hodges and Devon Ex Py},
title = {Ibn Sīnā on analysis: 1. Proof search. Or: Abstract State Machines as a tool for history of logic},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
and I have removed some personal references. The 11th century Arabic-Persian logician Ibn Sīnā (Avicenna) in section 9.6 of his book Qiyās gives what appears to be a proof search algorithm for syllogisms. We confirm that it is indeed a proof search State Machine from Ibn Sīnā’s text. The paper also contains a translation of the passage from Ibn Sina’s Arabic, and some notes on the text and translation. 1
