Abstract
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 language | English |
|---|---|
| Title of host publication | Mathematics, Logic, and their Philosophies |
| Editors | Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour |
| Publisher | Springer Nature |
| Chapter | 16 |
| Pages | 411-431 |
| Number of pages | 21 |
| ISBN (Electronic) | 978-3-030-53654-1 |
| ISBN (Print) | 978-3-030-53656-5 |
| Publication status | Published - 2021 |