We show from an abstract comparison principle that the Mitchell order is linear on sufficiently strong ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. This gives a conditional answer to the well-known question of whether a [Formula: see text]-supercompact cardinal [Formula: see text] must carry more than one normal measure of order 0. Conditioned on a very plausible iteration hypothesis, the answer is no, since the Ultrapower Axiom holds in the canonical inner models at the finite (...) levels of supercompactness. (shrink)

We study a partial order on countably complete ultrafilters introduced by Ketonen [2] as a generalization of the Mitchell order. The following are our main results: the order is wellfounded; its linearity is equivalent to the Ultrapower Axiom, a principle introduced in the author’s dissertation [1]; finally, assuming the Ultrapower Axiom, the Ketonen order coincides with Lipschitz reducibility in the sense of generalized descriptive set theory.

This paper establishes a conjecture of Steel [7] regarding the structure of elementary embeddings from a level of the cumulative hierarchy into itself. Steel’s question is related to the Mitchell order on these embeddings, studied in [5] and [7]. Although this order is known to be illfounded, Steel conjectured that it has certain large wellfounded suborders, which is what we establish. The proof relies on a simple and general analysis of the much broader class of extender embeddings and a variant (...) of the Mitchell order called the internal relation. (shrink)

This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of Woodin’s HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of levels of the cumulative hierarchy. We (...) prove that the HOD hypothesis holds if and only if every regular cardinal above the first strongly compact cardinal carries an ordinal definable [Formula: see text]-Jónsson algebra. We show that if the HOD hypothesis holds and HOD satisfies the Ultrapower Axiom, then every supercompact cardinal is supercompact in HOD. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. The Ultrapower Axiom is a combinatorial principle concerning the structure of large cardinals that is true in all known canonical inner models of set theory. A longstanding test question for inner model theory is the equiconsistency of strongly compact and supercompact cardinals. In this paper, it is shown that under the Ultrapower Axiom, the least strongly compact cardinal is supercompact. A number of stronger results are established, setting the stage for (...) a complete analysis of strong compactness and supercompactness under UA that will be carried out in the sequel to this paper. (shrink)

The Ultrapower Axiom is an abstract combinatorial principle inspired by the fine structure of canonical inner models of large cardinal axioms. In this paper, it is established that the Ultrapower A...

The Ultrapower Axiom is an abstract combinatorial principle inspired by the fine structure of canonical inner models of large cardinal axioms. In this paper, it is established that the Ultrapower A...

Achille Mbembe’s book Critique of Black Reason has attracted scholarly interest and commentaries. In a conversation that took place between David Theo Goldberg and Mbembe, both men discuss some of the themes that are raised in the book. This paper examines that conversation and focuses on the idea of the archive and how the dehumanisation, damage, destruction and death that racism has visited on many black people can be resurrected, dusted down and repaired. I have used Mbembe’s idea of (...) blackness as a way into the archive to retrieve and retell a particular story and, in doing so, to repair the damage to the life of an African American man, as only writing can do. I revive the humanity and dignity of that life against the brutal racism that ultimately claimed it. This is a requiem for Mr Wilson. (shrink)

In international law and the ethics of war, there are a variety of actions which are seen as particularly problematic and presumed to be always or inherently wrong, or in need of some overwhelmingly strong justification to override the presumption against them. One of these actions is assassination, in particular, assassination of heads of state. In this essay I argue that the presumption against assassination is incorrect. In particular, I argue that if in a given scenario war is justified, then (...) assassination of the enemy state's leader is also justified, and in fact ought to be pursued as a means short of war. I defend this position on both consequential and deontic grounds, arguing that assassination is both more discriminate than war and serves to harm only those most responsible for the situation which justifies war in the first place. I conclude by arguing that a norm of assassination, far from being a destabilizing force, as some have argued, would in fact serve to reinforce international norms of rights and respect for persons by making clear that tyrants and would-be oppressors cannot hide behind military forces or notions of sovereignty to protect themselves from judgment and retribution. (shrink)

Artificial intelligence (AI) has become nearly ubiquitous in modern society, from components of mobile applications to medical support systems, and everything in between. In societally impactful systems imbued with AI, there has been increasing concern related to opaque AI, that is, artificial intelligence where it is unclear how or why certain decisions are reached. This has led to a recent boom in research on “explainable AI” (XAI), or approaches to making AI more explainable and understandable to human users. In the (...) military domain, numerous bodies have argued that autonomous and AI-enabled weapon systems ought not incorporate unexplainable AI, with the International Committee of the Red Cross and the United States Department of Defense both explicitly including explainability as a relevant factor in the development and use of such systems. In this article, I present a cautiously critical assessment of this view, arguing that explainability will be irrelevant for many current and near-future autonomous systems in the military (which do not incorporate any AI), that it will be trivially incorporated into most military systems which do possess AI (as these generally possess simpler AI systems), and that for those systems with genuinely opaque AI, explainability will prove to be of more limited value than one might imagine. In particular, I argue that explainability, while indeed a virtue in design, is a virtue aimed primarily at designers and troubleshooters of AI-enabled systems, but is far less relevant for users and handlers actually deploying these systems. I further argue that human–machine teaming is a far more important element of responsibly using AI for military purposes, adding that explainability may undermine efforts to improve human–machine teamings by creating a prima facie sense that the AI, due to its explainability, may be utilized with little (or less) potential for mistakes. I conclude by clarifying that the arguments are not against XAI in the military, but are instead intended as a caution against over-inflating the value of XAI in this domain, or ignoring the limitations and potential pitfalls of this approach. (shrink)

Sanford Goldberg investigates the role that others play in our attempts to acquire knowledge of the world.

Part I of Frege’s Grundgesetze is devoted to the “exposition [Darlegung]” of his formal system.

Ce volume contient les contributions au colloque « Lire Althusser aujourd'hui » organisé les 16 et 17 octobre 1995 à l'Ecole normale supérieure, par l'Institut Mémoires de l'Edition Contemporaine. La publication de l'Avenir dure longtemps, puis de nombreux autres inédits, ont donné à la pensée de Louis Althusser un regain d'actualité, indissociable d'une profonde modification de la lecture qui peut être faite de son oeuvre. On ne peut pas lire Althusser aujourd'hui comme on le faisait de son vivant. A leur (...) manière, chacun de ces exposés tournent ainsi autour d'une même question : qu'est-ce que lire Althusser aujourd'hui? (shrink)

During the last few decades, the historical turn within the tradition of the analytic tradition has experienced growing enthusiasm concerning the procedure of rational reconstruction, whose validity or importance, despite its paradigmatic examples in Frege and Russell, has not always enjoyed a consensus. Among the analytic philosophers who are the frontrunners of this movement, Robert Brandom is one of a kind: his work on Hegel as well as on German Idealism has been increasing interest in, as well as awareness of, (...) Hegel´s possible contributions to some current problems in that tradition, and connecting Hegel scholars to current questions. Thus, this work aims to explore Brandom´s methodology of rational reconstruction, as well as his dialogue with history of Philosophy, mainly exposed in his Tales of the mighty dead (2002). As we will see, Brandom´s distinction between a de dicto and a de re approach intends to present a way of identifying and analyzing a given philosopher´s theoretical (hidden) commitments that can be useful to improve the quality of the dialogue with past philosophers. From such methodological exposition, I to turn to Kierkegaard in order to make explicit some of his ontological commitments and presenting Brandom’s approach as a valuable tool for doing history of philosophy. (shrink)

ABSTRACT This essay has three goals. The first is to introduce the notion of fundamentality and to argue that physicalism can usefully be conceived of as a thesis about fundamentality. The second is to argue for the advantages of fundamentality physicalism over modal formulations and that fundamentality physicalism is what many who endorse modal formulations of physicalism had in mind all along. Third, I describe what I take to be the main obstacle for a fundamentality-oriented formulation of physicalism: ‘the problem (...) of abstracta’, which asks how physical can accommodate phenomena such as mathematics and universals, and which modal formulations do not face. I canvas three solutions: the inapt for ground solution, the concrete restriction, and the contingency restriction. (shrink)

El Estado de Hegel es el Estado de Derecho. Sin embargo en su Filosofía del Derecho se encuentran fundamentos decisivos para una teoría del Estado Social. Siguiendo el hilo de las Líneas fundamentales de la Filosofía del Derecho, se empieza por ver el derecho al bienestar, tal como se formula en la Moralidad (1). En la familia aparece el derecho de los hijos "de ser alimentados y educados" (2). El Derecho al bienestar se concreta en la sociedad civil (3), se (...) hace posible en el sistema de las necesidades (3.1.) y efectivo en la policía y la corporación (3.2 y 3.3), que ejercen funciones de suplencia de la familia. El mayor problema es la pobreza, tanto la que surge por contingencias subjetivas y sociales como por el funcionamiento mismo de la sociedad civil: la plebe. A este problema la sociedad es incapaz de darle una solución. (shrink)

Scott Sehon recently argued that the standard notion of determinism employed in the Consequence Argument makes it so that, if our world turns out to be deterministic, then an interventionist God is logically impossible. He further argues that because of this, we should revise our notion of determinism. In this paper I show that Sehon’s argument for the claim that the truth of determinism, in this sense, would make an interventionist God logically impossible ultimately fails. I then offer and respond (...) to a weaker version of the argument for the claim that we should revise our notion of determinism. (shrink)

The so-called Trolley Problem was first discussed by Philippa Foot in 1967 as a way to test moral intuitions regarding the doctrine of double effect, Kantian principles and utilitarianism. Ever since, a great number of philosophers and psychologists have come up with alternative scenarios to further test intuitions and the relevance of conventional moral doctrines. Given that physicians routinely face moral decisions regarding life and death, the Trolley Problem should be considered of great importance in medical ethics. In this article, (...) five “classic” trolley scenarios are discussed: the driver diverting the trolley, a bystander pulling a lever to divert the trolley, a fat man being thrown from a bridge to stop the trolley, a bystander pulling a lever to divert a trolley so that a fat man may be run over, and a bystander pulling a lever so that a fat man falls off from a bridge to stop the trolley. As these scenarios are discussed, relevant moral differences amongst them are addressed, and some of the applications in medical ethics are discussed. The article concludes that Trolley scenarios are not the ultimate criterion to make ethical decisions in difficult ethical challenges in medicine cases but they do serve as an initial intuitive guide. (shrink)

While much of the debate around the practice of normothermic regional perfusion (NRP) is focused on the potential violation of the dead donor rule (DDR), another concern is whether allowing this pr...

This paper appeals to the phenomenon of dreaming to provide a novel defense against arguments from evil. The thrust of the argument is as follows: when we wake up after a nightmare we are often filled entirely with relief, and do not consider ourselves to have actually suffered very much at all; and since it is epistemically possible that this whole life is simply a dream, it follows that it is epistemically possible that in reality there is very little suffering. (...) This epistemic possibility decisively undermines a key premise of both logical and evidential arguments from evil. (shrink)

Unlike nonhuman primates, thousands of bird species have articulatory capabilities that equal or surpass those of humans, and they develop their vocalizations through vocal imitation in a way that is very similar to how human infants learn to speak. An understanding of how speech mechanisms have evolved is therefore unlikely to yield key insights into how the human brain is special.

A volume with 14 chapters on various aspects of the relationship between responsibility and healthcare, plus a substantial introduction that offers a comprehensive overview of the relevant debates and how they relate to one another. Questions of responsibility arise at all levels of health care. Most prominent has been the issue of patient responsibility. Some health conditions that risk death or serious harm are partly the result of lifestyle behaviours such as smoking, lack of exercise, or extreme sports. Are patients (...) with such conditions responsible for them? If so, might healthcare providers, be they state-run systems or private entities, be justified in treating such patients differently? And if they are, which forms of differential treatment are justified? Responsibility isn’t just relevant for patients. Even when individuals affect their health through voluntary behaviour, other influences are also at work before, during, and after the patient’s interaction with the health care system. What are the responsibilities of individual clinicians and other medical professionals, when thinking about individual and public health? What about institutions such as governments or national health care services, or society as a whole? This collection brings together work by world-renowned experts in population ethics, distributive justice, philosophy of action, cognitive science, and medical ethics in order to push the debate forward by elucidating our understanding of these questions, their possible answers, and how they are related. (shrink)

In this paper I discuss the Nietzschean notion of a pathos of distance, which some democratic theorists would like to recruit in the service of a democratic ethos. Recently their efforts have been criticized on the basis that the Nietzschean pathos of distance involves an aristocratic attitude of essentializing contempt towards the common man that is incompatible with the democratic demand to accord everyone equal respect and dignity. I argue that this criticism is misguided and that the pathos in question (...) involves encouraging the flourishing of higher types that give meaning and justification to the social order. For Nietzsche, the experience of living under a society that is thus organized leads to the psychological demand to search for spiritual states within a person that can make life worth living. I conclude by considering whether, so conceived, the pathos of distance is compatible with democracy. (shrink)

Trolley dilemmas have been tested cross-culturally, but only recently have researchers begun to assess the effect of responding to such dilemmas in a foreign language. Previous studies have found a Moral Foreign Language Effect in trolley dilemmas, whereby subjects who respond to these dilemmas in a foreign language, tend to offer more utilitarian responses. The present study seeks to test whether the MFLE holds amongst native speakers of Arabic. Additionally, the present study seeks to test whether the use of visual (...) images has any effect on responses. For such purposes, four groups were compared: 1) participants responding to trolley dilemmas in English without visual images; 2) participants responding to trolley dilemmas in Arabic without visual images; 3) participants responding to trolley dilemmas in English with visual images; 4) participants responding to trolley dilemmas in Arabic with visual images. (shrink)

RESUMEN -/- En este ensayo propongo una interpretación de la relación entre la ciencia y el Ideal Ascético en La Genealogía de la Moral, que busca explicar la enigmática alianza entre ambos que Nietzsche establece al final del tercer tratado de la mencionada obra. Según Nietzsche, contrario a lo que se cree, la ciencia moderna no es realmente un antagonista del Ideal Ascético sino más bien su forma más reciente y más noble. Argüiré que, para Nietzsche, el Ideal Ascético ha (...) sido hasta el momento la única respuesta que el ser humano ha dado a su forma especial de existencia, que consiste en encontrarse en la situación de ser el único animal capacitado para la independencia y la soberanía. El Ideal Ascético expresa una huida de la responsabilidad y la carga (el sufrimiento) que esa capacidad para la soberanía comporta. Así pues, la ciencia, como expresión última de dicho ideal, representa al igual que éste una evasión de la independencia y una declaración de guerra contra la libertad de la voluntad, es decir, contra la autonomía. (shrink)

Although recent trends in politics and media make it appear that conspiracy theories are on the rise, in fact they have always been present, probably because they are sustained by natural dispositions of the human brain. This is also the case with medical conspiracy theories. This article reviews some of the most notorious health-related conspiracy theories. It then approaches the reasons why people believe these theories, using concepts from cognitive science. On the basis of that knowledge, the article makes normative (...) proposals for public health officials and health workers as a whole, to deal with conspiracy theories, in order to preserve some of the fundamental principles of medical ethics. (shrink)

The death of George Floyd in May 2020 sparked an unprecedented global wave of protests that appeared to mark a turning point in the battle against racial injustice. But protests against racism are not new; each comes and soon passes into the archives of history, leaving few lasting changes in its wake. What was different about the death of Floyd was that the graphic manner of its unfolding was captured on film: the slow act of wilful suffocation, and how the (...) entire world was seemingly invited to witness the torment and the execution of this man, in broad daylight, even as he cried I can't breathe. However, this discussion attempts to move beyond that moment of death, the protests that followed and the distracting debate about statues and monuments to argue that the death of Floyd must be seen as the culmination of the process of systemic and structural racism. It aims to show how racism shifted from the black body as the visible and material target of racial oppression to air/breath, and how suffocation became the characteristic feature as well as the weapon of contemporary racial injustice. (shrink)

In NIP theories, generically stable Keisler measures can be characterized in several ways. We analyze these various forms of “generic stability” in arbitrary theories. Among other things, we show that the standard definition of generic stability for types coincides with the notion of a frequency interpretation measure. We also give combinatorial examples of types in NSOP theories that are finitely approximated but not generically stable, as well as ϕ-types in simple theories that are definable and finitely satisfiable in a small (...) model, but not finitely approximated. Our proofs demonstrate interesting connections to classical results from Ramsey theory for finite graphs and hypergraphs. (shrink)

Gene drives are selfish genetic elements that use a variety of mechanisms to ensure they are transmitted to subsequent generations at greater than expected frequencies. Synthetic gene drives based on the clustered regularly interspersed palindromic repeats genome editing system have been proposed as a way to alter the genetic characteristics of natural populations of organisms relevant to the goals of public health, conservation, and agriculture. Here, we review the principles and potential applications of CRISPR drives, as well as means proposed (...) to prevent their uncontrolled spread. We also focus on recent work suggesting that factors such as natural genetic variation and inbreeding may represent substantial impediments to the propagation of CRISPR drives. CRISPR-based synthetic selfish genetic elements, or gene drives, have been proposed as a means by which to genetically alter natural populations to address issues in agriculture, conservation, and public health. We describe key concepts of CRISPR gene drives and limitations that must be addressed before their use in the wild. (shrink)

In this paper I examine the relation between modern transhumanism and Nietzsche’s philosophy of the superhuman. Following Loeb, I argue that transhumanists cannot claim affinity to Nietzsche’s philosophy until they incorporate the doctrine of eternal recurrence to their project of technological enhancement. This doctrine liberates us from resentment against time by teaching us reconciliation with time and something higher than all reconciliation. Unlike Loeb, however, I claim that this “something higher” is not a new skill (prospective memory), but rather a (...) love for the past in the form of loving that aspect of it that is still with us, namely, the will to power itself, which is the engine of all life. Love of the past is thus equivalent to love of life. Since human beings are conscious incarnations of the will to power, in our case, love of life manifests itself as love of our humanity or love for that aspect of ourselves that connects us to each other, for we recognize it to be the same in all of us. Thus, learning this kind of love enables us to joyfully coordinate our wills in the pursuit of Zarathustra’s superhuman ideal without turning it into a destructive mockery of itself. While learning this kind of love would facilitate a joyful version of transhumanism, I conclude by suggesting that it is unlikely to be achieved through technological interventions of the sort envisioned by transhumanists. Instead, it requires the kind of participatory pedagogical program that Nietzsche thought his Zarathustra would fulfill. (shrink)

For n≥3, define Tn to be the theory of the generic Kn-free graph, where Kn is the complete graph on n vertices. We prove a graph-theoretic characterization of dividing in Tn and use it to show that forking and dividing are the same for complete types. We then give an example of a forking and nondividing formula. Altogether, Tn provides a counterexample to a question of Chernikov and Kaplan.

Plato and Xenophon: Comparative Studies contains a wide variety of comparative studies of the writings of Plato and Xenophon, from philosophical, literary, and historical perspectives.