Switch to: References

Add citations

You must login to add citations.
  1. Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
    This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...)
    No categories
  • When the present misunderstands the past how a modern Arab intellectual reclaimed his own heritage.Hassan Tahiri - 2018 - Arabic Sciences and Philosophy 28 (1):133-158.
    The beginning of the 20th century has witnessed a significant development that has renewed and stimulated the long passionate historical relationship between two great civilisations which are traditionally known as the West and the East. Following their ancestors who cultivated the quest for knowledge tradition, some Arab scholars have come to leading European countries to learn the latest advancement in knowledge. They did not expect they would be confronted with what seems to be the poor showing of their scientific and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Muslim Philosophers on Affirmative Judgement with Negative Predicate.Seyyed Mohammad Ali Hodjati - 2022 - Axiomathes 32 (S3):749-780.
    According to Aristotelian logic, in categorical logic, there are three kinds of judgements (qaḍīyya): affirmative, negative, and metathetic (ma‘dūla). Khūnajī, a famous Muslim logician in the 13th century, introduces a different judgement (or statement) entitled “affirmative judgement with the negative predicate” (mūjiba al-sāliba al-maḥmūl; henceforth, ANP judgement). Although in the Arabic language, formally, ANP judgement is similar to definite negative (sāliba muḥaṣṣala) and also metathetic judgements, the way of its construction is different from both of them and its truth conditions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark