In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear (...) on what domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which (...) Manders’s account is compared. I conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

Suppose there is a domain of discourse of English, then everything of which any predicate is true is a member of that domain. If English has a domain of discourse, then, since ‘is a domain of discourse of English’ is itself a predicate of English and true of that domain, that domain is a member of itself. But nothing is a member of itself. Thus English has no domain of discourse. We defend this (...) argument and go on to argue to the same conclusion without relying on the supposition that English is a language which contains the predicate ‘is a domain of discourse of English’. (shrink)

Metacognition is the capacity to evaluate the success of one's own cognitive processes in various domains; for example, memory and perception. It remains controversial whether metacognition relies on a domain-general resource that is applied to different tasks or if self-evaluative processes are domain specific. Here, we investigated this issue directly by examining the neural substrates engaged when metacognitive judgments were made by human participants of both sexes during perceptual and memory tasks matched for stimulus and performance characteristics. By (...) comparing patterns of fMRI activity while subjects evaluated their performance, we revealed both domain-specific and domain-general metacognitive representations. Multivoxel activity patterns in anterior prefrontal cortex predicted levels of confidence in a domain-specific fashion, whereas domain-general signals predicting confidence and accuracy were found in a widespread network in the frontal and posterior midline. The demonstration of domain-specific metacognitive representations suggests the presence of a content-rich mechanism available to introspection and cognitive control. (shrink)

The notion of domain specificity plays a central role in some of the most important debates in cognitive science. Yet, despite the widespread reliance on domain specificity in recent theorizing in cognitive science, this notion remains elusive. Critics have claimed that the notion of domain specificity can't bear the theoretical weight that has been put on it and that it should be abandoned. Even its most steadfast proponents have highlighted puzzles and tensions that arise once one tries (...) to go beyond an initial intuitive sketch of what domain specificity involves. In this paper, we address these concerns head on by developing an account of what it means for a cognitive mechanism to be domain specific that overcomes the obstacles that have made domain specificity seem so problematic. We then apply this understanding of domain specificity to one of the key debates that it has figured prominently in—the rationalism-empiricism debate concerning the origins of cognitive traits—and introduce several related theoretical notions that work alongside domain specificity in helping to clarify what makes a view more (or less) rationalist. This example illustrates how the notion of domain specificity can, and should, continue to play a central role in ongoing debates in cognitive science. (shrink)

A cause is proportional to its effect when, roughly speaking, it is at the right level of detail. There is a lively debate about whether proportionality is a necessary condition for causation. One of the main arguments against a proportionality constraint on causation is that many ordinary and seemingly perfectly acceptable causal claims cite causes that are not proportional to their effects. In this paper, I suggest that proponents of a proportionality constraint can respond to this objection by developing an (...) idea that is present in Yablo’s early work on proportionality, but which has strangely been ignored by both Yablo and others in the subsequent debate. My suggestion is that proportionality—and, indeed, causation itself—is relative to a domain of events. At the metaphysical level, this means that the causal relation has an extra relatum—namely, a domain of events. At the level of language, it introduces a new way in which causal claims are context-sensitive: what is expressed by a causal claim depends on the contextually relevant domain of events. As I argue, this suggestion allows us to accommodate the truth of ordinary causal claims while extending the explanatory benefits of a proportionality constraint. (shrink)

When trust is broken, how should we determine who is at fault? Previous discus- sions of broken trust typically attribute the fault to trusters who place trust foolishly or trustees who act in an untrustworthy manner. These discussions take for granted the ability of the truster and trustee to communicate and understand the boundaries of what is being entrusted, that is, the domain of trust. However, the boundaries of entrusted domains are not always clear to either party which can (...) result in broken trust despite the best efforts of both truster and trustee. In this paper, I argue that deter- mining who to blame when trust is broken is a messy affair in which disagreements over fault regularly arise. I introduce three features of trust domains that take center stage in negotiations regarding who is at fault when trust is broken: scope, rigidity and ordering. (shrink)

(Open Access.) Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents. The paper outlines some philosophical puzzles resulting from this apparent lack of associated domains, puzzles that are broadly analogous to more familiar ones raised by the apparently nonreferential nature of many fictional names. The paper argues, in the light of an (...) important disanalogy between quantifiers and names, that the quantificational puzzles are substantive, in that they cannot be resolved merely by appealing to the possibility of empty domains. It then argues that, despite the cited parallels between occurrences of quantifiers and names within fictions, promising treatments of fictional names do not always straightforwardly generalise to provide accounts of the quantificational phenomena: the quantificational puzzles are therefore not only substantive but also distinctive. The paper provides further testament to the depth and interest of the problems involving content that are generated by fiction, by identifying a very wide range of previously neglected cases, while also helping to situate within a broader context the notoriously hard philosophical challenges posed by fictional names. (shrink)

A common explanatory error in science concerns the conflation of the epistemological roles between two domains. Here we will address a specific case: when explanations of development replace evolutionary explanations or vice versa. Ernst Mayr famously distinguished between proximate and ultimate causal explanations in biology. His view was central to the Modern Synthesis’ exclusion of development from evolutionary theory. Nonetheless, the explanatory role of developmental processes in evolution is a central theme in current theoretical biology which has prompted several revisions (...) of Mayr’s distinction. Here we will review these reviewers to determine whether the integration of development and evolution is based on an appropriate reinterpretation of Mayr’s distinction. In many cases, revisionists suggest an interactionist alternative, in which proximate and ultimate causes interact to produce evolved traits. The most frequent interactionist account relies on the idea of reciprocal causation. We will argue that this perspective is still problematic and that the boundaries between explanatory domains are crossed. Instead, we should rethink Mayr’s distinction by adopting an alternative view of evolutionary causation, the so-called Statisticalist view, which maintains that the only level of causation is the individual level. By ruling out two different levels of causation, this framework is appropriate to avoid fallacious explanations and reconsider reciprocal causation entirely as a proximate phenomenon. We introduce the concept of “statistical reciprocity” to explain the statistical effects of reciprocal causality in populations and outline some ideas of “population ontogenetics” as a prominent framework for unifying development and evolution beyond interactionist positions. (shrink)

Truth pluralists say that truth-bearers in different “discourses”, “domains”, “domains of discourse”, or “domains of inquiry” are apt to be true in different ways – for instance, that mathematical discourse or ethical discourse is apt to be true in a different way to ordinary descriptive or scientific discourse. Moreover, the notion of a “domain” is often explicitly employed in formulating pluralist theories of truth. Consequently, the notion of a “domain” is attracting increasing attention, both critical and constructive. I (...) argue that this is a red herring. First, I identify the theoretical role for which pluralists appeal to domains, which is to answer what I call the “Individuation Problem”: saying what determines the way in which a particular truth-bearer is apt to be true. Second, I argue that pluralists need not appeal to domains for this purpose. I thus conclude that, despite the usual way of glossing the view, there is no role for the notion of a “domain” to play in the pluralist’s theory of truth. I argue that this defuses the “Problem of Mixed Atomics” and allows the pluralist to sidestep potentially intractable disputes about the nature of domains. (shrink)

This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

There is a widespread assumption in cognitive science that there is anintrinsic link between the phenomena of innateness and domain specificity. Many authors seem to hold that given the properties of these two phenomena, it follows that innate mental states are domain-specific, or that domain-specific states are innate. My aim in this paper is to argue that there are no convincing grounds for asserting either claim. After introducing the notions of innateness and domain specificity, I consider (...) some possible arguments for the conclusion that innate cognitive states are domain-specific, or vice versa. Having shown that these arguments do not succeed, I attempt to explicate what I take to be the connection between innateness and domain specificity. I argue that it is simply easier to determine whether and to what extent domain-specific cognitive capacities are innate. That is,the relation between innateness and domain specificity is evidential or epistemic, rather than intrinsic. (shrink)

Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which coalesce into more or less tightly coupled interaction over the course of their formation and renegotiation.

Philosophical theories of various sorts rely on there being robust boundaries between kinds of content. One way of drawing such boundaries is to place them between subject matters, like physics and aesthetics, and the domains of sentences falling within them. Yet contemporary literature exploring the nature of discourse domains is relatively sparse. The goal of this paper is to articulate the core features of discourse domains for them to provide the sought-after explanatory utility of establishing robust boundaries between discursive contents. (...) Analyzing the role that discourse domains have under alethic theories yields valuable information about the ways in which domains subject themselves to being defined and how alethic theories can explain the variability of truth-aptness or truth across sentences from distinct domains. The concluding argument is that because of certain issues with defining domains as unambiguous classes of sentences when individuated on the grounds of topical subject matters, philosophers should consider a commitment to indeterminism about the extensions of fundamental domains. According to this view, although domains can be defined as relatively well-individuated classes of sentences based on topical distinctions, the temporal development of our conceptual frameworks and the phenomenon of mixed content compromise our ability to definitively account for the domain membership of all truth-apt sentences. Such an indeterminacy argument is relevant for all who rely on there being robust boundaries between topically individuated discursive contents. (shrink)

The aim of this paper is to review current debate about the moral domain in the moral psychological literature. There is some vagueness in respect to the usage of the very concept of ‘morality’. This conceptual problem recently has been re-addressed by several authors. So far, there is little agreement, nobody seems to agree about how to delineate the moral domain from other ‘non-moral’ normative domains. Currently, there are several positions that disagree about the scope of morality, ranging (...) from complete monists to complete pluralists. The paper will review these positions and will tentatively suggest further directions to test their claims. At this moment, there is no decisive evidence for either position. (shrink)

Is there a notion of domain specificity which affords genuine insight in the context of the highly modular mind, i.e. a mind which has not only input modules, but also central ‘conceptual’ modules? Our answer to this question is no. The main argument is simple enough: we lay out some constraints that a theoretically useful notion of domain specificity, in the context of the highly modular mind, would need to meet. We then survey a host of accounts of (...) what domain specificity is, based on the intuitive idea that a domain specific mechanism is restricted in the kind of information that it processes, and show that each fails at least one of those constraints. (shrink)

Sterelny and Hiscock (S&H) argue against the centrality of high-fidelity copying in cumulative culture. I address one key strand of their case, the decoupling of expertise from precise imitation. This advances understanding of hominin skill acquisition, and underlines a puzzle about domain-specificity.

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account (...) of attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

We start this article from Gilbert Ryle’s distinction between propositional knowledge, ‘knowing-that’, and procedural knowledge, ‘knowing-how’, and investigate how participants in interaction display orientation to the latter in various settings. As the knowledge of how things are done, know-how can be analyzed in terms of its relevance and consequentiality for parties in interaction. Similarly, as participants adjust their actions and understandings according to their sense of what they know and assume others to know, their know-how and its distribution may form (...) the basis for adjusting and reshaping their actions, forms of participation and identities. In this sense, we aim at opening an investigation of know-how, and its conventionalized form, expertise, in interaction. In as much as it forms a distinct domain, a new research object – expertise in interaction – is formulated. Methodological issues of how to study expertise in interaction are discussed. The data are in English and Finnish. (shrink)

Although Descartes’ characterization of the mind has sometimes been seen as too ‘moral’ and too ‘intellectualist’ to serve as a modern notion of consciousness, this article re-establishes the idea that Descartes’ way of doing metaphysics contributed to a novel delineation of the sphere of the mental. Earlier traditions in moral philosophy and religion certainly emphasized both a dualism of mind and body and a contrast between free intellectual activities and forcibly induced passions. Recent scholastic and neo-Stoic philosophical traditions, moreover, drew (...) attention to the disparity between the material and the immaterial, as well as to the possibility of a retreat into the personal realm of one’s own mind. Yet none of these moral and religious assessments of the relation between mind and body were motivated by the purely epistemological interest that we find in Descartes in setting apart a world of consciousness from the world of physics. The present article explains how Descartes made use of specific theological and moral philosophical theories in his own analysis of mental faculties; how he changed the orientation of metaphysics itself in the direction of a phenomenology of the mental; how he never returned to the naive idea of offering a dualist foundation for ethics; and how his mechanicism may have motivated his epistemological transformation of the science of metaphysics. In all these various ways, Descartes inaugurated an understanding of human mental life on the basis of physiological rather than metaphysical considerations, a view of psychology that is related to the experience of human individuals, and a naturalistic characterization of the mind in terms of a domain of consciousness rather than of moral conscience. (shrink)

We argue that general intelligence, as presented in the target article, generates multiple distinct and non-equivalent characterisations. Clarifying this central concept is necessary for assessing Burkart et al.’s proposal that the cultural intelligence hypothesis is the best explanation for the evolution of general intelligence. We assess this claim by considering two characterisations of general intelligence presented in the article.

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to extend (...) or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

In judgment aggregation, unlike preference aggregation, not much is known about domain restrictions that guarantee consistent majority outcomes. We introduce several conditions on individual judgments su¢ - cient for consistent majority judgments. Some are based on global orders of propositions or individuals, others on local orders, still others not on orders at all. Some generalize classic social-choice-theoretic domain conditions, others have no counterpart. Our most general condition generalizes Sen’s triplewise value-restriction, itself the most general classic condition. We also (...) prove a new characterization theorem: for a large class of domains, if there exists any aggregation function satisfying some democratic conditions, then majority voting is the unique such function. Taken together, our results provide new support for the robustness of majority rule. (shrink)

Winner of the 2020 Essay Competition of the International Social Ontology Society. -/- Ian Hacking uses the looping effect to describe how classificatory practices in the human sciences interact with the classified people. While arguably this interaction renders the affected human kinds unstable and hence different from natural kinds, realists argue that also some prototypical natural kinds are interactive and human kinds in general are stable enough to support explanations and predictions. I defend a more fine-grained realist interpretation of interactive (...) human kinds by arguing for an explanatory domain account of the looping effect. First, I argue that knowledge of the feedback mechanisms that mediate the looping effect can supplement, and help to identify, the applicability domain over which a kind and its property variations are stably explainable. Second, by applying this account to cross-cultural case studies of psychiatric disorders, I distinguish between congruent feedback mechanisms that explain matches between classifications and kinds, and incongruent feedback mecha- nisms that explain mismatches. For example, congruent mechanisms maintain Western auditory experiences in schizophrenia, whereas exporting diagnostic labels inflicts incongruence by influencing local experiences. Knowledge of the mechanisms can strengthen explanatory domains, and thereby facilitate classificatory adjustments and possible interventions on psychiatric disorders. (shrink)

In this paper, I ask whether we should see different logical systems as appropriate for different domains (or perhaps in different contexts) and whether this would amount to a form of logical pluralism. One, though not the only, route to this type of position, is via pluralism about truth. Given that truth is central to validity, the commitment the typical truth pluralist has to different notions of truth for different domains may suggest differences regarding validity in those different domains. Indeed, (...) as we’ll see, the differences between the proposed multiple notions of truth are often of a type that is clearly significant in relation to logical features, such as whether or not a constructive notion of truth is at issue. I criticise domain-based logical pluralism. Having done so I introduce a context-based framework that operates with a context-relative notion of validity. I show that this context-based framework can be employed by the domain-specific logical pluralist, but that framework also allows for logical pluralism that does not involve several domains. Different contexts may demand rules of classical logic, where others only justify intuitionistic rules, even when the same domain (e.g. mathematics) is at issue. (shrink)

in recent years, policy makers have shown increasing interest in implementing policies aimed at promoting individual well-being. But how should policy makers choose their well-being policies? a seemingly reasonable first step is to settle on an agreed-upon definition of well-being. yet there currently is significant disagreement on how well-being ought to be characterized, and agreement on the correct view of well-being does not appear to be forthcoming. Nevertheless, i argue in this paper that there are several reasons to think that (...) the domain of well-being in the public policy context is narrower than that of well-being in general, which makes agreement on how to understand well-being in the public policy context more likely. (shrink)

Traditionally, vision science and information/data visualization have interacted by using knowledge of human vision to help design effective displays. It is argued here, however, that this interaction can also go in the opposite direction: the investigation of successful visualizations can lead to the discovery of interesting new issues and phenomena in visual perception. Various studies are reviewed showing how this has been done for two areas of visualization, namely, graphical representations and interaction, which lend themselves to work on visual processing (...) and the control of visual operations, respectively. The results of these studies have provided new insights into aspects of vision such as grouping, attentional selection and the sequencing of visual operations. More generally yet, such results support the view that the perception of visualizations can be a useful domain for exploring the nature of visual cognition, inspiring new kinds of questions as well as casting new light on the limits to which information can be conveyed visually. (shrink)

The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.

Phenomenology is based on a doctrine of evidence that accords a crucial role to the human capacity to conceptualise or ‘intuit’ features of their experience. However, there are grounds for holding that some experiential entities to which phenomenologists are committed must be intuition-transcendent or ‘dark’. Examples of dark phenomenology include the very fine-grained perceptual discriminations which Thomas Metzinger calls ‘Raffman Qualia’ and, crucially, the structure of temporal awareness. It can be argued, on this basis, that phenomenology is in much the (...) same epistemological relationship to its own subject matter as descriptive (i.e. ‘phenomenological’) physics or biology are to physical and biological reality: phenomenology cannot tell us what phenomenology is really ‘about’. This does not mean we should abjure phenomenology. It implies, rather, that the domain of phenomenology is not the province of a self-standing, autonomous discipline but must be investigated with any empirically fruitful techniques that are open to us (e.g. computational neuroscience, artificial intelligence, etc.). Finally, it entails that while a naturalized phenomenology should be retained as a descriptive, empirical method, it should not be accorded transcendental authority. (shrink)

This essay reviews the domain of the literary contrasting it with other intellectual discourses; especially philosophy. It establishes the superiority of literature over philosophy. And mentions the philosophies informing literature. The essay is written consciously with copious endnotes, contrary to current ways of writing. The essay proper is simple; the endnotes often mock jargon and mimic pedantry.

Identification of non-coding RNAs (ncRNAs) has been significantly enhanced due to the rapid advancement in sequencing technologies. On the other hand, semantic annotation of ncRNA data lag behind their identification, and there is a great need to effectively integrate discovery from relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a precisely defined ncRNA controlled vocabulary, which can fill a specific and highly needed niche in unification of ncRNA biology.

Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has been widely thought to (...) undercut this motivation: they present a world-ordering semantics that yields essentially the same logic as probabilistic semantics. In this paper, I argue that the challenge remains: defenders of world-ordering semantics have yet to offer a plausible semantics that captures the logic of comparative likelihood. Holliday & Icard’s semantics yields an adequate logic only if models are restricted to Noetherian pre-orders. But I argue that the Noetherian restriction faces problems in cases involving infinitely large domains of epistemic possibilities. As a result, probabilistic semantics remains the better explanation of the data. (shrink)

A key assumption fuelling optimism about the progress of Large Language Models (LLMs) in modelling the world is that the truth is systematic: true statements about the world form a whole that is not just consistent, in that it contains no contradictions, but cohesive, in that the truths are inferentially interlinked. This holds out the prospect that LLMs might rely on that systematicity to fill in gaps and correct inaccuracies in the training data: consistency and cohesiveness promise to facilitate progress (...) towards comprehensiveness in an LLM’s representation of the world. However, philosophers have identified reasons to doubt that the truth is systematic across all domains of thought, arguing that in normative domains, in particular, the truth is not necessarily systematic. I argue that insofar as the truth in normative domains is asystematic, this renders it correspondingly harder for LLMs to make progress, because they cannot rely on the consistency and cohesiveness of the truth to work towards comprehensiveness. And the less LLMs can rely on the systematicity of truth, the less we can rely on them to do our practical deliberation for us, as there is correspondingly more of a role for human agency in navigating asystematic normative domains. (shrink)

Natural Categories and Human Kinds is a recent and timely contribution to current debate on natural kinds. Because of the growing sophistication of this debate, it is necessary to make careful distinctions in order to appreciate the originality of Khalidi’s position. Khalidi’s view on natural kinds is naturalistic: if we want to know what Nature’s joints really are, we should look at the actual carving job carried out by our best scientific practices. Like LaPorte, Khalidi is a fallibilist: our best (...) scientific theories may be revised or abandoned and so can our current classifications of natural kinds. Unlike LaPorte, however, Khalidi is an anti-essentialist: he argues against the idea that membership in a natural kind is a matter of possessing an essential set of necessary and sufficient properties. Like Dupré, Khalidi is a pluralist and anti-reductionist: he does not believe that there is only one true classification system and that there are natural kinds only at the so-called "fundamental level" of microphysics. Khalidi develops his pluralistic and anti-reductionistic position on the basis of a deep appreciation for the special sciences but, unlike Dupré, he thinks that only the scientific inquiry, which is driven by epistemic purposes, discover natural kinds and that, therefore, there are important differences between scientific and folk classifications. Khalidi’s conception of natural kinds has both an epistemic and a metaphysical component. (shrink)

We investigate risk attitudes when the underlying domain of payoffs is finite and the payoffs are, in general, not numerical. In such cases, the traditional notions of absolute risk attitudes, that are designed for convex domains of numerical payoffs, are not applicable. We introduce comparative notions of weak and strong risk attitudes that remain applicable. We examine how they are characterized within the rank-dependent utility model, thus including expected utility as a special case. In particular, we characterize strong comparative (...) risk aversion under rank-dependent utility. This is our main result. From this and other findings, we draw two novel conclusions. First, under expected utility, weak and strong comparative risk aversion are characterized by the same condition over finite domains. By contrast, such is not the case under non-expected utility. Second, under expected utility, weak comparative risk aversion is characterized by the same condition when the utility functions have finite range and when they have convex range. By contrast, such is not the case under non-expected utility. Thus, considering comparative risk aversion over finite domains leads to a better understanding of the divide between expected and non-expected utility, more generally, the structural properties of the main models of decision-making under risk. (shrink)

The existence of singularities alerts that one of the highest priorities of a centennial perspective on general relativity should be a careful re-thinking of the validity domain of Einstein’s field equations. We address the problem of constructing distinguishable extensions of the smooth spacetime manifold model, which can incorporate singularities, while retaining the form of the field equations. The sheaf-theoretic formulation of this problem is tantamount to extending the algebra sheaf of smooth functions to a distribution-like algebra sheaf in which (...) the former may be embedded, satisfying the pertinent cohomological conditions required for the coordinatization of all of the tensorial physical quantities, such that the form of the field equations is preserved. We present in detail the construction of these distribution-like algebra sheaves in terms of residue classes of sequences of smooth functions modulo the information of singular loci encoded in suitable ideals. Finally, we consider the application of these distribution-like solution sheaves in geometrodynamics by modeling topologically-circular boundaries of singular loci in three-dimensional space in terms of topological links. It turns out that the Borromean link represents higher order wormhole solutions. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise when the (...) postulates about modularity are violated, and propose algorith- mic checks that can help the designer of an action theory to overcome them. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, mod- ular theories have interesting computational properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change. (shrink)

It is often thought that there is little that seems more obvious from experience than that time objectively passes, and that time is, in this respect, quite unlike space. Yet nothing in the physical picture of the world seems to correspond to the idea of such an objective passage of time. In this paper, I discuss some attempts to explain this apparent conflict between appearance and reality. I argue that existing attempts to explain the conflict as the result of a (...) perceptual illusion fail, and that it is, in fact, the nature of memory, rather than perception, that explains why we are inclined to think of time as passing. I also offer a diagnosis as to why philosophers have sometimes been tempted to think that an objective passage of time seems to figure directly in perceptual experience, even though it does not. (shrink)

One question of the bounds of cognition is that of which things have it. A scientifically relevant debate on this question must explain the persistent and selective use of psychological predicates to report findings throughout biology: for example, that neurons prefer, fruit flies and plants decide, and bacteria communicate linguistically. This paper argues that these claims should enjoy default literal interpretation. An epistemic consequence is that these findings can contribute directly to understanding the nature of psychological capacities.

In this article, I explain why stabilizing constructs is important to the success of the Research Domain Criteria Project and identify one measure for facilitating such stability.

When do we judge that someone was forced to do what they did? One relatively well-established finding is that subjects tend to judge that agents were not forced to do actions when those actions violate norms. A surprising discovery of Young & Phillips 2011 is that this effect seems to disappear when we frame the relevant ‘force’-claim in the active rather than passive voice ('X forced Y to φ ' vs. 'Y was forced to φ by X'). Young and Phillips (...) found a similar contrast when the scenario itself shifts attention from Y (the forcee) to X (the forcer). We propose that these effects can be (at least partly) explained by way of the role of attention in the setting of quantifier domains which in turn play a role in the evaluation of ‘force’- claims. We argue for this hypothesis by way of an experiment which shows that sequences of active vs. passive ‘force’-claims display the characteristic “stickiness” of quantifier domain expansion, using a paradigm which we argue provides a useful general paradigm for testing quantifier domain hypotheses. Finally, we sketch a semantics for ‘force’ which we argue is suitable for capturing these effects. (shrink)

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)

The best accuracy arguments for probabilism apply only to credence functions with finite domains, that is, credence functions that assign credence to at most finitely many propositions. This is a significant limitation. It reveals that the support for the accuracy-first program in epistemology is a lot weaker than it seems at first glance, and it means that accuracy arguments cannot yet accomplish everything that their competitors, the pragmatic (Dutch book) arguments, can. In this paper, I investigate the extent to which (...) this limitation can be overcome. Building on the best arguments in finite domains, I present two accuracy arguments for probabilism that are perfectly general—they apply to credence functions with arbitrary domains. I then discuss how the arguments’ premises can be challenged. We will see that it is particularly difficult to characterize admissible accuracy measures in infinite domains. (shrink)

In laying out his theory of public reason, John Rawls is adamant that there be a clear distinction between private and public reason. Rawls says that political society under the theory of political liberalism is not an association. Associations, he says, are private communities, and the domain of private reason. Private reason, furthermore, occurs in the domain of private associations. Public reason, however, occurs beyond the scope of private associations, in an overlapping domain of shared reasons. In (...) fact, Rawls says that public reasons are not bound by association at all. But I think this conceptual move is not necessary. I will argue that public reason, as Rawls describes it, does occur in the context of a public association, which is an association of individual citizens who share certain – specific ends – as shown by the concept of the overlapping consensus, amongst other components of the theory. There are ends of which the public agree, and those are the ends laid out by the principles of the political conception, which are expressed with the association of an overlapping consensus, realm of public reason, and in a minimum of requisite shared values, history, education, and other forms of ideas that are meant to bond citizens by public association, which makes public reason possible under the theory of public reason. (shrink)

The problem of cognitive domains is that one can conceive the territory only as it is portrayed in the map. It involves conflating the domain of representation with the domain of what it represents. This is a category mistake: there are essential qualitative and quantitative differences between map and territory. The output of cognitive processes, both perceptual and scientific, is recycled as the input.

Abstract: As the integration of Artificial Intelligence (AI) continues to permeate various sectors, the legal domain stands on the cusp of a transformative era. This research paper delves into the multifaceted relationship between AI and the law, scrutinizing the profound implications and innovative applications that emerge at the intersection of these two realms. The study commences with an examination of the current landscape, assessing the challenges and opportunities that AI presents within legal frameworks. With an emphasis on efficiency, accuracy, (...) and accessibility, AI technologies are reshaping traditional legal processes, ranging from document analysis and contract review to predictive legal analytics. Furthermore, the paper scrutinizes the ethical considerations and potential biases inherent in AI algorithms, exploring the delicate balance between technological advancements and the preservation of legal principles such as fairness, accountability, and transparency. The research also delves into the evolving role of legal professionals in navigating and overseeing AI applications, emphasizing the importance of responsible AI deployment. Drawing on case studies and real-world examples, this paper showcases instances where AI has already demonstrated its efficacy in legal contexts, highlighting successful implementations and identifying areas for improvement. The discussion extends to the evolving regulatory landscape, as legal systems grapple with the need to adapt and establish frameworks that ensure the responsible and ethical use of AI technologies. In conclusion, this research contributes to the growing discourse on the dynamic interplay between AI and the legal domain. By illuminating the potential benefits, ethical considerations, and regulatory challenges, it provides a comprehensive overview for legal practitioners, policymakers, and technologists alike, fostering a nuanced understanding of the evolving landscape where artificial intelligence intersects with the law. (shrink)

Argument-forms exist which are valid over finite but not infinite domains. Despite understanding of this by formal logicians, philosophers can be observed treating as valid arguments which are in fact invalid over infinite domains. In support of this claim I will first present an argument against the classical pragmatist theory of truth by Mark Johnston. Then, more ambitiously, I will suggest the fallacy lurks in certain arguments for physicalism taken for granted by many philosophers today.

Two lines of evidence indicate that there exists a reciprocal inhibitory relationship between opposed brain networks. First, most attention-demanding cognitive tasks activate a stereotypical set of brain areas, known as the task-positive network and simultaneously deactivate a different set of brain regions, commonly referred to as the task negative or defaultmode network. Second, functional connectivity analyses show that these same opposed networks are anti-correlated in the resting state. Wehypothesize that these reciprocally inhibitory effects reflect two incompatible cognitive modes, each of (...) which may be directed towards understanding the external world. Thus, engaging onemode activates one set of regions and suppresses activity in the other.Wetest this hypothesis by identifying two types of problem-solving task which, on the basis of prior work, have been consistently associated with the task positive and task negative regions: tasks requiring social cognition, i.e., reasoning about the mental states of other persons, and tasks requiring physical cognition, i.e., reasoning about the causal/mechanical properties of inanimate objects. Social and mechanical reasoning tasks were presented to neurologically normal participants during fMRI. Each task type was presented using both text and video clips. Regardless of presentation modality, we observed clear evidence of reciprocal suppression: social tasks deactivated regions associated with mechanical reasoning and mechanical tasks deactivated regions associated with social reasoning. These findings are not explained by self-referential processes, task engagement, mental simulation,mental time travel or external vs. internal attention, all factors previously hypothesized to explain default mode network activity. Analyses of resting state data revealed a close match between the regions our tasks identified as reciprocally inhibitory and regions of maximal anti-correlation in the resting state. These results indicate the reciprocal inhibition is not attributable to constraints inherent in the tasks, but is neural in origin. Hence, there is a physiological constraint on our ability to simultaneously engage two distinct cognitive modes. Furtherwork is needed tomore precisely characterize these opposing cognitive domains. (shrink)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)