In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolation’ theorem established by Rauszer in [24] since that article is about the property more correctly named ‘deductive interpolation’ (see (...) Galatos, Jipsen, Kowalski and Ono’s use of this term in [5]) for global consequence. Given that the deduction theorem fails for bi-intuitionistic logic with global consequence, the two formulations of the property are not equivalent. (shrink)

تتميز هذه الدراسة عن صوفية الغزالي. رحمة الله. بأنها حققت النظرة المعرفية التي يتبناها، ومناهج البحث التي تسندها وتبعاً لهذا فإنها وفقت في ملاحقة واستنباط معالجة العديد من القضايا التي حفل بها فكره، وهي متشعبة ونجحت في وضعها في مكانها المناسب من البنية المنطقية والمنهجية في فكره. فأثبتت، من غير شك.بأن خطاب الغزالي متماسك الرؤى متلاحم الأجزاء، على عكس ما أشيع عنه الأمر الذي خفف حدة الإشكالية التي اصطبغ بها وساعد، وبالتالي، على تخليصه مما ألحق به من أوهام أو الصق (...) به من مثالب. وفضلا على هذا فقد لفتت الدراسة الانتظار إلى أهمية ( سياسة العلم) التي أخذ بها الغزالي وصمم على أساس منه خطابه، وبينت دورها الخطير في تشكله. كما أنها حللت مفهوم (النور) عنده وهو مفهوم مركزي في خطابه. حيث بينت أنه لا يخرج عن العقلانية بحال. وكذلك تحققت من ركون الغزالي إلى الظاهر البرهاني والتزامه به. قبل أن يتجاوزه في محاولة الارتياد وتأسيس عقلانية أرحب وأرقى كان الغزالي رحمه الله يتطلع إليها وبهذا فقد جاءت هذه الدراسة جديدة حقاً على مستوى الدراسات التي عالجت فكر عالجت فكر الغزالي. واستطاعت أن تغير مفاهيم عدة أشاعتها تلك الدراسات. وبينت تهافت بعض الآراء التي تضمنتها، الأمر الذي يوضح ما قام به الباحث. وإذا نضع بين يديك عزيزنا القارئ هذه الدراسة، فإننا نسأل الله عز وجل أن يوفق الباحث في إعداد دراسات أخرى تنحو ذات المنحى، فتستخرج البنى المعرفية والمنهجية لمفكرين آخرين متميزين في تراثنا العظيم، لتعميق وعينا به، وتدبر آفاقه والله نسأل التوفيق والسداد. (shrink)

al-juzʼ 1. Ṣayrūrat al-taʼāluf al-fikrī al-jadīd wa-al-intiqāl ilá al-taṣawwuf -- al-juzʼ 2. al-Kalām -- al-juzʼ 3. al-Falsafah -- al-juzʼ 4. al-Akhlāq.

On complimentary aspects of some contemporary scientific theories and Buddhist philosophy.

Resumen: Este artículo sostiene que algunas Meta-Picto-Poesías del Paisaje compuestas por el poeta estadounidense Gary Snyder toman como tema la pintura china del paisaje con las características de la antigua poesía china, resplandeciente de incomparable encanto artístico y sustancia cultural. La poesía de este tipo es una combinación perfecta de elementos orientales y occidentales, que integra las culturas, los pensamientos y las artes de ambas partes, cuya apreciación crea una experiencia compleja con un híbrido de formas artísticas y espacios estéticos. (...) Gary Snyder no es sólo un eco-poeta, sino también un estilista y un hombre de práctica. Sus obras poéticas revelan la relación de fomento entre literatura, cultura y naturaleza. El artículo pretende hacer un intento transcultural, interdisciplinar y multidisciplinar en la crítica de Snyder, con métodos analíticos que incluyen culturas orientales y occidentales, visiones antiguas y actuales, así como experiencias dinámicas y estáticas. (shrink)

This article discusses Abū Isḥāq al-Naẓẓām’s (d. 231/845) (one of the first Muʽtazilī thinkers); understanding of Allah-world relationship, his theory of nature (tab‘) and his view on miracles. In a proposal form, Muʽtazilī scholars accept that the miracle, which is the actual confirmation, must occur, since it is not possible for Allah to confirm His messenger (prophet) in a way that everyone can hear and in a direct word. Since the Prophet's message can be authenticated only by a miracle, Muʽtazilī (...) thinkers paid great attention to this issue, organized and formed natural theories about the universe in a way that miracles can occur. Naẓẓām explains a kind of miracle that occurs under the power of Allah, by his theory of nature called latency and occurrence (kumūn-ẓuhūr). His view of miracles is rooted in the Muʽtazilī classification of miracles. Naẓẓām argues that in the theory of nature, things are infinitely divided. He also argues that all qualities considered accident (aʽrāḍ) by other Muslim theologians are different objects as only motion and rest are the only accidents. According to him, the universe consists of objects and accidents of motion only. In each object in the universe, an unlimited number of opposing objects (sub-components) that have different effects on each other is located in the same space. Those objects in the same space are intervened (tadākhul) with each other. Kumūn refers to sub-components that are located inside the object in a state of passing into each other, and a state of balancing each other through the push-pull motion (i‘timād). Ẓuhūr is an outward movement of the sub-component from where it is located when an impact imposed outside the object interacts with one of the sub-components contained in it. Naẓẓām says that too many opposing sub-components, such as heaviness-lightness, heat-coldness contained in the object, form an internal dynamic by providing balancing each other through inside the object with the push-pull motion. The state of balance inside the object is disrupted by an external factor affecting one of the sub-components. An external thing approaching the object interacts with one of the sub-components contained in the object. Then, the affected sub-component moves out of the object and thus the state of balance inside the object is disrupted. According to the theory of kumūn-ẓuhūr, change in objects occurs when the balance within the object is disturbed. The change in the balance also occurs not by the direct intervention of Allah and the creation of accidents, but by the disruption in the balance of natures within the object. Naẓẓām, who advocates the intrinsic natures in things, has been criticized for not leaving any room for Allah’s influence on objects at least through miracles. This criticism is not correct. Naẓẓām says that the nature of objects depends on God, and it is possible for God to intervene in them at any time. According to him, Allah can force opposing objects into a union that is not in their natures. In their natures, unification can separate those by applying pull and push. In this way, Naẓẓām sees the intervention of Allah as possible in the occurrence of a situation that is the opposite of what is present in the nature of objects. In Naẓẓām's theory of kumūn-ẓuhūr, there are suppressed natures and sub-components that are in a weak state inside the actual object. Furthermore, they cannot go out in any way from the actual object. One of these suppressed natures found in the object is removed from the nature of the object by the intervention of Allah when a miracle occurs in the hands of theProphet. In this case, the miracle is not something new that Allah has created, but that Allah has disclosed a hidden sub-component that is hidden in that thing that has never appeared before. Naẓẓām’s view of miracle is something occurring under the power of the created, which Muʽtazilī scholars accept in the classification of miracles in relation to, the theory of sarfa. He suggests that the Qur'an, which he accepts under the power of the created, would not be a miracle, if the Arabs could dispute it. However, according to him, the Qur'an is a miracle because Allah prevents them from the dispute. In his understanding of sarfa, the miracles occur directly as an act of God’s divine intervention with human beings. This study investigates Naẓẓām’s view of miracles along with his theory of nature and his understanding of sarfa. (shrink)

This article discusses Abū ʽUthmān al-Jāḥiẓ (d. 255/869) (one of the first Muʽtazilī scholars) Allah-world relationship, his understanding of custom, and his view on miracles. The Muʻtazilī thinkers examined the problem of miracles within their concept of prophethood. They divide miracles, which they accept as the only proof of prophethood, into two: those under the power of Allah and under the power of the created. Jāḥiẓ explains these two sorts of miracles with the order in the universe established by Allah (...) and people and expresses this order with the concept of custom (ʻāda). Jāḥiẓ divides custom into three. The first of these is the “qā’im (constant) custom”, which is based on the theory of kumūn-ẓuhūr and expresses the general rules that occur as a requirement of the general functioning in the universe. According to Jāḥiẓ “qā’im (constant) custom” is that knowledgeable people are aware of the custom of the universe. This custom is an order created by Allah in the eyes of intelligent and knowledgeable people, which is continuous and therefore cannot be interrupted, and in which there is no chaos. He states that this order is realized through the natures in the objects, which are knowable to everyone. But rarely a nature in this order can be interrupted due to a situation that takes it out of the natural flow and cannot be explained by natural causes. According to him, this is proof that nature, which has the defining feature of the object, is created by the creator, and maintains its continuity based on an arranged program. However, the creator can involve in this order when necessary. In this type of custom, God’s intervention occurs by breaking the qā’im custom that continues on a regular basis. The second of these is the “regional custom”, which is not known to everyone but only known to people living in a certain area. Jāḥiẓ states that the miracle in this type of custom occurred when Allah broke the custom known to the people in the region. The third of these is “social custom” which is established by people. For Jāḥiẓ, the miracles of this kind are under the power of people. He argues that the miracle in this type of custom occurs with sarfa, that is, by God’s intervention with human’s motive or knowledge. In this study, Jāḥiẓ’s view of miracles is discussed together with his theory of nature, his understanding of custom and sarfa. (shrink)

Bilişsel Din Bilimi (CSR), dini inanç ve uygulamaların nedensel açıklamalarını sağlamayı amaçlayan din araştırmalarına bilimsel bir yaklaşımdır. CSR savunucuları, insan zihninin doğal özelliklerini ve nasıl işlediğini açıklayarak dini inançların oluşumu, kabulü, aktarımı ve yaygınlığı sürecini açıklamaya çalışırlar. Tüm insan kültürlerinde var olan ve son on yılda birçok CSR akademisyeninin dikkatini çeken dini inançlardan biri de öbür dünyaya olan inançtır. CSR araştırmacılarına göre, bu inanç, insan zihninin doğal yapılarına dayanmaktadır. Ölümden sonraki hayata olan inancı, zihinsel araçların işleyişinden kaynaklanan, yansıtıcı olmayan veya (...) sezgisel bir inanç olarak görürler. Ölümden sonra hayata inancın oluşumunu, gelişimini, yayılmasını ve aktarılmasını açıklamak için çeşitli teoriler önerdiler. Ancak bu teoriler arasında, iki teori daha geniş kabul görmüştür, sezgisel düalizm teorisi ve simülasyon kısıtlama teorisi. Sezgisel düalizm teorisi, tüm insanların iki zihinsel araca sahip olduğunu söyler: Sezgisel Biyoloji ve Sezgisel Psikoloji. Sezgisel Biyoloji, ölü bir kişinin karşısına geçip hareket edemediği için artık hayatta olmadığına inanmamızı sağlar. Sezgisel Psikoloji, ölü kişiye otomatik olarak görünmez özellikleri (arzular, düşünceler, inançlar ve duygular gibi) atfetmeye devam eder. Yukarıdaki iki zihinsel aracın aynı anda işleyişi, insan zihnini ölü kişinin bir kısmının önemsiz olduğuna ve fiziksel ölümden sonra kaldığına inandırır. Simülasyon kısıtlama teorisi, tüm insanların çevreden gelen bilgileri işlemek ve dini inançlar edinmek için zihinsel araçlara sahip olduğunu söyler. Zihinsel araçların hiçbiri, kişinin arzularının, düşüncelerinin, inançlarının ve duygularının var olmadığını hayal edemez veya simüle edemez. Bu nedenle ölü kişinin karşısındaki insan zihni, fiziksel ölümünü kolayca hayal etmesine rağmen, kişinin başka bir bölümünün (düşünceler, arzular vb.) Varlığına inanmaya devam eder. Bu teorilerin her ikisi de, öbür dünyaya inancın oluşumunu açıklamada zorluklar ve sınırlamalarla karşı karşıya görünüyor. Bunlar arasında nedensel açıklama yapamama, ölümden sonraki hayata olan inancın doğal ve rasyonel temelleri arasındaki ayrım eksikliği ve öbür dünya inancının doğaüstü temellerini göz ardı etme yer alır. İki teoriden hiçbiri öbür dünyaya inancın oluşumu için yeterli nedensel açıklama sağlamıyor gibi görünmektedir. Her iki teori de zihinsel araçların nasıl işlediğine bağlı olarak öbür dünya inançlarının oluşumu hakkında olası bir hikaye sunmaya çalışır. Ölümden sonraki hayata inanmaya yol açan sürecin yalnızca makul bir hikayesini sunarlar. Bu iki teorinin sunduğu şey, insan zihninin ve araçlarının ve bunların nasıl işlediğinin bir açıklamasıdır (nedensel açıklama değil). Bu, kendi başına, bu aletlerin öbür dünyaya bir inanç ürettiğini açıklamaz. Dolayısıyla ahirete olan inancın zihinsel araçların işleyişinin bir sonucu olduğu iddiası, zihinsel araçlar ile bu inanç arasında nedensel bir ilişki gerektirir. Bu iki teoriden hiçbiri bu nedensel ilişkiyi açıklayamaz ve yalnızca aralarındaki ilişkinin makul bir hikayesini açıklarlar. Dahası, dini inancın rasyonel temelleri ile dini inancın doğal temelleri arasındaki ayrım, ahirete inanmak veya onunla ilişkili bilişsel mekanizmaları tanımlamak için doğal bir köken bulmanın hiçbir şekilde bu inancı reddetmek veya itibarını sarsmak anlamına gelmediğini göstermektedir. Ahirete olan inancın doğal kökenleri hakkındaki bilişsel teoriler bize bu inancın rasyonel mi irrasyonel mi olduğunu gösteremez. Bu açıklamalar ancak (eğer yapabilirlerse) bize bu inancın oluşumunun ve yaygınlığının doğal köklerini gösterebilir. Ayrıca Dinsel inanç karmaşık bir kavramdır. Birincisi, doğal bir kavramdır, bu anlamda insan doğasına dayanır ve insanın bilişsel sistemleri ve zihinsel araçlarıyla ilgilidir. İkincisi, kültürel ve sosyal bir kavramdır, bu anlamda hem kültürel ve sosyal değişimden etkilenir hem de onu etkiler. Üçüncüsü, doğaüstü bir kavramdır, bu anlamda hem vahiy hem de kehanet ve insanın maddi olmayan yönüyle derinden bağlantılıdır. Öbür dünyaya inanç, her üç düzeyde açıklamayı gerektiriyor gibi görünüyor. (shrink)

The adverse effects of life stress on social networking sites addiction are increasingly recognized, but so far there is little evidence on how and which specific types of life stress are conducive to the addictive behavior. Interpersonal relationship stress being the main source of stress for undergraduates, the purpose of the current paper is thus to delve into whether perceived stress in interpersonal relationships significantly leads to WeChat addiction and, if so, how this type of stress drives the excessive use (...) of WeChat. The data was collected from self-report questionnaires completed by 463 Chinese undergraduate students and then analyzed with structural equation modeling. The results revealed that the positive association between WeChat users’ interpersonal relationship stress and addictive behavior is fully and sequentially mediated by WeChat use intensity and social interaction. More specifically, accumulation of stress in interpersonal relationships gives rise to the intensity of WeChat use, which in turn fuels rising addiction to WeChat both directly and indirectly via social interaction on WeChat. These findings contribute to a more refined understanding of the pathological use of WeChat. (shrink)

A group of Sogdian documents from the area of Khotan was recently acquired by Renmin University of China, Beijing. Four economic documents were edited in JAOS 130/4 ; the present article, comprising the edition of one complete letter and several fragments of letters, completes the publication of this collection, which adds to a growing body of evidence for the presence of Sogdian-speakers on the trade routes to the south of the Taklamakan desert.

The inscription edited in this paper is the third bilingual Chinese-Sogdian epitaph to be made known, following that of Wirkakk and Wiyusi and that of Nanai-vande and Kekan, published in 2005 and 2017 respectively. The new epitaph is that of a Sogdian lady who died in 736 CE. Apart from its linguistic interest, it is important as attesting the conversion of a Sogdian lady to the “heretical” Buddhist Sanjie or “Three levels” movement, which remained popular despite being officially suppressed under (...) the Tang. (shrink)

Introducere în istoria filozofiei -- Problema cunoașterii -- Problema libertății -- Valoare și umanism.

The aim is to deeply understand the current situation of College English Teaching. By consulting the theories of Deep Learning and Edge Computing, this work designs a Questionnaire Survey to understand the current situation of college English learning and teaching. Then, Adaptive Deep Learning and EC are introduced into CET. Finally, the corresponding conclusions and suggestions are drawn. Specifically, the purpose and time of college students’ vocabulary learning are investigated. The results suggest that students’ English vocabulary learning is shallow. They (...) have not really mastered the meaning and usage of vocabulary. Simultaneously, teachers’ vocabulary teaching methods are analyzed from three aspects: root affixes, vocabulary collocation, or repeated reading and memory. The teaching method is excellent from the teacher’s perspective but far from perfect from the students’ perspective. Introducing ADL and EC into CET enhances students’ class concentration time, homework submission efficiency, and academic performance. More than half of the students believe that the new teaching method introducing ADL and EC can make them more confident and motivated in English learning. Therefore, it has great reference significance for applying ADL and EC in CET. (shrink)

This study explored the relations between the social support network of mothers of children with autism spectrum disorder, perceived social support, and their subjective wellbeing. The participants were mothers of children with ASD in Shanghai. Their social support network structure was explored via the nomination method. Perceived social support was measured using the Revised Social Provisions Scale for Autism, and the mothers’ subjective wellbeing was assessed using the Index of Wellbeing, Index of General Affect. A significant correlation was observed between (...) the subjective wellbeing of mothers of children with ASD and perceived social support. Meanwhile, perceived social support was significantly correlated with the effectiveness of overall social support. Finally, perceived social support was also significantly correlated with the network size of social support. Moreover, the effectiveness of social support was significantly associated with the network size of social support and was highly significantly associated with the degree of intimacy of social support. Furthermore, the network size of instrumental support has a significant influence on all perceived social support subdimensions. Overall, social support effectiveness plays an important role in the social support network mechanism on perceived social support and subjective wellbeing in China. (shrink)

Legal Judgment Prediction (LJP) is an essential component of legal assistant systems, which aims to automatically predict judgment results from a given criminal fact description. As a vital subtask of LJP, researchers have paid little attention to the numerical LJP, i.e., the prediction of imprisonment and penalty. Existing methods ignore numerical information in the criminal facts, making their performances far from satisfactory. For instance, the amount of theft varies, as do the prison terms and penalties. The major challenge is how (...) the model can obtain the ability of numerical comparison and magnitude perception, e.g., 400 < 500 < 800, 500 is closer to 400 than to 800. To this end, we propose a judicial knowledge-enhanced magnitude-aware reasoning architecture, called NumLJP, for the numerical LJP task. Specifically, we first implement a contrastive learning-based judicial knowledge selector to distinguish confusing criminal cases efficiently. Unlike previous approaches that employ the law article as external knowledge, judicial knowledge is a quantitative guideline in real scenarios. It contains many numerals (called anchors) that can construct a reference frame. Then we design a masked numeral prediction task to help the model remember these anchors to acquire legal numerical commonsense from the selected judicial knowledge. We construct a scale-based numerical graph using the anchors and numerals in facts to perform magnitude-aware numerical reasoning. Finally, the representations of fact description, judicial knowledge, and numerals are fused to make decisions. We conduct extensive experiments on three real-world datasets and select several competitive baselines. The results demonstrate that the macro-F1 of NumLJP improves by at least 9.53% and 11.57% on the prediction of penalty and imprisonment, respectively. (shrink)

The Yoga Sutras of Patañjali is the foundational text of yoga philosophy, used by millions of yoga practitioners and students worldwide. This book is a new rendering into English of the Arabic translation and commentary of this text by the brilliant eleventh-century polymath al-Bīrūnī.