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)

In this paper, we designed and developed an intelligent tutoring system for teaching Photoshop. We designed the lessons, examples, and questions in a way to teach and evaluate student understanding of the material. Through the feedback provided by this tool, you can assess the student's understanding of the material, where there is a minimum overshoot questions stages, and if the student does not pass the level of questions he is asked to return the lesson and read it again. Eventually this (...) administration is a special teacher for the students and can continue with him until he fully understands the lesson without weariness or boredom, regardless of the level of student. (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)

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (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)

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)

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)

The gamer’s dilemma offers three plausible but jointly inconsistent premises: Virtual murder in video games is morally permissible. Virtual paedophelia in video games is not morally permissible. 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 original formulation. The two ideas are those of occurring in (...) a video game and 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)

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)

Truth depends in some sense on reality. But it is a rather delicate matter to spell this intuition out in a plausible and precise way. According to the theory of truth-making this intuition implies that either every truth or at least every truth of a certain class of truths has a so-called truth-maker, an entity whose existence accounts for truth. This book aims to provide several ways of assessing the correctness of this controversial claim. This book presents a detailed introduction (...) to the theory of truth-making, which outlines truth-maker relations, the ontological category of truth-making entities, and the scope of a truth-maker theory. The essays brought together here represent the most important articles on truth-making in the last three decades as well as new essays by leading researchers in the field of the theory of truth and of truth-making. (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)

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)

The global spread of corporate social responsibility practices is widely explained in institutional-isomorphic terms: Corporations worldwide adopt CSR in reaction to isomorphic pressures exerted on them by a pro-CSR global environment, including normative calls for CSR, activist targeting, civil regulation frameworks, and educational activities. By contrast, this article considers the proactive agency of corporations in CSR diffusion, which is informed by nonmarket strategies that seek to instrumentally reshape the political and social environment of corporations. Applying a “channels-of-diffusion” perspective, we show (...) that in the initial phase of CSR’s transnational diffusion—as exemplified by the cases of Venezuela and Britain —CSR traveled through learning exchanges between business elite “exporters” and “importers” whose engagement in diffusion addressed crisis-enhanced political threats and opportunities in the receiving country. The focal agents established national CSR business associations, which disseminated among local corporations CSR practices adapted to confront the challenges at hand. We identify the features of such “business-led cross-national diffusions of CSR”; formulate propositions regarding their conditions, dynamics, and effects; and suggest that further research of this mode of diffusion would advance a more nuanced and balanced understanding of CSR’s globalization. (shrink)

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.

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)

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)

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)

In this essay I will defend a novel version of the indexical view on proper names. According to this version, proper names have a relatively sparse truth-conditional meaning that is represented by their rigid content and indexical character, but a relatively rich use-conditional meaning, which I call the (contextual) constraint of a proper name. Firstly, I will provide a brief outline of my favoured indexical view on names in contrast to other indexical views proposed in the relevant literature. Secondly, two (...) general motivations for an indexical view on names will be introduced and defended. Thirdly, I will criticize the two most popular versions of the indexical view on names: formal variable accounts and salience-based formal constant accounts. In the fourth and final section, I will develop my own use-conditional indexical view on names in three different steps by confronting an initial version of this view with three different challenges. (shrink)

The idea that reason can justify induction was famously criticized by David Hume. Hume concluded that there is no rational justification for inductive inferences and hence, no rational justification for most of our daily beliefs. Many philosophers attempted to solve Hume's problem with no success. Bertrand Russell commented regarding Hume's problem: "[if we cannot justify induction] we have no reason to expect the sun to rise tomorrow, to expect bread to be more nourishing than a stone, or to expect that (...) if we throw ourselves off the roof we shall fall." The New Riddle of Induction was introduced by Nelson Goodman in his book Fact, Fiction and Forecast, published in 1954. Goodman's problem raised some serious doubts about our ability even to describe inductive principles. In this Book Rami Israel is attempting to solve Both Hume's and Goodman's philosophical problems by introducing a new approach to the subject and by drawing a new picture of our inductive practices. (shrink)

My dissertation contributes to a central and ongoing debate in the philosophy of perception about the fundamental nature of perceptual states. Such states include cases like seeing, hearing, and tasting, as well as cases of merely seeming to see, hear, and taste. A central question about these states arises in light of misperceptual phenomena. While a commonsensical view of perceptual states construes them as simply relating us to the external and mind independent world, some misperceptual cases suggest that these states (...) fall short of such world-contact. The result is that perceptual states are either thought to fundamentally consist in a highest common factor that falls short of perceptual contact with the world, or are thought to be disjunctive in nature, with some cases involving perceptual contact, and others receiving a different analysis. Contrary to these views, I argue that no misperceptual cases compromise perceptual contact with the world. So perceptual starts should be thought in terms of a relation to the external and mind-independent world. I call this view I defend 'pure relationalism', and the view of misperceptual cases that makes pure relationalism possible 'illusionism'. (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)

In this paper, I will show that typical formal semantic reconstructions of the rigidity of proper names neglect the important aspect that the rigidity of names is determined by our ordinary use of a name relative to the actual world. This fact was clearly pointed out by Kripke, but overlooked by the subsequent discussion concerning this topic. Based on this diagnosis, I will distinguish three different actualized notions of rigidity. Firstly, I will introduce two different new varieties of known versions (...) of rigidity; namely, actualized persistent and actualized obstinate rigidity. Secondly, I will make use of the tools provided by free logic and introduce a new and overlooked version of rigidity, which I will call actually restricted rigidity. Against this background, I will argue that we have different options to formally model the rigidity of proper names in natural languages. Which option we choose, mainly depends on our philosophical background assumptions. For someone who believes in non-existent objects and the possibility of naming such objects, it is the best choice to hold that proper names are actually obstinately rigid designators. For someone who rejects non-existent objects and the possibility of naming such objects, actually restricted rigidity is a better choice than actualized persistent rigidity. (shrink)

Hallucination: Philosophy and Psychology is an edited MIT press collection that contributes to the philosophy of perception. This collection is a significant addition to the literature both for its excellent choice of texts, and its emphasis on the case of hallucinations. Dedicating a volume to hallucinatory phenomena may seem somewhat peculiar for those not entrenched in the analytic philosophy of perception, but it is easy enough to grasp their significance. Theories of perception aim to give a fundamental characterization of perceptual (...) experience, which are experiences with a sensory phenomenal character. Such perceptual experiences include cases of successfully perceiving something, but also some cases of merely seeming to perceive. This is because prima facie, some cases of seeming to perceive are more than merely thinking that one does ; they are cases of misperceiving. Hallucinations are .. (shrink)

My dissertation contributes to a central and ongoing debate in the philosophy of perception about the fundamental nature of perceptual states. Such states include cases like seeing, hearing, or tasting as well as cases of merely seeming to see, hear, or taste. A central question about perceptual states arises in light of misperceptual phenomena. A commonsensical view of perceptual states construes them as simply relating us to the external and mind independent objects. But some misperceptual cases suggest that these states (...) fall short of contact with the world. The result is that perceptual states are either thought to fundamentally consist in a highest common factor that falls short of perceptual contact with the world, or are thought to be disjunctive in nature, with some cases involving perceptual contact, and others receiving a different analysis. Contrary to these views, I argue that no misperceptual cases compromise perceptual contact with worldly objects, so perceptual states should be understood as relations to the external and mind-independent world. I call this view I defend Pure Relationalism, and the view of misperceptual cases that makes pure relationalism possible Illusionism. (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)

Goodman published his "riddle" in the middle of the 20th century and many philosophers have attempted to solve it. These attempts almost all shared an assumption that, I shall argue, might be wrong, namely, the assumption that when we project from cases we have examined to cases we have not, what we project are predicates. I shall argue that this assumption, shared by almost all attempts at a solution, looks wrong, because, in the first place, what we project are generalizations (...) and not predicates, and a generalization is projectible relative to a given context. In this paper I develop the idea of explainable-projectible generalizations versus unexplainable-unprojectible generalizations, relative to a specific context. My main claim is that we rationally project a generalization if and only if we rationally believe that there is something that explains the general phenomenon that the generalized statement in question asserts to obtain, and that a generalization is projectible, if and only if its putative truth can be explained, whether we know that it can be or not. (shrink)

Our focus has been on the role of early cry as a commanding source of information about infant pain and distress that requires interpretation by an adult caregiver. Its inherent ambiguity may offer an adaptive advantage, as resolution requires adult presence and scrutiny of other behavioral, physical, and contextual factors.

Let M be a given model with similarity type L = L(M), and let L' be any fragment of L |L(M)| +, ω of cardinality |L(M)|. We call $N \prec M L'$ -relatively saturated $\operatorname{iff}$ for every $B \subseteq N$ of cardinality less than | N | every L'-type over B which is realized in M is realized in M is realized in N. We discuss the existence of such submodels. The following are corollaries of the existence theorems. (1) If (...) M is of cardinality at least $\beth_{\omega_1}$ , and fails to have the ω order property, then there exists $N \prec M$ which is relatively saturated in M of cardinality $\beth_{\omega_1}$ . (2) Assume GCH. Let ψ ∈ L_{ω_1, ω, and let $L' \subseteq L_{\omega 1, \omega$ be a countable fragment containing ψ. If $\exists \chi > \aleph_0$ such that $I(\chi, \psi) , then for every $M \models \psi$ and every cardinal $\lambda of uncountable cofinality, M has an L'-relatively saturated submodel of cardinality λ. (shrink)