Let N be a transitive model of ZFC such that ωN ⊂ N and P(R) ⊂ N. Assume that both V and N satisfy "the core model K exists." Then KN is an iterate of K. i.e., there exists an iteration tree J on K such that J has successor length and $\mathit{M}_{\infty}^{\mathit{J}}=K^{N}$. Moreover, if there exists an elementary embedding π: V → N then the iteration map associated to the main branch of J equals π ↾ K. (This answers (...) a question of W. H. Woodin, M. Gitik, and others.) The hypothesis that P(R) ⊂ N is not needed if there does not exist a transitive model of ZFC with infinitely many Woodin cardinals. (shrink)

We show that the following conjecture about the universe V of all sets is wrong: for all set-theoretical (i.e., first order) schemata true in V there is a transitive set "reflecting" in such a way that the second order statement corresponding to is true in . More generally, we indicate the ontological commitments of any theory that exploits reflection principles in order to yield large cardinals. The disappointing conclusion will be that our only apparently good arguments for the existence of (...) large cardinals have bad presuppositions. (shrink)

This paper presents a challenge to conciliationist views of disagreement. I argue that conciliationists cannot satisfactorily explain why we need not revise our beliefs in response to certain moral disagreements. Conciliationists can attempt to meet this challenge in one of two ways. First, they can individuate disputes narrowly. This allows them to argue that we have dispute-independent reason to distrust our opponents’ moral judgment. This approach threatens to license objectionable dogmatism. It also inappropriately gives deep epistemic significance to superficial questions (...) about how to think about the subject matter of a dispute. Second, conciliationists can individuate disputes widely. This allows them to argue that we lack dispute-independent reason to trust our opponents’ moral judgment. But such arguments fail; our background of generally shared moral beliefs gives us good reason to trust the moral judgment of our opponents, even after we set quite a bit of our reasoning aside. On either approach, then, conciliationists should acknowledge that we have dispute-independent reason to trust the judgment of those who reject our moral beliefs. Given a conciliationist view of disagreement’s epistemic role, this has the unattractive result that we are epistemically required to revise some of our most intuitively secure moral beliefs. (shrink)

Aesthetic emotions are elicited by different sensory impressions generated by music, visual arts, literature, theater, film, or nature scenes. Recently, the AESTHEMOS scale has been developed to facilitate the empirical assessment of such emotions. In this article we report a semantic profile analysis of aesthetic emotion terms that had been used for the development of this scale, using the GRID approach. This method consists of obtaining ratings of emotion terms on a set of meaning facets which represent five components of (...) the emotion process. The aims here were to determine the dimensionality of the GRID features when applied to aesthetic emotions and compare it to published results for emotion terms in general, and to examine the internal organization of the domain of aesthetic emotion terms in order to identify salient clusters of these items based on the similarity of their feature profiles on the GRID. Exploratory Principal Component Analyses suggest a four-dimensional structure of the semantic space consisting of valence, power, arousal, and novelty, converging with earlier GRID studies on large sets of standard emotion terms. Using cluster analyses, 15 clusters of aesthetic emotion terms with similar GRID feature profiles were identified, revealing the internal organization of the aesthetic emotion terms domain and meaningful subgroups of aesthetic emotions. While replication for further languages is required, these findings provide a solid basis for further research and methodological development in the realm of aesthetic emotions. (shrink)

Let 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but $M_{n+1}^{\#}$ doesn't exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.

Background Although it is the moral duty of physicians to protect vulnerable patients, there are no data on how vulnerability is perceived in clinical practice. This study explores how physicians classify someone as “vulnerable”. Method Thirty-three physicians were initially questioned about resource allocation problems in their work. The results of these interviews were examined with qualitative study software to identify characteristics associated with vulnerability in patients. Data were conceptualized, classified and cross-linked to highlight the major determinants of vulnerability. The findings (...) revealed the principal factors that make patients vulnerable in clinical practice, according to our definition of vulnerability: the likelihood of having one’s interests unjustly considered. Results Vulnerability can arise as a result of a mismatch between the characteristics of patients and physicians, the healthcare system, the treatment, or the communication between physicians and patients. Vulnerability appears as a gap between a patient’s needs and the means intended to meet them. Vulnerability can further be the result of doing too little or too much for patients. This result suggests that structures provided by healthcare systems are not as differentiated as they should be to cover all situations. Our initial definition of vulnerability was illustrated and supported by our results, showing that it encompasses all factors involved, not solely personal characteristics, indicating the need for a more pragmatic approach for use in clinical practice. Conclusion Vulnerability is not due to a single factor but appears under certain circumstances when there is a discrepancy between a patient’s interests and the care provided, despite existing compensation systems. (shrink)

We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...) shown that this notion of paradoxicality coincides with that of Kripke. In order to track down the structural components of an rfg that are responsible for paradoxicality, we show that any decoration can be obtained in a three-stage process: first, the rfg is unfolded into a tree, second, the tree is decorated with truth values (yielding a dependence tree in the sense of Yablo), and third, the decorated tree is re-collapsed onto the rfg. We show that paradoxicality enters the picture only at stage three. Due to this we can isolate two basic patterns necessary for paradoxicality. Moreover, we conjecture a solution to the characterization problem for dangerous rfgs that amounts to the claim that basically the Liar- and the Yablo graph are the only paradoxical rfgs. Furthermore, we develop signed rfgs that allow us to distinguish between ‘positive’ and ‘negative’ reference and obtain more fine-grained versions of our results for unsigned rfgs. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

This paper presents the principal findings from a three-year research project funded by the US National Science Foundation on ethics of human enhancement technologies. To help untangle this ongoing debate, we have organized the discussion as a list of questions and answers, starting with background issues and moving to specific concerns, including: freedom & autonomy, health & safety, fairness & equity, societal disruption, and human dignity. Each question-and-answer pair is largely self-contained, allowing the reader to skip to those issues of (...) interest without affecting continuity. (shrink)

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis has important consequences (...) for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

If the Bounded Proper Forcing Axiom BPFA holds, then Mouse Reflection holds at N₂ with respect to all mouse operators up to the level of Woodin cardinals in the next ZFC-model. This yields that if Woodin's ℙ max axiom (*) holds, then BPFA implies that V is closed under the "Woodin-in-the-next-ZFC-model" operator. We also discuss stronger Mouse Reflection principles which we show to follow from strengthenings of BPFA, and we discuss the theory BPFA plus "NS ω1 is precipitous" and strengthenings (...) thereof. Along the way, we answer a question of Baumgartner and Taylor. [2, Question 6.11]. (shrink)

In this paper, I take a critical stance on the emerging field of nanoethics. After an introductory section, “Conceptual Foundations of Nanotechnology” considers the conceptual foundations of nanotechnology, arguing that nanoethics can only be as coherent as nanotechnology itself and then discussing concerns with this latter concept; the conceptual foundations of nanoethics are then explicitly addressed in “Conceptual Foundations of Nanoethics”. “Issues in Nanoethics” considers ethical issues that will be raised through nanotechnology and, in “What’s New?”, it is argued that (...) none of these issues is unique to nanotechnology. In “It’s a Revolution!”, I express skepticism about arguments which hold that, while the issues themselves might not be unique, they nevertheless are instantiated to such a degree that extant moral frameworks will be ill-equipped to handle them. In “What’s Different?”, I draw plausible distinctions between nanoethics and other applied ethics, arguing that these latter might well identify unique moral issues and, as such, distinguish themselves from nanoethics. Finally, in “What Now?”, I explore the conclusions of this result, ultimately arguing that, while nanoethics may fail to identify novel ethical concerns, it is at least the case that nanotechnology is deserving of ethical attention, if not a new associative applied ethic. (shrink)

While offering a public welcome of communicative participation, a communicative dark side of the moderate Enlightenment project emerged. Moderate Enlightenmentrsquo;s corollary companion to wresting power from a limited few is the staggering sense of confidence in the universal ground of assurance that is ldquo;bad faithrdquo; mdash;we fib to ourselves that we can stand above history and affect the future. Absolute conviction of universal access to truth propels through methodological confidence, undergirding the era of ldquo;the rationalrdquo; pursuit of truth, transporting the (...) individual into an ethereal delusionmdash;that one can stand above the historical moment of engagement and cast judgment. This essay calls into question the common assumption that communication begins with the individual. We offer a critique of this assumption in accordance with radical enlightenment scholarship, calling forth a return to Otherness that renders the construct of individual secondary to that which is met.br /. (shrink)

We give a direct and elementary proof of the fact that every real-valued probability measure can be approximated—up to an infinitesimal—by a hyperreal-valued one which is regular and defined on the whole powerset of the sample space.

We conducted the largest multiple-iteration retelling study to date (12,840 participants and 19,086 retellings) with two different studies that test how emotional appraisals are transmitted across retellings. We use a novel Bayesian model that tracks changes across retellings. Study 1 examines the preservation of appraisals of happy and sad stories and finds that retellings preserve the story’s degree of happiness and sadness even when length shrinks and aspects of story coherence and rationalisation deteriorate. Study 2 compared the transmission of appraisals (...) of happiness and sadness with embarrassment, disgust, and risk. Appraisals of happiness, sadness, and also embarrassment showed high appraisal preservation, while disgust and risk were not well preserved. We conclude that participants in our studies encoded happy and sad stories by encapsulating the events and details into an overall emotional appraisal of the story and that this processing strategy might also apply to stories involving other emotions like embarrassment. The emotional appraisal played a key role in retelling by helping to guide the selection, invention, and ordering of the story elements. Hence, we posit that emotion appraisals can operate as anchors for remembering and retelling stories, thus playing an important role in narrative communication. (shrink)

In Terrorism, Ticking Time-Bombs, and Torture, Fritz Allhoff demonstrates the weakness of the case against torture; while allowing that torture constitutes a moral wrong, he nevertheless argues that, in exceptional cases, it represents the ...

This essay presents some general background on nanomedicine, particularly focusing on some of the investment that is being made in this emerging field. The bulk of the essay, however, consists of explorations of two areas in which the impacts of nanomedicine are likely to be most significant: diagnostics and medical records and treatment, including surgery and drug delivery. Each discussion includes a survey some of the ethical and social issues that are likely to arise in these applications.

This article proposes a three-step model of empathy. It assumes that people have various empathy-related mechanisms available and thus can be described as hyper-empathic (Step 1). Under these conditions, the question of blocking and controlling empathy becomes a central issue to channel empathic attention and to avoid self-loss (Step 2). It is assumed that empathy can be sustained only when these mechanisms of controlling empathy are bypassed (Step 3). In particular, the article proposes a three-person scenario with one observing a (...) conflict of two others. By taking the side of one of the combatants, the observer is led into empathizing, perhaps to justify her/his earlier side-taking. (shrink)

We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence is (...) the Determinacy Transfer Theorem for arbitrary [Formula: see text], namely the statement that [Formula: see text] determinacy implies [Formula: see text] determinacy. (shrink)

We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence is (...) the Determinacy Transfer Theorem for arbitrary [Formula: see text], namely the statement that [Formula: see text] determinacy implies [Formula: see text] determinacy. (shrink)

We isolate natural strengthenings of Bounded Martin’s Maximum which we call ${\mathsf{BMM}}^{*}$ and $A-{\mathsf{BMM}}^{*,++}$, and we investigate their consequences. We also show that if $A-{\mathsf{BMM}}^{*,++}$ holds true for every set of reals $A$ in $L$, then Woodin’s axiom $$ holds true. We conjecture that ${\mathsf{MM}}^{++}$ implies $A-{\mathsf{BMM}}^{*,++}$ for every $A$ which is universally Baire.

In this paper, I argue for the permissibility of torture in idealized cases by application of separation of cases: if torture is permissible given any of the dominant moral theories (and if one of those is correct), then torture is permissible simpliciter and I can discharge the tricky business of trying to adjudicate among conflicting moral views. To be sure, torture is not permissible on all the dominant moral theories as at least Kantianism will prove especially recalcitrant to granting moral (...) license of torture, even in idealized cases. Rather than let the Kantian derail my central argument, I directly argue against Kantianism (and other views with similar commitments) on the grounds that, if they cannot accommodate the intuitions in ticking time-bomb cases, they simply cannot be plausible moral views—these arguments come in both foundationalist and coherentist strains. Finally, I postulate that, even if this paper has dealt with idealized cases, it paves the way for the justification of torture in the real world by removing some candidate theories (e.g., Kantianism) and allowing others that both could and are likely to justify real-world torture. (shrink)

What requirements must deflationary formal theories of truth satisfy? This chapter argues against the widely accepted view that compositional and Tarskian theories of truth are substantial or otherwise unacceptable to deflationists. First, two purposes that a formal truth theory can serve are distinguished: one descriptive, the other logical (i.e., to characterise the correctness of inferences involving ‘true’). The chapter argues that the most compelling arguments for the incompatibility of compositional and Tarskian theories concern descriptive theories only. -/- Second, two requirements (...) that any deflationist truth theory intended to serve a logical purpose must satisfy are put forward. These requirements, it is argued, suggest that (i) many well-known compositional and Tarskian theories are acceptable from a deflationist standpoint (including CT); (ii) certain other popular theories of truth (including KF and FS) are not similarly acceptable; (iii) there are no conclusive reasons to impose a conservativeness requirement on deflationary theories of truth. (shrink)

: Genetic interventions raise a host of moral issues and, of its various species, germ-line genetic enhancement is the most morally contentious. This paper surveys various arguments against germ-line enhancement and attempts to demonstrate their inadequacies. A positive argument is advanced in favor of certain forms of germ-line enhancements, which holds that they are morally permissible if and only if they augment Rawlsian primary goods, either directly or by facilitating their acquisition.

Computer simulation is shown to be philosophically interesting because it introduces a qualitatively new methodology for theory construction in science different from the conventional two components of "theory" and "experiment and/or observation". This component is "experimentation with theoretical models." Two examples from the physical sciences are presented for the purpose of demonstration but it is claimed that the biological and social sciences permit similar theoretical model experiments. Furthermore, computer simulation permits theoretical models for the evolution of physical systems which use (...) cellular automata rather than differential equations as their syntax. The great advantages of the former are indicated. (shrink)

On the one hand, bluffing in business seems to bear a strong resemblance to lying, and therefore might be thought to be prima facie impermissible. On the other, many people have the intuition that bluffing is an appropriate and morally permissible negotiating tactic. Given this tension, what is the moral standing of bluffing in business? In this paper, I will consider influential accounts of both Albert Carr and Thomas Carson, and I will present my criticisms thereof. Drawing off of these (...) accounts, I will then develop my own argument as to why bluffing in business is morally permissible, which will be that bluffing is a practice that should be endorsed by all rational negotiators. (shrink)

When people retell stories, what guides their retelling? Most previous research on story retelling and story comprehension has focused on information accuracy as the key measure of stability in transmission. This paper suggests that there is a second, affective, dimension that provides stability for retellings, namely the audience affect of surprise. In a large-sample study with multiple iterations of retellings, we found evidence that people are quite accurate in preserving all degrees of surprisingness in serial reproduction – even when the (...) event that produced the surprisingness in the original story is dropped or changed. Thus, we propose that the preservation of affect is an implicit goal of retelling: not merely do retellers recall highly surprising events better, but rather they register all levels of surprisingness precisely and aim to surprise their implied audience to same degree. This study used 2,389 participants. (shrink)

It is demonstrated that the reduction of a physical theory S to another one, T, in the sense that S can be derived from T holds in general only for the mathematical framework. The interpretation of S and the associated central terms cannot all be derived from those of T because of the qualitative differences between the cognitive levels of S and T. Their cognitively autonomous status leads to an epistemic as well as an ontological pluralism. This pluralism is consistent (...) with the unity of nature in the sense of a substantive monism. (shrink)

In this paper, I argue for the permissibility of torture in idealized cases by application of separation of cases: if torture is permissible given any of the dominant moral theories (and if one of those is correct), then torture is permissible simpliciter and I can discharge the tricky business of trying to adjudicate among conflicting moral views. To be sure, torture is not permissible on all the dominant moral theories as at least Kantianism will prove especially recalcitrant to granting moral (...) license of torture, even in idealized cases. Rather than let the Kantian derail my central argument, I directly argue against Kantianism (and other views with similar commitments) on the grounds that, if they cannot accommodate the intuitions in ticking time-bomb cases, they simply cannot be plausible moral views—these arguments come in both foundationalist and coherentist strains. Finally, I postulate that, even if this paper has dealt with idealized cases, it paves the way for the justification of torture in the real world by removing some candidate theories (e.g., Kantianism) and allowing others that both could and are likely to justify real-world torture. (shrink)

A two boundary quantum mechanics without time ordered causal structure is advocated as consistent theory. The apparent causal structure of usual “near future” macroscopic phenomena is attributed to a cosmological asymmetry and to rules governing the transition between microscopic to macroscopic observations. Our interest is a heuristic understanding of the resulting macroscopic physics.

We generalize ∇(A), which was introduced in [Sch∞], to larger cardinals. For a regular cardinal κ>ℵ0 we denote by ∇ κ (A) the statement that and for all regular θ>κ, is stationary in It was shown in [Sch∞] that can hold in a set-generic extension of L. We here prove that can hold in a set-generic extension of L as well. In both cases we in fact get equiconsistency theorems. This strengthens results of [Rä00] and [Rä01]. is equivalent with the (...) existence of 0#. (shrink)

Nanoethics is a contentious field for several reasons. Some believe it should not be recognized as a proper area of study, because they believe that nanotechnology itself is not a true category but rather an amalgamation of other sciences, such as chemistry, physics, and engineering. Critics also allege that nanoethics does not raise any new issues but rather revisits familiar ones such as privacy. This paper answers such criticisms and sets the context for the papers that follow in this nanoethics (...) symposium. (shrink)

After the events of 9/11, the concept of torture has emerged as one that is both pertinent and provoking. National polls have shown that some Americans support torture in some situations, though the majority still stand opposed. Torture has not received a tremendous amount of discussion in the philosophical literature, though I suspect that the leftward slant of academia would, for the most part, ensure limited support for torture. In this paper, I would like to first discuss why torture is (...) an important issue and then advance an argument that supports torture in limited cases. (shrink)

This paper investigates the moral permissibility of torture. After briefly considering some empirical evidence, it discusses the conflict between deontological and consequentialist approaches to torture. It is argued that, even if we are to take rights seriously, torture should at least be allowed if some conditions are satisfied. Finally, the paper discusses what those conditions should be and what sorts of torture are morally permissible.