Source domain verification has not received as much attention as criteria for metaphor identification in the study of conceptual metaphor. In this paper, we provide a replicable approach to source...

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

Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 1–77. The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science.• Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics• The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.• Logics of programsStone duality provides a junction between semantics and logics . Moreover, the underlying (...) logic is geometric, which can be computationally interpreted as the logic of observable properties—i.e., properties which can be determined to hold of a process on the basis of a finite amount of information about its execution.These ideas lead to the following programme. A metalanguage is introduced, comprising• types = universes of discourse for various computational situations;• terms = PROGRAMS = syntactic intensions for models or points. A standard denotational interpretation of the metalanguage is given, assigning domains to types and domain elements to terms. The metalanguage is also given a logical interpretation, in which types are interpreted as propositional theories and terms are interpreted via a program logic, which axiomatises the properties they satisfy. The two interpretations are related by showing that they are Stone duals of each other. Hence, semantics and logic are guaranteed to be in harmony with each other, and in fact each determines the other up to isomorphism. This opens the way to a whole range of applications. Given a denotational description of a computational situation in our metalanguage, we can turn the handle to obtain a logic for that situation. (shrink)

This book is about normativity and reasons.

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)

We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence (...) and uniqueness of attractors and invariant distributions have been obtained, measure and integration theory, where a generalization of the Riemann theory of integration has been developed, and real arithmetic, where a feasible setting for exact computer arithmetic has been formulated. We give a number of algorithms for computation in the theory of iterated function systems with applications in statistical physics and in period doubling route to chaos; we also show how efficient algorithms have been obtained for computing elementary functions in exact real arithmetic. (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)

In this note we exhibit a continuity principle for real-valued functions on C[–1, 1] that is not validated by realizability over domains although it is validated by Kleene's functional realizability corresponding to Weihrauch's theory of type 2 effectivity.

Cross-domain descriptions are descriptions of features pertaining to one domain in terms of vocabulary primarily associated with another domain. Notably, we routinely describe psychological features in terms of the sensory domain and vice versa. Sorrow is said to be ‘bitter’ and fear ‘cold’. Music can be described as ‘happy’, ‘sad’, ‘mournful’, and so on. Such descriptions are rife in both everyday discourse and literary writings. What is it about psychological features that invites descriptions in sensory terms and what is it (...) about the sensory that invites descriptions in terms of the psychological? Drawing on the literature on polysemy, this paper sheds light on cross-domain descriptions pertaining to the sensory and the psychological domains. (shrink)

What counts as human rationality: reasoning processes that embody content-independent formal theories, such as propositional logic, or reasoning processes that are well designed for solving important adaptive problems? Most theories of human reasoning have been based on content-independent formal rationality, whereas adaptive reasoning, ecological or evolutionary, has been little explored. We elaborate and test an evolutionary approach, Cosmides' social contract theory, using the Wason selection task. In the first part, we disentangle the theoretical concept of a “social contract” from that (...) of a “cheater-detection algorithm”. We demonstrate that the fact that a rule is perceived as a social contract — or a conditional permission or obligation, as Cheng and Holyoak proposed — is not sufficient to elicit Cosmides' striking results, which we replicated. The crucial issue is not semantic, but pragmatic: whether a person is cued into the perspective of a party who can be cheated. In the second part, we distinguish between social contracts with bilateral and unilateral cheating options. Perspective change in contracts with bilateral cheating options turns P & not-Q responses into not-P & Q responses. The results strongly support social contract theory, contradict availability theory, and cannot be accounted for by pragmatic reasoning schema theory, which lacks the pragmatic concepts of perspectives and cheating detection. (shrink)

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

It is often possible to know what a speaker intends to communicate without knowing what they intend to say. In such cases, speakers need not intend to say anything at all. Stanley and Szabó's influential survey of possible analysis of quantifier domain restriction is, therefore, incomplete and the arguments made by Clapp and Buchanan against Truth Conditional Compositionality and propositional speaker-meaning are flawed. Two theories should not always be viewed as incompatible when they associate the same utterance with different propositions, (...) as there may be many ways to interpret speakers that are compatible with their intentions. (shrink)

Wulf Gaertner provides a comprehensive account of an important and complex issue within social choice theory: how to establish a social welfare function while restricting the spectrum of individual preferences in a sensible way. Gaertner's starting point is K. J. Arrow's famous 'Impossibility Theorem', which showed that no welfare function could exist if an unrestricted domain of preferences is to be satisfied together with some other appealing conditions. A number of leading economists have tried to provide avenues out of this (...) 'impossibility' by restricting the variety of preferences: here, Gaertner provides a clear and detailed account, using standardized mathematical notation, of well over forty theorems associated with domain conditions. Domain Conditions in Social Choice Theory will be an essential addition to the library of social choice theory for scholars and their advanced graduate students. (shrink)

In this brief discussion, we explicate and evaluate Heyes and colleagues’ deflationary approach to interpreting apparent evidence of domain-specific processes for social percep- tion. We argue that the deflationary approach sheds important light on how functionally specific processes in social perception can be subserved at least in part by domain-general processes. On the other hand, we also argue that the fruitfulness of this approach has been unnecessarily hampered by a contrastive conception of the relationship between domain- general and domain-specific processes. (...) As an alternative, we propose a complementary conception: the identification of domain-general processes that are engaged in instances of social perception can play a positive, structuring role by adding additional constraints to be accounted for in modelling the domain-specific processes that are also involved in such instances. (shrink)

National <.lt> domain name disputes in Lithuania are the ones which courts must decide without having any specific legal regulation. In such cases courts shall apply analogy of law, customs and general principals of law. Last but not least, the courts must address international legal practice as regards the domain name disputes, i.e. take into account the famous ICANN Uniform Domain Name Dispute Resolution Policy adopted in 1999 and mostly applied by the panels of WIPO Arbitration and Mediation Centre while (...) dealing with disputes on generic top level domain names <.com>, <.net>, <.org>, also analyse the practice of ADR cases of Czech Arbitration Court which has the jurisdiction over <.eu> domain name disputes. This article deals with the case-law of Lithuanian courts in <.lt> domain name disputes and analysis the trends of Lithuanian internet law as regards the protection of the owners of intellectual property in Lithuania. The special attention is given to the phenomenon of cybersquatting in Lithuania and the lack of effective means to fight such unfair practices on the net. (shrink)

This article offers a unified theory of the licensing of Negative and Positive Polarity Items, focusing on the acceptability conditions of PPIs of the some-type, and NPIs of the any-type. It argues that licensing has both a syntactic and a semantic component. On the syntactic side, the acceptability of PIs is checked in constituents; in fact, for any given PI, only some constituents, referred to as `domains', are eligible for the evaluation of that PI. The semantic dimension of licensing (...) consists in the sensitivity of PIs to the monotonicity properties of the syntactic environments they find themselves in. Two pieces of evidence support the semantic dimension of what I call the ‘environment-based’ approach defended here: PIs are subject to flip-flop and certain inferences affect their acceptability by modifying the monotonicity of their environment. A third property, called ‘entanglement’ and so far unnoticed, is described: the acceptability of PIs depends on the acceptability of other PIs in the same syntactic environment. The latter property is exploited to determine what semantic property some is sensitive to: it turns out that, contrary to the consensus among researchers, some is acceptable in the complement of the set of environments in which any is acceptable, and vice versa. (shrink)

Drawing on the work–family enrichment theory, the present study investigates the cross-domain effects of ethical leadership on employees’ family and life satisfaction. Moreover, it focuses on the mediating role of work–family enrichment and the moderated mediation process of family-supportive supervisor behaviors underlying the relationship between ethical leadership and employees’ family and life satisfaction. Using a sample of 371 employees and their immediate supervisors in China, we found that WFE mediated the relationship between ethical leadership and employee-rated and supervisor-rated family and (...) life satisfaction. Moreover, FSSB positively moderated the relationship between ethical leadership and WFE, such that the relationship was strengthened when FSSB were higher. Furthermore, the mediations of WFE between ethical leadership and employee-rated and supervisor-rated family and life satisfaction were also positively moderated by FSSB, such that the indirect effects were stronger when FSSB were higher. The theoretical and managerial implications of our findings are further discussed. (shrink)

The archetypal Rumely domain is the ring \widetildeZ of algebraic integers. Its constructible Boolean algebra is atomless. We study here the opposite situation: Rumely domains whose constructible Boolean algebra is atomic. Recursive models (which are rings of algebraic numbers) are proposed; effective model-completeness and decidability of the corresponding theory are proved.

In the nearly 30 years since Premack and Woodruff famously asked, “Does the chimpanzee have a theory of mind?”, the question of exactly how much non‐human primates understand about the mental lives of others has had an unusually dramatic history. As little as ten years ago it appeared that the answer would be a simple one, with early investigations of non‐human primates’ mentalistic abilities yielding a steady stream of negative findings. Indeed, by the mid‐1990s even very cautious researchers were ready (...) to flatly assert that Theory of Mind was a uniquely human capacity. Recently, however, an exciting new theoretical perspective on primate social cognition has arisen, and with it the distinct possibility that our evolutionary relatives may understand far more of the social world than we previously believed. In this paper we review new theory and evidence suggesting that non‐human primates may indeed represent the mental states of others, at least within the domains for which their distinctive social ecology has prepared them. Having asserted that Premack and Woodruff's original question can be answered with a qualified yes, we then consider the new questions that arise in its place, particularly how and why our own Theory of Mind became more domain‐general than that of other primates. (shrink)

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

a discussion of contextual factors determining the domains of quantifiers. Since the time it was written, much more satisfying work on the topic has been done by Stanley, Williamson, Bach, and Gauker.

The spatial organization of the genome is intimately linked to its biological function, yet our understanding of higher order genomic structure is coarse, fragmented and incomplete. In the nucleus of eukaryotic cells, interphase chromosomes occupy distinct.

We argue that a comprehensive theory of reciprocals must rely on a general taxonomy of restrictions on the interpretation of relational expressions. Developing such a taxonomy, we propose a new principle for interpreting reciprocals that relies on the interpretation of the relation in their scope. This principle, the Maximal Interpretation Hypothesis (MIH), analyzes reciprocals as partial polyadic quantifiers. According to the MIH, the partial quantifier denoted by a reciprocal requires the relational expression REL in its scope to denote a maximal (...) relation in REL’s interpretation domain. In this way the MIH avoids a priori assumptions on the available readings of reciprocal expressions, which are necessary in previous accounts. Relying extensively on the work of Dalrymple et al. (Ling Philos 21:159–210, 1998), we show that the MIH also exhibits some observational improvements over Dalrymple et al.’s Strongest Meaning Hypothesis (SMH). In addition to deriving some attested reciprocal interpretations that are not expected by the SMH, the MIH offers a more restrictive account of the way context affects the interpretation of reciprocals through its influence on relational domains. Further, the MIH generates a reciprocal interpretation at the predicate level, which is argued to be advantageous to Dalrymple et al.’s propositional selection of reciprocal meanings. More generally, we argue that by focusing on restrictions on relational domains, the MIH opens the way for a more systematic study of the ways in which lexical meaning, world knowledge and contextual information interact with the interpretation of quantificational expressions. (shrink)

Videogames present deep challenges for traditional concepts of sport and games. Cybersport in particular suggests that sport might be transposed into digital arenas, and videogames in general provide apparently striking counterexamples to the orthodox Suitsian theory of games, seeming to lack strictly prelusory goals and perhaps even also constitutive rules. I argue as follows: if any cybersports count as genuine sports, it will be those most closely resembling uncontroversial core instances of sport, those that essentially involve gross motor skill. Even (...) so, we might reject cybersports as sport by distinguishing physical skills’ domain of execution from their domain of application, sport implying the non-virtual status of both. Although, like chess, videogames appear to lack prelusory goals, chess conventions and nominal descriptions of the object of any videogame suggest the possibility of Suitsian compliance, as does the inclusion of ‘cheat codes’ in videogame programming. Perhaps such... (shrink)

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

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)

Domain constraint, the requirement that analogues be selected from "the same category," inheres in the popular saying "you can't compare apples and oranges" and the textbook principle "the greater the number of shared properties, the stronger the argument from analogy." I identify roles of domains in biological, linguistic, and legal analogy, supporting the account of law with a computer word search of judicial decisions. I argue that the category treatments within these disciplines cannot be exported to general informal logic, (...) where the relevance of properties, not their number, must be the logically prior criterion for evaluating analogical arguments. (shrink)

The purpose of this paper is to provide a simple yet comprehensive organizing scheme for the responsible conduct of research (RCR). The heuristic offered here should prove helpful in research ethics education, where the many and heterogeneous elements of RCR can be bewildering, as well as research into research integrity and efforts to form RCR policy and regulations. The six domains are scientific integrity, collegiality, protection of human subjects, animal welfare, institutional integrity, and social responsibility.

The proposition expressed by an utterance of a quantified sentence depends on a domain of discourse somehow determined by the context. How does the context of utterance determine the content of the domain of discourse? Many philosophers would approach this question from the point of view of an expressive theory of linguistic communication, according to which the primary function of language is to enable speakers to convey the propositional contents of their thoughts to hearers. This paper argues that from this (...) point of view there is no persuasive treatment of the determinants of the domain of discourse. The argument focuses on an abnormal case in which the domain the speaker has in mind is not evident to the hearer. In this way the question concerning the determinants of the domain of discourse is used to challenge the expressive theory of communication. (shrink)

Classical generalized quantifier (GQ) theory posits that quantificational determiners (Q-dets) combine with a nominal argument of type et, a first order predicate, to form a GQ. In a recent paper, Matthewson (2001) challenges this position by arguing that the domain of a Q-det is not of type et, but e, an entity. In this paper, I defend the classical GQ view, and argue that the data that motivated Matthewson’s revision actually suggest that the domain set can, and indeed in certain (...) languages must, be contextually restricted overtly. (shrink)

In this paper, I will defend a new compositional semantics for single-domain free logic. This semantics makes use of a distinction between the semantic value of a singular term and its semantic referent. The semantic value of a singular term is conceived of as a set that either contains the semantic referent or no element at all. The semantic referent is the object that the term designates. Before I will introduce this new semantics for single-domain predicate and an S5-type modal (...) logic in detail, I will present five related problems of compositionality of the standard semantics for these logical systems. After that I will show in detail how my new proposed alternative semantics can be used to solve nearly all of the outlined five problems. (shrink)

In the nearly 30 years since Premack and Woodruff famously asked, “Does the chimpanzee have a theory of mind?”, the question of exactly how much non-human primates understand about the mental lives of others has had an unusually dramatic history. As little as ten years ago it appeared that the answer would be a simple one, with early investigations of non-human primates’ mentalistic abilities yielding a steady stream of negative findings. Indeed, by the mid-1990s even very cautious researchers were ready (...) to flatly assert that Theory of Mind was a uniquely human capacity. Recently, however, an exciting new theoretical perspective on primate social cognition has arisen, and with it the distinct possibility that our evolutionary relatives may understand far more of the social world than we previously believed. In this paper we review new theory and evidence suggesting that non-human primates may indeed represent the mental states of others, at least within the domains for which their distinctive social ecology has prepared them. Having asserted that Premack and Woodruff's original question can be answered with a qualified yes, we then consider the new questions that arise in its place, particularly how and why our own Theory of Mind became more domain-general than that of other primates. (shrink)