What would count as Ibn Sina (11th c. Persia) having first order logic?

Wilfrid Hodges (School of Mathematical Sciences) gives a talk at the MCMP Colloquium (21 Mar, 2012) titled "What would count as Ibn Sina (11th c. Persia) having first order logic?". Abstract: People debate whether first order logic was invented in 1879, or 1885, or 1928. I will push the boat out much further and discuss the case for around 1025. The question is methodological as much as historical. We have masses of evidence about what Ibn Sina did or didn't know in logic. But his notion of what logic does was so different from ours that there is no straightforward answer to the question 'Did he know first order logic?'. I will give the case for the answer Yes and the case for the answer No.