Abstract The purpose of this paper is twofold: (i) we will argue that formal semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts, namely ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of, and relations between, objects of various ontological types; and (ii) we show that accounting for these differences amounts to a new formal semantics; one that integrates lexical and (...) compositional semantics in one coherent framework and one where formal semantics is embedded with a strongly typed ontology; an ontology that reflects our commonsense knowledge of the world and the way we talk about it in ordinary language. We will show how in such a framework a number of challenges in the semantics of natural language are adequately and systematically treated. (shrink)

Mouth ulcers, also known as canker sores, are a common oral health issue affecting a significant portion of the population. Early and accurate diagnosis of mouth ulcers is crucial for effective treatment and prevention of complications. This paper presents an expert system developed using CLIPS (C Language Integrated Production System) to diagnose mouth ulcer disease. The expert system utilizes a rule-based approach, incorporating a comprehensive knowledge base consisting of symptoms, risk factors, and medical literature related to mouth ulcers. By employing (...) an inference engine, the system evaluates patient input against the rules and generates a diagnosis based on the matching symptoms and relevant factors. The system also provides detailed explanations and recommendations for each diagnosis, aiding healthcare professionals and patients in understanding the condition and selecting appropriate treatment options. The development and validation of the expert system involved a multi-step process, including knowledge acquisition, rule formulation, and testing against a diverse dataset of mouth ulcer cases. The system's performance was evaluated by comparing its diagnoses with those made by medical professionals, demonstrating a high level of accuracy and consistency. The implementation of an expert system for diagnosing mouth ulcer disease offers several advantages, including the ability to provide timely and accessible healthcare services, reduce misdiagnosis rates, and assist healthcare professionals in decision-making processes. Moreover, it empowers individuals to make informed decisions about their health and seek appropriate medical intervention. This paper contributes to the field of medical expert systems by showcasing the practical application of CLIPS in the diagnosis of mouth ulcer disease. The results demonstrate the potential of expert systems as valuable tools for healthcare professionals and patients alike, enhancing the efficiency and accuracy of diagnosis in oral health care. (shrink)

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of (...) a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

Whether it was John Searle’s Chinese Room argument (Searle, 1980) or Roger Penrose’s argument of the non-computable nature of a mathematician’s insight – an argument that was based on Gödel’s Incompleteness theorem (Penrose, 1989), we have always had skeptics that questioned the possibility of realizing strong Artificial Intelligence (AI), or what has become known by Artificial General Intelligence (AGI). But this new book by Landgrebe and Smith (henceforth, L&S) is perhaps the strongest argument ever made against strong AI. It is (...) a very extensive review of what building a mind essentially amounts to drawing on insights and results from biology, physics, linguistics, computability, philosophy, and mathematics. (shrink)

Psychological momentum (PM) is thought to be a force that influences judgment, emotion, and performance. Based on a review of the extant literature, we elucidate two distinct approaches that researchers have adopted in their study of PM: the input-centered approach and the output-centered approach. Consistent with the input-centered approach, we conceptualize PM as a process whereby temporal and contextual PM-like stimuli (i.e., perceptual velocity, perceptual mass, perceptual historicity, and perceptually interconnected timescales)—initially perceived as an impetus—are extrapolated to imagined future outcomes (...) through mental simulation. In turn, and consistent with the output-centered approach, we posit that mental simulation elicits experiential (e.g., perceptual, cognitive, emotional) and behavioral states that govern goal pursuit, and that the pursuit of goals further influences perceptions of self, environment, and action quality. In all, we suggest that PM is interdependently linked to perceptions and behaviors in the sense that PM both influences and is influenced by changes in self-perceptions, environmental perceptions, and behavior, and we conclude by linking the PM construct to recent work on prospection. (shrink)

rtificial Intelligence (AI) is swiftly becoming a fundamental element in modern healthcare, bringing unparalleled capabilities in diagnostics, treatment planning, patient care, and healthcare management. This paper delves into AI's transformative impact on the healthcare sector, highlighting how it enhances patient outcomes, boosts the efficiency of medical practices, and introduces new ethical and operational challenges. Through an analysis of current applications such as AI-driven diagnostic tools, personalized medicine, and hospital management systems, the paper underscores the significant advancements AI has introduced to (...) the field. However, the integration of AI also presents concerns related to data privacy, algorithmic bias, and the displacement of healthcare professionals. This study provides a thorough overview of these developments, offering insights into AI's future potential to revolutionize healthcare while addressing the ethical considerations necessary for its responsible adoption. The findings suggest that while AI has the potential to transform healthcare delivery, careful consideration of its implications is essential for ensuring its equitable and effective implementation. (shrink)

A newborn baby is an infant within the first 28 days of birth. Diagnosis and treatment of infant diseases require specialized medical resources and expert knowledge. However, there is a shortage of such professionals globally, particularly in low-income countries. To address this challenge, a knowledge-based system was designed to aid in the diagnosis and treatment of neonatal diseases. The system utilizes both machine learning and health expert knowledge, and a hybrid data mining process model was used to extract knowledge from (...) a clinical dataset. The PART algorithm achieved the highest performance result with 98.06% accuracy under 10-fold cross-validation, and the generated rules were used to develop the knowledge-based system. The system achieved 90.9% accuracy in system performance testing and 89.2% in user acceptance testing, and is intended to serve as an assistant tool for healthcare experts. (shrink)

Objective: Patients' satisfaction is one of the most important goals in complete denture therapy, and there are many factors influencing this parameter. This study aimed to determine patient satisfaction with conventional removable complete denture made by clinical year students at the Faculty of Dentistry, Al Azhar University - Gaza. Methods: A sample of 85 patient who had conventional removable complete denture made by clinical year students at the Faculty of Dentistry Al Azhar University - Gaza filled a questionnaire two months (...) after denture insertion. The questionnaire involving four sections including personal information, history, denture evaluation in aspects of mastication, speech, aesthetics and retention, and patient comfort. Results: Of the 85 patient studied, 81% were males, and the mean age was 60.3 years SD+-9.64. The majority (n= 67, 79 %) lost their teeth because of bad oral hygiene. The overall satisfaction level was (92.1%), and patients were more satisfied with their upper denture. A significant association was found between the patient satisfaction and prior denture use experience (p=0.013). No significant correlation was established between the patient satisfaction and their gender (p=0.188), age group (p=0.640) and employment status (p=0.667).Conclusion: The patients have shown a high level of overall satisfaction. A significant association was found between the overall satisfaction level of patients and prior denture use experience. No statistically significant association was observed between the overall satisfaction level of patients and with each of age group, employment status and gender. (shrink)

The Atlas Group appeals to philosophical thinking in multiple ways—both through its aesthetic figuration and its conceptual references. Presented as a foundation dedicated to the research and the compilation of documents on Lebanese contemporary history and organized in the form of an invented archive, this artistic project deliberately coalesces real and fictitious elements and confronts, subversively, Western views on the socio- political reality of the Middle East with implicit knowledge and experiences from the region. The singular constitution of this curious (...) archive subtly undermines the rational classification to which it alludes, thereby frustrating unilateral appropriations. Moreover, the question of the mediation of subjective experience and factual reality is consistently raised through the hysterical documents. This article aims to deploy how Walid Raad's project subtly criticises objectivist hegemonic claims by confronting divergent, often incommensurate approaches to the conflictual reality in Lebanon and its appropriation by media, historiography and politics. (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)

Bu kitapta, Ebû İshâk es-Saffâr’ın (öl. 534/1139) kelâmî görüşleri, Telḫîṣü’l-edille li-ḳavâʿidi’t-tevḥîd adlı eserinde Allah’ın isimlerinin anlamlarını açıklarken yaptığı yorumlar çerçevesinde ele alınmaktadır. Ebû İshâk es-Saffâr, 6./12. yüzyıl Hanefî-Mâtürîdî âlimlerinden biridir. Kelâma dair Telḫîṣü’l-edille eserinde esmâ-i hüsnâ konusuna ayrıntılı olarak yer vermektedir. İki cilt hâlinde yayımlanan bu eserin yaklaşık üçte birlik bir kısmını esmâ-i hüsnâ konusu oluşturmaktadır. Bu kısım incelendiğinde, Saffâr’ın Allah’ın varlığı, birliği ve sıfatları ile ilgili konular başta olmak üzere pek çok konuyu 175 esmâ-i hüsnâya dayanarak izah ettiği görülmektedir. (...) O, esmâ-i hüsnâ bölümünde yer vermediği bazı isimlere ise müstakil başlıklar altında değinmektedir. Örneğin el-Mütekkelim ismi kelâm sıfatını bağlamında ve halku’l-Kur’ân ile icâz’ul-Kur’ân gibi konularla ilişkili bir şekilde ele almaktadır. Bu isimler de listeye dahil edildiğinde sayı 178’e ulaşmaktadır. Bu durumda eserin yarısını esmâ-i hüsnâ konusu teşkil etmektedir. -/- Saffâr, esmâ-i hüsnâ bölümünde alfabetik bir sıra içerisinde ele aldığı ilâhî isimleri öncelikle lugavî (semantik) yönden izah etmektedir. Sonrasında ise değerlendirdiği ilahî ismi, bir kelâm konusu ile bağlantı kurarak kelâmî perspektifle açıklamaktadır Esmâ-i hüsnâ temelinde ele alınan konuların hilâfet meselesi hariç diğer kelâm bahislerini kapsadığı görülmektedir. Saffâr öncesi Hanefî-Mâtürîdî kelâm literatürü içinde esmâ-i hüsnânın bu kadar kapsamlı ele alındığı başka bir eser bilinmemektedir. -/- Bu kitap; üç ana bölümden oluşmaktadır. “Metodolojik Çerçeve” başlıklı giriş bölümünde çalışmanın konusu, önemi, amacı, yöntemi ve kaynakları hakkında bilgi verilmiştir. Birinci bölümde Saffâr’ın yaşadığı sosyokültürel çevre olan Mâverâünnehir bölgesi ile Buhara ve Merv şehirlerinin siyasî, sosyal ve dinî durumu ortaya konulmaya çalışılmıştır. İkinci bölümde esmâ-i hüsna konusunun anlaşılmasına temel oluşturan isim, tesmiye, müsemmâ, sıfat ve vasf gibi kavramlar ile esmâ-i hüsnânın sayısı ve ihsâsı gibi kelâmî tartışmalara değinilmiştir. Sonrasında Saffâr öncesi dönemde kaleme alınan esmâ-i hüsnâ litaratürü hakkında bilgi verilmiştir. Bölüm sonuna Saffâr’ın rivayet ettiği 178 ilahî isme dair ayrıntılı bir tablo eklenmiştir. Üçüncü bölümde öncelikle, Saffâr’ın esmâ-i hüsnâyı izah ederken dikkate aldığı kelâmî ilkeler tespit edilmeye çalışılmıştır. Sonrasında ise Saffâr’ın Telḫîṣü’l-edille’de ilâhî isimleri açıklarken ortaya koyduğu kelâmî görüş ve değerlendirmeler belirlenerek sistematik bir şekilde kategorize edilmiştir. Bu kapsamda ele alınan her konunun sonuna ilgili ilâhî isimleri ve bağlantılı olduğu tartışmaları içeren tablolar eklenmiştir. Sonuç bölümünde ise Saffâr’ın esmâ-i hüsnâ anlayışına dayanan kelâm yöntemine dair ulaştığımız sonuçlara yer verilmiştir. Bu kitapta onun, esmâ-i hüsnânın %75’inde kelâmî yorumlarda bulunduğu ve bilgi-varlık bahsinden âhiret hayatına kadar bütün kelâm konularını esmâ-i hüsnâ ile bağlantılı yorumladığı tespit edilmiştir. Ulaşılan bu sonuçlar, Saffâr’ın kelâm anlayışının ilâhî isimlerin yorumuna dayandığını ortaya koymaktadır. [his book discusses the theological views of Abū Isḥāq al-Ṣaffār d. 534/1139), within the framework of his comments on the meanings of Allah’s names, provided in his work titled Talkhīṣ al-adilla. Abū Isḥāq al-Ṣaffār is one of the Ḥanafite-Māturīdite scholars in the 6th/12th century. In his work titled Talkhīṣ al-adilla li-qawāʿid al-tawḥīd on kalām, he spared extensive space for al-asmāʾ al-husnā. Approximately one third of this work, published in two volumes, is devoted to al-asmāʾ al-husnā. An examination of the related section reveals that al-Ṣaffār explains many issues, particularly those related to the existence, unity and attributes of Allah, based on 175 al-asmāʾ al-husnā. He mentions some of the names that he does not include in the al-asmāʾ al-husnā section under separate headings. For example, the name al-Mutakallim is addressed within the context of the attribute of kalām and in relation to subjects, such as the khalq al-Qurʾān and i‘jaz al-Qurʾān. Upon the addition of these names to the list, the number names reaches 178. This means that half of the work deals with the subject of al-asmāʾ al-husnā. -/- al-Ṣaffār lists the divine names in alphabetical order and explains them semantically in the chapter of al-asmāʾ al-husnā. Then he goes on to clarify each divine name through a theological lens with a specific reference to the subject of kalām. In the pre-Saffar Ḥanafite-Māturīdite theological literature, there is no other work that addresses al-asmāʾ al-husnā in such an extensive way. -/- This book consists of three main sections. The first section titled “Methodological Framework”, elaborates on the focus, significance, purpose and method of the study, along with the sources used. The first part describes the political, social and religious status of Transoxiana (Mā-warāʾ al-Nahr) region and the cities of Bukhara and Marw, the sociocultural environment in which Saffar lived. The second chapter addresses various concepts, which promote the understanding of al-asmāʾ al-husnā, such as name, tasmiya, musammā, attribute and qualification in addition to the theological debates such as the number and iḥṣāʾ of al-asmāʾ al-husnā. Then, it provides information about the al-asmāʾ al-husnā literature produced in the pre- Ṣaffār period. The end of each chapter comes with a detailed table with the 178 divine names mentioned by al-Ṣaffār. In the third chapter, the author initially discusses the theological principles that al-Ṣaffār considered while explaining the essence of al-asmāʾ al-husnā. This section also determines and systematically categorizes the theological views and evaluations put forward by al-Ṣaffār while explaining the divine names in Talkhīṣ al-adilla. The tables with the divine names and the related discussions can be seen at the end of the discussion for each subject. The last section presents the conclusions reached, regarding the kalām method based on al-Ṣaffār’s understanding of the essence of al-asmāʾ al-husnā. The present study revealed that he made theological interpretations in 75% of the al-asmāʾ al-husnā and interpreted all theological issues ranging from the subjects of knowledge and existence to the Afterlife in connection with the al-asmāʾ al-husnā. These results indicate that al-Ṣaffār's understanding of kalām is based on the interpretation of the divine names.]. (shrink)