This research aims to read psychological states through Islamic knowledge that includes the method of hadith criticism. Because, in the hadith studies, we understand that the critic makes evaluations in the field of cognitive psychology. The implementations of these scientific rules related to the science of cognitive psychology, which isThis research deals with reading the psychological states through Islamic knowledge that includes the method of hadith criticism. Because, in the hadith studies, we understand that the critic makes evaluations in the (...) field of cognitive psychology even though he or she doesn’t use psychological terms. The implementations of these scientific rules related to the science of cognitive psychology, which is used to accept or reject hadiths, reveals that there is a similarity between these two sciences because their subject is human knowledge. Scholars of both sciences were compared in terms of cognitive processes such as attention, memorization, memory and measurement tests, and some subjects related to human psychology, which are the focus of these processes, such as their abilities, motivations and the imbalances that affect them. After that, examples from the studies of the hadith scholars and researchers in the science of psychology were presented in the method of criticism in order to determine the points where they converged and diverged. As a result, although they differ in terms of starting point and result, it was concluded that there is a partial similarity between the two sciences in terms of subjects related to mental actions. The condition for the Zabt of the Thiqa definition of hadith critics includes the meaning of attention that psychologists talk about. However, the hadith scholars were more selective in this regard due to the Shari’a reasons such as good deeds and sins. In cognitive psychology, researchers have proven that people’s mental abilities play a role in attention and focus. The attention of hadith critics, who made comparisons among the narrators, concentrated on this point in order to distinguish the acceptable one from the others. used to accept or reject hadiths, reveals that there is a close relationship between these two sciences because their subject is human knowledge. Scholars of both sciences were compared in terms of cognitive processes such as attention, memorization, memory and measurement tests, and some subjects related to human psychology, which are the focus of these processes, such as their abilities, motivations and the imbalances that affect them. After that, examples from the studies of the hadith scholars and researchers in the science of psychology were presented in the method of criticism in order to determine the points where they converged and diverged. As a result, although they differ in terms of starting point and result, it was concluded that there is a partial similarity between the two sciences in terms of subjects related to mental actions. The condition for the Zabt of the Thiqa definition of hadith critics includes the meaning of attention that psychologists talk about. However, the hadith scholars were more selective in this regard due to the Shari’a reasons such as good deeds and sins. In cognitive psychology, researchers have proven that people’s mental abilities play a role in attention and focus. The attention of hadith critics, who made comparisons among the narrators, concentrated on this point in order to distinguish the acceptable one from the others. (shrink)

A new technique for proving realisability results is presented, and is illustrated in detail for the simple case of arithmetic minus induction. CL is a Gentzen formulation of classical logic. CPQ is CL minus the Cut Rule. The basic proof theory and model theory of CPQ and CL is developed. For the semantics presented CPQ is a paraconsistent logic, i.e. there are non-trivial CPQ models in which some sentences are both true and false. Two systems of arithmetic minus induction are (...) introduced, CL-A and CPQ-A based on CL and CPQ, respectively. The realisability theorem for CPQ-A is proved: It is shown constructively that to each theorem A of CPQ-A there is a formula A *, a so-called “realised disjunctive form of A ”, such that variables bound by essentially existential quantifiers in A * can be written as recursive functions of free variables and variables bound by essentially universal quantifiers. Realisability is then applied to prove the consistency of CL-A, making use of certain finite non-trivial inconsistent models of CPQ-A. (shrink)

La aparición de las nuevas tecnologías de información y comunicación en el panorama socio-cultural ha supuesto cambios considerables en diferentes ámbitos de la vida humana, y las instituciones educativas no han estado al margen del uso de estas técnicas que se están desarrollando día tras día. Se trata de un desafío muy importante, ya que las nuevas tecnologías están transformando la enseñanza, permitiendo al sistema educativo desarrollar y responder a los desafíos de nuestro tiempo. En el presente artículo, pretendemos hacer (...) una reflexión acerca de la importancia de la integración de las TICs en el proceso de enseñanza-aprendizaje del árabe como lengua extranjera (ALE) y mostrar las posibilidades que algunos recursos podrían ofrecer como herramientas de apoyo dentro y fuera del aula. Para ello, nos hemos basado en el análisis descriptivo-explicativo de dichas herramientas, esperando sean de gran utilidad para el alumnado. (shrink)

The paraconsistent system CPQ-ZFC/F is defined. It is shown using strong non-finitary methods that the theorems of CPQ-ZFC/F are exactly the theorems of classical ZFC minus foundation. The proof presented in the paper uses the assumption that a strongly inaccessible cardinal exists. It is then shown using strictly finitary methods that CPQ-ZFC/F is non-trivial. CPQ-ZFC/F thus provides a formulation of set theory that has the same deductive power as the corresponding classical system but is more reliable in that non-triviality is (...) provable by strictly finitary methods. This result does not contradict Gödel's incompleteness theorem because the proof of the deductive equivalence of the paraconsistent and classical systemss use non-finitary methods. (shrink)

It is shown that logical contradictions are derivable from natural translations into first order logic of the description and background assumptions of the Soros Game, and of other games and social contexts that exhibit conflict and reflexivity. The logical structure of these contexts is analysed using proof-theoretic and model-theoretic techniques of first order paraconsistent logic. It is shown that all the contradictions that arise contain the knowledge operator K. Thus, the contradictions do not refer purely to material objects, and do (...) not imply the existence of inconsistent, concrete, physical objects, or the inconsistency of direct sensory experience. However, the decision-making of rational self-interested agents is stymied by the appearance of such intensional contradictions. Replacing the rational self-interest axioms with axioms for an appropriate moral framework removes the inconsistencies. Rational moral choice in conflict-reflexive social contexts then becomes possible. (shrink)

El léxico es uno de los componentes más indispensables en la enseñanza de lenguas, ya que desempeña un papel relevante en el desarrollo de las destrezas tanto escritas como orales. Es un elemento que los aprendientes deben adquirir y mejorar para conseguir la competencia lingüística deseada. El objetivo de este artículo es reflexionar acerca de la adquisición del léxico árabe como lengua extranjera por los estudiantes españoles, poner el dedo sobre algunas dificultades semánticas del árabe y presentar propuestas didácticas para (...) superar los obstáculos. (shrink)

The risk of cigarette smoking plays a pivotal role in increasing the incidence rates of lung cancer. This paper sheds new light on modeling the impact of cigarette smoking on lung cancer evolution, especially genetic instability and the number of gene mutations in the genome of stem cells. To handle this issue, we have set up stochastic multi-stage models to fit the data set of the probabilities of current and former smokers from the Nurses’ Health Study cohort of females and (...) the Health Professionals Follow up Study cohort of men. Throughout this paper, we consider both mutation rates and clonal expansion rates as parameters in each compartment. For current and former smokers, three-driver mutations are most likely to take place in the progression of lung cancer under smoking risk. For current smokers, our findings reveal that two to sixteen gene mutations are required to obtain a cancerous cell among men and women in US. Moreover, two to six cancer-mutations are available in the pathway to lung cancer among former smokers who have quit smoking for more than ten years for both male and female patients. This highlights that cigarette smoking stimulates the number of driver mutations during lung tumorigenesis in both sexes. It is very crucial to examine the role of cigarette smoking in determining whether genomic instability is an early stage or late stage in the process of lung carcinogenesis. (shrink)

As English Studies researchers and teachers, our experience has shown that there continues to exist an urgent need to incorporate gender as a reading tool of literary texts to foster a non-discriminatory and equality perspective. Given the many advances in gender equality that have been achieved as well as the rising backlash against such progressive moves that spread through Europe, our proposal is based on the “queerification of the classroom”, a notion defined as a transgressive initiative that effectively and systematically (...) incorporates the deconstruction of normativity and fosters resistance to socially constructed assumptions about normativity and deviance. (shrink)

This sixth volume of Collected Papers includes 74 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2015-2021 by the author alone or in collaboration with the following 121 co-authors from 19 countries: Mohamed Abdel-Basset, Abdel Nasser H. Zaied, Abduallah Gamal, Amir Abdullah, Firoz Ahmad, Nadeem Ahmad, Ahmad Yusuf Adhami, Ahmed Aboelfetouh, Ahmed Mostafa Khalil, Shariful Alam, W. Alharbi, Ali Hassan, Mumtaz Ali, Amira S. Ashour, Asmaa Atef, Assia Bakali, Ayoub Bahnasse, A. A. Azzam, Willem K.M. Brauers, (...) Bui Cong Cuong, Fausto Cavallaro, Ahmet Çevik, Robby I. Chandra, Kalaivani Chandran, Victor Chang, Chang Su Kim, Jyotir Moy Chatterjee, Victor Christianto, Chunxin Bo, Mihaela Colhon, Shyamal Dalapati, Arindam Dey, Dunqian Cao, Fahad Alsharari, Faruk Karaaslan, Aleksandra Fedajev, Daniela Gîfu, Hina Gulzar, Haitham A. El-Ghareeb, Masooma Raza Hashmi, Hewayda El-Ghawalby, Hoang Viet Long, Le Hoang Son, F. Nirmala Irudayam, Branislav Ivanov, S. Jafari, Jeong Gon Lee, Milena Jevtić, Sudan Jha, Junhui Kim, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Songül Karabatak, Abdullah Kargın, M. Karthika, Ieva Meidute-Kavaliauskiene, Madad Khan, Majid Khan, Manju Khari, Kifayat Ullah, K. Kishore, Kul Hur, Santanu Kumar Patro, Prem Kumar Singh, Raghvendra Kumar, Tapan Kumar Roy, Malayalan Lathamaheswari, Luu Quoc Dat, T. Madhumathi, Tahir Mahmood, Mladjan Maksimovic, Gunasekaran Manogaran, Nivetha Martin, M. Kasi Mayan, Mai Mohamed, Mohamed Talea, Muhammad Akram, Muhammad Gulistan, Raja Muhammad Hashim, Muhammad Riaz, Muhammad Saeed, Rana Muhammad Zulqarnain, Nada A. Nabeeh, Deivanayagampillai Nagarajan, Xenia Negrea, Nguyen Xuan Thao, Jagan M. Obbineni, Angelo de Oliveira, M. Parimala, Gabrijela Popovic, Ishaani Priyadarshini, Yaser Saber, Mehmet Șahin, Said Broumi, A. A. Salama, M. Saleh, Ganeshsree Selvachandran, Dönüș Șengür, Shio Gai Quek, Songtao Shao, Dragiša Stanujkić, Surapati Pramanik, Swathi Sundari Sundaramoorthy, Mirela Teodorescu, Selçuk Topal, Muhammed Turhan, Alptekin Ulutaș, Luige Vlădăreanu, Victor Vlădăreanu, Ştefan Vlăduţescu, Dan Valeriu Voinea, Volkan Duran, Navneet Yadav, Yanhui Guo, Naveed Yaqoob, Yongquan Zhou, Young Bae Jun, Xiaohong Zhang, Xiao Long Xin, Edmundas Kazimieras Zavadskas. (shrink)