[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces (...) of nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

Kripke, argued like this: it seems possible that E; the appearance can't be explained away as really pertaining to a "presentation" of E; so, pending a different explanation, it is possible that E. Textbook Kripkeans see in the contrast between E and its presentation intimations of a quite general distinction between two sorts of meaning. E's secondary or a posteriori meaning is the set of all worlds w which E, as employed here, truly describes. Its primary or a priori meaning (...) is the set of all w such that if w is actual, then E is true. "Conceivability error" occurs when a primary possibility is mistaken for a secondary one. Textbook Kripkeanism is rejected on the grounds that it makes meaning too modal and modality too much a matter of meaning. (shrink)

Descartes's "conceivability argument" for substance-dualism is defended against Arnauld's criticism that, for all he knows, Descartes can conceive himself without a body only because he underestimates his true essence; one could suggest with equal plausibility that it is only for ignorance of his essential hairiness that Descartes can conceive himself as bald. Conceivability intuitions are defeasible but special reasons are required; a model for such defeat is offered, and various potential defeaters of Descartes's intuition are considered and rejected. At best (...) though Descartes shows the separability of mind from body, not (as he claims) their actual separateness. (shrink)

….it [is] wholly irrational to regard as doubtful matters that are perceived clearly and distinctly by the understanding in its purity, on account of mere prejudices of the senses and hypotheses in which there is an element of the unknown.Descartes, Geometrical Exposition of the MeditationsSubstance dualism, once a main preoccupation of Western metaphysics, has fallen strangely out of view; today’s mental/physical dualisms are dualisms of fact, property, or event. So if someone claims to find a difference between minds and bodies (...) per se, it is not initially clear what he is maintaining. Maybe this is because one no longer recognizes ‘minds’ as entities in their own right, or ‘substances.’ However, selves - the things we refer to by use of ‘I’ - are surely substances, and it does little violence to the intention behind mind/body dualism to interpret it as a dualism of bodies and selves. If the substance dualist’s meaning remains obscure, that is because it can mean several different things to say that selves are not bodies. (shrink)

Holmes exists is false. How can this be, when there is no one for the sentence to misdescribe? Part of the answer is that a sentence’s topic depends on context. The king of France is bald, normally unevaluable, is false qua description of the bald people. Likewise Holmes exists is false qua description of the things that exist; it misdescribes those things as having Holmes among them. This does not explain, though, how Holmes does not exist differs in cognitive content (...) from, say, Vulcan does not exist. Our answer builds on an observation of Kripke’s: even if Holmes exists, he is not in this room, for we were all born too late. (shrink)

Analytic semantics got its start when Frege pointed out differences in cognitive content between sentences that in some good sense “say the same.” Frege put cognitive content (in the form of sense) at the heart of semantic content. Most prefer nowadays to see cognitive contents as generated by semantic contents in context; a sentence's cognitive significance is an aspect rather of the information imparted by its use. I argue for a particular version of this idea. Semantic contents generate cognitive contents (...) by operating levers in a larger piece of machinery, involving also the presupposition P one is leaning on and the subject matter M under discussion. A sentence's cognitive content is what its literal-content-restricted-to-P-worlds says about M. It's by triggering different presuppositions and/or different subject matters that coreferential names make their distinctive mark on a sentence's felt information value. (shrink)

Descartes thought his mind and body could exist apart, and that this attested to a real distinction between them. The challenge as Almog initially describes it is to find a reading of “can exist apart” that is strong enough to establish a real distinction, yet weak enough to be justified by what Descartes offers as evidence: that DM and DB can be conceived apart.

To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. (...) Formalizing these versions of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

Yablo suggests a ‘hostage crisis’ occurs when an unproblematic statement ϕ entails, and is therefore hostage to, a problematic statement ψ. Yablo proposes a technical solution to this kind of problem by diminishing ϕ to ϕ*, where ϕ* does not entail ψ and thus is not hostage to it. I argue that Yablo’s proposal is unnecessary because the original, undiminished ϕ does not in fact entail ψ. This is what Yablo calls a ‘defiant’ position. I defend (...) defiance by arguing that ϕ and ψ are of different metaphysical weights, which I show through an analysis of their use of quantification. (shrink)

El contenido de la presente discusión de Análisis Filosófico surge a partir de diversas actividades organizadas por mí en SADAF y en la UBA. En primer lugar, Roy Cook dictó en SADAF el seminario de investigación intensivo On Yablo's Paradox durante la última semana de julio de 2011. En el seminario, el profesor Cook presentó el manuscrito aún sin finalizar de su libro The Yablo Paradox: An Essay on Circularity, Oxford, Oxford UP, (en prensa). Extensas y apasionantes discusiones (...) ocurrieron durante esos encuentros sobre circularidad y construcciones infinitarias. Fue en ese tiempo, donde me surgió la idea de editar una discusión sobre las ideas que Cook defiende en ese trabajo. El proyecto era una extensión natural del trabajo que veníamos realizando con mi grupo de investigación en temas vinculados al concepto de verdad, autorreferencia y paradojas. Luego, durante el segundo cuatrimestre de 2011, dicté el seminario La paradoja de Yablo, en el instituto de filosofía de la UBA. Algunos de los borradores de los artículos que aparecen en el presente volumen tienen su origen en este curso. Finalmente, invité por segunda vez al profesor Cook al Symposium on Yablo's Paradox realizado en SADAF en julio de 2012. En esta oportunidad, se presentaron las versiones finales de los artículos de Lavinia Picollo, Paula Teijeiro, Federico Pailos, Diego Tajer, Lucas Rosenblatt e Ignacio Ojea que se incluyen a continuación. El encuentro incluyó las inteligentes réplicas del profesor Cook y profundas discusiones sobre los mencionados temas lógicosemánticos. Quiero agradecer a todos los integrantes del Gaf[log] que participaron activamente en las mencionadas actividades, ya sea en la publicación posterior o en los coloquios y seminarios que le dieron origen. Agradezco al Comité editorial de Análisis Filosófico, en especial a Alberto Moretti, quienes apoyaron desde sus comienzos este proyecto. Finalmente, y de manera especial, quiero expresar mi gratitud al profesor Roy Cook, quien no sólo apoyó e inspiró el proyecto desde sus comienzos, sino que además compartió generosamente sus ideas y las discutió con estimulante pasión. (shrink)

We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that (...) such formalization shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

There are few indulgences academics can crave more than to have their work considered and addressed by leading researchers in their field. We have been fortunate to have two outstanding philosophers from whose work we have learned a great deal give ours their thoughtful attention. Grappling with Stephen Yablo’s, and Juan Comesaña’s comments and criticisms has helped us gain a better understanding of our ideas as well as their shortcomings. We are extremely grateful to them for the attentiveness and (...) seriousness with which they have considered our arguments and to philosophical studies for giving us this opportunity. Given the substantive difference between the two response papers, there is not much beyond sincere gratitude that we can covey to them jointly. We will therefore address them in turn. (shrink)

expanded version of NDPR review of Yablo's Abpoutness.

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...) paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

Mental causes are threatened from two directions: from below, since they would appear to be screened off by lower-order, e.g., neural states; and from within, since they would also appear to be screened off by intrinsic, e.g., syntactical states. A principle needed to parry the first threat -causes should be proportional to their effects- appears to leave us open to the second; for why should unneeded extrinsic detail be any less offensive to proportionality than excess microstructure? I say that the (...) second threat relies on a perversion of proportionality that would lay waste to all causal relations. (shrink)

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

The main thesis of this work is as follows: there are versions of Yablo’s paradox that, if Cook is right about the non-circular character of his version of it, are truly paradoxical and genuinely non-circular, and Cook’s version of Yablo’s paradox is one of them. Here I will not evaluate the"circular" or"non-circular" side to Cook’s proposal. In fact, I think that he is right about it, and that his version of Yablo’s list is non-circular. But is it (...) paradoxical? In order to be so, the principles that lead to (i) the derivation of a contradiction, or (ii) the impossibility to give a stable assignment of truth values to the relevant set of sentences, must be acceptable. I will explore two ways to argue that they are not. I will conclude that these attempts lead to a very narrow conception of a theory of truth, or to deny that a paradigmatic case of paradox, such as the"Old-Fashioned Liar," is truly paradoxical. La tesis principal de este trabajo es la siguiente: hay versiones de la paradoja de Yablo tales que, si Cook está en lo cierto acerca del carácter no-circular de su propia versión de ella, son genuinamente paradójicas y auténticamente no-circulares, y la versión de Cook en cuestión es una de ellas. Aquí no voy a evaluar su carácter circular o no-circular. Creo, de hecho, que Cook está en lo correcto sobre el punto. Pero, ¿es su versión auténticamente paradójica? Para que lo fuera, los principios que llevan a (i) derivar una contradicción, o (ii) la imposibilidad de dar una asignación de valores de verdad estables al conjunto relevante de oraciones, deben ser aceptables. Voy a explorar dos modos de argumentar que no lo son. voy a concluir que estos intentos llevan a una concepción de la teoría de la verdad muy estrecha, o a negar que un caso paradigmático de paradoja, como el"mentiroso Tradicional", sea auténticamente paradójica. (shrink)

Silence is a multifaceted concept which is not merely as an absence of sound but a presence with significant ontological, existential, and phenomenological implications. Through a thematic analysis, this paper deconstructs silence into various dimensions—its ontology, linguistic universality, and its function as cessation of speech, a form of listening, an act of kenosis, a form of ascesis, and a way of life. The study employs philosophical discourse and mathematical notation to delve into these aspects, demonstrating that while each perspective sheds (...) light on certain facets of silence, none can comprehensively encapsulate its essence. The research underscores the paradoxical nature of silence. It is both a universal phenomenon recognised across cultures and an intimate, personal experience that resists definitive categorisation. The paper concludes that the true nature of silence, particularly when considering the state of "being silent," remains indefinable and elusive, inviting deeper contemplation on its role in human experience. (shrink)

Dmitri Nikulin is one of the few contemporary philosophers to have devoted books to the topic of dialogue and the dialogical self, especially in the last fifteen years. Yet his work on dialogue and the dialogical has received scant attention by philosophers, and this neglect has hurt the ongoing development of contemporary philosophical work on dialogicality. I want to address this lacuna in contemporary philosophical scholarship on dialogicality and suggest that, although Nikulin’s account is no doubt insightful and thought-provoking, it (...) is problematic for two main reasons: first, his account fails to recognize the proper relationship between dialogue and agency; and second, his enumeration of the necessary and sufficient conditions for dialogue contains conceptual inconsistencies. (shrink)

Many people are worried about the harmful effects of climate change but nevertheless enjoy some activities that contribute to the emission of greenhouse gas (driving, flying, eating meat, etc.), the main cause of climate change. How should such people make choices between engaging in and refraining from enjoyable greenhouse-gas-emitting activities? In this chapter, we look at the answer provided by decision theory. Some scholars think that the right answer is given by interactive decision theory, or game theory; and moreover think (...) that since private climate decisions are instances of the prisoner’s dilemma, one rationally should engage in these activities provided that one enjoys them. Others think that the right answer is given by expected utility theory, the best-known version of individual decision theory under risk and uncertainty. In this chapter, we review these different answers, with a special focus on the latter answer and the debate it has generated. (shrink)

Many scholars have argued that the Protestant Reformation generally departed from virtue ethics, and this claim is often accepted by Protestant ethicists. This essay argues against such discontinuity by demonstrating John Calvin’s reception of ethical concepts from Augustine and Aristotle. Calvin drew on Augustine’s concept of eudaimonia and many aspects of Aristotle’s Nicomachean Ethics , including concepts of choice, habit, virtue as a mean, and the specific virtues of justice and prudence. Calvin also evaluated the problem of pagan virtue in (...) light of traditional Augustinian texts discussed in the medieval period. He interpreted the Decalogue as teaching virtue, including the cardinal virtues of justice and temperance. Calvin was not the harbinger of an entirely new ethical paradigm, but rather a participant in the mainstream of Christian thinkers who maintained a dual interest in Aristotelian and Augustinian eudaimonist virtue ethics. (shrink)

Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the requirements of the (...) different components, integration of these components in ITSB tool are shown. Furthermore, implanting of requirements, cognitive principle, and common design fundamentals in the tool to ease the use of teachers. A variety of design matters, an example of building an intelligent tutoring system for teaching Java language using ITSB tool and an evaluation are presented. (shrink)

As these opening quotes acknowledge, the Prisoner’s Dilemma (PD) represents a core puzzle within the formal mathematics of game theory.3 Its rise in conspicuity is evident figure 2.1 above demonstrating a relatively steady rise in incidences of the phrase’s usage between 1960 to 1995, with a stable presence persisting into the twenty first century. This famous two-person “game,” with a stock narrative cast in terms of two prisoners who each independently must choose whether to remain silent or speak, each advancing (...) self-interest at the expense of the other and thereby achieving a mutually suboptimal outcome, mires any social interaction it is applied to into perplexity. The logic of this game proves the inverse of Adam Smith’s invisible hand: individuals acting on self interest will achieve a mutually suboptimal outcome. However, as this chapter illuminates, the assumptions underlying game theory drive this conclusion. (shrink)

Is capitalism inherently predatory? Must there be winners and losers? Is public interest outdated and free-riding rational? Is consumer choice the same as self-determination? Must bargainers abandon the no-harm principle? Prisoners of Reason recalls that classical liberal capitalism exalted the no-harm principle. Although imperfect and exclusionary, modern liberalism recognized individual human dignity alongside individuals' responsibility to respect others. Neoliberalism, by contrast, views life as ceaseless struggle. Agents vie for scarce resources in antagonistic competition in which every individual seeks dominance. This (...) political theory is codified in non-cooperative game theory; the neoliberal citizen and consumer is the strategic rational actor. Rational choice justifies ends irrespective of means. Money becomes the medium of all value. Solidarity and good will are invalidated. Relationships are conducted on a quid pro quo basis. However, agents can freely opt out of this cynical race to the bottom by embracing a more expansive range of coherent action. (shrink)

What grounds human rights? How do we determine that something is a genuine human right? This chapter offers a new answer: human beings have human rights to the fundamental conditions for pursuing a good life. The fundamental conditions for pursuing a good life are certain goods, capacities, and options that human beings qua human beings need whatever else they qua individuals might need in order to pursue a characteristically good human life. This chapter explains how this Fundamental Conditions Approach is (...) better than James Griffin’s Agency Approach as well as Martha Nussbaum’s Central Capabilities Approach. It also shows how it can be compatible with the increasingly popular Political Conceptions of human rights defended by John Rawls, Charles Beitz, and Joseph Raz. (shrink)

The alien in science fiction has not often been seen as part of an imperial colonial discourse. By examining John W. Campbell’s founding golden age SF text, “Who Goes There?” (1938), this paper explores the ways in which the alien adheres to an invisible mythos of whiteness that has come to be seen through a colonizing logic as isomorphic with the human. Campbell’s alien-monster comes to disseminate and invade both self and world and as such serves as an interrogation of (...) what whites have done through colonization. It is thus part and parcel of imperial domination and discourse and appears as the very nightmare of whiteness in the form of its liminal and estranged shadow side. Part of what has made Campbell’s text so influential is that it offers a new type of alien invasion in the figure of “contagion,” which speaks “to the transition from colonial to postcolonial visions of modernity and its attendant catastrophes” (Rieder, 124), and which can be further examined as a race metaphor in American SF—indeed, as the white man’s fear of racial mixing that has a long and dehumanizing history. Through its threat of mixture, I read the alien as a creolizing figure that both troubles and undoes the white/black, human/nonhuman binary in science fiction, which I also read as being a creolizing, i.e., hybrid and plastic, genre. (shrink)

This paper aims to assess knowledge management maturity at HEI to determine the most effecting variables on knowledge management that enhance the total performance of the organization. This study was applied on Al-Azhar University in Gaza strip, Palestine. This paper depends on Asian productivity organization model that used to assess KM maturity. Second dimension assess high performance was developed by the authors. The controlled sample was (364). Several statistical tools were used for data analysis and hypotheses testing, including reliability Correlation (...) using Cronbach’s alpha, “ANOVA”, Simple Linear Regression and Step Wise Regression. The overall findings of the current study suggest that KMM is suitable for measuring and lead to enhance high performance. KMM assessment shows that the university maturity level is in level three. Findings also support the main hypothesis and it is subhypotheses. The most important factors effecting high performance are: Processes, KM leadership, People, KM Outcomes, Knowledge Process. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study at HEI in Palestine explores the status of KMM using the Asian productivity model. (shrink)

Thật vui mừng khi thấy sự hiện diện của cuốn Mindsponge Theory (MT) trong hệ thống Harvard Library HOLLIS của Đại học Harvard.

Although social scientists have identified diverse behavioral patterns among children from dissimilarly structured families, marketing scholars have progressed little in relating family structure to consumption-related decisions. In particular, the roles played by members of single-mother families—which may include live-in grandparents, mother’s unmarried partner, and step-father with or without step-sibling(s)—may affect children’s influence on consumption-related decisions. For example, to offset a parental authority dynamic introduced by a new stepfather, the work-related constraints imposed on a breadwinning mother, or the imposition of adult-level (...) household responsibilities on children, single-mother families may attend more to their children’s product preferences. -/- Without a profile that includes socio-economic, behavioral, and psychological aspects, efficient and socially responsible marketing to single-mother households is compromised. Relative to dual-parent families, single-mother families tend to have fewer resources and less buying power, children who consume more materialistic and compulsively, and children who more strongly influence decision making for both own-use and family-use products. Timely research would ensure that these and other tendencies now differentiate single-mother from dual-parent families in ways that marketers should address. Hence, our threefold goal is (1) to consolidate and highlight gaps in existing theory applied to studying children’s influence on consumption-related decision making in single-mother families, and (2) to propose a hybrid framework that merges two theories conducive to such research, and (3) to identify promising research propositions for future research. (shrink)

This paper explores how the Leviathan that projects power through nuclear arms exercises a unique nuclearized sovereignty. In the case of nuclear superpowers, this sovereignty extends to wielding the power to destroy human civilization as we know it across the globe. Nuclearized sovereignty depends on a hybrid form of power encompassing human decision-makers in a hierarchical chain of command, and all of the technical and computerized functions necessary to maintain command and control at every moment of the sovereign's existence: this (...) sovereign power cannot sleep. This article analyzes how the form of rationality that informs this hybrid exercise of power historically developed to be computable. By definition, computable rationality must be able to function without any intelligible grasp of the context or the comprehensive significance of decision-making outcomes. Thus, maintaining nuclearized sovereignty necessarily must be able to execute momentous life and death decisions without the type of sentience we usually associate with ethical individual and collective decisions. (shrink)