The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

New methods for reading and understanding the religious sources have been applied along with the modern period. Some issues, that have already gained a certain shape in the classical period, have been discussed again as a result of the application of new methods and thus a number of conclusions which exceed the boundaries framed by Ijma (consensus of the Ummah) were reached. In the course of time, these discussions were not limited to transactions [al-Mu`amalat] but also expanded to worship (al-'Ibadah) (...) and faith (al-aqāʾid) issues. One of these debate topics is the issue whether it is mandatory for the Jews and Christians (Ahl al-Kitāb) to believe in and follow prophet Muhammad (pbuh) and the last holy book al-Quran to be on the straight path and to reach salvation. The detection and analysis of these historical breaking points in the modern period is of importance. To analyse these breaking points in the interpretation of the verses, two tafseers which reflect the traditional method and understanding (at-Tibyan and Bilmen’s Tafseer) are compared with two other tafseers (Çağdaş Tefsir and Kuran Yolu) which are written in the last 40 years period. (shrink)

Abu Nasr Muhammad Alfarabi, the medieval Muslim philosopher and the founder of Islamic Neoplatonism, is best known for his political treatise, Mabadi ara ahl al-madina al- fadhila (Principles of the Opinions of the Inhabitants of the Virtuous City), in which he proposes a theory of utopian virtuous city. Prominent scholars argue for the Platonic nature of Alfarabi’s political philosophy and relate the political treatise to Plato’s Republic. One of the most striking similarities between Alfarabi’s Mabadi ara ahl al-madina al- fadhila (...) and Plato’s Republic is that in both works the theory of virtuous city is accompanied by a theory of soul. It is true that Alfarabi’s theory of soul differ considerably from that of Plato’s Republic. However, we propose that notwithstanding the differences, the two theories of soul do play an identically important role in the respective theory of virtuous city. The present article explores the relationship between the soul and the city in Plato’s Republic and Alfarabi’s Mabadi ara ahl al-madina al- fadhila, and intends to show that in both works the coexistence of the theory of soul and the city is neither coincidental nor a casual concurrence of two themes. Rather, the concept of soul serves as a foundation on which Plato and Alfarabi erect their respective theory of perfect association. Thus, Alfarabi’s treatise resembles Plato’s Republic not only in the coexistence of the theory of soul and the city, but also in the important role of the concept of soul in the theory of virtuous city. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

Abū Ishāq al-Ṣaffār was one of scholars of the Western Qarakhānids’ period who followed the Kalām thought of al-Māturīdī (d. 333/944). His theological works Talkhīs al-adilla and Risāla fī al-kalām, his method in kalām, and frequent reference to his works by Ottoman and Arab scholars indicate that al-Ṣaffār is a respected and authorative Māturīdī theologian. The article focuses on his defense of the kalām. By adding a long introduction to Talkhīs about the naming, importance, and religious legitimacy of the science (...) of kalām, Saffār asserted that the kalām should be learned. When systematical vindication of the science of kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the kalām among Ḥanafī-Māturīdīs. Even though he does not state its systematic, it can be understood that vindication of kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation. Al-Ṣaffār’s defending the science of kalām shows that there were opposite thoughts against kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania. In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists. His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- SUMMARY: Abū Ishāq Ibrahīm b. Ismāil Zāhid al-Ṣaffār al-Bukhārī is a scholar belonging to the Ḥanafī theological tradition which was improved by the contribution of Ḥanafī theologians who used thinking system of Abū Ḥanīfa (d. 150/767) as base and adopted Abū Manṣūr al-Māturīdī (d. 333/944) and his thoughts in historical process. The contents of his theological works Talkhīs al-adilla li-qawāʿid al-tawḥīd and Risāla fī al-Kalām, the method that he used, and references to his works made by Ottoman and Arab scholars indicate that he is an important Māturīdī theologian. The article focuses on his defense of the science of Kalām. -/- In Talkhīs al-adilla, there are two sections including the subject of naming, and importance and necessity of Kalām discipline. Here, the necessity of learning Kalām and its value are defended in detail. -/- Besides, rumors “Abū Ḥanīfa turned away from the science of Kalām in his doomsdays” and that “He prohibited to make occupation with Kalām completely” are evaluated. -/- When systematical vindication of the science of Kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the Kalām among Ḥanafī Māturīdīs. Even if Abū Manṣūr al-Māturīdī, Abū al-Yusr al-Bazdawī (d. 493/1100) and Abū Muʿīn al-Nasafī (d. 508/1115) defend that the science of Kalām is not wrong for religion; yet, the vindication of Kalām does not take a place under a separate title and in a detailed manner in any of Māturīdī theologians works. -/- The method that al-Ṣaffār used when he is defending the science of Kalām, differs from strategy of Abū Ḥanīfa. While Abū Ḥanīfa has mentioned that there is a need for the science of Kalām under these new circumstances, al-Ṣaffār has defended theologians who were charged with being Ahl al-Bidaʿ, by trying to prove that the prophets especially the Prophet Ibrāhīm, even the Companions of the Prophet Muḥammad (Ṣaḥāba) and the Successors of the Companions (Tābiʿūn) scholars use their minds and make arguments in religious matters. In this respect, he emphasizes that the Qurʾān orders to think and discuss gently, not to be stay in silence: “And dispute with them, using what is best” (16.125-126). Therefore, he states that this discipline which took a mission to explain and defend the creed of Islam (ʿaqīda), cannot be characterized as an innovation (bidʿah) or illicit. -/- His vindication method can be defined as a more developed type of method that Abu’l-Ḥasan al-Ash’arī’s (d. 324/935) used in Risāla fī istiḥsān al-khawḍ fī ʿilm al-kalām. Even though he does not state its systematic, it can be understood that vindication of Kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation: -/- a) Explanation: Explaining the necessity and importance of the science of Kalām by giving information about its definition, names, value and place among other principles. -/- b) Demonstration: Revealing the religious basics of the science of Kalām from the Qurʾān, the Sunna of the Prophet Muḥammad, the Companions of the Prophet, and the Successors of the Companions thus specifying that it is legitimate for religion. -/- c) Refutation: Replying the claims having aim to weaken the value of Kalām principle and its religious legality. -/- Al-Ṣaffār describes ‘the science of Kalām’ as ‘Knowing the Real with the evidences which help to reach the absolute information’. By allocating the concept of 'Ḥaqq', he repeats the definition of Kalām as “it is to know God with certain evidences” in a part of his work, and “it is to know the principles of religion (uṣūl al-dīn) with certain evidences” in another part. He describes Kalām as “Knowing ḥaqq / God / uṣūl al-dīn by depending on evidence”, and tries to prove that it is wrong to consider a science which performs the stated duty, as illicit and abominable and thus turn away from it. -/- Al-Ṣaffār thinks that it is right to call this principle as ‘Kalām’ because of the certain evidences leading to the truth that this science has used. This thought was defended by other theologians as well. -/- For example, according to Saʿd al-Dīn Masʿūd al-Taftazānī (d. 792/1310) it seems like to say “This is the word (kalām), not the other knowings” by the way of the power of evidences used in Kalām.Thus, it is appropriate to give name Kalām for this science which based on certain evidences. -/- Al-Ṣaffār’s explanations revealed in scope of vindication of the Kalām are adopted by some of following scholars. Ḥusām al-Dīn al-Sighnāqī (d. 714/1314) in his book called al-Tasdīd sharḥ al-Tamhīd fī qawāʿid al-tawḥīd quotes Saffâr’s explanations as the same. -/- Al-Ṣaffār indicates that the method told in the Qurʾān is to reply questions about religion, beliefs and rejection instead of remaining in silence. The duty taken on by Kalām is this vindication activity performed by the prophets whose examples are described in the Qurʾān and which is legal and demanded. His way of thinking and vindication of the Kalām resembles that of Abū Manṣūr al-Māturīdī. Al-Māturīdī says, “Prophets and we were ordered to invite infidels to Islam. When this invitation happens, the respondents will ask for evidence and explanation, and discussion will be inevitable. Therefore, discussing and talking about subjects of Kalām is not objectionable”. -/- Thoughts of al-Māturīdī and al-Ṣaffār regarding the vindication of the Kalām were repeated by Nūr al-Dīn al-Ṣābūnī (d. 580/1184), and Fakhr al-Dīn al-Rāzī (d. 606/1210) later. According to al-Ṣābūnī, the evidences put against deniers and especially the discussion made by the Prophet Ibrāhīm to defend his own belief, prove the legality of Kalām discipline. Likewise, according to al-Rāzī, the duty of Kalām is just an activity performed already in the Qurʾān and ordered to the prophets. At this point of view, since the prophets were leading to Kalām, banning this activity is nonsense. -/- According to al-Ṣaffār, the reason for why Abu Hanifa avoids his son Hammād from these discussions is that Abu Hanifa does not like discussions based on obstinate. Otherwise, it cannot be that Abū Ḥanīfa prohibits to learn Kalām and make discussion about Kalām. According to him, this behavior of Abū Ḥanīfa results from that people discussing with him are ignorant about the subject of Kalām, discussion turns to an obstinate, and coming to an end of discussion seems impossible. This comment of al-Ṣaffār is quoted in Miftāḥ al-saʿāda wa-miṣbāḥ al-siyāda by ʿIṣām al-Dīn Aḥmed b. Muṣṭafā Tashköprüzāde (d. 968/1561) and in Minaḥ al-rawḍ al-azhar fī sharḥ al-Fiqh al-akbar by ʿAlī b. Sulṭān Muḥammad al-Qārī (d. 1014/1606) as same as his words. -/- Al-Ṣaffār’s defending the science of Kalām shows that there were opposite thoughts against Kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania.In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of Kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists (fuqahāʾ). Because some of the Ḥanafī jurists thought that Abū Ḥanīfa forsook occupation with the science of Kalām and even he prohibited his son to have interest in this discipline. But some of Ḥanafī theologians such as al-Māturīdī, al-Nasafī and al-Ṣaffār protested this thought which describes Abū Ḥanīfa as a banner for Kalām. -/- His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- His book Talkhīs al-adilla li-qawāʿid al-tawḥīd is a unique source in terms of containing vindication of the Kalām in detail and also influencing the approaches of the next period scholars. (shrink)

In his political treatise, Mabadi ara ahl al-madina al-fadhila, Abu Nasr Alfarabi, the medieval Muslim philosopher, proposes a theory of virtuous city which, according to prominent scholars, is modeled on Plato’s utopia of the Republic. No doubt that Alfarabi was well-versed in the philosophy of Plato and the basic framework of his theory of city is platonic. However, his theory of city is not an exact reproduction of the Republic’s theory and, despite glaring similarities, the two theories do differ in (...) many aspects. In both, Alfarabi’s Mabadi ara ahl al-madina al-fadhila and Plato’s Republic, the theory of virtuous city is accompanied by a theory of the soul. Since the theory of soul plays a foundational role in both theories of the virtuous city, the present article intends to provide an explanation for the differences between the two theories of the city in terms of the differences between the two theories of the soul. (shrink)

The political turmoil at the end of the period of Righteous Caliphs and in the early periods of the Umayyads had left the Islamic community facing factionalism and civil war. Accordingly, people have witnessed that the acts considered among the great sins such as assassination may be committed even by companions of the Prophet (pbuh). This situation brought the question on the status of believers who committed great sins in this World and in the Hereafter, to the agenda of scholars. (...) The Kharijis and the Mu’tazila did not consider the person who committed A great sin among the believers. According to the Ahl al-Sunna and Al-Jaṣṣās, to commit a great sin does not cause the exclusion of the person from religion. Al-Jaṣṣās has taken into account the issue of great sin, when dealing with the issues of general term, specialization of the cause and infallibilism in diligence (al-ijtihād), since it constitutes the theological (Kalāmī) side of the subject. Although al-Jaṣṣās’ followed a line close to Mu’tazila in the aforementioned matters concerning the jurisprudence, he defended the view of Abū Ḥanīfah in his approach to the person who committed a great sin. His approach to the matter of great sin also clarifies the relationship between islamic law and Islamic thought. (shrink)

Since the spread of Islam in Transoxiana (Mā-warāʾ al-Nahr), religious understandings based on the opinions of Abū Ḥanīfa (d. 150/767) have always been dominant in the region. Therefore, it was not possible for other understandings, which may seem to be opposite to Abū Ḥanīfa’s opinions, to be influential in the region. That Najjāriyya and Karrāmiyya could not be perennial in the region may be an example of this case. Similarly, Māturīdiyya, which benefited from Abū Ḥanīfa’s treatises of creed and his (...) rational method, could not adequately get the support of people at the time of Abū Manṣūr al-Māturīdī (d. 333/944) and Abū l-Muʿīn al-Nasafī (d. 508/1114) because the school was seen as an opposite approach to the prevailing imaginations about Abū Ḥanīfa. Moreover, the Ḥanafī jurists (Ḥanafī fuqahāʾ), who were influential in not only people but also bureaucracy, and the Ḥanafī theologians (Ḥanafī mutakallimūn), who followed al-Māturīdī’s theological method , did not come to terms on their interpretations of Abū Ḥanīfa. The Ḥanafī jurists who benefited mostly from juridical sources and manāqibworks were thinking different from the Ḥanafī theologians who relied on the treatises of Abū Ḥanīfa on such issues as the legitimacy of Kalām as a scholarly discipline, the responsibility of people of fatra(ahl al-fatra: people having no access to the message of Islam), and the creation of faith (īmān). The Ḥanafī jurists took different stance on various issues and argued that faith is not created; the informative (khabarī) attributes of God (ṣifāt Allāh) mentioned in the Qurʾān cannot be interpreted (taʾwīl); no one can be held accountable for faith only based on the intellect unless the message of the Prophet reaches to her or him; the people of fatracannot be responsible for faith. They also stated that Abū Ḥanīfa broke his relationship with the theological (kalāmī) issues in the last years of his life. Although these jurists accepted Abū Ḥanīfa’s distinction between faith and deeds and his view of the stability of one’s faith without increasing or decreasing they condemned theological discussions on these issues by going beyond the limits of the treatise of creed. While the Ḥanafī theologians known as the Ḥanafī scholars of Samarqand who adopted the religious views of Imām al-Māturīdī of Samarqand acknowledged the intellect and considered it as an independent source in religion, the Ḥanafī jurists known as the Ḥanafī scholars of Bukhārāauthorized the intellect only in understanding the transmission (naql) and its interpretation. The different opinions of the two groups can be seen clearly on the question of the religious responsibility of the people of fatra. When we look at the debates regarding Kalām and the Islamic law, we can see that the difference between these two cities (Samarqand and Bukhārā) stems from their methodological views on the epistemological values of the reason (ʿaql) and the transmission (tradition). Māturīdiyya is a school of theology established by the Ḥanafī theologians who upheld the necessity and significance of Kalām. It is possible to say that the Ḥanafī jurists did not contribute to the establishment and systematisation of this school; rather, they tried to prevent it. Our findings show that the Ḥanafī jurists who lived in Transoxiana differ from each other because of their different understandings of Abū Ḥanīfa. In the historical process extending today it is evident that the religious views of the Ḥanafī jurists and their interpretation of Abū Ḥanīfa have been prominent and effective, not that of Māturīdiyya, which is the understanding of the Ḥanafī theologians. (shrink)

Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...) Birgivî. Better known for his following works on Arabic language and rhetoric and on the prophetic traditions (hadith): Sharḥu uṣûli’l-ḥadîth li’l-Birgivî; Sharḥu’l-Ḳaṣîdati’n-nûniyya (two commentaries, in Arabic and Turkish); Şarḥu’l-Emsileti’l-mukhtalifa fi’ṣ-ṣarf (two commentaries, in Arabic and Turkish); Sharḥu’l-Binâʾ; Sharḥu’l-ʿAvâmil; and Sharḥu İzhâri’l-asrâr, Karsî has actually composed textbooks in quite different fields. Hence the hundreds of manuscript copies of his works in world libraries. Many of his works were also recurrently printed in the Ottoman period. One of the neglected aspects of Karsî is his identity as a logician. Although he authored ambitious and potent works in the field of logic, this aspect of him has not been subject to modern studies. Even his bibliography has not been established so far (with scattered manuscript copies of his works and incomplete catalogue entries). This article primarily and in a long research based on manuscript copies and bibliographic sources, identifies twelve works on logic that Karsî has authored. We have clarified the works that are frequently mistaken for each other, and, especially, have definitively established his authorship of a voluminous commentary on al-Kâtibî’s al-Shamsiyya, of which commentary a second manuscript copy has been identified and described together with the other copy. Next is handled his most famous work of logic, the Sharhu Îsâghûcî, which constitutes an important and assertive ring in the tradition of commentaries on Îsâghûcî. We describe in detail the nine manuscript copies of this work that have been identified in various libraries. The critical text of Karsî’s Sharhu Îsâghûcî, whose composition was finished on 5 March 1745, has been prepared based on the following four manuscripts: (1) MS Kayseri Raşid Efendi Kütüphanesi, No. 857, ff.1v-3v, dated 1746, that is, only one year after the composition of the work; (2) MS Bursa İnebey Yazma Eser Kütüphanesi, Genel, No.794B, ff.96v-114v, dated 1755; (3) MS Millet Kütüphanesi, Ali Emiri Efendi Arapça, No. 1752, ff.48v-58r, dated 1760; (4) MS Beyazıt Yazma Eser Kütüphanesi, Beyazıt, No. 3129, ff.41v-55v, dated 8 March 1772. While preparing the critical text, we have applied the Center for Islamic Studies (İslam Araştırmaları Merkezi, İSAM)’s method of optional text choice. The critical text is preceded by a content analysis. Karsî is well aware of the preceding tradition of commentary on Îsâghûcî, and has composed his own commentary as a ‘simile’ or alternative to the commentary by Mollâ Fanârî which was famous and current in his own day. Karsî’s statement “the commentary in one day and one night” is a reference to Mollâ Fanârî who had stated that he started writing his commentary in the morning and finished it by the evening. Karsî, who spent long years in the Egyptian scholarly and cultural basin, adopted the religious-sciences-centered ‘instrumentalist’ understanding of logic that was dominant in the Egypt-Maghrib region. Therefore, no matter how famous they were, he criticized those theoretical, long, and detailed works of logic which mingled with philosophy; and defended and favored authoring functional and cogent logic texts that were beneficial, in terms of religious sciences, to the seekers of knowledge and the scholars. Therefore, in a manner not frequently encountered in other texts of its kind, he refers to the writings and views of Muhammad b. Yûsuf al-Sanûsî (d.1490), the great representative of this logical school in the Egyptian-Maghrib region. Where there is divergence between the views of the ‘earlier scholars’ (mutaqaddimûn) like Ibn Sînâ and his followers and the ‘later scholars’ (muta’akhkhirûn), i.e., post-Fakhr al-dîn al-Râzî logicians, Karsî is careful to distance himself from partisanship, preferring sometimes the views of the earliers, other times those of the laters. For instance, on the eight conditions proposed for the realization of contradiction, he finds truth to be with al-Fârâbî, who proposed “unity in the predicative attribution” as the single condition for the realization of contradiction. Similarly, on the subject matter of Logic, he tried to reconcile the mutaqaddimûn’s notion of ‘second intelligibles’ with the muta’akhkhirûn’s notion of ‘apprehensional and declarational knowledge,’ suggesting that not much difference exists between the two, on the grounds that both notions are limited to the aspect of ‘known things that lead to the knowledge of unknown things.’ Karsî asserts that established and commonly used metaphors have, according to the verifying scholars, signification by correspondence (dalâlat al-mutâbaqah), adding also that it should not be ignored that such metaphors may change from society to society and from time to time. Karsî also endorses the earlier scholars’ position concerning the impossibility of quiddity (mâhiyya) being composed of two co-extensive parts, and emphasizes that credit should not be given to later scholars’ position who see it possible. According to the verifying scholars (muhaqqîqûn), it is possible to make definition (hadd) by mentioning only difference (fasl), in which case it becomes an imperfect definition (hadd nâqis). He is of the opinion that the definition of the proposition (qadiyya) in al-Taftâzânî’s Tahdhîb is clearer and more complete: “a proposition is an expression that bears the possibility of being true or false”. He states that in the division of proposition according to quantity what is taken into consideration is the subject (mawdû‘) in categorical propositions, and the temporal aspect of the antecedent (muqaddam) in hypothetical propositions. As for the unquantified, indefinite proposition (qadiyya muhmalah), Karsî assumes that if it is not about the problems of the sciences, then it is virtually/potentially a particular proposition (qadiyya juz’iyyah); but if it is about the problems of the sciences, then it is virtually/potentially a universal proposition (qadiyya kulliyyah). This being the general rule about the ambiguous (muhmal) propositions, he nevertheless contends that, because its subject (mawdû‘) is negated, it is preferable to consider a negative ambiguous (sâliba muhmalah) proposition like “human (insân) is not standing” to be a virtually/potentially universal negative (sâliba kulliyyâh) proposition. He states that a disjunctive hypothetical proposition (shartiyya al-munfasila) that is composed of more than two parts/units is only seemingly so, and that in reality it cannot be composed of more than two units. Syllogism (qiyâs), according to Karsî, is the ultimate purpose (al-maqsad al-aqsâ) and the most valuable subject-matter of the science of Logic. For him, the entire range of topics that are handled before this one are only prolegomena to it. This approach of Karsî clearly reveals how much the ‘demonstration (burhân)-centered’ approach of the founding figures of the Muslim tradition of logic like al-Fârâbî and Ibn Sînâ has changed. al-Abharî, in his Îsâghûjî makes no mention of ‘conversion by contradiction’ (‘aks al-naqîd). Therefore, Karsî, too, in his commentary, does not touch upon the issue. However, in his Îsâghûjî al-jadîd Karsî does handle the conversion by contradiction and its rules. Following the method of Îsâghûjî, in his commentary Karsî shortly touches on the four figures (shakl) of conjuctive syllogism (qiyâs iqtirânî) and their conditions, after which he passes to the first figure (shakl), which is considered ‘the balance of the sciences’ (mi‘yâr al-‘ulûm), explaining the four moods (darb) of it. In his Îsâghûjî al-jadîd, however, Karsî handles all the four figures (shakl) with all their related moods (darb), where he speaks of fife moods (darb) of the fourth figure (shakl). The topic of ‘modal propositions’ (al-muwajjahât) and of ‘modal syllogism’ (al-mukhtalitât), both of which do not take place in the Îsâghûjî, are not mentioned by Karsî as well, either in his commentary on Îsâghûjî or in his Îsâghûjî al-jadîd. Karsî proposes that the certainties (yaqîniyyât), of which demonstration (burhân) is made, have seven, not six, divisions. After mentioning (1) axioms/first principles (awwaliyyât), (2) observata/sensuals (mushâhadât), (3) experta/empiricals (mujarrabât), (4) acumenalia (hadthiyyât), (5) testata (mutawâtirât), and (6) instictives (fitriyyât), that is, all the ‘propositions accompanied by their demonstrations,’ Karsî states that these six divisions, which do not need research and reflection (nazar), are called badîhiyyât (self-evidents), and constitute the foundations (usûl) of certainties (yaqîniyyât). As the seventh division he mentions (7) the nazariyyât (theoreticals), which are known via the badîhiyyât, end up in them, and therefore convey certainty (yaqîn). For Karsî, the nazariyyât/theoreticals, which constitute the seventh division of yaqîniyyât/certainties, are too numerous, and constitute the branches (far‘) of yaqîniyyât. Every time the concept of ‘Mughâlata’ (sophistry) comes forth in the traditional sections on the five arts usually appended to logic works, Karsî often gives examples from what he sees as extreme sûfî sayings, lamenting that these expressions are so widespread and held in esteem. He sometimes criticizes these expressions. However, it is observed that he does not reject tasawwuf in toto, but excludes from his criticism the mystical views and approaches of the truth-abiding (ahl al-haqq), shârî‘â-observant (mutasharri‘) leading sufis who have reached to the highest level of karâmah. (shrink)

“The issue of obligation and free determination had been subject to polemics due to religious concerns. One group defended carbriyya on the basis of the absolute sovereignty of God. While others argued the idea of indetermination in terms of divine justice. After explaining and critizing these thoughts, Molla Sadra gave explanation to the opinions of the Ash’arites on the subject. And then he formed the basis of a new theory called “theory of ahl-i yakin” while getting inspired by the words (...) of Ali b. Ebu Talib who says “there is neither determination nor tawfiz, indeed it is between these” So to speak, human acts are related to both human beings and God.”. (shrink)