We consider a recursive model and an additional recursive relation R on its domain, such that there are uncountably many different images of R under isomorphisms from to some recursive model isomorphic to . We study properties of the set of Turing degrees of all these isomorphic images of R on the domain of.

In the past few years, behavioural, neuroimaging and neurophysiological studies have been suggesting that Embodied Simulation represents a constitutive feature of language understanding. However, this claim is still controversial, as is the definition of Embodied Simulation. In this paper, I aim at providing a more suitable definition of Embodied Simulation. I will then apply this definition to the study of bodily metaphors. Embodied Simulation gets us attuned with our social world and it provides us with both a brain and bodily (...) disposition, which is the starting point of many cognitive processes. Exploitation of the mechanism of simulation is particularly evident in the linguistic phenomenon of metaphors. Bodily metaphors are often so successful because they exploit this mechanism of brain and bodily attunement, enacted by means of Embodied Simulation. The role of Embodied Simulation and its importance for metaphor comprehension can be explained in two points: (1) Embodied Simulation allows speakers to share a bodily attitude during communicative exchanges; (2) by means of Embodied Simulation speakers directly experience the source domain during metaphorical mapping. (shrink)

Regulatory schema has shifted from government to governance-based systems. One particular form that has emerged at the international level is the multi-stakeholder voluntary code of conduct (MSVC). We argue that such codes are not only simply mechanisms by which various stakeholders attempt to govern the action of the corporation but also systems by which each stakeholder attempts to gain or retain some legitimacy goal. Each stakeholder is motivated by strategic legitimacy goal to join the code, and once a member, is (...) also required to assist in maintaining the institutional legitimacy of the code, resulting in “networked legitimacy.” We begin our analysis of these systems by first exploring the growth and structure of such MSVCs, and then building an analytical framework using strategic and institutional legitimacy as they apply to such MSVCs. We contribute to the codes of conduct literature by developing the construct of networked legitimacy from strategic and institutional legitimacy. We then apply our framework to the United Nations Global Compact, one of the predominant MSVCs today. In doing so, we: (1) demonstrate how different stakeholders are pursuing different types of legitimacy through their participation in the code, (2) examine the specific opportunities and risks in terms of what we have called “networked legitimacy” posed by the institutional design of actual MSVCs, and (3) create an argument for three pillars supporting the legitimacy of MSVCs. (shrink)

We construct a recursive model , a recursive subset R of its domain, and a Turing degree x 0 satisfying the following condition. The nonrecursive images of R under all isomorphisms from to other recursive models are of Turing degree x and cannot be recursively enumerable.

Ontologies represent the standard way to model the knowledge about specific domains. This holds also for the legal domain where several ontologies have been put forward to model specific kinds of legal knowledge. Both for standard users and for law scholars, it is often difficult to have an overall view on the existing alternatives, their main features and their interlinking with the other ontologies. To answer this need, in this paper, we address an analysis of the state-of-the-art in legal ontologies (...) and we characterise them along with some distinctive features. This paper aims to guide generic users and law experts in selecting the legal ontology that better fits their needs and in understanding its specificity so that proper extensions to the selected model could be investigated. (shrink)

The paper addresses the problem of imaginative resistance in science, that is, why and under what circumstances imagination sometimes resists certain scenarios. In the first part, the paper presents and discusses two accounts concerning the problem and relevant for the main thesis of this study. The first position is that of Gendler (Journal of Philosophy 97:55–81, 2000), (Gendler, in: Nichols (ed) The Architecture of the Imagination: New essays on pretence, possibility and fiction, Oxford University Press, New York, 2006a), (Gendler & (...) Liao, in: Gibson, Carroll (eds) The routledge companion to philosophy of literature, Routledge, New York, 2016), according to which imaginative resistance mainly concerns evaluative scenarios, presenting deviant moral attitudes. The second account examined is that of Kim et al. (in: Cova, Réhault (eds) Advances in experimental philosophy of aesthetics, Bloomsbury, London, 2018), who insisted on the link between imaginative resistance on the one hand and counterfactual and counterdescriptive scenarios on the other. In the light of both theories, this paper discusses the importance of addressing the problem of imaginative resistance in the scientific enterprise in the light of some mechanisms of embodied simulation, based on the activity of mirror neurons and investigated within the framework of the Embodied Simulation Theory. (shrink)

In this commentary, I argue that the cognitive-emotional framework put forward by Pessoa (2013) can be successfully applied to psychopathology and, in particular, to the reasoning of delusional subjects. More specifically, I show that the notion of executive competition offers a significant contribution to the idea that delusions may involve both executive and emotional dysfunctions.

A cohesive power of a structure is an effective analog of the classical ultrapower of a structure. We start with a computable structure, and consider its effective power over a cohesive set of natural numbers. A cohesive set is an infinite set of natural numbers that is indecomposable with respect to computably enumerable sets. It plays the role of an ultrafilter, and the elements of a cohesive power are the equivalence classes of certain partial computable functions determined by the cohesive (...) set. Thus, unlike many classical ultrapowers, a cohesive power is a countable structure. In this paper we focus on cohesive powers of graphs, equivalence structures, and computable structures with a single unary function satisfying various properties, which can also be viewed as directed graphs. For these computable structures, we investigate the isomorphism types of their cohesive powers, as well as the properties of cohesive powers when they are not isomorphic to the original structure. (shrink)

Rotating shifts are common among nurses to ensure continuity of care. This scheduling system encompasses several adverse health and performance consequences. One of the most injurious effects of night-time shift work is the deterioration of sleep patterns due to both circadian rhythm disruption and increased sleep homeostatic pressure. Sleep problems lead to secondary effects on other aspects of wellbeing and cognitive functioning, increasing the risk of errors and workplace accidents. A wide range of interventions has been proposed to improve the (...) sleep quality of nurses and promote an increase in attention levels. In recent years, particular attention has been paid to individual and environmental factors mediating the subjective ability to cope with sleep deprivation during the night shift. Given the predictive role of these factors on the negative impact of a night shift, an individualized intervention could represent an effective countermeasure by ensuring suitable management of shift schedules. Therefore, the aims of this mini-review are to: provide an updated overview of the literature on sleep problems in night shift nurses and their adverse consequences; and critically analyze the psychosocial factors that mediate the negative impact of shift work with the ultimate goal of defining an effective countermeasure based on an individualized approach. (shrink)

R. Shore proved that every recursively enumerable set can be split into two nowhere simple sets. Splitting theorems play an important role in recursion theory since they provide information about the lattice ϵ of all r. e. sets. Nowhere simple sets were further studied by D. Miller and J. Remmel, and we generalize some of their results. We characterize r. e. sets which can be split into two effectively nowhere simple sets, and r. e. sets which can be split into (...) two r. e. non-nowhere simple sets. We show that every r. e. set is either the disjoint union of two effectively nowhere simple sets or two noneffectively nowhere simple sets. We characterize r. e. sets whose every nontrivial splitting is into nowhere simple sets, and r. e. sets whose every nontrivial splitting is into effectively nowhere simple sets. R. Shore proved that for every effectively nowhere simple set A, the lattice L* is effectively isomorphic to ϵ*, and that there is a nowhere simple set A such that L* is not effectively isomorphic to ϵ*. We prove that every nonzero r. e. Turing degree contains a noneffectively nowhere simple set A with the lattice L* effectively isomorphic to ϵ*. (shrink)

En este artículo se resaltan las semejanzas entre el teatro griego de los siglos V y IV A.C, y los aspectos dramáticos de la Apología de Sócrates y el Banquete de Platón, argumentando a favor del carácter filosófico de aspectos como la puesta en escena y el manejo de los personajes. Parahacerlo se replantea la relación entre la obra de Platón y la de los poetas, cambiando el foco de atención de su famosa censura a las representaciones teatrales, para iluminar (...) su empleo de mecanismos dramatúrgicos articulados con planteamientos éticos y políticos. Se concluye que Platón utiliza recursos del teatro griego, pero los extrapola y los transforma creando un nuevo tipo de drama. (shrink)

Quelle est la place du scepticisme dans l'œuvre d'un philosophe des Lumières comme Denis Diderot? Cet ouvrage vise à mettre en évidence les caractéristiques de la réception des instances sceptiques dans les œuvres de Diderot. L'analyse prend en considération l'ensemble du corpus diderotien, y compris sa contribution à l'Encyclopédie. L'objectif est aussi de montrer que la méthode sceptique de Diderot, qui consiste en l'usage de certaines argumentations, mais aussi en un ensemble de choix stylistiques, permet de mieux interpréter certaines spécificités (...) de sa pensée philosophique et de son matérialisme. Une meilleure compréhension du rôle du scepticisme dans la pensée de Diderot vise à apporter une contribution aux études sur ce qu'on définit comme le scepticisme des Lumières, en montrant qu'il serait plus exact de parler de scepticismes au pluriel, en raison des différences qui subsistent parmi les philosophes. Pour cette raison, ce livre propose des confrontations entre Diderot et ses sources sceptiques, mais aussi avec d'autres philosophes de son époque comme Montesquieu, Voltaire, D'Alembert et Hume"--Page 4 of cover. (shrink)

With every new recursive relation R on a recursive model , we consider the images of R under all isomorphisms from to other recursive models. We call the set of Turing degrees of these images the degree spectrum of R on , and say that R is intrinsically r.e. if all the images are r.e. C. Ash and A. Nerode introduce an extra decidability condition on , expressed in terms of R. Assuming this decidability condition, they prove that R is (...) intrinsically r.e. if and only if a natural recursive-syntactic condition is satisfied. We show that, while a recursive non-intrinsically r.e. relation may have a two element degree spectrum, a non-intrinsically r.e. relation which satisfies the Ash–Nerode decidability condition has an infinite degree spectrum. We also study several related decidability conditions and their effects on the degree spectra, including some conditions which are sufficient to obtain every r.e. degree in a spectrum. (shrink)

According to several researchers, core affect lies at the foundation of our affective lives and may be characterized as a consciously accessible state combining arousal (activated-deactivated) and valence (pleasure-displeasure). The interaction between these two dimensions is still a matter of debate. In this paper we provide a novel hypothesis concerning their interaction, by arguing that subjective arousal levels modulate the experience of a stimulus’ affective quality. All things being equal, the higher the arousal, the more a given stimulus would be (...) experienced as pleasant (or unpleasant). While marshaling some preliminary evidence in favor of this hypothesis, we also show how it might be relevant in reframing our conception of depressive disorders (i.e., major and bipolar depression). (shrink)

We propose a simple computational model that describes potential mechanisms underlying the organization and development of the lexical-semantic system in 18-month-old infants. We focus on two independent aspects: (i) on potential mechanisms underlying the development of taxonomic and associative priming, and (ii) on potential mechanisms underlying the effect of Inter Stimulus Interval on these priming effects. Our model explains taxonomic priming between words by semantic feature overlap, whereas associative priming between words is explained by Hebbian links between semantic representations derived (...) from co-occurrence relations between words (or their referents). From a developmental perspective, any delay in the emergence of taxonomic priming compared to associative priming during infancy seems paradoxical since feature overlap per se need not be learned. We address this paradox in the model by showing that feature overlap itself is an emergent process. The model successfully replicates infant data related to Inter Stimulus Interval effects in priming experiments and makes testable predictions. (shrink)

Existing evidence suggests that children from around the age of 8 years strategically alter their public image in accordance with known values and preferences of peers, through the self-descriptive information they convey. However, an important but neglected aspect of this 'self-presentation' is the medium through which such information is communicated: the voice itself. The present study explored peer audience effects on children's vocal productions. Fifty-six children (26 females, aged 8-10 years) were presented with vignettes where a fictional child, matched to (...) the participant's age and sex, is trying to make friends with a group of same-sex peers with stereotypically masculine or feminine interests (rugby and ballet, respectively). Participants were asked to impersonate the child in that situation and, as the child, to read out loud masculine, feminine and gender-neutral self-descriptive statements to these hypothetical audiences. They also had to decide which of those self-descriptive statements would be most helpful for making friends. In line with previous research, boys and girls preferentially selected masculine or feminine self-descriptive statements depending on the audience interests. Crucially, acoustic analyses of fundamental frequency and formant frequency spacing revealed that children also spontaneously altered their vocal productions: they feminized their voices when speaking to members of the ballet club, while they masculinized their voices when speaking to members of the rugby club. Both sexes also feminized their voices when uttering feminine sentences, compared to when uttering masculine and gender-neutral sentences. Implications for the hitherto neglected role of acoustic qualities of children's vocal behaviour in peer interactions are discussed. This article is part of the theme issue 'Voice modulation: from origin and mechanism to social impact (Part II)'. (shrink)

This is a comprehensive analysis of the idea of libertas and its conflicting uses in the political struggles of the late Roman Republic. By reconstructing Roman political thinking about liberty against the background of Classical and Hellenistic thought, it excavates two distinct intellectual traditions on the means allowing for the preservation and the loss of libertas. Considering the interplay of these traditions in the political debates of the first century BC, Dr Arena offers a significant reinterpretation of the political struggles (...) of the time as well as a radical reappraisal of the role played by the idea of liberty in the practice of politics. She argues that, as a result of its uses in rhetorical debates, libertas underwent a form of conceptual change at the end of the Republic and came to legitimise a new course of politics, which led progressively to the transformation of the whole political system. (shrink)

The epistolary exchanges of early modern natural history have long been of interest to historians of science, as they reflect the dynamic nature of the emergent discipline better than the printed volumes of natural history. Less attention, at least until recently, has been paid to the unfinished pieces, the cryptic marginalia, and the practical notes that more often than not accompanied letters. Lists of specimens sent or requested were among the new tools at the naturalist's disposal for dealing with a (...) scientific world increasingly populated by objects. This essay seeks to reconstruct the genealogy of specimen lists by focusing on little-known apothecaries in northern Italy: the individuals traditionally held to be social counterparts to these modest strings of words. It seems that the operations at the back of the shop and the literature generated by the centuries-old drug and spice trades may have been a more defining influence on early modern naturalists than the humanist practices of indexing and commonplacing that were concurrently embraced by Italian studiosi. (shrink)

Islam and Its Past: Jahiliyya, Late Antiquity, and the Qurʾan. Edited by Carol Bakhos and Michael Cook. Oxford Studies in the Abrahamic Religions. Oxford: oxford University Press, 2017. Pp. ix + 267. $85, £65.

Let be an infinite computable structure, and let R be an additional computable relation on its domain A. The syntactic notion of formal hypersimplicity of R on , first introduced and studied by Hird, is analogous to the computability-theoretic notion of hypersimplicity of R on A, given the definability of certain effective sequences of relations on A. Assuming that R is formally hypersimple on , we give general sufficient conditions for the existence of a computable isomorphic copy of on whose (...) domain the image of R is hypersimple and of arbitrary nonzero computably enumerable Turing degree. (shrink)

The contemporary State power is concentrated in the hands of the legislative, executive and judicial powers, which is traditionally referred to as the principle of the division of State power. The separation of State power and the attribution of the function of the interpretation and application of statutory law to courts were like “letting the genie out of the bottle”. Having started with a mechanical application of the statutory law, the courts, armed with various doctrines on interpretation of law, have (...) in the meantime started creating rules themselves and turned into rivals to the legislator. In addition to having started making the law, the courts have also begun exerting control over both the legislative (constitutional justice) and the executive (administrative justice) powers. The acknowledgement of the fact that by interpreting and applying the law, the court is simultaneously making it, gives rise to a host of questions, e.g.: if the court is the guardian of law, who is the guardian of the court? How to separate the interpretation of law from its creation? If the court acts as a lawmaker, then maybe in future, the court will turn into a sole lawmaker?, etc. (shrink)

A study on the complex relationship between Platonism and the East, and on the Neoplatonic interpretations of some eastern cults in the Roman world, including Isis, Magna Mater, Mithras, and Sol Invictus.

In this paper I will discuss the extent to which Umberto Eco’s Semiotics maintains the unstable and oscillatory equilibrium between conflicting matrices that is proper to humorous thinking and ambiguous figures such as the famous duck-rabbit illusion and Penrose’s impossible trident. To do so I shall summon the concept of bisociation (Koestler 1964): though never an item of Eco’s own philosophical toolbox, bisociation plays an important role in the creation of some of Eco’s most innovative theoretical contributions, insofar as they (...) result from a possible/impossible graft between Structuralism and Pragmatism. For each, the question will be whether the implant produces self-consistent theoretical amalgams, or whether some degree of contradiction inevitably remains to generate the abovementioned duck-rabbit effect. I shall then analyse the role that such residual incongruities play in a theory that thrives on the self-voiding logic of humorous short-circuits. (shrink)

In recent literature there is unanimous agreement about children's pragmatic competence in drawing scalar implicatures about some , if the task is made easy enough. However, children accept infelicitous some sentences more often than adults do. In general their acceptance is assumed to be synonymous with a logical interpretation of some as a quantifier. But in our view an overlap with some as a determiner in under-informative sentences cannot be ruled out, given the ambiguity of the experimental instructions and the (...) attitude of trust by children in adults. Our study investigated this hypothesis with different experimental manipulations. We found that when the experimenter's intentions are clear (Experiment 1, all / some order effect; Experiments 2 and 4, conditions 2 and 3), under-informative sentences are usually rejected; otherwise (Experiment 1, some / all order effect; Experiments 3 and 4, control condition) they are accepted. However, analysis of verbal protocols indicated that pragmatically infelicitous sentences are accepted, with some interpreted mostly as a determiner, irrespective of the function of some as a quantifier. Acceptance is not in itself synonymous with a logical interpretation of some as a quantifier. (shrink)

We tested the plausibility of a cognitive-emotional model to understand the effects of messages framed in terms of gain, non-loss, non-gain, and loss, and related to the health consequences of red/processed meat consumption. A total of 544 Italian participants reported their attitude toward reduced red/processed meat consumption and intention to eat red/processed meat. One week later, participants were randomly assigned to four different message conditions: gain messages focused on the positive health outcomes associated with low meat consumption; non-loss messages focused (...) on the avoided negative health outcomes associated with low meat consumption; non-gain messages focused on the missed positive health outcomes associated with high meat consumption; loss messages focused on the negative health outcomes associated with high meat consumption. After reading the messages, participants answered a series of questions regarding their emotional and cognitive reactions to the messages, their evaluation of the messages, and again their attitude and intention toward red/processed meat consumption. Comparing different multivariate linear models under the Bayesian approach, we selected the model with the highest plausibility conditioned to observed data. In this model, message-induced fear influenced systematic processing, which in turn positively influenced message evaluation and attitude, leading to reduced intention to consume red/processed meat. Vice versa, message-induced anger reduced systematic processing, which in turn negatively influenced message evaluation, and led to no effect on attitude and intention. The comparison among message conditions showed that gain and non-loss messages activated integrated emotional and cognitive processing of the health recommendation, while loss and non-gain messages mainly activated emotional shortcuts toward attitude and intention. Overall, these results advance our comprehension of the effects of message framing on receivers' attitudes and intentions. (shrink)

Computable model theory, also called effective or recursive model theory, studies algorithmic properties of mathematical structures, their relations, and isomorphisms. These properties can be described syntactically or semantically. One of the major tasks of computable model theory is to obtain, whenever possible, computability-theoretic versions of various classical model-theoretic notions and results. For example, in the 1950's, Fröhlich and Shepherdson realized that the concept of a computable function can make van der Waerden's intuitive notion of an explicit field precise. This led (...) to the notion of a computable structure. In 1960, Rabin proved that every computable field has a computable algebraic closure. However, not every classical result “effectivizes”. Unlike Vaught's theorem that no complete theory has exactly two nonisomorphic countable models, Millar's and Kudaibergenov's result establishes that there is a complete decidable theory that has exactly two nonisomorphic countable models with computable elementary diagrams. In the 1970's, Metakides and Nerode [58], [59] and Remmel [71], [72], [73] used more advanced methods of computability theory to investigate algorithmic properties of fields, vector spaces, and other mathematical structures. (shrink)