Purpose The search for cause of death is important to improve knowledge and provide answers for the relatives of the deceased. Medical autopsy following unexplained death in hospital is one way to identify cause of death but is difficult to carry out routinely. Post mortem sampling (PMS) of tissues via thin biopsy needle or ‘mini incisions’ in the skin may be a useful alternative. A study was undertaken to assess how this approach is perceived by intensive care doctors and also (...) to evaluate how this practice is considered in ethical terms in France. Methods A study of PMS practices immediately after death in 10 intensive care departments was performed. The medical director of each centre was interviewed by telephone and asked to describe practices in their unit and to outline the questions raised by this practice. Results PMS is routinely performed in 70% of the units which responded, without systematically obtaining formal consent and without precise rules for communicating results. Approaches to PMS differed between centres, but all physicians felt that PMS is useful for the scientific information it gives and also for the information it provides for relatives. All physicians regret the lack of standards to structure PMS practices. Conclusion Information from post mortem examinations is important for society to inform about causes of death, for doctors to improve practices and for decision-makers responsible for organising care. Debate persists regarding the balance between individual rights and community interests. It is suggested that an approach for identifying cause of death could easily be integrated into the relationship between carers and relatives, provided full transparency is maintained. (shrink)

We consider Borel sets of finite rank $A \subseteq\Lambda^\omega$ where cardinality of Λ is less than some uncountable regular cardinal K. We obtain a "normal form" of A, by finding a Borel set Ω, such that A and Ω continuously reduce to each other. In more technical terms: we define simple Borel operations which are homomorphic to ordinal sum, to multiplication by a countable ordinal, and to ordinal exponentiation of base K, under the map which sends every (...) Borel set A of finite rank to its Wadge degree. (shrink)

In this collection the authors have attempted to bring together a number of the essential papers in the subjective interpretation of probability theory; several of them—Borel's "Apropos of a theory on probability" and de Finetti's "Foresight: its logical laws, its subjective sources"—have never appeared before in English. Other articles include Venn's pioneering study as well as the more recent work of Ramsey, Koopman, and Savage. The editors provide an introduction which presents the three basic elements of any subjectivistic theory: (...) probability as degree of belief, the coherence of beliefs of an individual, and the notion of exchangeable events. A bibliography includes references to virtually all the more important works in subjective probability, with special emphasis on the development of the mathematical side of the theory. This anthology belongs on the shelf of any philosopher concerned with inductive logic, statistical inference, or the foundations of probability theory.—P. J. M. (shrink)

We discuss in the paper the following problem: Given a function in a given Baire class, into "how many" (in terms of cardinal numbers) functions of lower classes can it be decomposed? The decomposition is understood here in the sense of the set-theoretical union.

Preface to Volumes 1 and 2 Lorenz Krüger xv Introduction to Volume 1 Lorraine J. Daston 1 I Revolution 1 What Are Scientific Revolutions? Thomas S. Kuhn 7 2 Scientific Revolutions, Revolutions in Science, and a Probabilistic Revolution 1800-1930 I. Bernard Cohen 23 3 Was There a Probabilistic Revolution 1800-1930? Ian Hacking 45 II Concepts 4 The Slow Rise of Probabilism: Philosophical Arguments in the Nineteenth Century Lorenz Krüger 59 5 The Decline of the Laplacian Theory of Probability: A Study (...) of Stumpf, von Kries, and Meinong Andreas Kamlah 91 6 Fechner’s Indeterminism: From Freedom to Laws of Chance Michael Heidelberger 117 7 The Saint Petersburg Paradox 1713-1937 Gerard Jorland 157 8 Laplace and Thereafter: The Status of Probability Calculus in the Nineteenth Century Ivo Schneider 191 9 Emile Borel as a Probabilist Eberhard Knobloch 215 III Uncertainty 10 The Domestication of Risk: Mathematical Probability and Insurance 1650-1830 237 11 The Objectification of Observation: Measurement and Statistical Methods in the Nineteenth Century Zeno G. Swijtink 261 12 The Measurement of Uncertainty in Nineteenth-Century Social Science Stephen M. Stigler 287 IV Society 13 Rational Individuals versus Laws of Society: From Probability to Statistics Lorraine J. Daston 295 14 Decrire, Compter, Calculer: The Debate over Statistics during the Napoleonic Period Marie-Noelle Bourguet 305 15 Probability in Vital and Social Statistics: Quetelet, Farr, and the Bertillons Bernard-Pierre Lécuyer 317 16 Paupers and Numbers: The Statistical Argument for Social Reform in Britain during the Period of Industrialization Karl H. Metz 337 17 Lawless Society: Social Science and the Reinterpretation of Statistics in Germany, 1850-1880 Theodore M. Porter 351 18 Prussian Numbers 1860-1882 Ian Hacking 377 19 How Do Sums Count? On the Cultural Origins of Statistical Causality M. Norton Wise 395. (shrink)

We show that recurrence conditions do not yield invariant Borel probability measures in the descriptive set-theoretic milieu, in the strong sense that if a Borel action of a locally compact Polish group on a standard Borel space satisfies such a condition but does not have an orbit supporting an invariant Borel probability measure, then there is an invariant Borel set on which the action satisfies the condition but does not have an invariant Borel probability (...) measure. (shrink)

S. Adams, W. Ambrose, A. Andretta, H. Becker, R. Camerlo, C. Champetier, J.P.R. Christensen, D.E. Cohen, A. Connes. C. Dellacherie, R. Dougherty, R.H. Farrell, F. Feldman, A. Furman, D. Gaboriau, S. Gao, V. Ya. Golodets, P. Hahn, P. de la Harpe, G. Hjorth, S. Jackson, S. Kahane, A.S. Kechris, A. Louveau,, R. Lyons, P.-A. Meyer, C.C. Moore, M.G. Nadkarni, C. Nebbia, A.L.T. Patterson, U. Krengel, A.J. Kuntz, J.-P. Serre, S.D. Sinel'shchikov, T. Slaman, Solecki, R. Spatzier, J. Steel, D. Sullivan, S. (...) Thomas, A. Valette, V.S. Varadarajan, B. Velickovic, B. Weiss, J.D.M. Wright, R.J. Zimmer. (shrink)

The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L of T, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples (...) as well as of some new examples that we give. The third is to explore notions of definable map, embedding, and isomorphism, between these and related quotient objects. We also make some conjectures, the main one being roughly "smooth if and only if trivial". The possibility of a descriptive set-theoretic account of the complexity of spaces of Lascar strong types was touched on in the paper [E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, J. Math. Logic1 305–319], where the first example of a "non-G-compact theory" was given. The motivation for writing this paper is partly the discovery of new examples via definable groups, in [A. Conversano and A. Pillay, Connected components of definable groups and o-minimality I, Adv. Math.231 605–623; Connected components of definable groups and o-minimality II, to appear in Ann. Pure Appl. Logic] and the generalizations in [J. Gismatullin and K. Krupiński, On model-theoretic connected components in some group extensions, preprint, arXiv:1201.5221v1]. (shrink)

Let $\mathcal {I}$ be an ideal on $\omega $. For $f,\,g\in \omega ^{\omega }$ we write $f \leq _{\mathcal {I}} g$ if $f(n) \leq g(n)$ for all $n\in \omega \setminus A$ with some $A\in \mathcal {I}$. Moreover, we denote $\mathcal {D}_{\mathcal {I}}=\{f\in \omega ^{\omega }: f^{-1}[\{n\}]\in \mathcal {I} \text { for every } n\in \omega \}$ (in particular, $\mathcal {D}_{\mathrm {Fin}}$ denotes the family of all finite-to-one functions).We examine cardinal numbers $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal (...) {I}}))$ and $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}}\times \mathcal {D}_{\mathrm {Fin}}))$ describing the smallest sizes of unbounded from below with respect to the order $\leq _{\mathcal {I}}$ sets in $\mathcal {D}_{\mathrm {Fin}}$ and $\mathcal {D}_{\mathcal {I}}$, respectively. For a maximal ideal $\mathcal {I}$, these cardinals were investigated by M. Canjar in connection with coinitial and cofinal subsets of the ultrapowers.We show that $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathrm {Fin}} \times \mathcal {D}_{\mathrm {Fin}})) =\mathfrak {b}$ for all ideals $\mathcal {I}$ with the Baire property and that $\aleph _1 \leq \mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) \leq \mathfrak {b}$ for all coanalytic weak P-ideals (this class contains all $\bf {\Pi ^0_4}$ ideals). What is more, we give examples of Borel (even $\bf {\Sigma ^0_2}$ ) ideals $\mathcal {I}$ with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))=\mathfrak {b}$ as well as with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}})) =\aleph _1$.We also study cardinals $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {J}} \times \mathcal {D}_{\mathcal {K}}))$ describing the smallest sizes of sets in $\mathcal {D}_{\mathcal {K}}$ not bounded from below with respect to the preorder $\leq _{\mathcal {I}}$ by any member of $\mathcal {D}_{\mathcal {J}}\!$. Our research is partially motivated by the study of ideal-QN-spaces: those cardinals describe the smallest size of a space which is not ideal-QN. (shrink)

Let J be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal J * ∣B as follows: X ∈ J * ∣B if there exists a Borel set $B \subset R \times R$ such that $X \subset B$ and for any x ∈ R we have $\{y \in R: \langle x,y\rangle \in B\} \in \mathscr{J}$ . We show that there exists a family $\mathscr{A} \subset \mathscr{J}^\ast\mid\mathscr{B}$ of power (...) ω 1 such that $\bigcup\mathscr{A} \not\in \mathscr{J}^\ast\mid\mathscr{B}$ . In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory. (shrink)

We define a σ-ideal J D on the set of functions ω ω with the property that a real x ∈ ω ω is a Hechler real over V if and only if x omits all Borel sets in J D . In fact we define a topology D on ω ω related to Hechler forcing such that J D is the family of first category sets in D. We study cardinal invariants of the ideal J D.

Elekes proved that any infinite-fold cover of a σ-finite measure space by a sequence of measurable sets has a subsequence with the same property such that the set of indices of this subsequence has density zero. Applying this theorem he gave a new proof for the random-indestructibility of the density zero ideal. He asked about other variants of this theorem concerning I-almost everywhere infinite-fold covers of Polish spaces where I is a σ-ideal on the space and the set of indices (...) of the required subsequence should be in a fixed ideal ${{\mathcal{J}}}$ on ω. We introduce the notion of the ${{\mathcal{J}}}$ -covering property of a pair ${({\mathcal{A}}, I)}$ where ${{\mathcal{A}}}$ is a σ-algebra on a set X and ${{I \subseteq \mathcal{P}(X)}}$ is an ideal. We present some counterexamples, discuss the category case and the Fubini product of the null ideal ${\mathcal{N}}$ and the meager ideal ${\mathcal{M}}$ . We investigate connections between this property and forcing-indestructibility of ideals. We show that the family of all Borel ideals ${{\mathcal{J}}}$ on ω such that ${\mathcal{M}}$ has the ${{\mathcal{J}}}$ -covering property consists exactly of non weak Q-ideals. We also study the existence of smallest elements, with respect to Katětov–Blass order, in the family of those ideals ${\mathcal{J}}$ on ω such that ${\mathcal{N}}$ or ${\mathcal{M}}$ has the ${\mathcal{J}}$ -covering property. Furthermore, we prove a general result about the cases when the covering property “strongly” fails. (shrink)

Locally finite omega languages were introduced by Ressayre [Formal languages defined by the underlying structure of their words. J Symb Log 53(4):1009–1026, 1988]. These languages are defined by local sentences and extend ω-languages accepted by Büchi automata or defined by monadic second order sentences. We investigate their topological complexity. All locally finite ω-languages are analytic sets, the class LOC ω of locally finite ω-languages meets all finite levels of the Borel hierarchy and there exist some locally finite ω-languages which (...) are Borel sets of infinite rank or even analytic but non-Borel sets. This gives partial answers to questions of Simonnet (Automates et Théorie Descriptive, Ph.D. Thesis. Université Paris 7, March 1992) and of Duparc et al. [Computer science and the fine structure of Borel sets. Theor Comput Sci 257(1–2):85–105, 2001]. (shrink)

J. Łoś raised the following question: Under what conditions can a countable partially ordered set be extended to a dense linear order merely by adding instances of comparability ? We show that having such an extension is a Σ 1 l -complete property and so there is no Borel answer to Łoś's question. Additionally, we show that there is a natural Π 1 l -norm on the partial orders which cannot be so extended and calculate some natural ranks in (...) that norm. (shrink)

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics (...) and the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

This is a continuation of the paper [J. Symb. Log. 87 (2022), 1065–1092]. For an ideal $\mathcal {I}$ on $\omega $ we denote $\mathcal {D}_{\mathcal {I}}=\{f\in \omega ^{\omega }: f^{-1}[\{n\}]\in \mathcal {I} \text { for every } n\in \omega \}$ and write $f\leq _{\mathcal {I}} g$ if $\{n\in \omega :f(n)>g(n)\}\in \mathcal {I}$, where $f,g\in \omega ^{\omega }$. We study the cardinal numbers $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))$ describing the smallest sizes of subsets of $\mathcal (...) {D}_{\mathcal {I}}$ that are unbounded from below with respect to $\leq _{\mathcal {I}}$. In particular, we examine the relationships of $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))$ with the dominating number $\mathfrak {d}$. We show that, consistently, $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))>\mathfrak {d}$ for some ideal $\mathcal {I}$, however $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))\leq \mathfrak {d}$ for all analytic ideals $\mathcal {I}$. Moreover, we give example of a Borel ideal with $\mathfrak {b}(\geq _{\mathcal {I}}\cap (\mathcal {D}_{\mathcal {I}} \times \mathcal {D}_{\mathcal {I}}))=\operatorname {\mathrm {add}}(\mathcal {M})$. (shrink)

Theodor W. Adorno is best known for his contributions to aesthetics and social theory. Critics have always complained about the lack of a practical, political or ethical dimension to Adorno's philosophy. In this highly original contribution to the literature on Adorno, J. M. Bernstein offers the first attempt in any language to provide an account of the ethical theory latent in Adorno's writings. Bernstein relates Adorno's ethics to major trends in contemporary moral philosophy. He analyses the full range of Adorno's (...) major works, with a special focus on Dialectic of Enlightenment, Minima Moralia and Negative Dialectics. In developing his account Bernstein lays particular stress on Adorno's contention that the event of Auschwitz demands a new categorical imperative. This book will be widely acknowledged as the standard work on Adorno's ethics and as such will interest professionals and students of philosophy, political theory, sociology, history of ideas, art history and music. (shrink)

The meta-problem is 'the problem of explaining why we think that there is a problem of consciousness' (Chalmers, 2018, p. 6). This presupposes that we think there is a problem in the first place. We challenge the breadth of this 'we', arguing that there is already sufficient empirical evidence to cast doubt on the claim. We then add to this body of evidence, presenting the results of a new cross-cultural study extending the work of Sytsma and Machery (2010).

_The Foundations of Arithmetic_ is undoubtedly the best introduction to Frege's thought; it is here that Frege expounds the central notions of his philosophy, subjecting the views of his predecessors and contemporaries to devastating analysis. The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.

With contributions by leading scholars in the field, this book is the first collection in the English language devoted to Baumgarten’s aesthetics.

I argue physicalism should be characterized as the thesis that all behavior is law-governed. This characterization captures crucial desiderata for a formulation of physicalism, including its broad import and worldview defining features. It also has more local virtues, such as avoiding Hempel’s dilemma. A particularly important implication, I argue, is that this thesis makes the question of the mind’s physicality turn on what the mind can do- rather than what experience is like.

J. B. Schneewind's "The Invention of Autonomy" has been hailed as a major interpretation of modern moral thought. Schneewind's narrative, however, elides several serious interpretive issues, particularly in the transition from late medieval to early modern thought. This results in potentially distorted accounts of Thomas Aquinas, Hugo Grotius, and G. W. Leibniz. Since these thinkers play a crucial role in Schneewind's argument, uncertainty over their work calls into question at least some of Schneewind's larger agenda for the history of ethics.

Built in the centre of Copenhagen, and noted for its equestrian stairway, the Rundetaarn, was intended as an astronomical observatory. Part of a complex of buildings that once included a university library, it affords expansive views of the city in every direction, towering above what surrounds it. The metaphor of the towering figure, who sees what others might not, whose vantage point allows him to visualize how things fit together, and who has an earned-stature of respect and authority, fits another (...) Danish stalwart, Hans Vilhelm Hansen, whose contributions to the fields of informal logic and argument theory have earned the gratitude of his colleagues, and inspired this collection of essays, written to express the appreciation of its authors and of the many, many colleagues they represent. (shrink)

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

In this book, J.H. Plumb investigates the way that humankind has, since the beginning of recorded time, molded the past to give sanction to their institutions of government, their social structure and morality. The past has also been called upon to explain the nature of our destiny in order both to strengthen the objectives of society and to reconcile us to our lot. J.H. Plumb questions this sanction of the past, the force that it has on our sense of destiny (...) and its relevance to our own times. This classic text is now reissued with a new introduction by Niall Ferguson, placing it within a contemporary context, and with a new foreword by the eminent historian Simon Schama, a former student of J.H.Plumb himself. (shrink)

We prove that, for each countable ordinal ξ≥1, there exist some -complete ω-powers, and some -complete ω-powers, extending previous works on the topological complexity of ω-powers [O. Finkel, Topological properties of omega context free languages, Theoretical Computer Science 262 669–697; O. Finkel, Borel hierarchy and omega context free languages, Theoretical Computer Science 290 1385–1405; O. Finkel, An omega-power of a finitary language which is a borel set of infinite rank, Fundamenta informaticae 62 333–342; D. Lecomte, Sur les ensembles (...) de phrases infinies constructibles a partir d’un dictionnaire sur un alphabet fini, Séminaire d’Initiation a l’Analyse, 1, année 2001–2002; D. Lecomte, Omega-powers and descriptive set theory, Journal of Symbolic Logic 70 1210–1232; J. Duparc, O. Finkel, An ω-Power of a Context-Free Language Which Is Borel Above , in: S. Bold, B. Löwe, T. Räsch, J. van Benthem , in the Proceedings of the international conference foundations of the formal sciences V : Infinite Games, November 26th to 29th, 2004, Bonn, Germany, in: Studies in Logic, vol. 11, College Publications at King’s College, 2007, pp. 109–122]. We prove effective versions of these results; in particular, for each recursive ordinal there exist some recursive sets A2<ω such that , where and denote classes of the hyperarithmetical hierarchy. To do this, we prove effective versions of a result by Kuratowski, describing a set as the range of a closed subset of the Baire space ωω by a continuous bijection. This leads us to prove closure properties for the pointclasses in arbitrary recursively presented Polish spaces. We apply our existence results to get better computations of the topological complexity of some sets of dictionaries considered in [D. Lecomte, Omega-powers and descriptive set theory, Journal of Symbolic Logic 70 1210–1232]. (shrink)

Aristotle and the sea battle, by G. E. M. Anscombe.--Aristotle's different possibilities, by K. J. J. Hintikka.--On Aristotle's square of opposition, by M. Thompson.--Categories in Aristotle and in Kant, by J. C. Wilson.--Aristotle's Categories, chapters I-V: translation and notes, by J. L. Ackrill--Aristotle's theory of categories, by J. M. E. Moravcsik.--Essence and accident, by I. M. Copi.--Tithenai ta phainomena, by G. E. L. Owen.--Matter and predication in Aristotle, by J. Owens.--Problems in Metaphysics Z, chapter 13, by M. J. Woods.--The meaning (...) of agathon in the Ethics of Aristotle, by H. A. Prichard.--Agathon and eudaimonia in the Ethics of Aristotle, by J. L. Austin.--The final good in Aristotle's Ethics, by W. F. R. Hardie.--Aristotle on pleasure, by J. O. Urmson.--Bibliography (p. 335-41). (shrink)

In focusing on the story of Darwin's religious doubts, scholars too often overlook Darwin's positive contribution to the study of religion. J. David Pleins traces Darwin's journey in five steps. He begins with Darwin's global voyage, where his encounter with religious and cultural diversity transformed his understanding of religion. Surprisingly, Darwin wrestles with serious theological questions even as he uncovers the evolutionary layers of religion from savage roots. Next, we follow Darwin as his doubts about traditional biblical religion take root, (...) affecting his career choice and marriage to Emma Wedgwood. Pleins then examines Darwin's secret notebooks as he searches for a materialist theory of religion. Again, other surprises loom as Darwin's reading of Comte's three stages of religion's development actually predate his reading of Malthus. Pleins explores how Darwin applied his discovery to the realm of ethics by formulating an evolutionary view of the "Golden Rule" in his Descent of Man. Finally, he considers Darwin's later reflections on the religion question, as he wrestled with whether his views led to atheism, agnosticism, or a new kind of theism. The Evolving God concludes by looking at some of the current religious debates surrounding Darwin and suggests the need for a deeper appreciation for Darwin as a religious thinker. Though he grew skeptical of traditional Christian dogma, Darwin made key discoveries concerning the role and function of religion as a natural evolutionary phenomenon. (shrink)

This chapter discusses methodology in epistemology. It argues that settling the facts, even the epistemic facts, fails to settle the questions of intellectual policy at the centre of our epistemic lives. One upshot is that the standard methodology of analysing concepts like knowledge, justification, rationality, and so on is misconceived. More generally, any epistemic method that seeks to issue in intellectual policy by settling the facts, whether by way of abductive theorizing or empirical investigation, no matter how reliable, is inapt. (...) The argument is a radicalization of Moore’s open-question argument. In conclusion, the ramifications of this argument for the debate surrounding modal security, a proposed necessary condition on undermining defeat, are considered. (shrink)