Abstract

Employing Constructive Type Theory Constructive Type Theory, we provide a logical analysis of[aut]Ibn SīnāIbn Sīnā’sIbn Sīnā descriptional propositions. Compared to its rivals, our analysis is more faithful to the grammatical subject-predicate structure of propositions and can better reflect the morphological features of the verbs that extend time to intervals. We also study briefly the logical structure of some fallacious inferences that are discussed by Ibn Sīnā. The CTT-framework makes the fallacious nature of these inferences apparent.