We investigate the notion of definability with respect to a full satisfaction class σ for a model M of Peano arithmetic. It is shown that the σ-definable subsets of M always include a class which provides a satisfaction definition for standard formulas. Such a class is necessarily proper, therefore there exist recursively saturated models with no full satisfaction classes. Nonstandard extensions of overspill and recursive saturation are utilized in developing a criterion for nonstandard definability. Finally, these techniques yield some information (...) concerning the extendibility of full satisfaction classes from one model to another. (shrink)

We prove results about nonstandard formulas in models of Peano arithmetic which complement those of Kotlarski, Krajewski, and Lachlan in [KKL] and [L]. This enables us to characterize both recursive saturation and resplendency in terms of statements about nonstandard sentences. Specifically, a model M of PA is recursively saturated iff M is nonstandard and M-logic is consistent.M is resplendent iff M is nonstandard, M-logic is consistent, and every sentence φ which is consistent in M-logic is contained in a full satisfaction (...) class for M. Thus, for models of PA, recursive saturation can be expressed by a (standard) Σ 1 1 -sentence and resplendency by a ▵ 1 2 -sentence. (shrink)

We show that IE1 proves that every element greater than 1 has a unique factorization into prime powers, although we have no way of recovering the exponents from the prime powers which appear. The situation is radically different in Bézout models of open induction. To facilitate the construction of counterexamples, we describe a method of changing irreducibles into powers of irreducibles, and we define the notion of a frugal homomorphism into Ẑ = ΠpZp, the product of the p-adic integers for (...) each prime p. (shrink)

We show that $\mathrm{IE}_1$ proves that every element greater than 1 has a unique factorization into prime powers, although we have no way of recovering the exponents from the prime powers which appear. The situation is radically different in Bezout models of open induction. To facilitate the construction of counterexamples, we describe a method of changing irreducibles into powers of irreducibles, and we define the notion of a frugal homomorphism into $\hat\mathbb{Z} = \Pi_p\mathbb{Z}_p$, the product of the $p$-adic integers for (...) each prime $p$. (shrink)

Pancreatitis is a complex, progressively destructive inflammatory disorder. Alcohol was long thought to be the primary causative agent, but genetic contributions have been of interest since the discovery that rare PRSS1, CFTR and SPINK1 variants were associated with pancreatitis risk. We now report two associations at genome-wide significance identified and replicated at PRSS1-PRSS2 and X-linked CLDN2 through a two-stage genome-wide study. The PRSS1 variant likely affects disease susceptibility by altering expression of the primary trypsinogen gene. The CLDN2 risk allele is (...) associated with atypical localization of claudin-2 in pancreatic acinar cells. The homozygous CLDN2 genotype confers the greatest risk, and its alleles interact with alcohol consumption to amplify risk. These results could partially explain the high frequency of alcohol-related pancreatitis in men. © 2012 Nature America, Inc. All rights reserved. (shrink)

This is a review of Arnon Levy and Peter Godfrey-Smith's book, The Scientific Imagination.

This paper focuses on the issue of justice as a challenge facing business and society. I advance a simple deductive argument based on two premises. The first emerges out of theories of justice and holds that fairness, as a foundational basis for justice, demands impartiality or the avoidance of bias. The second emerges out of fiduciary law and holds that the duty of loyalty owed by managers to serve the interests of investors is fundamentally partial or biased. The conclusion is (...) the troubling fact that the fiduciary duty of loyalty owed by managers to serve the interests of investors appears to be incompatible with the demands of justice. Having presented this, I describe the impartiality tools of Rawls’ veil of ignorance and Adam Smith’s impartial spectator and discuss how these might be applied in this context. I speculate that while Smith’s impartial spectator is absolutely incommensurable with managers’ fiduciary duty of loyalty, Rawls’ veil of ignorance might be used to imagine a synthesis between this duty of loyalty and the impartiality demands of justice – in theory at least. And finally, as a parting shot, I wonder whether the real “Leadership Challenge that Matters” isn’t the gap between theory and reality. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

Many have claimed that ceteris paribus (CP) laws are a quite legitimate feature of scientific theories, some even going so far as to claim that laws of all scientific theories currently on offer are merely CP. We argue here that one of the common props of such a thesis, that there are numerous examples of CP laws in physics, is false. Moreover, besides the absence of genuine examples from physics, we suggest that otherwise unproblematic claims are rendered untestable by the (...) mere addition of the CP operator. Thus, “CP all Fs are Gs” when read as a straightforward statement of fact, cannot be the stuff of scientific theory. Rather, we suggest that when ``ceteris paribus'' appears in scientific works it plays a pragmatic role of pointing to more respectable claims. (shrink)

A large body of research has examined the relationship between moral intensity (MI) and the four‐component model of morality, typically, by separating MI into its constituent dimensions and regressing them individually against the four‐component model. This approach, however, violates the definition of MI as a single construct. To correct this problem, we develop and test a model of the impact of MI as a single, 6‐item formative construct. We find that when MI is taken into account, moral recognition is not (...) significant. MI does, however, serve as a strong trigger for judgment. We also determine that splitting MI into multiple factors does not significantly affect the results, confirming the assertion that MI is a single, coherent construct. (shrink)

Categorization and decision making are combined in a task with photorealistic faces. Two different types of face stimuli were assigned probabilistically into one of two fictitious groups; based on the category, faces were further probabilistically assigned to be hostile or friendly. In Part I, participants are asked to categorize a face into one of two categories, and to make a decision concerning interaction. A Markov model of categorization followed by decision making provides reasonable fits to Part I data. A Markov (...) model predicting decision making followed by categorization is rejected. In Part II, a no-parameter model predicts decisions using categorization and decision responses collected in separate trials, suggesting that Part 1 results are not an artifact of the presentation of categorization and decision questions within a single trial. Decisions concerning interaction (defensive/friendly) appear to be based on information from the category decision, and not from the face stimuli alone. (shrink)

The integration of biomedical terminologies is indispensable to the process of information integration. When terminologies are linked merely through the alignment of their leaf terms, however, differences in context and ontological structure are ignored. Making use of the SNAP and SPAN ontologies, we show how three reference domain ontologies can be integrated at a higher level, through what we shall call the OBR framework (for: Ontology of Biomedical Reality). OBR is designed to facilitate inference across the boundaries of domain ontologies (...) in anatomy, physiology and pathology. (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons for (...) robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

We propose Rhythmic Relating for autism: a system of supports for friends, therapists, parents, and educators; a system which aims to augment bidirectional communication and complement existing therapeutic approaches. We begin by summarizing the developmental significance of social timing and the social-motor-synchrony challenges observed in early autism. Meta-analyses conclude the early primacy of such challenges, yet cite the lack of focused therapies. We identify core relational parameters in support of social-motor-synchrony and systematize these using the communicative musicality constructs: pulse; quality; (...) and narrative. Rhythmic Relating aims to augment the clarity, contiguity, and pulse-beat of spontaneous behavior by recruiting rhythmic supports and relatable vitality; facilitating the predictive flow and just-ahead-in-time planning needed for good-enough social timing. From here, we describe possibilities for playful therapeutic interaction, small-step co-regulation, and layered sensorimotor integration. Lastly, we include several clinical case examples demonstrating the use of Rhythmic Relating within four different therapeutic approaches. These clinical case examples are introduced here and several more are included in the Supplementary Material. A suite of pilot intervention studies is proposed to assess the efficacy of combining Rhythmic Relating with different therapeutic approaches in playful work with individuals with autism. Further experimental hypotheses are outlined, designed to clarify the significance of certain key features of the Rhythmic Relating approach. (shrink)

We might think that thought experiments are at their most powerful or most interesting when they produce new knowledge. This would be a mistake; thought experiments that seek understanding are just as powerful and interesting, and perhaps even more so. A growing number of epistemologists are emphasizing the importance of understanding for epistemology, arguing that it should supplant knowledge as the central notion. In this chapter, I bring the literature on understanding in epistemology to bear on explicating the different ways (...) that thought experiments increase three important kinds of understanding: explanatory, objectual and practical. (shrink)

Sometimes we learn through the use of imagination. The epistemology of imagination asks how this is possible. One barrier to progress on this question has been a lack of agreement on how to characterize imagination; for example, is imagination a mental state, ability, character trait, or cognitive process? This paper argues that we should characterize imagination as a cognitive ability, exercises of which are cognitive processes. Following dual process theories of cognition developed in cognitive science, the set of imaginative processes (...) is then divided into two kinds: one that is unconscious, uncontrolled, and effortless, and another that is conscious, controlled, and effortful. This paper outlines the different epistemological strengths and weaknesses of the two kinds of imaginative process, and argues that a dual process model of imagination helpfully resolves or clarifies issues in the epistemology of imagination and the closely related epistemology of thought experiments. (shrink)

Imagination is important for many things in science: solving problems, interpreting data, designing studies, etc. Philosophers of imagination typically account for the productive role played by imagination in science by focusing on how imagination is constrained, e.g., by using self-imposed rules to infer logically, or model events accurately. But the constraints offered by these philosophers either constrain too much, or not enough, and they can never account for uses of imagination that are needed to break today’s constraints in order to (...) make progress tomorrow. Thus, epistemology of imagination needs to make room for an element of epistemological anarchy. (shrink)

What role does the imagination play in scientific progress? After examining several studies in cognitive science, I argue that one thing the imagination does is help to increase scientific understanding, which is itself indispensable for scientific progress. Then, I sketch a transcendental justification of the role of imagination in this process.

Scientists imagine for epistemic reasons, and these imaginings can be better or worse. But what does it mean for an imagining to be epistemically better or worse? There are at least three metaepistemological frameworks that present different answers to this question: epistemological consequentialism, deontic epistemology, and virtue epistemology. This paper presents empirical evidence that scientists adopt each of these different epistemic frameworks with respect to imagination, but argues that the way they do this is best explained if scientists are fundamentally (...) epistemic consequentialists about imagination. (shrink)

This is the introduction to the Routledge Companion to Thought Experiments.

In this article, we analyse the evidential value of the corpus of experimental philosophy. While experimental philosophers claim that their studies provide insight into philosophical problems, some philosophers and psychologists have expressed concerns that the findings from these studies lack evidential value. Barriers to evidential value include selection bias and p-hacking. To find out whether the significant findings in x-phi papers result from selection bias or p-hacking, we applied a p-curve analysis to a corpus of 365 x-phi chapters and articles. (...) Our results suggest that this corpus has evidential value, although there are hints of p-hacking in a few parts of the x-phi corpus. (shrink)

I claim that one way thought experiments contribute to scientific progress is by increasing scientific understanding. Understanding does not have a currently accepted characterization in the philosophical literature, but I argue that we already have ways to test for it. For instance, current pedagogical practice often requires that students demonstrate being in either or both of the following two states: 1) Having grasped the meaning of some relevant theory, concept, law or model, 2) Being able to apply that theory, concept, (...) law or model fruitfully to new instances. Three thought experiments are presented which have been important historically in helping us pass these tests, and two others that cause us to fail. Then I use this operationalization of understanding to clarify the relationships between scientific thought experiments, the understanding they produce, and the progress they enable. I conclude that while no specific instance of understanding (thus conceived) is necessary for scientific progress, understanding in general is. (shrink)

Thought experiments are a means of imaginative reasoning that lie at the heart of philosophy, from the pre-Socratics to the modern era, and they also play central roles in a range of fields, from physics to politics. The Routledge Companion to Thought Experiments is an invaluable guide and reference source to this multifaceted subject. Comprising over 30 chapters by a team of international contributors, the Companion covers the following important areas: -/- · the history of thought experiments, from antiquity to (...) the trolley problem and quantum non-locality; -/- · thought experiments in the humanities, arts, and sciences, including ethics, physics, theology, biology, mathematics, economics, and politics; -/- · theories about the nature of thought experiments; -/- · new discussions concerning the impact of experimental philosophy, cross-cultural comparison studies, metaphilosophy, computer simulations, idealization, dialectics, cognitive science, the artistic nature of thought experiments, and metaphysical issues. -/- This broad ranging Companion goes backwards through history and sideways across disciplines. It also engages with philosophical perspectives from empiricism, rationalism, naturalism, skepticism, pluralism, contextualism, and neo-Kantianism to phenomenology. This volume will be valuable for anyone studying the methods of philosophy or any discipline that employs thought experiments, as well as anyone interested in the power and limits of the mind. (shrink)