The judgement of human ability is ubiquitous, from school admissions to job performance reviews. The exact make-up of ability traits, however, is often narrowly defined and lacks a comprehensive basis. We attempt to simplify the spectrum of human ability, similar to how five personality traits are widely believed to describe most personalities. Finding such a basis for human ability would be invaluable since neuropsychiatric disease diagnoses and symptom severity are commonly related to such differences in performance. Here, we identified four (...) underlying ability traits within the National Institutes of Health Toolbox normative data (n= 1, 369): (1) Motor-endurance, (2) Emotional processing, (3) Executive and cognitive function, and (4) Social interaction. We used the Human Connectome Project young adult dataset (n= 778) to show that Motor-endurance and Executive and cognitive function were reliably associated with specific brain functional networks (r2= 0.305 ± 0.021), and the biological nature of these ability traits was also shown by calculating their heritability (31 and 49%, respectively) from twin data. (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.

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)

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)

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)

Scholars studying the global diffusion of “corporate social responsibility” (CSR) practices and the associated rise of privatized forms of economic governance have tended to shift attention away from the role of corporations in motivating these processes to the one played by nonbusiness forces seeking social control of corporations. We bring corporate power back in by turning the spotlight to the agency of business classes, the business entities capable of pursuing transcorporate, societal-level, macro-political endeavors. Building on a comparative investigation of two (...) of the world’s earliest mass CSR adoptions, in postwar Venezuela and Britain, we argue that business classes responding to anti-capitalist challenges were the original diffusers of CSR practices and, interrelatedly, promoters of CSR-based, privatized forms of regulation and governance. Organized by peak business associations, the purpose of these “business-class CSR mobilizations” was to weaken the state in its relation to corporations and increase the control of business over social trends. We discuss the contribution of our historical perspective and analytical approach to a more complete and balanced picture of the global rise of CSR in late capitalism. (shrink)

Basic results on the model theory of substructures of a fixed model are presented. The main point is to avoid the use of the compactness theorem, so this work can easily be applied to the model theory of L ω 1 ,ω and its relatives. Among other things we prove the following theorem: Let M be a model, and let λ be a cardinal satisfying λ |L(M)| = λ. If M does not have the ω-order property, then for every $A (...) \subseteq M, |A| \leq \lambda$ , and every $\mathbf{I} \subseteq M$ of cardinality λ + there exists $\mathbf{J} \subseteq \mathbf{I}$ of cardinality λ + which is an indiscernible set over A. This is an improvement of a result of S. Shelah. (shrink)

A widely held assumption is that hallucinations are not a type of perception. Coupled with the idea that hallucinations possess phenomenal character, this assumption raises a problem for naive realism, which maintains that phenomenal character is at least partly constituted by perceived worldly objects. Naive realists have typically responded by adopting a disjunctive view of phenomenal character. But in what follows, I argue that to resolve the conflict we should instead reject the idea that hallucinations are not a type of (...) perception. I argue that this idea is supported by six alleged differences between hallucination and perception, but these differences are all accommodated for in a particular type of perception, picture perception. Drawing on picture perception’s resources, I offer an account of hallucinations which construes them as a type of perception, and does so in a way that that preserves their idiosyncrasies and varieties, and in a way compatible with naive realism. (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)

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)

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)

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.

This paper promotes critical realism as a suitable and fruitful philosophical foundation for the development and implementation of urban digital twins. The proliferation of a-theoretical digital twin research and practices, not declaring their philosophical positions, is threatening the scientific soundness of this new paradigm and offers little evidence for reflecting on the knowledge it produces. To address this issue, first, this paper uses focus group discussions to explore digital twin experts’ perceptions of digital twin best practices for urban management and (...) uncover the philosophical worldviews underlying these perceptions. A philosophical worldview is a general orientation about the world that is described in terms of ontological and epistemological assumptions and views on human nature. The inferred philosophical worldviews are then compared with critical realism principles, supporting the argument that critical realism provides a suitable philosophical foundation for digital twin practices in urban management envisaged by participating experts, as well as enhancing current forms of digital twin practice. (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)

Coference papers from the X National Seminar of Theory and History of the Art carried out in Medellín to address certain implications that the question entails, for both art and philosophy. For art: Why and since when do we think that art without aesthetics is something reprehensible or desirable? For philosophy: Is it irremovable or not the turn that the philosophical aesthetic took towards the experience of art from the eighteenth century? At the heart of these questions is a basic (...) concern: Who needs more aesthetics (taste, pleasure, beauty): art or human life?. (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)

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)

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)

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)

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.

This study probes whether a prosopagnosic patient can make accurate explicit affective judgements towards faces. Patient MJH was shown photographs of faces of well-liked family members and public figures rated as “evil” by opinion polls. MJH was asked to rate each face on two 7-point scales (Likeability and Pleasantness). Since he is unable to explicitly recognise faces, his ratings were based on his evaluative reaction to the faces presented. In a second phase of the experiment, MJH was told the name (...) of the faces previously presented and asked to rate them using the same scales. MJH's Likeability ratings during the picture-viewing phase of the experiment and the explicit phase were highly correlated. Based on these findings, we propose that thought consists of an explicit declarative and an implicit emotional aspect, which may become dissociated in prosopagnosia. (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 downward Löwenheim-Skolem theorem which transfers downward formulas from L ∞,ω to L κ +, ω . The simplest instance is: Theorem 1. Let $\lambda > \kappa$ be infinite cardinals, and let L be a similarity type of cardinality κ at most. For every L-structure M of cardinality λ and every $X \subseteq M$ there exists a model $N \prec M$ containing the set X of power |X| · κ such that for every pair of finite sequences a, (...) b ∈ N $\langle N, \mathbf{a}\rangle \equiv_{\| N \|^+,\omega} \langle N, \mathbf{b}\rangle \Leftrightarrow \langle M, \mathbf{a}\rangle \equiv_{\infty,\omega} \langle M, \mathbf{b}\rangle.$ The following theorem is an application: Theorem 2. Let $\lambda , and suppose χ is a Ramsey cardinal greater than λ. If T has the (χ, L κ +, ω -unsuperstability property, then T has the (χ, L λ +, ω )-unsuperstability property. (shrink)