We extend the theory of “Fine structure and iteration trees” to models having more than one Woodin cardinal.

Let M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} be a fine structural mouse. Let D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document} be a fully backgrounded L[E]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L[\mathbb{E}]}$$\end{document}-construction computed inside an iterable coarse premouse S. We describe a process comparing M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} with D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{D}}$$\end{document}, through forming iteration trees on M\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{M}}$$\end{document} and on S. We then prove that this process succeeds. (shrink)

Investigations into the neurobiology of moral cognition are often done by examining clinical populations characterized by diminished moral emotions and a proclivity toward immoral behavior. Psychopathy is the most common disorder studied for this purpose. Although cocaine abuse is highly co-morbid with psychopathy and cocaine-dependent individuals exhibit many of the same abnormalities in socio-affective processing as psychopaths, this population has received relatively little attention in moral psychology. To address this issue, the authors used functional magnetic resonance imaging (fMRI) to record (...) hemodynamic activity in 306 incarcerated male adults, stratified into regular cocaine users (n = 87) and a matched sample of non-cocaine users (n = 87), while viewing pictures that did or did not depict immoral actions and determining whether each depicted scenario occurred indoors or outdoors. Consistent with expectations, cocaine users showed abnormal neural activity in several frontostriatial regions during implicit moral picture processing compared to their non-cocaine using peers. This included reduced moral/non-moral picture discrimination in the vACC, vmPFC, lOFC, and left vSTR. Additionally, psychopathy was negatively correlated with activity in an overlapping region of the ACC and right lateralized vSTR. These results suggest that regular cocaine abuse may lead to affective deficits which can impact relatively high-level processes like moral cognition. Moreover, they add to a growing body of research suggesting an important role for the mesocorticolimbic dopamine pathway in socio-affective processing. (shrink)

Ethics courses are most commonly evaluated using reaction measures. However, little is known about the specific types of reaction data being collected and how these reaction data relate to improvements in trainee performance. Using a sample of 381 ethics training sessions, major reaction data categories were identified. Content and course satisfaction were the most frequently collected types of reaction criteria. Furthermore, content relevance and course satisfaction showed strong, positive relationships with performance criteria, whereas content satisfaction demonstrated a moderate, negative relationship. (...) These results and future directions for ethics training evaluation are discussed. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Over the last decades, the Commissio Leonina has built up a very strong reputation. Editions such as theSentencia libri De anima and the Sentencia libri de sensu et sensato by R.-A. Gauthier or the commentaries on Boethius by P.-M. Gils, L.-J. Bataillon and C.A. Grassi have set new philological standards, not only because of their fine critical introductions and excellent reconstructions of Thomas Aquinas’ texts, but also because of their rich and accurate apparatus fontium. It may be doubted, however, whether (...) the present edition of De spiritualibus creaturis by Father J. Cos lives up to the same high standards. (shrink)

THE PRINCIPLES OF SOCIAL EVOLUTION by C. R. Hallpike New York: Oxford University Press, 1987. 426pp., $59.00 CULTURE AND THE EVOLUTIONARY PROCESS by Robert Boyd and Peter J. Richerson Chicago: University of Chicago Press, 1985. 339pp., $29.95.

In La filosofia dell’arte, Giovanni Gentile assigned a prominent new role to the sentiments. This change struck some critics as a major departure from the earlier, classic accounts of actual idealism, in which Gentile argued that thought and language comprise the entirety of reality. Sentiments do not fit cleanly into a theory so narrowly concerned with thought and thinking. Their introduction, runs the objection, only compounds certain existing ambiguities in Gentile’s conception of the relation between mind and world. This article (...) describes and criticizes Gentile’s attempts to integrate feeling into actual idealism. It is argued that the appearance of feeling in his mature theory does not undermine but instead clarifies his views on the relation between thought and the act of thinking. Yet it also shows the strain under which idealist language was being put by the late 1920s. Gentile’s attempts to lay out a comprehensive and phenomenologically accurate account of how thinkers actually experience... (shrink)

In this article I examine the metaphysical foundations of Guido de Ruggiero’s liberalism and ask what these can tell us about his changing view of Giovanni Gentile's actualism, which was such an influence on de Ruggiero before the First World War. I argue that de Ruggiero’s ‘actualism’ was never the same as Gentile’s, but was drawn from the same intellectual sources; that the actualist conception of free and self-conscious agency runs through both versions of the doctrine, though interpreted in different (...) ways; and finally that the contrasts between de Ruggiero’s and Gentile’s political allegiances result from something other than their differing interpretations of actualism, which serves, in the end, not so much as a theory as a set of basic principles, images and ideals that each philosopher tried to modify and match to the political circumstances in which he found himself. (shrink)

Late Babylonian astronomical texts contain records of the stationary points of the outer planets using three different notational formats: Type S where the position is given relative to a Normal Star and whether it is an eastern or western station is noted, Type I which is similar to Type S except that the Normal Star is replaced by a reference to a zodiacal sign, and Type Z the position is given by reference to a zodiacal sign, but no indication of (...) whether the station is an eastern or western station is included. In these records, the date of the station is sometimes preceded by the terms in and/or EN. We have created a database of station records in order to determine whether there was any pattern in the use of these notation types over time or an association with any bias in the station date or the type of text the station was recorded in. Predictive texts, which include Almanacs and Normal Star Almanacs, almost always use Type Z notation, while the Diaries, compilations, and Goal-Year Texts use all three types. Type Z records almost never include in or EN, while other types seem to include these interchangeably. When compared with modern computed station dates, the records show bias toward earlier dates, suggesting that the Babylonians were observing dates when the planets appeared to stop moving rather than the true station. Overlapping reports, where a station on the same date was recorded in two or more texts, suggest that predicted station dates were used to guide observations, and that the planet’s position on the predicted stationary date was the true point of the observation rather than the specific date of the stationary point. (shrink)

In this paper we shall answer some questions in the set theory of L, the universe of all sets constructible from the reals. In order to do so, we shall assume ADL, the hypothesis that all 2-person games of perfect information on ω whose payoff set is in L are determined. This is by now standard practice. ZFC itself decides few questions in the set theory of L, and for reasons we cannot discuss here, ZFC + ADL yields the most (...) interesting “completion” of the ZFC-theory of L.ADL implies that L satisfies “every wellordered set of reals is countable”, so that the axiom of choice fails in L. Nevertheless, there is a natural inner model of L, namely HODL, which satisfies ZFC.. The superscript “L” indicates, here and below, that the notion in question is to be interpreted in L.) HODL is reasonably close to the full L, in ways we shall make precise in § 1. The most important of the questions we shall answer concern HODL: what is its first order theory, and in particular, does it satisfy GCH?These questions first drew attention in the 70's and early 80's. (shrink)

Originally published in 1934, this book contains the Cromer Greek Prize-winning essay for that year on the subject of the still little-understood Greek religion Orphism. Watmough examines Orpheus and Orphism through a distinctly Protestant lens, arguing that both were religions 'of reform' sharing similar views on asceticism and the wages of sin in the afterlife. This book will be of value to anyone with an interest in Greek mysticism and ancient religion.

As microeconomic calculus and macroeconomic estimation superseded earlier approaches to political economy, broad questions about how things are (ontology), how things might be known (epistemology), and how science should proceed (methodology) were neglected. As a corrective, Critical Realism (CR) has been proposed as an alternative to the orthodox deductive‐nomological (ODN) tradition; i.e., to mathematical deduction and statistical induction. In their place, retroduction—the use of analogy, metaphor, intuition and ordinary language—is supposed to illuminate root causes by identifying the deep mechanisms that (...) govern events. CR offers guidelines for social science that are of a most general kind: from initial “premises,” retroduction proceeds to hypotheses about deep structures and mechanisms. The initial premises are determined by a desire to understand events that surprise us. However, nothing is thereby excluded, including ODN. And since historical processes are revealed neither by assumption nor by the net effects of whatever initial conditions hold, it might be apposite to drop the search for (deep) socio‐economic laws and to use whatever evidence is at hand to see whether, and the extent to which, ideal types apply to any given historical sequence. (shrink)

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: therefore, for (...) every machine consistent and able of doing simple arithmetic, there is a formula that it can’t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any Gödelian formula we could, for instance, construct a machine able to produce it or we could put the Gödelian formulae that we had proved as axioms of a further machine. However - as Lucas underlines - for every of such machines we could again formulate another Gödelian formula, the Gödelian formula of these machines, that they are not able to proof but that we can recognize as true. More general arguments, such as the possibility to escape Gödelian argument by suggesting that Gödel’s theorem applies to consistent systems while we could be inconsistent ones, are moreover refuted by Lucas by maintaining that our inconsistency corresponds to occasional malfunctioning of a machine and not to his normal inconsistency; indeed, a inconsistent machine is characterized by producing any statement, on the contrary human being are selective and not disposed to assert anything. (shrink)