On Descriptional Propositions in Ibn Sīnā: Elements for a Logical Analysis

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Employing Constructive Type Theory (CTT), we provide a logical analysis of Ibn Sīnā’s 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 (and descriptions) that extend time to intervals (or spans of times). 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.
Original languageEnglish
Title of host publication Mathematics, Logic, and their Philosophies
EditorsMojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour
PublisherSpringer Nature
Number of pages21
ISBN (Electronic)978-3-030-53654-1
ISBN (Print)978-3-030-53656-5
Publication statusPublished - 2021


Dive into the research topics of 'On Descriptional Propositions in Ibn Sīnā: Elements for a Logical Analysis'. Together they form a unique fingerprint.

Cite this