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)

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)

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)

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)

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)

This paper explores how hinge epistemology might fruitfully be applied not only to the problem of radical skepticism, but also to certain domain specific skepticisms, and in particular, moral skepticism. The paper explains the idea of a domain specific skepticism, and how domain specific skepticisms contrast with radical skepticism. I argue that a domain specific skeptical problem can be resolved in just the same way as radical skepticism, if there are hinge commitments within that domain. (...) I then suggest that there are hinge commitments in the moral domain, and use this to address a moral skeptical problem due to our apparent inability to know moral nihilism to be false. (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)

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.

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.

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)

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)

This paper aims to delineate the class of aesthetic judgments linguistically. The main idea is that aesthetic judgments can be specified by a certain set of assertibility conditions, i.e., by norms that govern appropriate speech-acts. This idea is spelled out in detail and defended against various objections. The suggestion leads to an interesting account of aesthetic judgments that is theoretically fruitful: It provides the basis for a non-circular and satisfying characterization of the whole domain of aesthetic research and it (...) marks an important linguistic difference between aesthetic judgments and judgments of personal taste. (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)

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)

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)

Leibniz’s account of probability has come into better focus over the past decades. However, less attention has been paid to a certain domain of application of that account, that is, the application of it to the moral or ethical domain—the sphere of action, choice and practice. This is significant, as Leibniz had some things to say about applying probability theory to the moral domain, and thought the matter quite relevant. Leibniz’s work in this area is conducted at (...) a high level of abstraction. It establishes a proof of concept, rather than concrete guidelines for how to apply calculations to specific cases. Still, this highly abstract material does allow us to begin to construct a framework for thinking about Leibniz’s approach to the ethical side of probability. (shrink)

Within critical realist circles, the development of knowledge in the natural and social domains has thus far been much stronger by comparison with its respective development within the personal domain. What I want to explore here is how knowledge can be positively used to have emancipatory effects at the level of the individual. The way in which we are able to achieve this is by coming to have what Spinoza calls more adequate ideas of ourselves, other beings, and our (...) place in nature through strengthening the explanatory power and minimizing the fallibility of the knowledge we use in our judgements and progressive articulations of personal situations by making use of explanatory critique and cause-object matching techniques. This article explains what an explanatory critique actually is and does before turning to explain why it interests us in relation to Spinoza’s thought and then how it is specifically useful in connection with emotional revision and control. (shrink)

This article describes various ways actors in Kashmiri carpet weaving practice deploy a range of artifacts, from symbolic, to material, to hybrid, in order to achieve diverse cognitive accomplishments in their particular task domains: information representation, inter and intra-domain communication, distribution of cognitive labor across people and time, coordination of team activities, and carrying of cultural heritage. In this repertoire, some artifacts position themselves as naïve tools in the actors’ environment to the point of being ignored; however, their usage-in-context (...) unfolds their cognitive involvement in the tasks. These usages-in-context are shown through artifact analysis of their routine, improvised, and opportunistic uses, where cognitive artifacts like talim—the central artifact of this practice—are shown to play not only multifunctional roles beyond representation, but are also complemented by trade-specific skills bearing strong cognitive implications in a task. (shrink)

The aim of this thesis is to propose a deflationary approach towards the ontological analysis of physical theories. Such an approach sustains that the development of ontologies for physical theories must be neutral relatively to the debate between realists and anti-realists in philosophy of physics. Mainly, our attention will be oriented towards what we called "quantum domain", which includes the non-relativistic Quantum Mechanics and variants of the Quantum Field Theory. This meta-ontological approach consists in an attempt to provide a (...) methodology for the development of specific ontologies for physical theories. With this aim we suggest the separation between physical phenomena and physical theories on one side, and physical theories and ontologies on the other side. This separation intends to endorse the idea that physical theories can provide all the informative contents required for the development of the ontologies associated with them. The result is a defense of the idea that physical theories can positively contribute for the constitution of the ontologies in physics. Additionally, we present a critical analysis of four different ontological approaches to QM and QFT. Each one of these interpretations deals with a different ontological category (tropes, events and processes). At the end of the thesis we will analyze the concepts of interaction and commutation in QFT in order to exemplify the main lines of the deflationary approach suggested here. (shrink)

The innate knowledge problem is a classical problem in philosophy, which has been known since the classical antiquity. Plato in his dialogues Meno and Phaedo formulated the doctrine of innate ideas and proposed an early version of the poverty of the stimulus argument, which is the most frequently used argument in innate knowledge debates. In the history of philosophy there was also an opposite view. This approach is often associated with J. Locke’s philosophy. Locke thought that all our knowledge about (...) the world is a product of the universal learning mechanisms whose functioning is based on perception. The question about the presence of innate ideas in the human mind still remains relevant. New findings in cognitive science and neurosciences and also some recent arguments from philosophers contribute to the contemporary discussion between the spokesmen of the rival approaches to this problem. The paper presents the investigation of one of the approaches to solving the problem of innate concepts, which is called a “concept nativism.” It highlights the outstanding characteristics of the concept nativism: (a) domain specificity position, (b) belief that domain-specific mechanisms of learning are innate and (c) belief that at least some concepts are innate. The article also proposes an analysis of notions “innateness” and “idea” which is important for understanding nativists’ approach to innate ideas theory. And finally, it describes the most popular nativists’ arguments: (a) references to empirical studies using the preferential looking technique, (b) the poverty of the stimulus argument and (c) the argument from animals. (shrink)

Empirical evidence from developmental psychology and anthropology points out that the human mind is predisposed to conceptualize the world in particular, species-specific ways. These cognitive predispositions lead to universal human commonsense views, often referred to as folk theories. Nevertheless, humans can transgress these views – i.e. they can contradict them with alternative descriptions, they perceive as more accurate – as exemplified in modern sciences. In this paper, I enquire about the cognitive faculties underlying such transgressions. I claim that there are (...) three faculties enabling us to part with these universal commonsense views of the world imposed by our nature. The first is our ability to represent representations – i.e. to form metarepresentations. The second is our ability to produce alternative representations both by explaining a familiar subject matter in terms of the principles governing different conceptual domains than the one that we are predisposed to apply to the subject matter and by directing our mind to new subject matters (for which we have no predisposed conceptual grasp), understanding them in terms of familiar domains. The third, finally, is our ability to give these representations an epistemic orientation. Key words: Human cognition, Domain-specific knowledge systems, Cognitive predispositions, Folk theories, Cognitive flexibility, Human – nonhuman distinction. (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)

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, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, (...) however, there will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (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.

Multiple realizability has been at the heart of debates about whether the mind reduces to the brain, or whether the items of a special science reduce to the items of a physical science. I analyze the two central notions implied by the concept of multiple realizability: "multiplicity," otherwise known as property variability, and "realizability." Beginning with the latter, I distinguish three broad conceptual traditions. The Mathematical Tradition equates realization with a form of mapping between objects. Generally speaking, x realizes (or (...) is the realization of) y because elements of y map onto elements of x. The Logico-Semantic Tradition translates realization into a kind of intentional or semantic notion. Generally speaking, x realizes (or is the realization of) a term or concept y because x can be interpreted to meet the conditions for satisfying y. The Metaphysical Tradition views realization as a species of determination between objects. Generally speaking, x realizes (or is the realization of) y because x brings about or determines y. I then turn to the subject of property variability and define it in a formal way. I then conclude by discussing some debates over property identity and scientific theory reduction where the resulting notion of multiple realizability has played a central role, for example, whether the nonreductive consequences of multiple realizability can be circumvented by scientific theories framed in terms of narrow domain-specific properties, or wide disjunctive properties. (shrink)

Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In (...) our previous investigations, we developed a miRNA domain-specific application ontology, Ontology for MIcroRNA Target (OMIT), to provide the community with common data elements and data exchange standards in the miRNA research. This paper describes (1) our continuing efforts in the OMIT ontology development and (2) the application of the OMIT to enable a semantic approach for knowledge capture of miRNA-target interactions. (shrink)

The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method of modern (...) formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field. (shrink)

ABSTRACT This article distinguishes nine senses of polarization and provides formal measures for each one to refine the methodology used to describe polarization in distributions of attitudes. Each distinct concept is explained through a definition, formal measures, examples, and references. We then apply these measures to GSS data regarding political views, opinions on abortion, and religiosity—topics described as revealing social polarization. Previous breakdowns of polarization include domain-specific assumptions and focus on a subset of the distribution’s features. This has conflated (...) multiple, independent features of attitude distributions. The current work aims to extract the distinct senses of polarization and demonstrate that by becoming clearer on these distinctions we can better focus our efforts on substantive issues in social phenomena. (shrink)

Expert testimony figures in recent debates over how best to understand the norm of assertion and the domain-specific epistemic expectations placed on testifiers. Cases of experts asserting with only isolated second-hand knowledge (Lackey 2011, 2013) have been used to shed light on whether knowledge is sufficient for epistemically permissible assertion. I argue that relying on such cases of expert testimony introduces several problems concerning how we understand expert knowledge, and the sharing of such knowledge through testimony. Refinements are needed (...) to clarify exactly what principles are being tested by such cases; but once refined, such cases raise more questions than they answer. (shrink)

In this paper, I expand my upon earlier linguistic research (Lian, 2023), which delved into the genre of abstracts from Western philosophical papers. I engage with the philosophical ramifications emanating from the guidelines established for crafting philosophy paper abstracts (Lian, 2023) and underscore their significance in the domain of academic philosophical writing. A pivotal focus of this research is to navigate the intricate philosophical challenges posed by cross-disciplinary investigations bridging applied linguistic statistics with philosophical paper composition, specifically, the nuanced (...) interpretation of linguistic findings in a manner palatable to philosophers. My exploration probes into the dynamics of various concepts within Inter-Disciplinary Research (IDR), highlighting the complexities in reconciling semantic intuitions related to the notions of "Method (M)" and "Conclusion (C)". I delineate three philosophical stances: (1) deferring to scientific authority, (2) recognizing domain-specific terminologies, and (3) interrogating peripheral scientific theories. I posit that these stances significantly influence the ways philosophers engage with and resolve the cross-disciplinary semantic and theoretical contentions stemming from the rhetorical structures of "Method (M)" and "Conclusion (C)". This work proposes avenues to attain either "theoretical coherence" or "disciplinary synthesis", thereby fostering enhanced cross-disciplinary collaboration and fortifying academic discourse across diverse fields. -/- Keywords: Inter-Disciplinary Research (IDR), Applied linguistics, Philosophical writing, Genre Analysis, Rhetorical Moves 本研究將先介紹筆者的語言學碩士論文（連，2023），如何分析《東吳哲學學報》2017年至2021年西方哲學論文摘要語體的修辭語步特徵與提供寫作建議，並試圖從哲學圈內人的角度，對連（2023）的哲學寫作 建議進行批判性的反思，探討哲學教師或新手哲學家可以如何看待華文哲學論文摘要的寫作建議。接著，筆者將問題聚焦在跨領域學科（應用語言學統計結果與哲學論文寫作）之間的哲學問題，即——哲學家應如何看待語言學家 針對哲學論文的研究結果。筆者將考慮領域間研究（IDR）的語言與詞語概念關係。而藉由討論上述跨領域研究中語義直覺分歧的問題，筆者提出了三種可能的哲學態度：(1)服從科學權威、(2)尊重特定領域用詞、(3 )質疑邊緣科學理論。筆者認為，上述三種態度對於哲學家如何看待「方法(M)」和「結論(C)」這兩項跨領域語義概念分歧和可能理論分歧有著重要的影響。筆者希冀藉由提出相關解決方案來尋求「理論統一」或「領域整 合」的可行性，最終得以促進跨領域合作與跨學門間良好學術交流的互動成長。 -/- 關鍵詞：領域間研究（IDR）、應用語言學、哲學寫作、語體分析、修辭語步 . (shrink)

Social norms are commonly understood as rules that dictate which behaviors are appropriate, permissible, or obligatory in different situations for members of a given community. Many researchers have sought to explain the ubiquity of social norms in human life in terms of the psychological mechanisms underlying their acquisition, conformity, and enforcement. Existing theories of the psychology of social norms appeal to a variety of constructs, from prediction-error minimization, to reinforcement learning, to shared intentionality, to domain-specific adaptations for norm acquisition. (...) In this paper, we propose a novel methodological and conceptual framework for the cognitive science of social norms that we call normative pluralism. We begin with an analysis of the explanatory aims of the cognitive science of social norms. From this analysis, we derive a recommendation for a reformed conception of its explanandum: a minimally psychological construct that we call normative regularities. Our central empirical proposal is that the psychological underpinnings of social norms are most likely realized by a heterogeneous set of cognitive, motivational, and ecological mechanisms that vary between norms and between individuals, rather than by a single type of process or distinctive norm system. This pluralistic approach, we suggest, offers a methodologically sound point of departure for a fruitful and rigorous science of social norms. (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)

It is sometimes argued that if PDP networks can be trained to make correct judgements of grammaticality we have an existence proof that there is enough information in the stimulus to permit learning grammar by inductive means alone. This seems inconsistent superficially with Gold's theorem and at a deeper level with the fact that networks are designed on the basis of assumptions about the domain of the function to be learned. To clarify the issue I consider what we should (...) learn from Gold's theorem, then go on to inquire into what it means to say that knowledge is domain specific. I first try sharpening the intuitive notion of domain specific knowledge by reviewing the alleged difference between processing limitations due to shortage of resources vs shortages of knowledge. After rejecting different formulations of this idea, I suggest that a model is language specific if it transparently refer to entities and facts about language as opposed to entities and facts of more general mathematical domains. This is a useful but not necessary condition. I then suggest that a theory is domain specific if it belongs to a model family which is attuned in a law-like way to domain regularities. This leads to a comparison of PDP and parameter setting models of language learning. I conclude with a novel version of the poverty of stimulus argument. (shrink)

As a working hypothesis for philosophy of science, the unity of science thesis has been decisively challenged in all its standard formulations; it cannot be assumed that the sciences presuppose an orderly world, that they are united by the goal of systematically describing and explaining this order, or that they rely on distinctively scientific methodologies which, properly applied, produce domain-specific results that converge on a single coherent and comprehensive system of knowledge. I first delineate the scope of arguments against (...) global unity theses. However implausible old-style global unity theses may now seem, I argue that unifying strategies of a more local and contingent nature do play an important role in scientific inquiry. This is particularly clear in archaeology where, to establish evidential claims of any kind, practitioners must exploit a range of inter-field and inter-theory connections. At the same time, the robustness of these evidential claims depends on significant disunity between the sciences from which archaeologists draw background assumptions and auxiliary hypotheses. This juxtaposition of unity with disunity poses a challenge to standard positions in the debate about scientific unity. (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)

The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...) greater than the other or the one is greater than the other [sc. in appropriate correlated senses of ‘equals’, ‘is greater than’ and ‘is less than’]. In case there are two or more appropriate senses of ‘equals’, the one intended is often indicated by an adverb. For example, one plane figure may be said to be equal in area to another and, in certain cases, one plane figure may be said to be equal in length to another. Each sense of ‘equality’ is tied to a specific domain and is therefore non-logical. Notice that in every cases ‘equality’ is definable in terms of ‘is greater than’ and also in terms of ‘is less than’ both of which are routinely considered domain specific, non-logical. The word ‘identity’ in the logical sense does not require disambiguation. Moreover, it is not correlated ‘is greater than’ and ‘is less than’. If it is not the case that a certain designated triangle is [sc. is identical to] an otherwise designated triangle, it is not necessary for the one to be greater than or less than the other. Moreover, if two magnitudes are equal then a unit of measure can be chosen and, no matter what unit is chosen, each magnitude is the same multiple of the unit that the other is. But identity does not require units. In this regard, congruence is like identity and unlike equality. In arithmetic, the logical concept of identity is coextensive with the arithmetic concept of equality. The logical concept of identity admits of an analytically adequate definition in terms of logical concepts: given any number x and any number y, x is y iff x has every property that y has. The arithmetical concept of equality admits of an analytically adequate definition in terms of arithmetical concepts: given any number x and any number y, x equals y iff x is neither less than nor greater than y. As Aristotle told us and as Frege retold us, just because one relation is coextensive with another is no reason to conclude that they are one. (shrink)

In summaries of “best practices” for pedagogy, one typically encounters enthusiastic advocacy for metacognition. Some researchers assert that the body of evidence supplied by decades of education studies indicates a clear pedagogical imperative: that if one wants their students to learn well, one must implement teaching practices that cultivate students’ metacognitive skills. -/- In this dissertation, I counter that education research does not impose such a mandate upon instructors. We lack sufficient and reliable evidence from studies that use the appropriate (...) research design to validate the efficacy of metacognitive skill-building interventions (not just evaluate their relationship to learning outcomes). I argue that improved academic outcomes following these interventions aren’t necessarily mediated by increased metacognitive skills; rather, enhanced student performance can be accounted for by other factors that accompany metacognitive training, particularly the explicit provision of domain-specific knowledge. -/- On the way to this conclusion, I elaborate some complications and controversies surrounding “metacognition.” This is a sprawling and nebulous construct, which makes generalizations about its pedagogical value dubious from the outset. Moreover, it is unclear the extent to which the end goal of metacognitive skill-building (cognitive self-mastery, involving knowledge of and control over our own minds) is even possible, given our mental architecture; some cognitive scientists allege that we are subject to phenomenological illusions which make this seem more achievable than it actually is. -/- I also attempt to provide an account of how metacognitive skill-building could receive glowing endorsements from educators and education researchers, even though its conceptual and empirical underpinnings are flimsy. The error theory I offer identifies two major factors that may foster belief in the efficacy of metacognitive training: goalpost-shifting around the objective of such efforts, and motivated reasoning in defense of the desirable conclusion that educators can significantly reshape students’ minds and unlock their intellectual potential through simple pedagogical interventions. (shrink)

The principle of self-organization has acquired a fundamental significance in the newly emerging field of computational philosophy. Self-organizing systems have been described in various domains in science and philosophy including physics, neuroscience, biology and medicine, ecology, and sociology. While system architecture and their general purpose may depend on domain-specific concepts and definitions, there are (at least) seven key properties of self-organization clearly identified in brain systems: 1) modular connectivity, 2) unsupervised learning, 3) adaptive ability, 4) functional resiliency, 5) functional (...) plasticity, 6) from-local-to-global functional organization, and 7) dynamic system growth. These are defined here in the light of insight from neurobiology, cognitive neuroscience and Adaptive Resonance Theory (ART), and physics to show that self-organization achieves stability and functional plasticity while minimizing structural system complexity. A specific example informed by empirical research is discussed to illustrate how modularity, adaptive learning, and dynamic network growth enable stable yet plastic somatosensory representation for human grip force control. Implications for the design of “strong” artificial intelligence in robotics are brought forward. (shrink)

The idea that there is a “Number Sense” (Dehaene, 1997) or “Core Knowledge” of number ensconced in a modular processing system (Carey, 2009) has gained popularity as the study of numerical cognition has matured. However, these claims are generally made with little, if any, detailed examination of which modular properties are instantiated in numerical processing. In this article, I aim to rectify this situation by detailing the modular properties on display in numerical cognitive processing. In the process, I review literature (...) from across the cognitive sciences and describe how the evidence reported in these works supports the hypothesis that numerical cognitive processing is modular. I outline the properties that would suffice for deeming a certain processing system a modular processing system. Subsequently, I use behavioral, neuropsychological, philosophical, and anthropological evidence to show that the number module is domain specific, informationally encapsulated, neurally localizable, subject to specific pathological breakdowns, mandatory, fast, and inaccessible at the person level; in other words, I use the evidence to demonstrate that some of our numerical capacity is housed in modular casing. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

Typically, expert judgments are regarded by laypeople as highly trustworthy. However, expert assertions that strike the layperson as obviously false or outrageous, seem to give one a perfect reason to dispute that this judgment manifests expertise. In this paper, I will defend four claims. First, I will deliver an argument in support of the preemption view on expert judgments according to which we should not rationally use our own domain-specific reasons in the face of expert testimony. Second, I will (...) argue that the preemption view does not leave room for rejecting an expert judgment simply because it is outrageous. Third and finally, I will argue that outrageous expert judgments are ambiguous. Whereas some of them should be rationally rejected by laypeople, others are true and rationally acceptable. So, being outrageous is not, in and of itself, a reason to reject the judgment. Finally, I will argue that there are resources available to the preemption view that enable the layperson to reject some but not all outrageous expert judgments. This is sufficient to overcome the challenge from outrageous expert judgments to the preemption view. (shrink)

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)

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 notions of conservation and relativity lie at the heart of classical mechanics, and were critical to its early development. However, in Newton’s theory of mechanics, these symmetry principles were eclipsed by domain-specific laws. In view of the importance of symmetry principles in elucidating the structure of physical theories, it is natural to ask to what extent conservation and relativity determine the structure of mechanics. In this paper, we address this question by deriving classical mechanics—both nonrelativistic and relativistic—using relativity (...) and conservation as the primary guiding principles. The derivation proceeds in three distinct steps. First, conservation and relativity are used to derive the asymptotically conserved quantities of motion. Second, in order that energy and momentum be continuously conserved, the mechanical system is embedded in a larger energetic framework containing a massless component that is capable of bearing energy. Imposition of conservation and relativity then results, in the nonrelativistic case, in the conservation of mass and in the frame-invariance of massless energy; and, in the relativistic case, in the rules for transforming massless energy and momentum between frames. Third, a force framework for handling continuously interacting particles is established, wherein Newton’s second law is derived on the basis of relativity and a staccato model of motion-change. Finally, in light of the derivation, we elucidate the structure of mechanics by classifying the principles and assumptions that have been employed according to their explanatory role, distinguishing between symmetry principles and other types of principles that are needed to build up the theoretical edifice. (shrink)

Heyes presents a compelling account of how cultural evolutionary processes shape and create “rules,” or norms, of social behavior. She suggested that normativity depends on implicit, genetically inherited, domain-general processes and explicit, culturally inherited, domain-specific processes. Her approach challenges the nativist point of view and provides supporting evidence that shows how social interactions are responsible for creating mental processes that assist in understanding and behaving according to rules or norms. We agree. In our commentary, we suggest that it (...) is not only that mental processes for grasping norms are recreated in each generation but also that social interactions shape the kinds of social groups that are recognized (for a more extensive discussion, see Kish Bar-On & Lamm, 2023). We highlight evidence showing that accounts of norm psychology thus require a richer notion of human groups. (shrink)

The development of the Functional Genomics Investigation Ontology (FuGO) is a collaborative, international effort that will provide a resource for annotating functional genomics investigations, including the study design, protocols and instrumentation used, the data generated and the types of analysis performed on the data. FuGO will contain both terms that are universal to all functional genomics investigations and those that are domain specific. In this way, the ontology will serve as the “semantic glue” to provide a common understanding of (...) data from across these disparate data sources. In addition, FuGO will reference out to existing mature ontologies to avoid the need to duplicate these resources, and will do so in such a way as to enable their ease of use in annotation. This project is in the early stages of development; the paper will describe efforts to initiate the project, the scope and organization of the project, the work accomplished to date, and the challenges encountered, as well as future plans. (shrink)

We will survey a range of ontologies relevant to space and ground system domains. The ontologies form part of the Common Core Ontology ecosystem (CCO) developed under the IARPA KDD initiative. We focus specifically on the Space Domain Ontologies, a suite of ontologies to support space situational awareness, including the Spacecraft Mission Ontology, Spacecraft Ontology, Space Event Ontology and Space Object Ontology.

Natural recursion in syntax is recursion by linguistic value, which is not syntactic in nature but semantic. Syntax-specific recursion is not recursion by name as the term is understood in theoretical computer science. Recursion by name is probably not natural because of its infinite typeability. Natural recursion, or recursion by value, is not species-specific. Human recursion is not syntax-specific. The values on which it operates are most likely domain-specific, including those for syntax. Syntax seems to require no more (and (...) no less) than the resource management mechanisms of an embedded push-down automaton (EPDA). We can conceive EPDA as a common automata-theoretic substrate for syntax, collaborative planning, i-intentions, and we-intentions. They manifest the same kind of dependencies. Therefore, syntactic uniqueness arguments for human behavior can be better explained if we conceive automata-constrained recursion as the most unique human capacity for cognitive processes. (shrink)

Evidence based-policy (EBP) is a popular research paradigm in the applied social sciences and within government agencies. Informally, EBP represents an explicit commitment to applying scientific methods to public affairs, in contrast to ideologically-driven or merely intuitive “common-sense” approaches to public policy. More specifically, the EBP paradigm places great weight on the results of experimental research designs, especially randomised controlled trials (RCTs), and systematic literature reviews that place evidential weight on experimental results. One hope is that such research designs and (...) approaches to analysing the scientific literature are sufficiently robust that they can settle what really ‘works’ in public policy. Can EBP succeed in displacing reliance on domain-specific expertise? On our account, this is seldom, if ever, the case. The key reason for this is that underlying this approach is generally an appeal to argument by induction, which always requires further assumptions to underwrite its validity, and if not induction, some other argument form that also requires assumptions that are very often not validated for the case at hand. (shrink)

In recent decades, Vygotsky’s sociocultural theory (VST) has become particularly influential in the fields of education and educational psychology. Perezhivanie is an important concept in VST that stipulates a relative influence of environment on a person’s psychological development depending on their age or stage of development. However, perezhivanie has been differentially interpreted and applied in previous literature to suit the purposes of domain-specific research. The lack of a comprehensive theoretical understanding of the concept can undermine research findings and their (...) implications for educational practices. Drawing on a content analysis of Vygotsky’s key texts on perezhivanie, this paper provides a much-needed theoretical discussion that unpacks comprehensively the theoretical content of perezhivanie and the methodological principles guiding its application. The findings revealed that conceptually, perezhivanie can be defined as: (a) a theoretical relation between an individual and their environment, (b) an abstract experience of or attitude towards a life situation and (c) a concrete lived experience of an event within that situation. Four major discernible components of an individual’s perezhivanie include the environmental factor, personal characteristics mobilised, refraction prism and psychological influences. Five key methodological principles were conceived to assist the employment of perezhivanie in educational/psychological research: (1) utilising a perezhivanie as a unit of analysis, (2) analysing perezhivanie at different levels, (3) accounting for the perspective of the individual involved, (4) constructing the refraction prism and (5) determining the major personal characteristics mobilised in the perezhivanie. Implications for educational and research practices are then discussed. (shrink)