The ultraproduct construction is generalized to p‐ultramean constructions () by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments of continuous logic and are very close to the constructions in real analysis. A powermean variant of the Keisler‐Shelah isomorphism theorem is proved for. It is then proved that ‐sentences (and their approximations) are exactly those sentences of continuous logic which are preserved by such constructions. Some other applications are also given.

We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas.

We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied.

I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.

We define an ultraproduct of metric structures based on a maximal probability charge and prove a variant of Łoś theorem for linear metric formulas. We also consider iterated ultraproducts.

Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.

A value space is a topological algebra equipped with a non-empty family of continuous quantifiers . We will describe first-order logic on the basis of . Operations of are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theory.

In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

I prove linear compactness and linear completeness for various forms of linear propositional logic where the value space is a module over a ring.

We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.

We study model theory of random variables using finitary integral logic. We prove definability of some probability concepts such as having F as distribution function, independence and martingale property. We then deduce Kolmogorov's existence theorem from the compactness theorem.

A quantified universe is a set M equipped with a Riesz space equation image of real functions on Mn, for each n, and a second order operation equation image. Metric structures 4, graded probability structures 9 and many other structures in analysis are examples of such universes. We define ultraproduct of quantified universes and study properties preserved by this construction. We then discuss logics defined on the basis of classes of quantified universes which are closed under this construction.

We prove an omitting types theorem and one direction of the related Ryll-Nardzewski theorem for semi-classical theories introduced in [2].

The linear compactness theorem is a variant of the compactness theorem holding for linear formulas. We show that the linear fragment of continuous logic is maximal with respect to the linear compactness theorem and the linear elementary chain property. We also characterize linear formulas as those preserved by the ultramean construction.

I focus on an overlooked aspect of the challenge of irrelevant influences. The challenge is often framed in terms of whether recognizing the presence of irrelevant factors in the pedigree of a belief provides a defeater. I argue that the epistemic significance of irrelevant factors goes beyond their status as defeaters. I focus on what I call gray cases, where learning about such factors causes epistemic worry without justifying giving up the belief. I argue that in gray cases, the subject (...) finds a commendatory epistemic practical reason to engage in an activity intended to assuage that epistemic worry. (shrink)

I present a puzzle regarding the norms of disagreement and inquiry. The puzzle mainly concerns a special type of peer disagreement that I call “mild disagreement”, in which the parties to the disagreement believe a proposition but with different degrees of confidence. The puzzle is best formulated as an inconsistent triad: (NJ1) The state of mild disagreement provides the involved parties with no epistemic reason to drop their belief regarding the disputed judgment. (NJ2) The state of mild disagreement provides a (...) practical reason for the involved parties to launch an inquiry into the disputed judgment. (NJ3) If the state of disagreement provides a reason to launch an inquiry into the disputed judgment, the involved parties have a reason to drop their belief regarding the disputed judgment. After discussing some possible responses to the puzzle, I offer my own solution, which involves introducing a new take on how to understand inquiry. This new take on the nature of inquiry can provide us with an alternative to the influential account recently defended by Jane Friedman. (shrink)

According to Burge, it is not possible to commit brute errors in the process of critical reasoning. This thesis lies at the heart of Burge’s influential theory of self-knowledge. By appealing to a version of the slow-switching argument, this paper contends that Burge’s view is not compatible with his commitment to externalism about mental content. In particular, it is argued that accepting externalism opens up the possibility of brute errors in the process of critical reasoning.

In recent years, scientific misconduct has received significant attention within the scientific community. Plagiarism is the most frequent type of scientific misconduct and is defined as ‘unauthorised appropriation of another's work, ideas, methods, results or words without acknowledging the source and original author’.1 ,2 ….

Avicenna introduces the primary propositions as the most fundamental principles of knowledge. However, as far as we are aware, Avicenna’s primaries have not yet been independently studied. Nor do Avicenna scholars agree on how to characterize them in the language of contemporary philosophy. It is well-known that the primaries are indemonstrable; nonetheless, it is not clear what the genealogy of the primaries is, how, epistemologically speaking, they can be distinguished from other principles, what their phenomenology is, what the cause of (...) the assent to them is, how to explain the relationship between the ‘innate [nature] of the intellect’ and the primaries and, finally, back to their indemonstrability, in what sense they are ‘indemonstrable’. We will try to fill this gap. As a corollary, we will explain why Gutas’s view [Gutas, Dimitri.... (shrink)

We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].

Concept originalism, recently introduced and defended by Sainsbury and Tye, Tye, and Sainsbury, holds that “atomic concepts are to be individuated by their historical origins, as opposed to their semantic or epistemic properties”. The view is immune to Gareth Evans’s “Madagascar” objection to the Causal Theory of Reference since it allows a concept to change its reference over time without losing its identity. The possibility of reference-shift, however, raises the problem of misleading belief reports. S&T try to tackle the problem (...) by strengthening the sufficient condition for a truthful belief report. We will argue that, first, their solution fails, second, and more importantly, their diagnosis of the root of the problem is misguided, third, two initially appealing ways out of the problem fail, and fourth, the prospect of finding a solution to the problem within CO is dim. The view opens the Pandora’s box of reference-shift, in a wide range of cases, without providing the necessary semantic means to take care of them. (shrink)

Spiritual Intelligence (S-Intelligence) introduced to achieve higher levels of knowledge and applying hidden knowledge. This intelligence is various in different people. When people work together in a team or set, these diverse influence on their performance. Facilitate the application of spiritual capacities by using abilities of S- intelligence is important to increase productivity teamwork. For this purpose, we provided a model of communication for individuals with different S-intelligence in performing team tasks. First, with the basics S-intelligence analysis and interviews with (...) experts, S-intelligence was divided in five categories. Each person according to their S-Intelligence and the role that play in teamwork (individualist, thinkist and pragmatist) from this aspect that he/she can by what kind of S-intelligences and what kind of role, has an effective team relationship, has been measured. With the 690 questionnaires among individuals with experience in teamwork and group communication, we have addressed to the measurement of their communication model. After derivation the data by fuzzy logic, we analyzed and presented an effective model of teamwork based on S-intelligence. (shrink)

I will focus on the following question: “Is Avicenna[aut]Avicenna an empiricist?”. I will introduce Avicenna’sAvicenna language of “signification”, “understood content”, “mentalMental impression” and “conception”. Then, following Kenneth P. Winkler[aut]Winkler, K. ~ P., I will distinguish between origin-empiricism and content-empiricism Empiricism and reinterpret the distinction in Avicenna’sAvicenna language as OEA and CEA. I will show that Avicenna’sAvicenna analysis of the relationship between knowledge, on the one hand, and sensation and imagination, on the other hand, includes three empiricist themes. I use these (...) themes to argue that that Avicenna is committed to OEA. Then, I will consider three “possible” limitations to Avicenna’sAvicenna origin-empiricism. I will show that a common empiricist solution, that relies on the compositionality of the “understood contentContent”, quia demonstration and relative conceptions, has significant limitations. I will argue that a careful examination of these limitations, and the epistemology of the primary conceptions, show that Avicenna is not committed to CEA. I will conclude that “Is Avicenna[aut]Avicenna an empiricist?” has no simple yes-or-no answer. This raises a parallel open question: “Is Avicenna a rationalist?”, in some sense. After briefly commenting on this question, I will consider a related, but generally dissociated, question on the reality of abstraction, namely “Is Avicenna an abstractionist?” I will explain how the common replies to both questions rely on different incompatibility principles, according to which emanation from the active intellect is incompatible with apprehension by or abstraction from sense-perception. I will end by outlining the elements of a reading of Avicenna that assumes neither of these incompatibility principles. (shrink)

This seventh volume of Collected Papers includes 70 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2013-2021 by the author alone or in collaboration with the following 122 co-authors from 22 countries: Mohamed Abdel-Basset, Abdel-Nasser Hussian, C. Alexander, Mumtaz Ali, Yaman Akbulut, Amir Abdullah, Amira S. Ashour, Assia Bakali, Kousik Bhattacharya, Kainat Bibi, R. N. Boyd, Ümit Budak, Lulu Cai, Cenap Özel, Chang Su Kim, Victor Christianto, Chunlai Du, Chunxin Bo, Rituparna Chutia, Cu Nguyen Giap, Dao The (...) Son, Vinayak Devvrat, Arindam Dey, Partha Pratim Dey, Fahad Alsharari, Feng Yongfei, S. Ganesan, Shivam Ghildiyal, Bibhas C. Giri, Masooma Raza Hashmi, Ahmed Refaat Hawas, Hoang Viet Long, Le Hoang Son, Hongbo Wang, Hongnian Yu, Mihaiela Iliescu, Saeid Jafari, Temitope Gbolahan Jaiyeola, Naeem Jan, R. Jeevitha, Jun Ye, Anup Khan, Madad Khan, Salma Khan, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Kifayat Ullah, Kishore Kumar P.K., Sujit Kumar De, Prasun Kumar Nayak, Malayalan Lathamaheswari, Luong Thi Hong Lan, Anam Luqman, Luu Quoc Dat, Tahir Mahmood, Hafsa M. Malik, Nivetha Martin, Mai Mohamed, Parimala Mani, Mingcong Deng, Mohammed A. Al Shumrani, Mohammad Hamidi, Mohamed Talea, Kalyan Mondal, Muhammad Akram, Muhammad Gulistan, Farshid Mofidnakhaei, Muhammad Shoaib, Muhammad Riaz, Karthika Muthusamy, Nabeela Ishfaq, Deivanayagampillai Nagarajan, Sumera Naz, Nguyen Dinh Hoa, Nguyen Tho Thong, Nguyen Xuan Thao, Noor ul Amin, Dragan Pamučar, Gabrijela Popović, S. Krishna Prabha, Surapati Pramanik, Priya R, Qiaoyan Li, Yaser Saber, Said Broumi, Saima Anis, Saleem Abdullah, Ganeshsree Selvachandran, Abdulkadir Sengür, Seyed Ahmad Edalatpanah, Shahbaz Ali, Shahzaib Ashraf, Shouzhen Zeng, Shio Gai Quek, Shuangwu Zhu, Shumaiza, Sidra Sayed, Sohail Iqbal, Songtao Shao, Sundas Shahzadi, Dragiša Stanujkić, Željko Stević, Udhayakumar Ramalingam, Zunaira Rashid, Hossein Rashmanlou, Rajkumar Verma, Luige Vlădăreanu, Victor Vlădăreanu, Desmond Jun Yi Tey, Selçuk Topal, Naveed Yaqoob, Yanhui Guo, Yee Fei Gan, Yingcang Ma, Young Bae Jun, Yuping Lai, Hafiz Abdul Wahab, Wei Yang, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Lemnaouar Zedam. (shrink)

By proposing the Microcosm and Macrocosm analogy for dialogue between Islamic Philosophy and Occidental Phenomenology, the authors of this volume are reviving the perennial positioning of the human condition in the play of forces within and without the human being. This theme has run from Plato through the Middle Ages, Renaissance and Modernity, and has been ignored by contemporaries. It now acquires a new pertinence and striking significance due to the scientific discoveries into the "infinitely small" in life, on the (...) one hand, and the prodigious technological discoveries of the "infinitely great" on the other. Both open up undreamt-of prospects for the continuing conquest of cosmic forces. The human person – thrown into turmoil by the new approaches to life and needing to acquire new habits of mind, having lost security of all beliefs – desperately seeks a new clarification of the Human Condition within the unity of everything-there-is, of cosmic forces, and of his destiny. The dialogue between Islamic Philosophy and phenomenology of life can show the way. Papers by: Gholam-Reza A'awani, Mehdi Aminrazavi, Roza Davari Ardakani, Mohammad Azadpur, Gary Backhaus, Marina Banchetti-Robino, William Chittick, Seyed Mostafa Muhaghghegh Damad, Golamhossein Ebrahimi Dinani, Nader El-Bizri, Kathleen Haney, Salahaddin Khalilov, Sayyid Mohammad Khamenei, Mahmoud Khatami, Mieczyslaw Pawel Migon, Nikolay Milkov, Sachiko Murata, Anna-Teresa Tymieniecka, Daniela Verducci. (shrink)

While there are numerous doubts, controversies and lack of consensus on alternative definitions of human death, it is argued that it is more ethical to allow people to choose either cessation of cardio-respiratory function or loss of entire brain function as the definition of death based on their own views. This paper presents the law of organ transplantation in Japan, which allows people to decide whether brain death can be used to determine their death in agreement with their family. Arguably, (...) Japan could become a unique example of individual choice in the definition of death if the law is revised to allow individuals choose definition of death independently of their family. It suggests that such an approach is one of the reasonable policy options a country can adopt for legislation on issues related to the definition of death. (shrink)

Anxiety disorders are among the most prevalent mental disorders. Present treatments such as cognitive behavior therapy and pharmacological treatments show only moderate success, which emphasizes the importance for the development of new treatment protocols. Non-invasive brain stimulation methods such as repetitive transcranial magnetic stimulation and transcranial direct current stimulation have been probed as therapeutic option for anxiety disorders in recent years. Mechanistic information about their mode of action, and most efficient protocols is however limited. Here the fear extinction model can (...) serve as a model of exposure therapies for studying therapeutic mechanisms, and development of appropriate intervention protocols. We systematically reviewed 30 research articles that investigated the impact of rTMS and tDCS on fear memory and extinction in animal models and humans, in clinical and healthy populations. The results of these studies suggest that tDCS and rTMS can be efficient methods to modulate fear memory and extinction. Furthermore, excitability-enhancing stimulation applied over the vmPFC showed the strongest potential to enhance fear extinction. We further discuss factors that determine the efficacy of rTMS and tDCS in the context of the fear extinction model and provide future directions to optimize parameters and protocols of stimulation for research and treatment. (shrink)

Divided into five parts, the book provides general background information on Biruni's time, his world, and his life. It includes the full names of the 183 books written by Biruni. The titles of these books are given in Arabic, Persian, transliteration of the Arabic title, and English, and they are all annotated and if available the number of folios is given for each one. A list of available references in English on Biruni, including articles, bibliographies, books, internet sites, a dissertation, (...) and even a film. A list of Persian reference sources is also included. (shrink)

According to Millianism, the semantic content of a proper name is its semantic referent. Many names, however, lack semantic referent; hence, so-called ‘empty’ names. Empty names raise various problems for Millianism. T.C. Ryckman, Fred Adams, Garry Fuller, Robert Stecker, Kenneth Taylor, and Nicole Wyatt, among others, have defended Millianism against these problems by appeal to pragmatics . I introduce Millianism and the problems raised by empty names for the view, then examine Pragmatic Millianism , its strength, its varieties, and why (...) the previous arguments against PM do not succeed. I then provide my argument against PM: the view oversimplifies the complex phenomenon of association between names and descriptions. I discuss an objection to my argument and rebut that. Finally, I try to draw an outline of a positive view. (shrink)

BackgroundMedical errors, unsatisfactory outcomes, or treatment complications often prompt patient complaints about healthcare providers. In response, physicians may adopt defensive practices to mitigate objections, avoid complaints, and navigate lengthy trial processes or other potential threats. However, such defensive medicine (DM) practices can carry risks, including potential harm to patients and the imposition of unnecessary costs on both patients and the healthcare system. Moreover, these practices may run counter to accepted ethical standards in medicine.MethodsThis qualitative study involved conducting semi-structured interviews with (...) 43 physicians, among whom 38 were faculty members at medical universities, 42 had administrative experience at various levels of the health system, and 23 had previously served as health system policymakers. On average, the participants had approximately 23.5 years of clinical experience. The selection of participants was based on purposive sampling. Data collection through interviews continued until data saturation was achieved.ResultsBased on the findings, DM manifests in both positive and negative forms, illustrated by instances like ordering unnecessary lab tests, imaging, or consultations, reluctance to admit high-risk patients, and avoiding high-risk procedures. The study participants identified a range of underlying and contextual factors contributing to DM, encompassing organizational-managerial, social, personal, and factors inherent to the nature of defensive medical practices. The results also highlight proposed strategies to address and prevent DM, which can be grouped into organizational-managerial, social, and those focused on modifying the medical complaints management system.ConclusionDM is a multifaceted and significant phenomenon that necessitates a comprehensive understanding of its various aspects, including interconnected and complex structures and underlying and contextual factors. While the results of this study offer a solid foundation for informing policy decisions within the healthcare system and include some explanatory policy suggestions, we encourage policymakers to complement the findings of this study with other available evidence to address any potential limitations and to gain a more comprehensive understanding of the policymaking process related to DM. (shrink)

The main objective of the present paper is to introduce some features of fake/bogus conferences and some viable approaches to differentiate them from the real ones. These fake/bogus conferences introduce themselves as international conferences, which are multidisciplinary and indexed in major scientific digital libraries. Furthermore, most of the fake/bogus conference holders offer publishing the accepted papers in ISI journals and use other techniques in their advertisement e-mails.

In “The evolutionary argument against naturalism: a Wittgensteinian response,” DeVito and McNabb (Int J Philos Relig 92(2):91–98, 2022, 10.1007/s11153-022-09832-3) propose a Wittgensteinian argument against Alvin Plantinga’s evolutionary argument against naturalism. In their paper, they seek to establish symmetry between a component of Plantinga’s premise and the premise of the radical skeptic. The first premise of Plantinga’s argument assumes the possibility of doubting the reliability of our cognitive abilities. The Radical skeptic doubts we have rational grounds to refute being brains in (...) vats. DeVito and McNaab use hinge epistemology and Pritchard’s strategy against the radical skeptic to undermine Plantinga’s premise. This paper offers an alternative argument based on hinge epistemology against Plantinga’s argument. Relying on the various types of certainties Wittgenstein discussed, I argue that some scientific facts are among our certainties and hinges. Evolution (i.e., the theory of evolution by natural selection) is a well-established scientific fact and a hinge. As a result, in Plantinga’s first premise, we have two hinges: evolution and the reliability of our cognitive abilities. I will argue that given that hinges cannot trump one another, we can have these two hinges in place, and therefore, by endorsing hinge epistemology, there is another argument that shows why Plantinga’s argument cannot undermine naturalism if one accepts evolution. (shrink)