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

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.

This article, through a comparative study, aims at defining and analysing the concept of hope in the Quran versus psychology. The study defines common and differential grounds in the area, and suggests a proper approach for establishing and boosting hope in people based on the Quran’s lessons. One of the noticeable results of this study is that many of the techniques for creation and improvement of hope are already present in the Quran, and that there are many shared grounds between (...) findings of civilisations and the Divine teachings. It was found that both psychology and the Quran both view hope as a rewarded patience along with action to achieve one’s goal, and both fields concur that knowing one’s goal and obstacles can preserve hope in man. Some differences were also found. In contrast to psychology, hope in the Quran is based on the goal behind human creation and in line with its perfection, whose sole basis would be faith in God. Also, in psychology the techniques proposed for hope improvement are individual for the most part, whereas the Quran aims at proposing behavioural approaches in societal scale in addition to individual solutions. (shrink)

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

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.

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.

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.

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.

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.

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

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.

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 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.

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

In this work, the author presents the work of Allama M.T. Jafari, an Iranian, contemporary social thinker who worked within the parameters of Primordial School of Social Theory. This work is an attempt to enrich the existing literature on comparative sociology and social philosophy.

Selective abduction is in contrast with creative abduction as well as Inference to the Best Explanation (IBE). There are two types of selective abduction: Either hypotheses are selected among new and conjectural hypotheses without any prior knowledge ( Pierce s' selective abduction), or the selection of the best hypotheses and explanations is among a large number of possible hypotheses and explanations already known (L. Magnani's selective abduction and G. Schurz's factual abduction). According to both views, as well as an alternative (...) view, which belongs to Dov M. Gabby and John Woods, selective abduction is different from inference to the best explanation. Schurz's factual abduction depends on all three sub-processes of inference, i.e.: colligation, observation, and judgment (c, o, and j); But Pierce's selective abduction, on the other hand, has only a third sub-process, i.e. judgment process (j), and therefore it cannot be regarded as a process of abductive epistemic inference. (shrink)

Open Shop Scheduling Problem is one of the most important scheduling problems in the field of engineering and industry. This kind of problem includes m machines and n jobs, each job contains a certain number of operations, and each operation has a predetermined processing time on its corresponding machine. The order of processing of these operations affects the completion times of all jobs. Therefore, the purpose of OSSP is to achieve a proper order of processing of jobs using specified machines, (...) so that the completion time of all jobs is minimized. In this paper, the strengths and limitations of three methods are evaluated by comparing the results of solving the OSSP in large-scale and small-scale benchmarks. In this case, the minimized completion time and total tardiness are considered the objective functions of the adapted methods. To solve small-scale problems, we adapt a mathematical model called Multiobjective Mixed Linear Programming. To solve large-scale problems, two metaheuristic algorithms including Multiobjective Parallel Genetic Algorithm and Multiobjective Parallel Simulated Annealing are adapted. In experimental results, we randomly generated small-scale problems to compare MOMILP with the Genetic Algorithm and Simulate Annealing. To compare MOPSA and MOPGA with the state of the art and show their strengths and limitations, we use a standard large-scale benchmark. The simulation results of the proposed algorithms show that although the MOPSA algorithm is faster, the MOPGA algorithm is more efficient in achieving optimal solutions for large-scale problems compared with other methods. (shrink)

Tarihte herhalde çok az soru Tanrı’nın varlığı sorusu kadar sık sorulmuş, çok yanıtlanmış ve verilen birbirinden farklı onca yanıta rağmen kesin bir sonuca ulaştırılamayıp tartışılmaya devam etmiştir. Yine de geçmişe dönüp baktığımızda bu soruya verilen farklı yanıtların farklı uygarlıkların inşa edilmesine, bazılarının yıkılmasına, acımasız çatışmalara ve her şeye rağmen kucaklaşmalara da vesile olduğunu görüyoruz. Tanrı var mı? Varsa onu nasıl bilebiliriz? Tanrı yoksa her şey mubah mı? İnsan aklı ilahi olanı kavrayabilir mi? Tanrı’nın varlığı ahlaklı olmanın şartı mı? Evren akıllı (...) bir tasarımcının imzasını taşıyor mu? Bu kitapta felsefeci William David Beck, bu sorulara tarihte verilen yanıtları ve bu konudaki tartışmaları ele alarak meselenin genel ve tarihsel bir tablosunu bize sunuyor. Platon, Aristoteles, Marcus Aurelius gibi Eski Yunan ve Roma düşünürlerinden Anselmus, Thomas Aquinas, Augustinus ve Yahudi-Hıristiyan geleneğine, Doğu’nun bilgelerine, İbni Rüşd, Fârâbî ve Gazzâlî gibi İslam düşünürlerinden Alvin Plantinga, Graham Oppy, Sam Harris, Richard Dawkins, Max Tegmark gibi Batılı modern ilahiyatçılara, bilim insanlarına ve Yeni Ateizm hareketine kadar uzanan bir çizgide “Tanrı var mı?” sorusuna verilen çeşitli yanıtları ve bu yanıtlara sunulan akılcı gerekçeleri ortaya koyarak soruya felsefece bir yanıt vermenin nasıl bir iş olduğunu da gösteriyor. (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)

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)

In social systems or spaces, distance between the centre and the periphery breeds epistemic injustice. There are growing accounts of epistemic injustice in health-related fields, as in the article by Pratt and de Vries.1 The title of the article asks: ‘Where is knowledge from the global South?’ Like me, you may answer by saying: ‘Knowledge from the global South is in the global South’. That answer says a lot about how we right epistemic injustice done to actors in the global (...) South or the periphery, including in health ethics. Pratt and de Vries identified four sets of actors (individuals, institutions, journals and funders) responsible for righting epistemic injustice. For three of the four sets of actors, they recognised the need for—or the possibility of—symmetry between global North and global South. Except journals. They did not seriously consider that journals are either present in or could belong to the global South; to the periphery. Platforms for knowledge exchange, circulation, cultivation and curation—such as journals, conferences, publishers, blogs, archives, seminars, books and the media, social or traditional—are neither physically nor epistemically neutral. They are situated. The BBC cannot do for Nigeria or Australia what it does for Britain; neither can the BMJ. Many of us take our position at the centre or periphery as neutral, natural, necessary or permanent. But the African American writer Toni Morrison proved the opposite with her career: ‘I stood at the border, stood at the edge and claimed it as central. l claimed it as central, and let the rest of the world move over to where I was.’2 Although physically in the USA, Toni Morrison was writing …. (shrink)

A generic analysis of research article abstracts can cover issues of different types; among them are linguistic features. An integral part of linguistic features of research article abstracts is interactive metadiscourse usage that can assist to make the text persuasive and unfolding to a discourse community. The main principle behind applying interactive metadiscourse is the view of writing as socially engaging; specifically, it indicates the ways writers project themselves into their arguments to declare their attitudes and commitments to the readers. (...) This study aimed to explore how interactive metadiscourse markers are deployed by research article abstract writers belonging to different disciplinary communities within the soft sciences, while trying to reach the audience by creating a well-organized discourse. Hyland’s interpersonal model of metadiscourse was adopted to analyze 60 research article abstracts written in Applied Linguistics and Economics. Based on the results, there were marked variations found across the two disciplines in terms of interactive metadiscourse markers. (shrink)

The current study aims to explain the fundamentals of religious pluralism in Wittgenstein later philosophy and Gadamer philosophical hermeneutics, specifically regarding culture. It, then, proposes the approach more suitable for the Islamic context. Having fulfilled such an objective, pluralism, concerning religious rituals, becomes accepted and cultural and religious interaction is realized without any relativism conclusion. Wittgenstein’s pluralism results in pure relativism. That is to say, in order to understand the rules of the language game and life style he mentions, one (...) needs to be placed inside. However, it is a dialectical model that Gadamer philosophical hermeneutics leads to. Dialogue gives opportunity to cultural interaction and convergence, developing the religious culture. The latter is of more proximity to Islamic resources such as the Quran, proposing a religious culture transcending cultural, historical, and social limitations. All in all, the two significant features of Gadamer’s which Wittgenstein ignores are first, the interaction of religious pluralism encouraging the development of religious culture and second, reciprocal relation between culture and religion based on hermeneutics circle. (shrink)

Moral contextualism about “ought”-sentences is a semantic thesis that takes the content of moral “ought” to be a function of contextually relevant parameters. I aim to provide a theory of OUGHT-judgments at the level of thought that supplements the contextualist understanding of moral “ought”-sentences. To this aim, I suggest understanding the concept of ought as an indexical concept for which a phenomenological profile plays an extension-fixing role. Then, I will argue how my suggested view can provide a theory of OUGHT-judgments (...) that is in harmony with moral contextualism. (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.

We argue that the debate about the normativity of belief thesis has been hampered by the slogan, ‘belief aims at truth’. We show that the slogan provides no content to the normativity of belief. The slogan encourages formulations of the norm as a prescriptive norm. There are well-known problems with such formulations. We provide a new formulation of the thesis as a prohibitive norm. This captures the key intuition most normativists about belief want to endorse.

The issue of existence - quiddity difference is one of the important issues that were put forward for the first time in Islamic philosophy without having any background in Greek philosophy. Aristotle's metaphysics which is the main source of the first philosophy contains only synonymous and verbal meaning ofexistence. The issue of existence - quiddity difference has no room in Aristotle's works. This issue was proposed first by Farabi and then was completed by Ibn sina. In Islamic philosophy when it (...) is proved that existence in the mind is neither identical with quiddity nor a part of it but differs with it and is excess of it, that is, when it is proved that existence occurs on quiddity, this question arises that how is their relation in the outside? Whether existence occurs on quiddity or existence and quiddity are identical in the external world? To this question the Islamic philosophers answer that existence and quiddity are identical in the outside and it isimpossible that they differ from each other in the external world. The importance of this issue is that it finally led to the origination of the doctrine of the principality of existence which is known as the culmination of Islamic philosophy. The main goal of this article is study this issue and its impact upon the origination of the doctrine of the principiality of existence. (shrink)

The path of religious pluralism starts with the fact that our world contains a number of religious faiths having different ideas of the nature of divinity as the main and fundamental principle of religions and therefore, different and various dogmas, rites, and rituals.Despite the claim that the idea of religious pluralism is a product of modern philosophical schools, specifically new epistemological principles, I have attempted to demonstrate that what I have called "pluralistic religion," as a part of a necessary and (...) substantial distinction that has to be drawn between this hypothesis and John Hick's classic theory of "religious pluralism," is strongly rooted in the principle of "ultimate truth and uniqueness of .. (shrink)

According to many philosophers, the notion of belief is constitutively normative ; Shah ; Shah and Velleman (); Gibbard (); Wedgwood ). In a series of widely discussed papers, Terence Horgan and Mark Timmons have developed an ingenious ‘Moral Twin Earth’ argument against ‘Cornell Realist’ metaethical views which hold that moral terms have synthetic natural definitions in the manner of natural kind terms. In this paper we shall suggest that an adaptation of the Moral Twin Earth argument to the doxastic (...) case – Doxastic Twin Earth – provides new evidence for the normativity of belief. (shrink)

After introducing Millianism and touching on two problems raised by genuinely empty names for Millianism (section I), I provide a brief exposition of the Gappy Proposition View (GPV) and of how different versions of this view can reply to the problems in question (section II). In the following sections I develop my reasons against the GPV. First, I will try to argue that apparently promising arguments for the claim that gappy propositions are propositions are not successful (section III). Then, I (...) will develop two arguments against GPs via demonstrating two odd consequences of the GPV: (a) that there can be an atomic proposition which contains other propositions that are not the semantic contents of any part of the .. (shrink)

This paper takes the form of a ‘performative’ dialogue, a recounting of scenes, which alternate, in the mode of a cinematic montage, with academic analysis of the interfaces between boxing, art, and space. In his book Body and Soul: Notebooks on an Apprentice Boxer, sociologist Loïc Wacquant mixes three genres: analytic sociology, depictive ethnography, and short story. He argues that he used this unorthodox methodology ‘to make the reader simultaneously feel and understand how boxers are “gripped” by their craft and (...) viscerally tied to it’. Similarly, in this paper, the overlapping voices of its two authors engage in both performative, creative and intellectual ways with the critiques and social rituals surrounding boxing, ultimately finding that an understanding of boxing as an epistemological encounter gives rise to interesting ways to think through the relationships between art and urban space itself. The paper ranges widely over each author’s personal experience of boxing, analyses of specific artworks both ancient and modern, and an analysis of the psychogeography of urban space, and in particular, Johannesburg. The form of the paper, as it incorporates narrative experience and analytic mode, can be seen as a text that re-enacts the ‘performance’ of boxing and art-making in which the traditional opposition between the two is integrated, if not suspended. (shrink)

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)

Thus far, recent protests in the Arab world have led to different political outcomes including regime change, civil war, and suppression by regime. The present paper explores the reasons behind these different outcomes. The research methodology is a comparative case study approach, and five countries of Tunisia, Egypt, Bahrain, Libya, and Syria are examined. The hypothesis is that the different political outcomes of the protests are due to a combination of factors, including the level of mobilization of anti-regime movements, the (...) responses of national militaries, and finally the reaction of international powers. Different configurations of these components in the crisis-stricken countries have led to different political outcomes. (shrink)

The Second Khordad Movement was a democratic social movement in contemporary Iran. Investigation of this movement revealed two images, of flourish and of decline, as the movement was first generally successful until early 2000 and thereafter began to regress from the spring of that year onwards. The purpose of this article is to provide a comprehensive framework in which to examine the reasons behind the movement's failure and regression. To this end, the study utilizes the literature on social movements, especially (...) the political process model, and attempts to explain the initial success and subsequent decline of the movement based on elements such as political opportunity, framing processes, mobilizing structures, and the repertoire of collective action.Export citation Request permission. (shrink)