In recent years, there has been increasing recognition of both the philosophical questions engendered by the idea of a human right to health and the potential of philosophical analysis to help in the formulation of better policy. In this article, I attempt to locate recent work on the moral right to health in a number of historically established conceptions, with the aim of providing a map of the conceptual landscape as to the claims expressed by such a right.

As health policy-makers around the world seek to make progress towards universal health coverage, they must navigate between two important ethical imperatives: to set national spending priorities fairly and efficiently; and to safeguard the right to health. These imperatives can conflict, leading some to conclude that rights-based approaches present a disruptive influence on health policy, hindering states’ efforts to set priorities fairly and efficiently. Here, we challenge this perception. We argue first that these points of tension stem largely from inadequate (...) interpretations of the aims of priority setting as well as the right to health. We then discuss various ways in which the right to health complements traditional concerns of priority setting and vice versa. Finally, we set out a three-step process by which policy-makers may navigate the ethical and legal considerations at play. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

This article concerns the nature and limits of individuals’ rights to privacy over information that they have made public. For some, even suggesting that an individual can have a right to privacy over such information may seem paradoxical. First, one has no right to privacy over information that was never private to begin with. Second, insofar as one makes once-private information public – whether intentionally or unintentionally – one waives one’s right to privacy to that information. In this article, however, (...) we suggest the moral situation is more complicated than this. Rather, we argue that there is a class of public information – namely, once-private information that individuals have made public unintentionally – which remains within the scope of an individuals’ right to privacy, even when it has passed into the public domain. Significantly, this class includes any information rights-holders were unaware could be inferred from information they have made public and which they would not otherwise have wanted to be in the public domain. As we show, as well as clarifying several everyday dilemmas with regards to individuals’ privacy rights, this finding has elucidates a number of problems in the ethics of Big Data. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Health systems that provide for universal patient access through a scheme of prepayments—whether through taxes, social insurance, or a combination of the two—need to make decisions on the scope of coverage that they secure. Such decisions are inherently controversial, implying, as they do, that some patients will receive less than comprehensive health care, or less than complete protection from the financial consequences of ill-heath, even when there is a clinically effective therapy to which they might have access.Controversial decisions of this (...) sort call for a public justification for covering or not covering a given treatment. Priority-setting agencies play a key role in providing such a justification. A recent... (shrink)

For all their various disagreements, one point upon which rights theorists often agree is that it is simply part of the nature of rights that they tend to override, outweigh or exclude competing considerations in moral reasoning, that they have ‘peremptory force’, making ‘powerful demands’ that can only be overridden in ‘exceptional circumstances’, Philosophical Foundations of Human Rights, Oxford University Press, Oxford, 2016, p. 240). In this article I challenge this thought. My aim here is not to prove that the (...) traditional view of rights’ stringency is necessarily false, nor even that we have no good reason to believe it is true. Rather, my aim is only to show that we have good reason to think that the foundation of the traditional position is less stable than we might have otherwise supposed and that an alternative conception of rights—one which takes the stringency of any given right as particular to the kind of right it is—is both viable and attractive. In short, to begin to move us towards a more ‘particularist’ conception of rights’ standing in moral reasoning and judgement. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Is health care “special”? That is, do we have moral reason to treat health care differently from how we treat other sorts of social goods? Intuitively, perhaps, we might think the proper response is “yes.” However, to date, philosophers have often struggled to justify this idea—known as the “specialness thesis about health care” or STHC. In this article, I offer a new justification of STHC, one I take to be immune from objections that have undercut other defenses. Notably, unlike previous (...) utility- and opportunity-based theories, I argue that we can find normative justification for STHC in what I term our special duty to assist those unable to help themselves. It is this duty, I argue, that ultimately gives us reason to treat health care differently from other sorts of goods and to distribute it independently of individuals’ ability to pay. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

To say health is 'special' is to say that it has a moral significance that differentiates it from other goods (cars, say or radios) and, as a matter of justice, warrants distributing it separately. In this essay, I critique a new justification for the specialness thesis about healthcare (STHC) recently put forth by Engster. I argue that, regrettably, Engster's justification of STHC ultimately fails and fails on much the same grounds as have previous justifications of STHC. However, I also argue (...) that Engster's argument still adds something valuable to the debate around STHC insofar as it reminds us that the moral significance of healthcare may be wider than simply its effect on the incidence of disability and disease: one further reason we may think healthcare is morally significant is because it concerns the treatment and care of those who are already unwell. (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

Before presenting his own account of value in the Ethics, Spinoza spends much of EIAppendix and EIVPreface attempting to refute a series of axiological ‘prejudices’ that he takes to have taken root in the minds of his readership. In doing so, Spinoza adopts what might be termed a ‘genealogical’ argumentative strategy. That is, he tries to establish the falsity of imagined readership’s prejudices about good and bad, perfection and imperfection, by first showing that the ideas from which they have arisen (...) are themselves false. Many elements of this genealogy, however, remain unclear. First, both the nature of the metaethical prejudices Spinoza believes we have been labouring under, and the metaphysical prejudices that he takes to have given rise to them, continue to attract widespread disagreement. Although much less commented on, it is also not entirely obvious why Spinoza takes the one to have engendered the other. In this article, I attempt to clarify Spinoza’s reasoning in both of these respects, ultimately concluding that Spinoza offers us two accounts of how this process has occurred, the first beginning from an anthropocentric doctrine of divine providence, the second from more secular, perhaps more purely Aristotelian metaphysical tradition. (shrink)

Early in the first volume of his Ideen zu einer reinen Phiinomeno logie und phiinomenologischen Philosophie, Edmund Husserl stated concisely the significance and scope of the problem with which this present study is concerned. When we reflect on how it is that consciousness, which is itself absolute in relation to the world, can yet take on the character of transcendence, how it can become mundanized, We see straightaway that it can do that only by means of a certain participation in (...) transcendence in the first, originary sense, which is manifestly the transcendence of material Nature. Only by means of the experiential relation to the animate organism does consciousness become really human and animal (tierischen), and only thereby does it achieve a place in the space and in the time of Nature. l Consciousness can become "worldly" only by being embodied within the world as part of it. In so far as the world is material Nature, consciousness must partake of the transcendence of material Nature. That is to say, its transcendence is manifestly an embodiment in a material, corporeal body. Consciousness, thus, takes on the characteristic of being "here and now" (ecceity) by means of experiential (or, more accurately, its intentive) relation to that corporeal being which embodies it. Accordingly, that there is a world for consciousness is a conse quence in the first instance of its embodiment by 2 that corporeal body which is for it its own animate organism. (shrink)

In recent years, there has been increasing recognition of both the philosophical questions engendered by the idea of a human right to health and the potential of philosophical analysis to help in the formulation of better policy. In this article, I attempt to locate recent work on the moral right to health in a number of historically established conceptions, with the aim of providing a map of the conceptual landscape as to the claims expressed by such a right.

In this article we aim to assess the ethical desirability of self-test diagnostic kits for influenza, focusing in particular on the potential benefits and challenges posed by a new, mobile phone-based tool currently being developed by i-sense, an interdisciplinary research collaboration based at University College London and funded by the Engineering and Physical Sciences Research Council. Our study adopts an empirical ethics approach, supplementing an initial review into the ethical considerations posed by such technologies with qualitative data from three focus (...) groups. Overall, we map a range of possible considerations both for and against the use of such technologies, synthesizing evidence from a range of secondary literature, as well as identifying several new considerations previously overlooked. We argue that no single consideration marks these technologies as either entirely permissible or impermissible but rather tools which have the potential to incur certain costs and benefits, and that context is important in determining these. In the latter stages of the article, we explain how developers of such technologies might seek to mitigate such costs and reflect on the possible limitations of the empirical ethics method brought out during the study. Not applicable. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The standard adaptationist explanation of the presence of a sensory mechanism in an organism—that it detects properties useful to the organism—cannot be given for color vision. This is because colors do not exist. After arguing for this latter claim, I consider, but reject, nonadaptationist explanations. I conclude by proposing an explanation of how color vision could have adaptive value even though it does not detect properties in the environment.

Part I The Imperative Mood 'Virtue, then, is a disposition governing our choices '. ARISTOTLE, Eth. Nic. 36 Prescriptive Language. ...

One rationale policy-makers sometimes give for declining to fund a service or intervention is on the grounds that it would be ‘unaffordable’, which is to say, that the total cost of providing the service or intervention for all eligible recipients would exceed the budget limit. But does the mere fact that a service or intervention is unaffordable present a reason not to fund it? Thus far, the philosophical literature has remained largely silent on this issue. However, in this article, we (...) consider this kind of thinking in depth. Albeit with certain important caveats, we argue that the use of affordability criteria in matters of public financing commits what Parfit might have called a ‘mistake in moral mathematics’. First, it fails to abide by what we term a principle of ‘non-perfectionism’ in moral action: the mere fact that it is practically impossible for you to do all the good that you have reason to do does not present a reason not to do whatever good you can do. And second, when used as a means of arbitrating between which services to fund, affordability criteria can lead to a kind of ‘numerical discrimination’. Various attendant issues around fairness and lotteries are also discussed. (shrink)

Should particularists about ethics claim that moral principles are never true? Or should they rather claim that any finite set of principles will not be sufficient to capture ethics? This paper explores and defends the possibility of embracing the second of these claims whilst rejecting the first, a position termed 'principled particularism'. The main argument that particularists present for their position-the argument that holds that any moral conclusion can be superseded by further considerations-is quite compatible with principled particularism; indeed, it (...) is compatible with the idea that every true moral conclusion can be shown to follow deductively from a finite set of premises. Whilst it is true that these premises must contain implicit ceteris paribus clauses, this does not render the arguments trivial. On the contrary, they can do important work in justifying moral conclusions. Finally the approach is briefly applied to the related field of jurisprudence. (shrink)

Can we formulate a moral theory that captures the moral significance of patterns of group behaviour we cannot affect through our own action while at the same time avoiding the so-called ‘Ideal Worlds’ objection? In a recent article, Caleb Perl has argued that we can. Specifically, Perl claims that one view that does so is his Patterned View: roughly, you ought to act only in accordance with that set of sufficiently general rules that has optimal moral value (Perl 2021: 98). (...) The Patterned View undoubtedly constitutes a welcome contribution to our existing set of moral theories. However, does it avoid the Ideal Worlds objection? In this article, I argue ‘no’. (shrink)

The EU offers a suitable milieu for the comparison and harmonisation of healthcare across different languages, cultures, and jurisdictions, which could provide improvements in healthcare standards across the bloc. There are specific ethico-legal issues with the use of data in healthcare research that mandate a different approach from other forms of research. The use of healthcare data over a long period of time is similar to the use of tissue in biobanks. There is a low risk to subjects but it (...) is impossible to gain specific informed consent given the future possibilities for research. Large amounts of data on a subject present a finite risk of re-identification. Consequently, there is a balancing act between this risk and retaining sufficient utility of the data. Anonymising methods need to take into account the circumstances of data sharing to enable an appropriate balance in all cases. There are ethical and policy advantages to exceeding the legal requirements and thereby securing the social licence for research. This process would require the examination and comparison of data protection laws across the trading bloc to produce an ethico-legal framework compatible with the requirements of all member states. Seven EU jurisdictions are given consideration in this critique. (shrink)

Among Spinoza’s principal projects in the Ethics is his effort to “remove” certain metaethical prejudices from the minds of his readers, to “expose” them, as he has similar misconceptions about other matters, by submitting them to the “scrutiny of reason”. In this article, I consider the argumentative strategy Spinoza uses here – and its intellectual history – in depth. I argue that Spinoza’s method is best characterised as a genealogical analysis. As I recount, by Spinoza’s time of writing, these kinds (...) of arguments already had a long and illustrious history. However, I also argue that, in his adoption of such strategies, we have good reason to think Spinoza’s primary influence was Gersonides. Elucidating this aspect of Spinoza’s critique of his contemporaries’ axiologies brings a number of explicatory and historical boons. However, regrettably, it also comes at a cost, revealing a significant flaw in Spinoza’s reasoning. Towards the end of this article, I consider the nature of this flaw, whether Spinoza can avoid it and its ramifications for Spinoza’s wider philosophical project. (shrink)

In this article I seek to establish what, if anything, might be morally troubling about morally enhancing oneself through biomedical means. Building on arguments by Harris, while simultaneously acknowledging several valid counter-arguments that have been put forth by his critics, I argue that taking BMEs necessarily incurs at least one moral cost in the restrictions they impose on our freedom. This does not necessarily entail that the use of BMEs cannot be overall justified, nor that, in certain cases, their costs (...) may not be forestalled. It does show, however, that their use is not morally neutral. There is a cost to such technologies and, as such, the onus will always be on their defenders to show that these costs can compensated for. (shrink)

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.