Several recent accounts of modeling have focused on the modal dimension of scientific inquiry. More precisely, it has been suggested that there are specific models and modeling practices that are best understood as being geared towards possibilities, a view recently dubbed modal modeling. But modalities encompass much more than mere possibility claims. Besides possibilities, modal modeling can also be used to investigate contingencies, necessities or impossibilities. Although these modal concepts are logically connected to the notion of possibility, not all models (...) are equal in their affordances for these richer modal inferences. This paper investigates the modal extent of selected models and argues that analyzing singular model-target pairings by themselves is typically not enough to explain their modal aptness or to identify the kinds of modalities they can be used to reason about. Furthermore, it is argued that some important concepts that are not explicitly modal - like biological robustness - can be understood modally through their relational nature to a background space of possibilities. In conclusion, it is suggested that the strategy of modal modeling is contrastive, situating particular possibilities in larger modal spaces and studying the structural relations within them. (shrink)

Critics of multiple realizability have recently argued that we should concentrate solely on actual here-and-now realizations that are found in nature. The possibility of alternative, but unactualized, realizations is regarded as uninteresting because it is taken to be a question of pure logic or an unverifiable scenario of science fiction. However, in the biological context only a contingent set of realizations is actualized. Drawing on recent work on the theory of neutral biological spaces, the paper shows that we can have (...) ways of assessing the modal dimension of multiple realizability that do not have to rely on mere conceivability. (shrink)

Recently, several critics of the multiple realizability thesis have argued that philosophers have tended to accept the thesis on too weak grounds. On the one hand, the analytic challenge has problematized how philosophers have treated the multiple realization relation itself, claiming that assessment of the sameness of function and the relevant difference of realizers has been uncritical. On the other hand, it is argued that the purported evidence of the thesis is often left empirically unverified. This paper provides a novel (...) strategy to answer these worries by introducing a role for multiple realizability in the context of biological engineering. In the field of synthetic biology, bioengineers redesign the evolutionary realizations of biological functions, even constructing artificial chemical surrogates in the laboratory. I show how in the rational design approach to biological engineering, multiple realizability can function as a design heuristic in which the sameness of function and difference of realizers can be controlled. Although practically motivated, this engineering approach has also a theoretical, exploratory component that can be used to study the empirical limitations of multiple realizability. Successful realization of the engineering designs would amount to a concrete demonstration of multiple realizability, taking evidence for MRT beyond what is readily found in nature. (shrink)

Besides having potential medical and biosafety applications, as well as challenging the foundations of biological engineering, xenobiology can also shed light on the epistemological and metaphysical questions that puzzle philosophers of science. This paper reviews this philosophical aspect of xenobiology, focusing on the possible multiple realizability of life. According to this hypothesis, what ultimately matters in understanding life is its function, not its particular building blocks. This is because there should, in theory, be many different ways to build the same (...) function. The possibility of multiple realizability was originally raised in the context of AI’s hypothesized capacity to realize mental functions. Because we still do not have any incontrovertible examples of digital minds, not to mention alien life of foreign biochemistry, the best way to test this philosophical idea is to examine the recent results and practices of synthetic biology and xenobiology. (shrink)

We review some of the major accounts in the current epistemology of modality and identify some shared issues that plague all of them. In order to provide insight into the nature of modal statements in science, philosophy, and beyond, a satisfactory epistemology of modality would need to be suitably applicable to practical and theoretical contexts by limited beings. However, many epistemologies of modality seem to work only when we have access to the kind of knowledge that is at least currently (...) beyond our reach. Or, in the extreme case, it is argued that even if we knew all the relevant information about the respective domain – or even the entire state of the world – there would still remain a special class of modal truths that would be left unaccounted for. Neither picture bodes well for practical applicability, nor for the philosophical justification of these epistemologies. This is especially the case as we hold that one of the main motivations for modal inquiry typically arises in cases of imperfect information and limited cognitive resources. We close by providing a partial remedy to the situation by suggesting an overall framework of relative modality (RM) that can be used to both unify some existing modal epistemologies and, at the same time, make them more metaphysically modest. (shrink)

The recent discussion of fictional models has focused on imagination, implicitly considering fictions as something nonconcrete. We present two cases from synthetic biology that can be viewed as concrete fictions. Both minimal cells and alternative genetic systems are modal in nature: they, as well as their abstract cousins, can be used to study unactualized possibilia. We approach these synthetic constructs through Vaihinger’s notion of a semi-fiction and Goodman’s notion of semifactuality. Our study highlights the relative existence of such concrete fictions. (...) Before their realizations neither minimal cells nor alternative genetic systems were any well-defined objects, and the subsequent experimental work has given more content to these originally schematic imaginings. But it is as yet unclear whether individual members of these heterogeneous groups of somewhat functional synthetic constructs will eventually turn out to be fully realizable, remain only partially realizable, or prove outright impossible. (shrink)

Recent epistemology of modality has seen a growing trend towards metaphysics-first approaches. Contrastingly, this paper offers a more philosophically modest account of justifying modal claims, focusing on the practices of scientific modal inferences. Two ways of making such inferences are identified and analyzed: actualist-manipulationist modality and relative modality. In AM, what is observed to be or not to be the case in actuality or under manipulations, allows us to make modal inferences. AM-based inferences are fallible, but the same holds for (...) practically all empirical inquiry. In RM, modal inferences are evaluated relative to what is kept fixed in a system, like a theory or a model. RM-based inferences are more certain but framework-dependent. While elements from both AM and RM can be found in some existing accounts of modality, it is worth highlighting them in their own right and isolating their features for closer scrutiny. This helps to establish their relevant epistemologies that are free from some strong philosophical assumptions often attached to them in the literature. We close by showing how combining these two routes amounts to a view that accounts for a rich variety of modal inferences in science. (shrink)

An outstanding reference source to this fast-growing area and is the first volume of its kind. Essential reading for students and scholars of philosophy of science, formal epistemology, and philosophy of social science, and for those in related fields such as computer science and information technology.

This paper analyzes the notion of possibility in biology and demonstrates how synthetic biology can provide understanding on the modal dimension of biological systems. Among modal concepts, biological possibility has received surprisingly little explicit treatment in the philosophy of science. The aim of this paper is to argue for the importance of the notion of biological possibility by showing how it provides both a philosophically and biologically fruitful category as well as introducing a new practically grounded way for its assessment. (...) More precisely, we argue that synthetic biology can provide tools to scientifically anchor reasoning about biological possibilities. Two prominent strategies for this are identified and analyzed: the design of functionally new-to-nature systems and the redesign of naturally occurring systems and their parts. These approaches allow synthetic biologists to explore systems that are not normally evolutionarily accessible and draw modal inferences that extend in scope beyond their token realizations. Subsequently, these results in synthetic biology can also be relevant for discussions on evolutionary contingency, providing new methods and insight to the study of various sources of unactualized possibilities in biology. (shrink)

Many scientific models in biology are how-possibly models. These models depict things as they could be, but do not necessarily capture actual states of affairs in the biological world. In contemporary philosophy of science, it is customary to treat how-possibly models as second-rate theoretical tools. Although possibly important in the early stages of theorizing, they do not constitute the main aim of modelling, namely, to discover the actual mechanism responsible for the phenomenon under study. In the paper it is argued (...) that this prevailing picture does not do justice to the synthetic strategy that is commonly used in biological engineering. In synthetic biology, how-possibly models are not simply speculations or eliminable scaffolds towards a single how-actually model, but indispensable design hypotheses for a field whose ultimate goal is to build novel biological systems. The paper explicates this by providing an example from the study of alternative genetic systems by synthetic biologist Steven Benner and his group. The case will also highlight how the method of synthesis, even when it fails, provides an effective way to limit the space of possible models for biological systems. (shrink)

: This paper discusses critically W.V. Quine's relation to the tradition of pragmatism. Even though Quine is often regarded as a pragmatist, it is far from clear what his commitment to pragmatism actually amounts to. It is argued that while there are pragmatist elements in Quine's position, this is not sufficient to classify him as a pragmatist in any strong historical sense; indeed, he was not even clear himself what it means to be a pragmatist. It is also shown that (...) neither Quine's philosophy nor pragmatism are as anti-metaphysical as has sometimes been thought. In order to enrich the picture of Quine's place in the pragmatist tradition, some neopragmatist criticisms of his ideas (e.g., by Hilary Putnam and Richard Rorty) are also discussed. (shrink)

This paper discusses critically W.V. Quine's relation to the tradition of pragmatism. Even though Quine is often regarded as a pragmatist, it is far from clear what his commitment to pragmatism actually amounts to. It is argued that while there are pragmatist elements in Quine's position, this is not sufficient to classify him as a pragmatist in any strong historical sense; indeed, he was not even clear himself what it means to be a pragmatist. It is also shown that neither (...) Quine's philosophy nor pragmatism are as anti-metaphysical as has sometimes been thought. In order to enrich the picture of Quine's place in the pragmatist tradition, some neopragmatist criticisms of his ideas (e.g., by Hilary Putnam and Richard Rorty) are also discussed. (shrink)

Participatory research in anthropology attempts to turn informants into collaborators, even colleagues. Researchers generally accept the idea of different knowledge systems, and the practice of avoiding critical appraisal of alien knowledge systems, common in ethnography, is continued within participatory research. However, if the aim of participatory research is to turn informants into collaborators, or ideally colleagues, the ethical imperative of offering constructive criticism to colleagues should apply to them, too, even if they are seen as representing different knowledge systems than (...) the researchers. Avoiding appraisal of alien knowledge systems is problematic when the knowledge systems of the researcher and the researched are in constant contact. (shrink)

In this essay I will defend the thesis that proper nouns are primarily used as proper names—as atomic singular referring expressions—and different possible predicative uses of proper nouns are derived from this primary use or an already derived secondary predicative use of proper nouns. There is a general linguistic phenomenon of the derivation of new meanings from already existing meanings of an expression. This phenomenon has different manifestations and different linguistic mechanisms can be used to establish derived meanings of different (...) kinds of expressions. One prominent variation of these mechanisms was dubbed in Nunberg. (Linguist Philos 3:143–184, 1979, J Semant 12:109–132, 1995, The handbook of pragmatics. Blackwell, Oxford, 2004 meaning transfer.) In the essay I will distinguish two different sub-varieties of this mechanism: occurrent and lexical meaning transfer. Nunberg conceives of meaning transfer as a mechanism that allows us to derive a new truth-conditional meaning of an expression from an already existing truth-conditional meaning of this expression. I will argue that most predicative uses of proper nouns can be captured by the mentioned two varieties of truth-conditional meaning transfer. But there are also important exceptions like the predicative use of the proper noun ‘Alfred’ in as sentence like ‘Every Alfred that I met was a nice guy’. I will try to show that we cannot make use of truth-conditional meaning transfer to account for such uses and I will argue for a the existence of second variant of meaning transfer that I will call use-conditional meaning transfer and that allows us also to capture these derived meanings of proper nouns. Furthermore, I will try to show that the proposed explanation of multiple uses of proper nouns is superior to the view supported by defenders of a predicative view on proper names. (shrink)

We prove a categoricity transfer theorem for tame abstract elementary classes. Theorem 0.1. Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ.LS(K)⁺}. If K is categorical in λ and λ⁺, then K is categorical in λ⁺⁺. Combining this theorem with some results from [37], we derive a form of Shelah's Categoricity Conjecture for tame abstract elementary classes: Corollary 0.2. Suppose K is a χ-tame (...) abstract elementary class satisfying the amalgamation and joint embedding properties. Let μ₀:= Hanf(K). If χ ≤ ‮ב‬(2μ0)+ and K is categorical in some λ⁺ > ‮ב‬(2μ0)+, then K is categorical in μ for all μ > ‮ב‬(2μ0)+. (shrink)

We prove that from categoricity in λ+ we can get categoricity in all cardinals ≥ λ+ in a χ-tame abstract elementary classe [Formula: see text] which has arbitrarily large models and satisfies the amalgamation and joint embedding properties, provided [Formula: see text] and λ ≥ χ. For the missing case when [Formula: see text], we prove that [Formula: see text] is totally categorical provided that [Formula: see text] is categorical in [Formula: see text] and [Formula: see text].

The kind of epistemic relativism usually refuted by its critics is less frequently observable in ethnographic research practices than the critics assume. Instead, methodological conceptual relativism can be recognized in several cases. This has significant practical implications, since the kind of epistemic relativism described by its critics, if rigorously followed, could lead to ethnographers conflating ways of argumentation accepted by their informants, with ways of argumentation accepted in academia, whereas methodological conceptual relativism does not have such consequences.

This paper presents the design and development of intelligent tutoring system for teaching Oracle. The Oracle Intelligent Tutoring System (OITS) examined the power of a new methodology to supporting students in Oracle programming. The system presents the topic of Introduction to Oracle with automatically generated problems for the students to solve. The system is dynamically adapted at run time to the student’s individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on (...) the performance of students. (shrink)

We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper, we explore stability results in this new context. We assume that [Formula: see text] is a tame abstract elementary class satisfying the amalgamation property with no maximal model. The main results include:. Theorem 0.1. Suppose that [Formula: see text] is not only tame, but [Formula: see text]-tame. If [Formula: see text] and [Formula: (...) see text] is Galois stable in μ, then [Formula: see text], where [Formula: see text] is a relative of κ from first order logic. [Formula: see text] is the Hanf number of the class [Formula: see text]. It is known that [Formula: see text]. The theorem generalizes a result from [17]. It is used to prove both the existence of Morley sequences for non-splitting and the following initial step towards a stability spectrum theorem for tame classes:. Theorem 0.2. If [Formula: see text] is Galois-stable in some [Formula: see text], then [Formula: see text] is stable in every κ with κμ=κ. For example, under GCH we have that [Formula: see text] Galois-stable in μ implies that [Formula: see text] is Galois-stable in μ+n for all n < ω. (shrink)

Luck (2009) argues that gamers face a dilemma when it comes to performing certain virtual acts. Most gamers regularly commit acts of virtual murder, and take these acts to be morally permissible. They are permissible because unlike real murder, no one is harmed in performing them; their only victims are computer-controlled characters, and such characters are not moral patients. What Luck points out is that this justification equally applies to virtual pedophelia, but gamers intuitively think that such acts are not (...) morally permissible. The result is a dilemma: either gamers must reject the intuition that virtual pedophelic acts are impermissible and so accept partaking in such acts, or they must reject the intuition that virtual murder acts are permissible, and so abstain from many (if not most) extant games. While the prevailing solution to this dilemma has been to try and find a morally relevant feature to distinguish the two cases, I argue that a different route should be pursued. It is neither the case that all acts of virtual murder are morally permissible, nor are all acts of virtual pedophelia impermissible. Our intuitions falter and produce this dilemma because they are not sensitive to the different contexts in which games present virtual acts. (shrink)

We prove the following main theorem: Let be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality μ. Let μ be a cardinal above the the Löwenheim‐Skolem number of the class. If is μ‐Galois‐stable, has no μ‐Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, then any two ‐limits over M, for, are isomorphic over M.

The gamer’s dilemma offers three plausible but jointly inconsistent premises: (1) Virtual murder in video games is morally permissible. (2) Virtual paedophelia in video games is not morally permissible. (3) There is no morally relevant difference between virtual murder and virtual paedophelia in video games. In this paper I argue that the gamer’s dilemma can be understood as one of three distinct dilemmas, depending on how we understand two key ideas in Morgan Luck’s (2009) original formulation. The two ideas are (...) those of (1) occurring in a video game and (2) being a virtual instance of murder or paedophelia. Depending on the weight placed on the gaming context, the dilemma is either about in-game acts or virtual acts. And depending on the type of virtual acts we have in mind, the dilemma is either about virtual representations or virtual partial reproductions of murder and paedophelia. This gives us three dilemmas worth resolving: a gaming dilemma, a representation dilemma, and a simulation dilemma. I argue that these dilemmas are about different issues, apply to different cases, and are susceptible to different solutions. I also consider how different participants in the debate have interpreted the dilemma in one or more of these three ways. (shrink)

Our sense of entitlement influences our interactions and attitudes in a range of specific relational contexts, one of them being aging parents’ relationships with their adult children. This study aimed to examine the factor structure of the Sense of Relational Entitlement—aging parents toward their offspring, an 11-item questionnaire that assesses aging people’s sense of relational entitlement toward their children, and examine the associations of its subscales with related personality and mental health constructs. One thousand and six participants, aged 65–99, with (...) at least one child, completed the SRE-ao, Brief Symptom Inventory, Loneliness Scale, and General Belongingness scale. The SRE-ao demonstrated good construct structure using confirmatory factor analysis. Both SRE-ao subscales were significantly and positively associated with anxiety, depression, somatization and sense of loneliness and negatively with sense of belonging. When all variables were entered into a regression model, age, anxiety, and low sense of belonging, but not sense of loneliness, positively predicted both restricted and inflated sense of entitlement. Somatization negatively predicted inflated sense of entitlement. The SRE-ao is a reliable and valid scale that can be used in clinical practice and research to enhance our understanding of parent–child relationships throughout the lifespan. (shrink)

How do we assign values to virtual items, which include virtual objects, properties, events, subjects, worlds, environments, and experiences? In this article, I offer a framework for answering this question. After considering different value theses in the literature, I argue that whether we think these theses mutually exclusive or not turns on our view about the number of value-salient kinds virtual items belong to. Virtual monism is the view that virtual Xs belong to only one value-salient kind in relation to (...) X. Virtual pluralism is the view that they belong to more than one value-salient kind. I argue for two claims. First, virtual monism is mistaken. Minimally some virtual Xs are Xs, while others are not. Second, dualistic virtual pluralism is also mistaken because it is too coarse grained. Instead, I argue for fourfold pluralism: virtual items either represent an original's properties or reproduce essential properties and do so to lesser or greater extents. This gives us four value-salient kinds of virtual X: virtual reproductions, simulations, representations, and simulacra of X. I apply this view to various debates in the literature and conclude with a discussion of less basic hybrid kinds. (shrink)

A central debate in the philosophy of virtual reality (VR) focuses on the reality of virtual items. Broadly, there are two main disagreements. Some views accept a metaphysical orientation to VR, and disagree on the reality of virtual items. For instance, David Chalmers (Disputatio 9(46):309-352, 2017, Disputatio 11(55):453- 486, 2019, 2022) defends digitalism, the view that virtual items are real digital items. Neil McDonnell & Nathan Wildman (Disputatio 11(55):371-397, 2019), by contrast, defend fictionalism, which maintains that virtual items are unreal (...) fictions. Other views, like Grant Tavinor’s (2021), reject the metaphysical orientation, argu- ing that focusing on the reality of virtual items is a mistake. In what follows I evalu- ate these two disagreements. I argue that experiences of virtual items depend on episodes of picture perception. Recognizing this reveals that the current debates are either easily resolved in favor of one view, or are not disagreeing about the reality of virtual items, but about what virtual items are. (shrink)

A natural starting point for theories of perceptual states is ordinary perception, in which a subject is successfully related to her mind-independent surroundings. Correspondingly, the simplest theory of perceptual states models all such states on perception. Typically, this simple, common-factor relational view of perceptual states has received a perfunctory dismissal on the grounds that hallucinations are nonperceptual. But I argue that the nonperceptual view of hallucinations has been accepted too quickly. I consider three observations thought to support the view, and (...) argue that all three are dealt with equally well by an alternative view, illusionism, on which hallucinations do involve perception. Since this is so, adopting a common-factor relational view of all perceptual states remains a tenable option. (shrink)

When discussing scientific objectivity, many philosophers of science have recently focused on accounts that can be applied in practice when assessing the objectivity of something. It has become clear that in different contexts, objectivity is realized in different ways, and the many senses of objectivity recognized in the recent literature seem to be conceptually distinct. I argue that these diverse ‘applicable’ senses of scientific objectivity have more in common than has thus far been recognized. I combine arguments from philosophical discussions (...) of trust, from negative accounts of objectivity, and from the recent literature on epistemic risks. When we call X objective, we endorse it: we say that we rely on X, and that others should do so too. But the word ‘objective’ is reserved for a specific type of reliance: it is based on the belief that important epistemic risks arising from our imperfections as epistemic agents have been effectively averted. All the positive senses of objectivity identify either some risk of this type, or some efficient strategy for averting one or more such risks. (shrink)

Koronavirüs olarak bilinen Covid-19 -salgını neredeyse iki yıldır hayatımızda. Salgının başlangıç aşamalarında kapsamlı bir çözüm bulunamadığı için âdeta şok yaşayan dünya, salgının yayılmasını önlemek için bir çözüm olarak tamamen karantinaya kapanmak zorunda kaldı. Uzun süren kapanmadan dolayı dünyanın her yerinde insanlar, psikolojik olarak bunalımlı bir dönem geçirmekteler. Hemen hemen herkes, bu bunalımdan bir çıkış yolu aramaktadır. Öte yandan, mezkûr bunalımlı dönemin toplumsal ve dinî açılardan da belirli yankıları olduğu söylenebilir. Örneğin boşanma ve intihar vakalarının artması bunlar arasında gösterilebilir. Dinî açıdan (...) bakıldığında ise, salgının yol açtığı psikolojik yükü hafifletmek için, pek çok bireyin manevi ibadetlere başvurduğu görülmektedir. Böylece, bu psikolojik bunalım hâlinin, temel olarak dinî ilgilendiren birçok soruyu da beraberinde getirdiği dikkat çekmektedir. Kelâm açısından bakıldığında, insan ve Tanrı arasındaki ilişkinin mahiyetine yönelik sorularla karşılaştığımız söylenebilir. Hiç şüphe yok ki Korona, herkes için ağır felaketlere yol açan ve insanların pek haz etmedikleri durumlar arasında kabul edilmekte. Her geçen gün duyduğumuz artan ölüm vakaları; Çin, İran ve Amerika'da karşılaşılan yoğun bakım hastalarının korkunç manzaraları, sıradanlaşır hale geldi. Ancak bireylere sorulduğunda, herkes bu virüsün özü itibariyle oldukça kötü bir durum olduğunu söylemektedir. Konu teolojik açıdan ele alındığında, şu sorular karşımıza çıkmaktadır: eğer Korona bir kötülük olarak görülürse, bu durumun Tanrı’dan gelmesi mümkün müdür? Eğer Tanrı’dan geldiği iddia edilirse, Tanrı’nın bu derece bir eyleme sebep olması nasıl anlaşılmalıdır? Tanrı kötü bir fiille nitelendirilebilir mi? Bu sorular doğal olarak günlük hayatımıza yansıdığı için, pek çok Müslüman belirli açmazlarla karşı karşıya kalmaktadır. Bu çalışmada salgın hastalıklar ve veba konusu, kelâm açısından tartışılarak, üç temel noktaya ışık tutulmaya çalışılacaktır. Birincisi: ağrı ve acı problemi ve bu problemin kelâm kitaplarında nasıl geçtiği ve hangi açılardan tartışıldığı. İkinci olarak ise: “Salgın ve veba meseleleri Allah'ın hükmünden midir, değil midir?” meselesi. Son olarak ise: "Salgınların Allah'ın hükmünden olduğunu söylemek, kulun tedbir almayı bırakmasını mı gerektirir?" sorusudur. Araştırma, Mu'tezile, Eş'ariler, Mâtüridiler ve Ehl-i Hadis gibi ekollerinönde gelen kelamcılarından (Mütekellimûn) bazılarını seçerek; ve mümkün olduğunca onların bakış açılarını yansıtmaya çalışarak bir perspektif sunmayı amaçlamaktadır. Makalede, tüm İslam kelâm ekollerinden kelamcıların görüşlerine yer vermiş ve bunların her birinin Kur'an, Sünnet ve hadislerden delillerini zikredilip karşılaştırmalı bir yaklaşımla el aldığımız konuda bir sonuca varmaya çalışılmıştır. (shrink)

Fatimid history is considered one of the main periods of Islamic history in Egypt, so we cannot talk about the cultural metropolis of Egypt, the city of Cairo, without mentioning its founder, Jawhar al-Siqilli, the leader of the Fatimid Caliph al-Muizz Li-Din Allah al-Fatimid. The same is true of the Al-Azhar Mosque, which since its establishment until now has gained international fame in the Islamic world, throughout the historical stages, in addition to many of the Fatimid monuments scattered in Old (...) Cairo such as mosques, schools and alleys, all of this appears when talking about Egypt in general and Islamic Egyptin particular. The Fatimids sought to seize the Egyptian country a lot, as two military campaigns from North Africa to Egypt were launched, each of them failed. Then, the third campaign succeeded, led by Jawhar al-Siqilli, after the Fatimid Caliph al-Muizz prepared the equipment this time and arranged the army well, and had previously sent missionaries to this geography through the city of Alexandria and others, to herald the demise of the Ikhshidid state and the coming of the savior from this injustice and economic stagnation under which Egypt has fallen. He took several measures to try to declare Fatimid control over the Egyptian country. A delegation of the Egyptians sought to obtain a covenant from the Fatimid leader Jawhar al-Siqilli, to reassure them and remove their fears, especially with regard to their beliefs and religious matters. Indeed, the Fatimid leader issued this covenant, which included many things to reassure the Egyptians, among them that the Companions of the prophet are the most honorable people contrary to the famous Shiite belief- and that each will leave his belief, but it was not long before this covenant until many things were sealed. Our research here focuses on these matters.The research is divided into three main ponits: the first is the sectarian history of Egypt before the Fatimid occupation, and the second is the attempts to impose the Shiite sect on the Egyptians. The last point is the resistance or what hinders this imposition, and it is this last part that limited these influences to the Fatimid monuments such as buildings, mosques and schools. (shrink)

In this introduction to the Topical Collection on Social and Cognitive Diversity in Science, we map the questions that have guided social epistemological approaches to diversity in science. Both social and cognitive diversity of different types is claimed to be epistemically beneficial. The challenge is to understand how an increase in a group’s diversity can bring about epistemic benefits and whether there are limits beyond which diversity can no longer improve a group’s epistemic performance. The contributions to the Topical Collection (...) discuss various proposals to maintain an appropriate amount of cognitive diversity in science, for instance, by recruiting and retaining practitioners from underrepresented social groups, providing incentives for explorative and risky research, encouraging interdisciplinary collaborations and stakeholder participation in research, requiring industry scientists to share their evidence, and developing strategies to encounter politically motivated attempts to manufacture doubt. To be successful, efforts to promote diversity in science should anticipate risks related to institutional interventions, navigate trade-offs between different types of epistemically good outcomes, and identify hidden costs that such policies may cause for various actors. Such efforts need to be assessed not only from an epistemic perspective but also from the point of view of fairness and the political legitimacy of scientific institutions. (shrink)

We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Finite Diagrams. Finite Diagrams is a context which generalizes the first order case. Localized versions of these theorems are presented. Our presentation is based on several papers; the point of view is contemporary and some of the proofs are new. The treatment of local stability in Finite Diagrams is new.

Whereas much of the literature in the social epistemology of scientific knowledge has focused either on scientific communities or research groups, we examine the epistemic significance of scientific/intellectual movements (SIMs). We argue that certain types of SIMs can play an important epistemic role in science: they can remedy epistemic injus- tices in scientific practices. SIMs can counteract epistemic injustices effectively because many forms of epistemic injustice require structural and not merely individual remedies. To illustrate our argument, we discuss the case (...) of indigenous studies. (shrink)

Metaphors of mind and their elaboration into models serve a crucial explanatory role in psychology. In this article, an attempt is made to describe how biology and engineering provide the predominant metaphors for contemporary psychology. A contrast between the discursive and descriptive functions of metaphor use in theory construction serves as a platform for deliberation upon the pragmatic consequences of models derived therefrom. The conclusion contains reflections upon the possibility of an integrative interdisciplinary psychology.

I contrast two notions of cognition offered in Joseph LeDoux’s (2019) The Deep History of Ourselves toward arguing for the functional role of affect and consciousness in the evolution of matter. I argue that an emphasis on the cultural construction of emotions misrepresents the relationship between culture and biology. A more parsimonious story about the evolution of mind requires leaving behind some aspects of a cognitivist epistemology.

We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shelah's 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. The exposition is from a contemporary perspective and takes into account contributions due to S. Buechler, E. Hrushovski, B. Kim, O. Lessmann, S. Shelah and A. Pillay.

Let κ and λ be infinite cardinals such that κ ≤ λ (we have new information for the case when $\kappa ). Let T be a theory in L κ +, ω of cardinality at most κ, let φ(x̄, ȳ) ∈ L λ +, ω . Now define $\mu^\ast_\varphi (\lambda, T) = \operatorname{Min} \{\mu^\ast:$ If T satisfies $(\forall\mu \kappa)(\exists M_\chi \models T)(\exists \{a_i: i Our main concept in this paper is $\mu^\ast_\varphi (\lambda, \kappa) = \operatorname{Sup}\{\mu^\ast(\lambda, T): T$ is a theory (...) in L κ +, ω of cardinality κ at most, and φ (x, y) ∈ L λ +, ω }. This concept is interesting because of THEOREM 1. Let $T \subseteq L_{\kappa^+,\omega}$ of cardinality ≤ κ, and φ (x̄, ȳ) ∈ L λ +, ω . If $(\forall\mu then $(\forall_\chi > \kappa) I(\chi, T) = 2^\chi$ (where I(χ, T) stands for the number of isomorphism types of models of T of cardinality χ). Many years ago the second author proved that $\mu^\ast (\lambda, \kappa) \leq \beth_{(2^\lambda)^+}$ . Here we continue that work by proving. THEOREM 2. $\mu^\ast (\lambda, \aleph_0) = \beth_{\lambda^+}$ . THEOREM 3. For every κ ≤ λ we have $\mu^\ast (\lambda, \kappa) \leq \beth)_{(\lambda^\kappa)}^+$ . For some κ or λ we have better bounds than in Theorem 3, and this is proved via a new two cardinal theorem. THEOREM 4. For every $\kappa \leq \lambda, T \subseteq L_{\kappa^+,\omega}$ , and any set of formulas $\Lambda \subseteq L_{\lambda^+,\omega}$ such that $\Lambda \subseteq L_{\kappa^+,\omega}$ , if T is (Λ,μ)-unstable for μ satisfying μ μ * (λ, κ) = μ then T is Λ-unstable (i.e. for every χ ≥ λ, T is (Λ, χ)-unstable). Moreover, T is L κ +, ω -unstable. In the second part of the paper, we show that always in the applications it is possible to replace the function I(χ, T) by the function IE(χ, T), and we give an application of the theorems to Boolean powers. (shrink)

The predicate view on proper names opts for a uniform semantic representation of proper nouns like ‘Alfred’ as predicates on the level of logical form. Early defences of this view can be found in Sloat (Language, vol. 45, pp. 26–30, 1969) and Burge (J. Philos. 70: 425–439, 1973), but there is an increasing more recent interest in this view on proper names. My paper aims to provide a reconstruction and critique of Burge’s main argument for the predicate view on proper (...) names, which is still used by several current philosophers in defence of this view. I have called this argument the unification argument. I will present a stepwise interpretation and reconstruction of this argument, consider several possible responses to it and defend a specific response to it in detail. (shrink)