BackgroundOne of the next frontiers in HIV research is focused on finding a cure. A new priority includes people with HIV (PWH) with non-AIDS terminal illnesses who are willing to donate their bodies at the end-of-life (EOL) to advance the search towards an HIV cure. We endeavored to understand perceptions of this research and to identify ethical and practical considerations relevant to implementing it.MethodsWe conducted 20 in-depth interviews and 3 virtual focus groups among four types of key stakeholders in the (...) United States (PWH, biomedical HIV cure researchers, HIV clinicians, and bioethicists) to obtain triangulated viewpoints because little was known about the ethics of this topic. Each group was queried as to ethical considerations, safeguards, and protections for conducting HIV cure-related research at the EOL to ensure this research remains acceptable.ResultsAll four key stakeholder groups generally supported HIV cure-related research conducted at the EOL because of the history of altruism within the PWH community and the potential for substantial scientific knowledge to be gained. Our informants expressed that: (1) Strong stakeholder and community involvement are integral to the ethical and effective implementation, as well as the social acceptability of this research; (2) PWH approaching the EOL should not inherently be considered a vulnerable class and their autonomy must be respected when choosing to participate in HIV cure-related research at the EOL; (3) Greater diversity among study participants, as well as multi-disciplinary research teams, is necessitated by HIV cure-related research at the EOL; (4) The sensitive nature of this research warrants robust oversight to ensure a favorable risk/benefit balance and to minimize the possibility of therapeutic misconception or undue influence; and (5) Research protocols should remain flexible to accommodate participants’ comfort and needs at the EOL.ConclusionBecause of the ethical issues presented by HIV cure-related research at the EOL, robust ethical safeguards are of utmost importance. The proposed ethical and practical considerations presented herein is a first step in determining the best way to maximize this research’s impact and social value. More much inquiry will need to be directed towards understanding context-specific and cultural considerations for implementing EOL HIV cure research in diverse settings. (shrink)

The Last Gift is an observational HIV cure-related research study conducted with people with HIV at the end of life (EOL) at the University of California San Diego. Participants agree to voluntarily donate blood and other biospecimens while living and their bodies for a rapid research autopsy postmortem to better understand HIV reservoir dynamics throughout the entire body. The Last Gift study was initiated in 2017. Since then, 30 volunteers were enrolled who are either (1) terminally ill with a concomitant (...) condition and have a prognosis of 6 months or less or (2) chronically ill with multiple comorbidities and nearing the EOL.Multiple ethical and logistical challenges have been revealed during this time; here, we share our lessons learnt and ethical analysis. Issues relevant to healthcare research include surrogate informed consent, personal and professional boundaries, challenges posed conducting research in a pandemic, and clinician burnout and emotional support. Issues more specific to EOL and postmortem research include dual roles of clinical care and research teams, communication between research personnel and clinical teams, legally required versus rapid research autopsy, identification of next of kin/loved ones and issues of inclusion. Issues specific to the Last Gift include logistics of body donation and rapid research autopsy, and disposition of the body as a study benefit.We recommend EOL research teams to have clear provisions around surrogate informed consent, rotate personnel to maintain boundaries, limit direct contact with staff associated with clinical care and have a clear plan for legally required versus research autopsies, among other recommendations. (shrink)

BackgroundThe pursuit of a cure for HIV is a high priority for researchers, funding agencies, governments and people living with HIV (PLWH). To date, over 250 biomedical studies worldwide are or have been related to discovering a safe, effective, and scalable HIV cure, most of which are early translational research and experimental medicine. As HIV cure research increases, it is critical to identify and address the ethical challenges posed by this research.MethodsWe conducted a scoping review of the growing HIV cure (...) research ethics literature, focusing on articles published in English peer-reviewed journals from 2013 to 2021. We extracted and summarized key developments in the ethics of HIV cure research. Twelve community advocates actively engaged in HIV cure research provided input on this summary and suggested areas warranting further ethical inquiry and foresight via email exchange and video conferencing.DiscussionDespite substantial scholarship related to the ethics of HIV cure research, additional attention should focus on emerging issues in six categories of ethical issues: (1) social value (ongoing and emerging biomedical research and scalability considerations); (2) scientific validity (study design issues, such as the use of analytical treatment interruptions and placebos); (3) fair selection of participants (equity and justice considerations); (4) favorable benefit/risk balance (early phase research, benefit-risk balance, risk perception, psychological risks, and pediatric research); (5) informed consent (attention to language, decision-making, informed consent processes and scientific uncertainty); and (6) respect for enrolled participants and community (perspectives of people living with HIV and affected communities and representation).ConclusionHIV cure research ethics has an unfinished agenda. Scientific research and bioethics should work in tandem to advance ethical HIV cure research. Because the science of HIV cure research will continue to rapidly advance, ethical considerations of the major themes we identified will need to be revisited and refined over time. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

Abordando a formação da consciência moderna, este artigo considera a Querela dos Antigos e dos Modernos a partir de duas noções estéticas fundamentais: a imitatio e a aemulatio.O modo como progressivamente se faz o elogio da emulação face à simples imitação corresponde à ultrapassagem do pólo antigo pelo pólo moderno. Enquanto o imitador deseja reproduzir a exactidão do modelo, o emulador esforça-se por dizer melhor. A emulação, proposta pelos Modernos, mostra-se sempre relativizadora e perturbada em relação aos antigos, inquieta por (...) se lhes sobrepor. (shrink)

Resenha de: KOHAN, Walter Omar. O Mestre inventor. Relatos de um viajante educador. Tradução Hélia Freitas. 1. ed. Belo Horizonte: Autêntica Editora, 2013 (Coleção Educação: Experiência e Sentido).

Este texto discute aspectos educacionais do pensamento de Herbert Spencer, especialmente sobre os princípios dirigentes da educação intelectual. Questiona-se: qual a importância dos princípios dirigentes da educação intelectual de Herbert Spencer para a educação atual? Spencer coloca em relevo os problemas da educação intelectual, moral e física, da mesma maneira que considera a superficialidade da formação familiar e a consequência para a educação escolar.

This paper responds to Friend’s (2023) critique of the Powers-BSA, a view according to which laws of nature are efficient descriptions of how modally laden properties (powers) are possibly distributed in spacetime. In the course of this response, the paper discusses the nature of scientific and metaphysical explanation, the aim of science and the structure of modal space.

Samuel Pufendorf is one of the most important moral and political philosophers of the seventeenth century. His theory, which builds on Grotius and Hobbes, was immediately recognized as a classic and taken up by writers as diverse as Locke, Hume, Rousseau, and Smith. Over the past twenty years there has been a renaissance of Pufendorf scholarship. On the Duty of Man and Citizen is Pufendorf's own epitome of his monumental On the Law of Nature and of Nations, and it (...) served as a basic text in European universities throughout the Enlightenment. This edition has a lucid and historically sensitive translation by Michael Silverthorne, the first since the early twentieth century. James Tully's introduction sets the text in its context, summarizes the main arguments, surveys recent literature on Pufendorf, and shows how Pufendorf transformed natural law theory into an independent discipline of juristic political philosophy that dominated reflection on politics until Kant. (shrink)

As we understand them, dispositions are relatively uncontroversial 'predicatory' properties had by objects disposed in certain ways. By contrast, powers are hypothetical 'ontic' properties posited in order to explain dispositional behaviour. Chapter 1 outlines this distinction in more detail. Chapter 2 offers a summary of the issues surrounding analysis of dispositions and various strategies in contemporary literature to address them, including one of our own. Chapter 3 describes some of the important questions facing the metaphysics of powers including why they're (...) worth positing, and how they might metaphysically explain laws of nature and modality. (shrink)

Modern notions of empathy often celebrate its ability to bridge divides, to unite humankind. But how do we square this with the popular view that we can never truly comprehend the experience of being someone else? In this book, Samuel Fleischacker delves into the work of Adam Smith to draw out an understanding of empathy that respects both personal difference and shared humanity. After laying out a range of meanings for the concept of empathy, Fleischacker proposes that what Smith (...) called “sympathy” is very much what we today consider empathy. Smith’s version has remarkable value, as his empathy calls for entering into the perspective of another—a uniquely human feat that connects people while still allowing them to define their own distinctive standpoints. After discussing Smith’s views in relation to more recent empirical and philosophical studies, Fleischacker shows how turning back to Smith promises to enrich, clarify, and advance our current debates about the meaning and uses of empathy. (shrink)

My primary target in this paper is a puzzle that emerges from the conjunction of several seemingly innocent assumptions in action theory and the metaphysics of moral responsibility. The puzzle I have in mind is this. On one widely held account of moral responsibility, an agent is morally responsible only for those actions or outcomes over which that agent exercises control. Recently, however, some have cited cases where agents appear to be morally responsible without exercising any control. This leads some (...) to abandon the control-based account of responsibility and replace it with an alternative account. It leads others to deny the intuition that agents are responsible in these troublesome cases. After outlining the account of moral responsibility I have in mind, I look at some of the arguments made against the viability of this theory. I show that there are conceptual resources for salvaging the control account, focusing in particular on the nature of vigilance. I also argue that there is empirical data that supports the control account so conceived. (shrink)

Since some AI algorithms with high predictive power have impacted human integrity, safety has become a crucial challenge in adopting and deploying AI. Although it is impossible to prevent an algorithm from failing in complex tasks, it is crucial to ensure that it fails safely, especially if it is a critical system. Moreover, due to AI’s unbridled development, it is imperative to minimize the methodological gaps in these systems’ engineering. This paper uses the well-known Box-Jenkins method for statistical modeling as (...) a framework to identify engineering pitfalls in the adjustment and validation of AI models. Step by step, we point out state-of-the-art strategies and good practices to tackle these engineering drawbacks. In the final step, we integrate an internal and external validation scheme that might support an iterative evaluation of the normative, perceived, substantive, social, and environmental safety of all AI systems. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

Spinoza studies have seen a renaissance of interest in his views on modality, from which considerable disagreement has emerged about Spinoza's modal commitments. Much of this disagreement stems from larger interpretive disagreements about Spinoza's metaphysics. After a brief introduction, this SEP article begins with Spinoza's views on the distribution of modal properties, which quickly leads the heart of Spinoza's metaphysics, intersecting his views on causation, inherence, God, ontological plenitude and the principle of sufficient reason. Although the question of whether Spinoza (...) was a necessitarian is the predominant topic of discussion in the recent secondary literature on Spinoza's modal views, Spinoza also sketches interesting accounts of the nature of modality and the ground of modality that shed fresh light on his modal commitments. Though understudied by recent interpreters, these latter topics were of interest to Spinoza's peers and remain vibrant research questions in contemporary metaphysics of modality. (shrink)

According to Phenomenal Conservatism (PC), if it seems to a subject S that P, S thereby has some degree of (defeasible) justification for believing P. But what is it for P to seem true? Answering this question is vital for assessing what role (if any) such states can play. Many have appeared to adopt a kind of non-reductionism that construes seemings as intentional states which cannot be reduced to more familiar mental states like beliefs or sensations. In this paper I (...) aim to show that reductive accounts need to be taken more seriously by illustrating the plausibility of identifying seemings and conscious inclinations to form a belief. I briefly close the paper by considering the implications such an analysis might have for views such as PC. (shrink)

Philosophy of mind as a branch of philosophy has been growing. With a vast array of literature stemming from Plato to Descartes, down to Daniel Dennett and Paul and Patricia Churchland, there is no doubt that a lot has been said in that area regarding the mind-body problem, consciousness, the role of the human brain, etc. More so, with the advancement in neuroscience, newer and more interesting discussions linking neuroscience to philosophy of mind is inevitable. Equally as interesting, is the (...) philosophical work that is done in relation to the development of Artificial Intelligence in terms of robotics, artificial intelligence systems, technology-based human enhancements, etc. In all these, the African perspective has been largely underexplored and the salient perspectives of modern and contemporary African philosophers are rarely engaged. What we do in this chapter is to present an overview of the general concerns of this book. This concern is two-fold – the first part tackles issues related to consciousness, identity, and the mind-body problem, and the second part generally deals with issues related to Artificial intelligence and human enhancement. (shrink)

There was a consensus in late Scholasticism that evils are privations, the lacks of appropriate perfections. For something to be evil is for it to lack an excellence that, by its nature, it ought to have. This widely accepted ontology of evil was used, in part, to help explain the source of evil in a world created and sustained by a perfect being. during the second half of the seventeenth century, progressive early moderns began to criticize the traditional privative account (...) of evil on a variety of philosophical and theological grounds. Embedded in Scholastic Aristotelianism and applied to problems of evil, privation theory seemed to some like yet another instance of pre-modern pseudo-explanation.1Against this .. (shrink)

This paper addresses the extent to which both Julian Barbour‘s Machian formulation of general relativity and his interpretation of canonical quantum gravity can be called timeless. We differentiate two types of timelessness in Barbour‘s (1994a, 1994b and 1999c). We argue that Barbour‘s metaphysical contention that ours is a timeless world is crucially lacking an account of the essential features of time—an account of what features our world would need to have if it were to count as being one in which (...) there is time. We attempt to provide such an account through considerations of both the representation of time in physical theory and in orthodox metaphysical analyses. We subsequently argue that Barbour‘s claim of timelessness is dubious with respect to his Machian formulation of general relativity but warranted with respect to his interpretation of canonical quantum gravity. We conclude by discussing the extent to which we should be concerned by the implications of Barbour‘s view. (shrink)

Proponents of the utilitarian animal welfare argument (AWA) for veganism maintain that it is reasonable to expect that adopting a vegan diet will decrease animal suffering. In this paper I argue otherwise. I maintain that (i) there are plausible scenarios in which refraining from meat-consumption will not decrease animal suffering; (ii) the utilitarian AWA rests on a false dilemma; and (iii) there are no reasonable grounds for the expectation that adopting a vegan diet will decrease animal suffering. The paper is (...) divided into four sections. In the first, I set out the utilitarian AWA in its original form. I give some background and I distinguish it from other, related arguments. In the second, I discuss the causal impotence objection, a popular objection to the utilitarian AWA. I explain how the objection works by means of a conceptual distinction between consumers and producers. In the third, I explain how proponents of the utilitarian AWA respond to this objection. In particular, I set out in some detail what I call the expected utility response. In the fourth and final section, I use the three objections noted above to explain why I do not find this response convincing. (shrink)

In this two-part series, I explore some of the most important and influential interpretations of Spinoza as an idealist. In this first part, I examine Hegel’s case for interpreting Spinoza as a kind of frustrated idealist and show how doing so raises fresh interpretative challenges for Spinoza’s contemporary readers.

Fleischacker addresses the dangers of seeking ethical understanding across cultures--that we may either impose our own values on others or abandon all norms to relativism. Drawing in particular on the Jewish tradition, he sees the unique and powerful stories that each culture tells as crucial to ethical practice, and suggests that neither tradition nor authority is antagonistic to freedom.

According to a common reading, Spinoza and Leibniz stand on opposite ends of the modal spectrum. At one extreme lies ‘‘Spinoza the necessitarian,’’ for whom the actual world is the only possible world. At the other lies ‘‘Leibniz the anti-necessitarian,’’ for whom the actual world is but one possible world among an infinite array of other possible worlds; the actual world is privileged for existence only in virtue of a free decree of a benevolent God. In this paper, I challenge (...) both of these readings. Spinoza is no necessitarian and Leibniz is no anti-necessitarian – at least as these characterizations are usually understood. Rather, I contend, Spinoza and Leibniz are both anti-essentialists; they believe that the modality of objects can vary relative to how those objects are conceived. This shared commitment to anti-essentialism allows them to consistently affirm both necessitarianism and its denial, relative to different ways of conceiving the world. Their embrace of this modal theory, I further argue, is grounded in their similar views on metaphysical perfection, ontological plentitude, and the principle of sufficient reason. (shrink)

In this two-part series, I explore some of the most important and influential interpretations of Spinoza as an idealist. In this second part, I turn to more recent idealistic interpretations of Spinoza, including the important British idealist school (including Pollock, Martineau, Joachim, and John Caird) at the turn of the 20th century to a very recent and important kind of idealist reading found in the work of Michael Della Rocca.

True Bergsonianism : beginnings of a philosopher -- The controversy over intersubjectivity -- Nazism and crisis : the interruption of a trajectory -- Totaliter aliter : revelation in interwar thought -- Levinas's discovery of the other in the making of French existentialism -- The ethical turn : philosophy and Judaism in the Cold War.

According to Spinoza, what is the relationship between the mental – ideas, minds, and the attribute of Thought – and the conceptual – concepts, conceiving, and conceptual dependence? The natural and pervasive interpretive assumption that Spinoza’s appeals to the conceptual are synonymous with appeals to the mental ought to be rejected, a rejection that prevents some of his central metaphysical doctrines from otherwise collapsing into incoherence. A close reading of key texts shows instead that conceptual relations are attribute-neutral for Spinoza; (...) mental relations comprise a proper subset of conceptual relations. This surprising conclusion, that the conceptual outstrips the mental, also sheds new light the relationship between the attributes, the extent of parallelism, and the nature of extension. It also shows how Spinoza’s frequent privileging of the conceptual avoids collapsing into a kind of idealism, a central point on which the most novel recent interpretation of Spinoza (Michael Della Rocca’s) falters. (shrink)

30th Nov. and 1st Dec. 2013 at Kyoto University. Organizer: Takeshi Sakon.

Philosophers use historical case studies to support wide-ranging claims about science. This practice is often criticized as problematic. In this paper we suggest that the function of case studies can be understood and justified by analogy to a well-established practice in biology: the investigation of model organisms. We argue that inferences based on case studies are no more problematic than inferences from model organisms to larger classes of organisms in biology. We demonstrate our view in detail by reference to a (...) case study with a long history: Semmelweis’s discovery of the cause of childbed fever. (shrink)

In this paper I defend Kuhn’s view of scientific discovery, which involves two central tenets, namely that a scientific discovery always requires a discovery-that and a discovery-what, and that there are two kinds of scientific discovery, resulting from the temporal order of the discovery-that and the discovery-what. I identify two problems with Kuhn’s account and offer solutions to them from a realist stance. Alternatives to Kuhn’s account are also discussed.

For the last fifty years, the United States healthcare system has done an extremely poor job of delivering healthcare in a just and fair manner. The United States holds the dubious distinction of being the only industrialized nation in the world lacking provisions to ensure universal coverage. We attempt to provide some of the reasons this dysfunctional system has persisted and show that healthcare should not be a commodity. We begin with a brief historical overview of healthcare delivery in the (...) United States since WWII. This is followed by a critical analysis of the for-profit model including reasons to support the view that healthcare should not be a free market commodity. We also demonstrate how special interest groups have been able to win support for their practices based on propaganda rather than fact. A brief analysis of the Affordable Care Act is offered along with critical comments regarding its ineffectiveness. We conclude with a brief overview of international approaches that have resulted in universal coverage and suggest the United States ought to adopt an approach similar to those outlined so that it no longer stands as the only industrialized nation to ignore the glaring problems that exist. (shrink)

Smiles provide information about a social partner’s affect and intentions during social interaction. Although always encountered within a specific situation, the influence of contextual information on smile evaluation has not been widely investigated. Moreover, little is known about the reciprocal effect of smiles on evaluations of their accompanying situations. In this research, we assessed how different smile types and situational contexts affected participants’ social evaluations. In Study 1, 85 participants rated reward, affiliation, and dominance smiles embedded within either enjoyable, polite, (...) or negative (unpleasant) situations. Context had a strong effect on smile ratings, such that smiles in enjoyable situations were rated as more genuine and joyful, as well as indicating less superiority than those in negative situations. In Study 2, 200 participants evaluated the situations that these smiles were perceived within (rather than the smiles themselves). Although situations paired with reward (vs. affiliation) smiles tended to be rated more positively, this effect was absent for negative situations. Ultimately, the findings point toward a reciprocal relationship between smiles and contexts, whereby the face influences evaluations of the situation and vice versa. (shrink)

A miracle is defined as a violation of or intercession in the laws of nature. Some recent reports of UFO phenomena are such that UFOs may satisfy that definition. In this paper, we ask how Hume’s famous argument in “Of Miracles” relates to UFOs. We argue that his critique fails and that some well corroborated UFO reports are such that they justify a belief in miracles (qua violations of laws of nature).

In this paper I argue that Kant would have endorsed Clifford’s principle. The paper is divided into four sections. In the first, I review Kant’s argument for the practical postulates. In the second, I discuss a traditional objection to the style of argument Kant employs. In the third, I explain how Kant would respond to this objection and how this renders the practical postulates consistent with Clifford’s principle. In the fourth, I introduce positive grounds for thinking that Kant would have (...) endorsed this principle. (shrink)

This paper shows that Hannah Arendt was a theorist both of secularization as a process and the secular as a goal of modern politics. It reconstructs these arguments in her corpus, especially her book "On Revolution," and argues that this dimension of her work may have been a response to Carl Schmitt (and is in any event now usefully read in such a way). The paper ends by examining how Arendt might reply to currently influential challengers of a secular politics.

Chapter 1 Introduction How are participants associated with the eventualities they participate in? Are there events? Thematic roles? ...

It is the aim of this paper to develop and defend an interpretation of level of scientific discipline within the truth-maker framework. In particular, I exploit the mereological relation of proper parthood, which is integral to truth-maker semantics, in order to provide an account of scientific level.

After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

In a widely received paper on theory choice, Kuhn made three central claims. First, as a matter of empirical fact, different theories tend to score differently with regard to what Kuhn considered to be the standard set of theoretical virtues, i.e., empirical accuracy, internal and external consistency, scope, simplicity, and fertility. Whereas some theories will for instance be more empirically accurate than others, other theories will have greater external coherence with our background theories. Second, hardly ever does a theory’s being (...) virtuous in one particular respect legitimize a choice for that theory—not even when that virtue is empirical accuracy. Third, following from the first two .. (shrink)

Two of the lead articles in this issue examine the emerging practice of organ procurement by normothermic regional perfusion (NRP) in terms of whether or not these patients are “dead” at the time t...

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)