Text this: The propositional logic of Avicenna /