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.

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)

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)

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.

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)

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)

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.

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)

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.

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)

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)

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)

We examine whether a taxpayer’s decision to choose a taxpayer-favorable characterization of income is associated with contextual and individual dimensions of that decision. Using a 2 × 2 factorial experimental design, we manipulate the prevailing social norm on whether there is a general belief that a specific form of income should be characterized as a capital gain or as ordinary income, and the group affiliation on whether the individual is making a tax characterization decision as a sole proprietor or as (...) a member of a group practice. Moreover, we measure participants’ fairness perception of characterizing the income as capital gains versus ordinary. We study the decisions of 180 graduate business and accounting students from two US business schools to explore these dimensions using a tax-ambiguous income situation. Results indicate that both contextual and individual dimensions impact taxpayer decisions. Specifically, the social norm and fairness perception of characterizing income as capital gains affects the likelihood of choosing such a characterization. Being a sole proprietor or a member of a group practice does not have any significant main effect. However, relative to all other conditions, taxpayers are most likely to characterize income as capital gains when both the social norms are for capital gains characterization and when the taxpayer is a member of a group practice. Results remain largely robust to a variety of alternative explanations. We conclude the paper with a discussion of our findings and their implications for tax policy, enforcement, and research. (shrink)

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)

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)

Both Michel Foucault and Barbara Cassin address Aristotle’s thought and the 5th century BCE sources attributed to the rhetorician Gorgias in order to reconstruct the history of the strategic exclusion of the Sophistics from the Western philosophical tradition. They retrace the scene of the rhetoric agon that Aristotle engaged with Gorgias. Both theorists’ arguments illuminate that the sophist has formulated an original account of political theatricality by talking about the scenes of the logos.

This article discusses some aspects of the practice of complementary and traditional medicine in urban Mexico through a transcultural paradigm, hence it focuses on how medical knowledge(s) are commodified as well as how a `travelling' medical knowledge acquires agency in a transculturation process. This study, while analysing different practices of Chinese and Japanese medicine, argues that oriental medicine is translated in at least two ways - a popular and a cosmopolitan form - that shape particular expressions of citizenship. The popular (...) form is carried out in low-income neighbourhoods and it focuses around a `Mexicanization' of oriental medicine and the reaffirmation of the popular as part of the national. Cosmopolitan medicine, on the other hand, is particularly practised in exclusive health spas and seeks to purge the popular out of the national and to incorporate `traditional' medicine as one of the multiple components of cosmopolitan consumption. The article argues that both popular and cosmopolitan expressions are important to understanding how complementary and oriental medicine have become not only part of a global market, but also part of a particular history of national and popular medical systems. (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.