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)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the (...) normative principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (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.

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 general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered (...) and structured objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (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)

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)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (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)

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

The sociotechnical domain is the realm of scientists, the communities and institutions they form, and the tools and instruments they use to create, disseminate, and preserve knowledge. This paper reviews current scientonomic theory concerning this domain. A core scientonomic concept is that of an epistemic agent. Generally, an agent is an entity capable of intentional action—action that has content or meaning due to its purposeful direction towards a goal. An epistemic agent is one whose actions are the taking (...) of epistemic stances, such as acceptance or rejection, towards epistemic elements, like theories or questions. An epistemic agent must semantically understand the propositions in question, and their alternatives, and choose among them with reason, with the motive of acquiring knowledge. The most obvious example of an epistemic agent is an individual human being. Rejecting the network of practitioners view, current scientonomic theory argues that appropriately organized communities of scientists can also function as epistemic agents. Communal epistemic agents are of particular scientonomic importance. Whereas the methods of theory assessment of individual scientists can be idiosyncratic, scientonomic theory contends that the taking of epistemic stances by scientific communities is a lawful, rule-governed process. A second concept of central importance is that of an epistemic tool. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge under the method employed by that agent. The agent is then said to rely on the tool. (shrink)

The sociotechnical domain is the realm of scientists, the communities and institutions they form, and the tools and instruments they use to create, disseminate, and preserve knowledge. This paper reviews current scientonomic theory concerning this domain. A core scientonomic concept is that of an epistemic agent. Generally, an agent is an entity capable of intentional action—action that has content or meaning due to its purposeful direction towards a goal. An epistemic agent is one whose actions are the taking (...) of epistemic stances, such as acceptance or rejection, towards epistemic elements, like theories or questions. An epistemic agent must semantically understand the propositions in question, and their alternatives, and choose among them with reason, with the motive of acquiring knowledge. The most obvious example of an epistemic agent is an individual human being. Rejecting the network of practitioners view, current scientonomic theory argues that appropriately organized communities of scientists can also function as epistemic agents. Communal epistemic agents are of particular scientonomic importance. Whereas the methods of theory assessment of individual scientists can be idiosyncratic, scientonomic theory contends that the taking of epistemic stances by scientific communities is a lawful, rule governed process. A second concept of central importance is that of an epistemic tool. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge under the method employed by that agent. (shrink)

The generalized Darwinian research programme accepts physicalism, but holds that all life is purposive in character. It seeks to understand how and why all purposiveness has evolved in the universe – especially purposiveness associated with what we value most in human life, such as sentience, consciousness, person-to-person understanding, science, art, free¬dom, love. As evolution proceeds, the mechanisms of evolution themselves evolve to take into account the increasingly important role that purposive action can play - especially when quasi-Lamarckian evolution by cultural (...) means comes into existence. This programme of research brings together, into a coherent field of inquiry, aspects of such diverse fields of research as orthodox Darwinian theory (given its purposive interpretation), the study of animal behaviour, palaeontology, archaeology, history, anthropology, psycho-neurology, artificial intelligence, psychology, sociology, philosophy, linguistics, semantics, history and philosophy of science, and history and philosophy of inquiry more generally (the history and philosophy of ideas and culture). The great advantage of the generalized Darwinian research programme is that it provides a framework for understanding the deeds, achievements and experiences of people in a way that is compatible with the kind of knowledge and understanding achieved in the physical sciences, without being reducible to such knowledge and understanding. It promises to enable us to understand ourselves as a part of the biological domain without our humanity, our distinctive human value, being in any way denied: persons are not reduced to animals, and nor are animals misconceived to be persons. It holds out the hope that we can come to understand the human world as an integral part of the natural world without the meaning and value of the human world being thereby conceptually annihilated. The programme specifies in general terms what we must seek to do in order to develop a coherent understanding of nature and of ourselves which does justice to the character of both. (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)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

The market failures approach to business ethics has recently garnered substantial critical attention (see, e.g., Cohen and Peterson 2019; Moriarty 2020; Steinberg 2017; Hsieh 2017; von Kriegstein 2016; Smith 2018; Endorfer and Larue 2022; Singer 2018). Though precursors of this view can be found in the literature (e.g., McMahon 1981; Friedman 1970), it was Joseph Heath (2004, 2006, 2014, 2023) who developed the approach and gave it its name. The market failures approach (henceforth: MFA) is concerned with the ethical obligations (...) of managers of firms (Heath 2014, 69). Roughly, it holds that managers ought not to conduct their businesses in a way that exploits market failures. “Market failure” is a technical term, meaning any failure of the conditions of the first fundamental welfare theorem, sometimes called the “Pareto conditions” (see Arrow 1951). The theorem states that if the Pareto conditions hold, then the market equilibrium will use society’s scarce resources efficiently, meaning that no one could be made better-off without making anyone else worse off. Efficiency, according to Heath (2014, chapter 7), is the implicit morality of the market. We coordinate much of our shared activity using markets, Heath claims, because of their ability to produce efficient results. Markets are good forms of social organization, according to Heath, because they are the best way to promote our values given empirical facts about the frailties of human psychology and the informational constraints that we face. As such, managers ought not compromise the very conditions that justify a market economy by profiting from breakdowns in the market’s efficiency. Managers are permitted to maximize profits, so long as they do not violate the market’s norm of efficiency in so doing. This is because the fundamental justification for the profit motive is that it is necessary for the operation of the price system which is essential to the efficiency properties of markets. In this paper, I will argue that the MFA is more general than even Heath himself claims. The MFA describes the professional obligations of managers, but the view I develop, the generalized market failures approach, describes the obligations of all market participants. Since efficiency is the implicit morality of the market, it binds not just managers, but all market participants, including consumers, investors and workers. Market participants are permitted to maximize the benefit they gain from market interactions, as long as they do so in a way that does not take advantage of any market failures. Generalizing the MFA in this way has three benefits: first, we gain a unified understanding of the ethics of non-managerial market roles; second, we will develop an even better understanding of the duties of managers; finally, it gives us the resources to respond to some familiar objections to the MFA found in the literature. In the next section, I will further motivate the MFA and explain how this motivation can be easily generalized to other market roles. Importantly, one can avoid benefiting from a market failure in two distinct ways: by avoiding transactions that exploit market failures or by transacting in such markets and then remediating the harm done, by compensating those negatively affected by the market failure. This section concludes by discussing how the remediation duties are to be split between the transacting parties and how to identify the parties to whom compensation is owed. In section 3, I use the tools of the generalized MFA to develop a unified ethics of consumption, investment and labor, respectively. This is the basis of a grand abductive argument for the generalized MFA. The view is strongly supported by the fact that it provides attractive and unifying explanations of our obligations in domains as variegated as carbon offsetting, CEO compensation, the reparations white Americans owe to black Americans and occupational licensure. Section 4 briefly concludes. (shrink)

Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.

Abstract. The theory-change epistemological model, tried on maxwellian revolution and special relativity genesis, is unfolded to apprehend general relativity genesis. It is exhibited that the dynamics of general relativity (GR) construction was largely governed by internal tensions of special relativity and Newton’s theory of gravitation. The research traditions’ encounter engendered construction of the hybrid domain at first with an irregular set of theoretical models. However, step by step, on revealing and gradual eliminating the contradictions between the models (...) involved, the hybrid set was put into order with a help of equivalence principle. A hierarchy of theoretical models starting from the crossbreeds and up to usual hybrids was moulded. The claim to put forward is that Einstein’s unification design could be successfully implemented since his programme embraced the ideas of the Nordström research programme, as well as the presuppositions of the programme of Max Abraham. By and large Einstein’s victory over his rivals became possible because the core of his research strategy was formed by the equivalence principle comprehended in the light of Kantian epistemology. It is stated that the theories of Nordström and Abraham contrived before November 25, 1915, were not merely the scaffolds to construct the GR basic model. They are still the necessary part of the whole GR theory necessary for its common use. Key words: Einstein, Nordstrom, Abraham, general relativity. -/- . (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)

Modularity theorists have challenged that there are, or could be, general learning mechanisms that explain theory-of-mind development. In response, supporters of the ‘scientific theory-theory’ account of theory-of-mind development have appealed to children's use of auxiliary hypotheses and probabilistic causal modeling. This article argues that these general learning mechanisms are not sufficient to meet the modularist's challenge. The article then explores an alternative domain-general learning mechanism by proposing that children grasp the concept belief through the progressive alignment (...) of relational structure that occurs as a result of structural-comparison. The article also explores the implications of the proposed account for Fodor's puzzle of conceptual learning. (shrink)

Epistemic rationality is typically taken to be immodest at least in this sense: a rational epistemic state should always take itself to be doing at least as well, epistemically and by its own light, than any alternative epistemic state. If epistemic states are probability functions and their alternatives are other probability functions defined over the same collection of proposition, we can capture the relevant sense of immodesty by claiming that epistemic utility functions are (strictly) proper. In this paper I examine (...) what happens if we allow for the alternatives to an epistemic state to include probability functions with different domains. I first prove an impossibility result: on minimal assumptions, I show that there is no way of vindicating strong immodesty principles to the effect that any probability function should take itself to be doing at least as well than any alternative probability function, regardless of its domain. I then consider alternative, weaker generalizations of the traditional immodesty principle and prove some characterization results for some classes of epistemic utility functions satisfying each of the relevant principles. (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)

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)

General Morphological Analysis (GMA) is a computer-aided, non-quantified modelling method employing (discrete) category variables for identifying and investigating the total set of possible relationships contained in a given problem complex. The epistemological principle underlying discrete variable morphological modelling is that of decomposing a complex (multivariate) concept into a number of(“simple”) one dimensional concepts (i.e. category variables), the domains of which can then be recombined and recomposed in order to discover all of the other possible (multidimensional) concepts which can be (...) generated combinatorically. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has (...) considerable mathematical power and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard (...) settings, we show how they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

Encouraging people to consider multiple alternatives appears to be a useful debiasing technique for reducing many biases (explanation, hindsight, and overconfidence), if the generation of alternatives is experienced as easy. The present research tests whether these alternative generation procedures induce a mental simulation mind-set (cf. Galinsky & Moskowitz, 2000), such that debiasing in one domain transfers to debias judgments in unrelated domains. The results indeed demonstrated that easy alternative generation tasks not only debiased judgments in the same domain (...) but also generalized to debias judgments in unrelated domains, provided that participants were low in the need for structure. The alternative generation tasks (even when they were easy to perform) showed no evidence of activating a mental simulation mind-set in individuals high in need for structure, as these individuals displayed no transfer effects. Implications of the results for understanding the role of the need for structure, ease of generation, and mental simulation mind-set activation for debiasing are discussed. (shrink)

This review essay analyzes the book by Giuseppe Primiero, On the foundations of computing. Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020). It gives a critical view from the perspective of physical computing as a foundation of computing and argues that the neglected pillar of material computation (Stepney) should be brought centerstage and computing recognized as the fourth great domain of science (Denning).

Hume maintains that the boundaries of morality are widely drawn in everyday life. We routinely blame characters for traits that we find disgusting, on this account, as well as those which we perceive as being harmful. Contemporary moral psychology provides further evidence that human beings have a natural tendency to moralize traits that produce feelings of repugnance. But recent work also demonstrates a significant amount of individual variation in our sensitivities to disgust. We have sufficient reason to bracket this emotion, (...) therefore, when adopting the general point of view: if we allow idiosyncratic affective responses to shape our fully considered moral judgments, we could no longer reasonably expect spectators with different sensitivities to agree with us. (shrink)

This paper argues that private property and rights assignment, especially as applied to communication infrastructure and information, should be informed by advances in both technology and our understanding of psychology. Current law in this area in the United States and many other jurisdictions is founded on assumptions about human behavior that have been shown not to hold empirically. A joint recognition of this fact, together with an understanding of what new technologies make possible, leads one to question basic assumptions about (...) how law is made and what laws we should have in a given area, if any. I begin by analyzing different aspects of U.S. law, from a high-level critique of law making to a critique of rights assignment for what I call 'simple nonrival goods.' I describe my understanding, as a non-lawyer with a background in psychology and computing, of the current conventions in U.S. law, consider the foundational assumptions that justify current conventions, describe advances in psychology and technology that call these conventions into question, and briefly note how the law might normatively change in this light. I then apply this general analysis to the question of domain name assignment by the Internet Corporation for Assigned Names and Numbers (ICANN). (shrink)

In the theory of judgment aggregation, it is known for which agendas of propositions it is possible to aggregate individual judgments into collective ones in accordance with the Arrow-inspired requirements of universal domain, collective rationality, unanimity preservation, non-dictatorship and propositionwise independence. But it is only partially known (e.g., only in the monotonic case) for which agendas it is possible to respect additional requirements, notably non-oligarchy, anonymity, no individual veto power, or implication preservation. We fully characterize the agendas for which (...) there are such possibilities, thereby answering the most salient open questions about propositionwise judgment aggregation. Our results build on earlier results by Nehring and Puppe (2002), Nehring (2006), Dietrich and List (2007a) and Dokow and Holzman (2010a). (shrink)

The right temporo-parietal junction (rTPJ) has been associated with two apparently disparate functional roles: in attention and in social cognition. According to one account, the rTPJ initiates a “circuit-breaking” signal that interrupts ongoing attentional processes, effectively reorienting attention. It is argued this primary function of the rTPJ has been extended beyond attention, through a process of evolutionarily cooption, to play a role in social cognition. We propose an alternative account, according to which the capacity for social cognition depends on a (...) network which is both distinct from and in tension with brain areas involved in focused attention and target detection: the default mode network. Theory characterizing the rTPJ based on the area’s purported role in reorienting may be falsely guided by the co-occurrence of two distinct effects in contiguous regions: activation of the supramarginal gyrus (SMG), associated with its functional role in target detection; and the transient release, during spatial reorienting, of suppression of the angular gyrus (AG) associated with focused attention. Findings based on meta-analysis and resting functional connectivity are presented which support this alternative account. We find distinct regions, possessing anti-correlated patterns of resting connectivity, associated with social reasoning (AG) and target detection (SMG) at the rTPJ. The locus for reorienting was spatially intermediate between the AG and SMG and showed a pattern of connectivity with similarities to social reasoning and target detection seeds. These findings highlight a general methodological concern for brain imaging. Given evidence that certain tasks not only activate some areas but also suppress activity in other areas, it is suggested that researchers need to distinguish two distinct putative mechanisms, either of which may produce an increase in activity in a brain area: functional engagement in the task versus release of suppression. (shrink)

The arguments are exhibited in favour of the necessity to modify the history of the genesis and advancement of general relativity (GR). I demonstrate that the dynamic creation of GR had been continually governed by internal tensions between two research traditions, that of special relativity and Newton’s gravity. The encounter of the traditions and their interpenetration entailed construction of the hybrid domain at first with an irregular set of theoretical models. Step by step, on eliminating the contradictions between (...) the models contrived, the hybrid set was put into order. It is contended that the main reason of the GR victory over the rival programmes of Abraham and Nordström was a synthetic character of Einstein’s programme. Einstein had put forward as a basic synthetic principle the principle of equivalence that radically differed from that of rival approaches by its open, flexible and contra-ontological character. (shrink)

In this dialogue, Mileva and Albert start to talk about physics and its subject matter, the physical. They end up in a situation that permits causal dependence between separate ontological domains. In this possible world, they continue talking. First, they Socratically agree that the physical is physical and only physical. Then, they call the physical an ontologically homogeneous domain. They then generalise the principle that the physical is causally unaffected by anything non-physical, into the principle that ontologically homogeneous domains (...) do not cause ontologically homogeneous domains. From a modern point of view talking about black hole singularities, they continue discussing the Chandrasekhar limit and the collapse of the physical laws as we know them. Mileva carries a burden and Albert stands up and carries it with her. The burden is an implication of the generalised principle. Relying on parsimony, only ontologically homogeneous domains are forbidden to cause ontologically homogeneous domains. This leaves the door open for ontologically heterogeneous domains to cause ontologically homogeneous domains. Also relying on parsimony, only ontologically homogeneous domains are forbidden to be caused by ontologically homogeneous domains and this allows ontologically heterogeneous domains to be caused by ontologically homogeneous domains. Ontologically heterogeneous domains, thus, are allowed to causally link ontologically homogeneous domains. Albert realises that the mathematical could qualify as an ontologically homogeneous domain and that the theoretical difficulties that are foreseen beyond the Chandrasekhar limit could be addressed by expanding physics into a context that contains also an ontologically heterogeneous domain. The theoretical difficulties beyond the Chandrasekhar limit would be due to an emergent mathematical-physical domain. Mileva concludes that Albert’s theory is not faulty but regional. A global theory would have to include the explanation of the mathematical-physical. (shrink)

Historical processes exert an influence on the current state and evolution of situations of language contact, brought to bear from different domains, the economic and the political, the ideological and group identities, geo-demographics, and the habits of inter-group use. Clearly, this kind of phenomenon requires study from a complexical and holistic perspective in order to accommodate the variety of factors that belong to different levels and that interrelate with one another in the evolving dynamic of human languaging. Therefore, there is (...) a need for the restricted and general complexity approaches to come to a meeting of the minds, and take steps toward a mutual integration based on the acceptance of the shortcomings of each approach, achieving progress through a non-contradictory complementarity of perspectives. It must be conceded that the practical and methodological applications of basic complexical ideas need to be developed much farther in order to apply them to specific research. At the same time, the limits of complex adaptive systems as computational strategies must be accepted in the pursuit of a better understanding of the dynamic and evolutionary processes typical of human beings. New tools for the conception, apprehension and treatment of the data will need to be devised to complement existing ones and to enable us to make headway toward practices that better fit complexical perspectives. It seems obvious that human complexics must be seen as multi-methodological, insofar as necessary combining quantitative-computation methodologies and more qualitative methodologies aimed at understanding the historical mental and emotional world of people. (shrink)

In this paper, I will argue that Locke is a substance dualist in the general sense, in that he holds that there are, independent of our classificatory schema, two distinct kinds of substances: wholly material ones and wholly immaterial ones. On Locke’s view, the difference between the two lies in whether they are solid or not, thereby differentiating him from Descartes. My way of establishing Locke as a general substance dualist is to be as minimally committal as possible (...) at the outset, especially with respect to the classic debates on Locke’s positions in this domain, including those concerning substrata, real essences, and the like. Nonetheless, I show that minimal commitments about Locke’s primary/secondary quality distinction are sufficient to derive some substantive conclusions about his positions on these issues, as well as that he is a general substance dualist. (shrink)

I assume that there exists a general phenomenon, the phenomenon of the explanatory gap, surrounding consciousness, normativity, intentionality, and more. Explanatory gaps are often thought to foreclose reductive possibilities wherever they appear. In response, reductivists who grant the existence of these gaps have offered countless local solutions. But typically such reductivist responses have had a serious shortcoming: because they appeal to essentially domain-specific features, they cannot be fully generalized, and in this sense these responses have been not just (...) local but parochial. Here I do better. Taking for granted that the explanatory gap is a genuine phenomenon, I offer a fully general diagnosis that unifies these previously fragmented reductivist responses. (shrink)

The predominant approaches to understanding how quantum theory and General Relativity are related to each other implicitly assume that both theories use the same concept of mass. Given that despite great efforts such approaches have not yet produced a consistent falsifiable quantum theory of gravity, this paper entertains the possibility that the concepts of mass in the two theories are in fact distinct. It points out that if the concept of mass in quantum mechanics is defined such that it (...) always exists in a superposition and is not a gravitational source, then this sharply segregates the domains of quantum theory and of general relativity. This concept of mass violates the equivalence principle applied to active gravitational mass, but may still produce effects consistent with the equivalence principle when applied to passive gravitational mass (in agreement with observations) by the correspondence principle applied to a weak field in the appropriate limit. An experiment that successfully measures the gravity field of quantum objects in a superposition, and in particular of photons, would not only falsify this distinction but also constitute the first direct empirical test that gravity must in fact be described fundamentally by a quantum theory. (shrink)

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so (...) by implementing inanimate controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

Our pains can be more or less intense, our mental imagery can be more or less vivid, our perceptual experiences can be more or less striking. These degrees of intensity of conscious experiences are all manifestations of a phenomenal property I call mental strength. In this article, I argue that mental strength is a domain-general phenomenal magnitude; in other words, it is a phenomenal quantity shared by all conscious experiences that explains their degree of felt intensity. Mental strength (...) has been largely overlooked in favor of mental states’ type, representational contents, domain-specific phenomenology, or processes such as attention. Considering mental strength in our reflections about the mind illuminates debates about the relation of representational contents and phenomenal character, and it also helps address questions about the structure and functions of consciousness. Mental strength provides a unifying construct to model what is shared in the phenomenology of different types of conscious experiences. (shrink)

I draw on neurobiological evidence to defend the rationalist thesis that moral judgments are essentially dependent on reasoning, not emotions (conceived as distinct from inference). The neuroscience reveals that moral cognition arises from domain-general capacities in the brain for inferring, in particular, the consequences of an agent’s action, the agent’s intent, and the rules or norms relevant to the context. Although these capacities entangle inference and affect, blurring the reason/emotion dichotomy doesn’t preferentially support sentimentalism. The argument requires careful (...) consideration of the empirical evidence (from neuroimaging to psychopathology) and philosophical analysis of the commitments of rationalism versus sentimentalism in ethics. (shrink)

Consent governs innumerable everyday social interactions, including sex, medical exams, the use of property, and economic transactions. Yet little is known about how ordinary people reason about the validity of consent. Across the domains of sex, medicine, and police entry, Study 1 showed that when agents lack autonomous decision-making capacities, participants are less likely to view their consent as valid; however, failing to exercise this capacity and deciding in a nonautonomous way did not reduce consent judgments. Study 2 found that (...) specific and concrete incapacities reduced judgments of valid consent, but failing to exercise these specific capacities did not, even when the consenter makes an irrational and inauthentic decision. Finally, Study 3 showed that the effect of autonomy on judgments of valid consent carries important downstream consequences for moral reasoning about the rights and obligations of third parties, even when the consented-to action is morally wrong. Overall, these findings suggest that laypeople embrace a normative, domain-general concept of valid consent that depends consistently on the possession of autonomous capacities, but not on the exercise of these capacities. Autonomous decisions and autonomous capacities thus play divergent roles in moral reasoning about consent interactions: while the former appears relevant for assessing the wrongfulness of consented-to acts, the latter plays a role in whether consent is regarded as authoritative and therefore as transforming moral rights. (shrink)

To what extent do aesthetic taste and our interest in the arts constitute who we are? In this paper, we present a series of empirical findings that suggest an Aesthetic Self Effect supporting the claim that our aesthetic engagements are a central component of our identity. Counterfactual changes in aesthetic preferences, for example, moving from liking classical music to liking pop, are perceived as altering us as a person. The Aesthetic Self Effect is as strong as the impact of moral (...) changes, such as altering political partisanship or religious orientation, and significantly stronger than for other categories of taste, such as food preferences. Using a multidimensional scaling technique to map perceived aesthetic similarities among musical genres, we determined that aesthetic distances between genres correlate highly with the perceived difference in identity. Further studies generalize the Aesthetic Self Effect beyond the musical domain: general changes in visual art preferences, for example from more traditional to abstract art, also elicited a strong Self Effect. Exploring the breadth of this effect we also found an Anaesthetic Self Effect. That is, hypothetical changes from aesthetic indifference to caring about music, art, or beauty are judged to have a significant impact on identity. This effect on identity is stronger for aesthetic fields compared to leisure activities, such as hiking or playing video games. Across our studies, the Anaesthetic Self Effect turns out to be stronger than the Aesthetic Self Effect. Taken together, we found evidence for a link between aesthetics and identity: we are aesthetic selves. When our tastes in music and the arts or our aesthetic interests change we take these to be transformative changes. (shrink)

The problem of variability concerns the fact that empirical data does not support the existence of a coordinated set of biological markers, either in the body or the brain, which correspond to our folk emotion categories; categories like anger, happiness, sadness, disgust and fear. Barrett (2006a, b, 2013, 2016, 2017a, b) employs this fact to argue (i) against the faculty psychology approach to emotion, e.g. emotions are the products of emotion-specific mechanisms, or “modules”, and (ii) for the view that emotions (...) are constructed from domain-general “core systems” with the aid of our folk concepts. The conjunction of (i) and (ii), she argues, heralds a paradigm shift in our understanding of emotion: emotions aren’t triggered but made. In this paper, I argue such a shift is premature for a faculty psychology framework can accommodate the neurobiological variability of emotion. This can be done by treating emotions as developmental modules: non-innate systems which behave like modules, but form as a product of ontogenetic development. (shrink)

We introduce the predictive processing account of body representation, according to which body representation emerges via a domain-general scheme of (long-term) prediction error minimisation. We contrast this account against one where body representation is underpinned by domain-specific systems, whose exclusive function is to track the body. We illustrate how the predictive processing account offers considerable advantages in explaining various empirical findings, and we draw out some implications for body representation research.

I argue that the human mind includes an innate domain-specific system for representing precise small numerical quantities. This theory contrasts with object-tracking theories and with domain-general theories that only make use of mental models. I argue that there is a good amount of evidence for innate representations of small numerical quantities and that such a domain-specific system has explanatory advantages when infants’ poor working memory is taken into account. I also show that the mental models approach (...) requires previously unnoticed domain-specific structure and consequently that there is no domain-general alternative to an innate domain-specific small number system. (shrink)

Invention of artificial general intelligence is predicted to cause a shift in the trajectory of human civilization. In order to reap the benefits and avoid pitfalls of such powerful technology it is important to be able to control it. However, possibility of controlling artificial general intelligence and its more advanced version, superintelligence, has not been formally established. In this paper, we present arguments as well as supporting evidence from multiple domains indicating that advanced AI can’t be fully controlled. (...) Consequences of uncontrollability of AI are discussed with respect to future of humanity and research on AI, and AI safety and security. This paper can serve as a comprehensive reference for the topic of uncontrollability. (shrink)

This chapter provides empirical evidence about everyday attitudes concerning euthanasia. These attitudes have important implications for some ethical arguments about euthanasia. Two experiments suggested that some different descriptions of euthanasia have modest effects on people’s moral permissibility judgments regarding euthanasia. Experiment 1 (N = 422) used two different types of materials (scenarios and scales) and found that describing euthanasia differently (‘euthanasia’, ‘aid in dying’, and ‘physician assisted suicide’) had modest effects (≈3 % of the total variance) on permissibility judgments. These (...) effects were largely replicated in Experiment 2 (N = 409). However, in Experiment 2, judgments about euthanasia’s moral permissibility were best predicted by the voluntariness of the treatment. Voluntariness was a stronger predictor than some demographic factors and some domain general elements of moral judgments. These results help inform some debates about the moral permissibility of euthanasia (e.g., the slippery slope argument) suggesting that some of the key premises of those arguments are unwarranted. (shrink)