We prove that the set of properties describable by a uniform sequence of first-order sentences using at most k + 1 distinct variables is exactly equal to the set of properties checkable by a Turing machine in DSPACE[n k ] (where n is the size of the universe). This set is also equal to the set of properties describable using an iterative definition for a finite set of relations of arity k. This is a refinement of the theorem PSPACE = (...) VAR[O[1]] [8]. We suggest some directions for exploiting this result to derive trade-offs between the number of variables and the quantifier depth in descriptive complexity. (shrink)

In this paper, I will investigate the problem of transparent white, as is it formulated by Ludwig Wittgenstein in Remarks on Colour. I will do so by gathering transparency requirements from RC paragraphs to develop a clear definition of transparency. The impossibility of a transparent white will be explained by pointing to the fact that white conflicts with such a definition. Furthermore, based on Paul Gilbert's and Jonathan Westphal's discussion of the problem of transparent white, I will investigate the (...) problem of transparent black. Although neither transparent white nor transparent black is possible, the impossibility of each is grounded on conflicts with different elements of the definition of transparency. (shrink)

Liberalism without Perfection offers an introduction to the debate between liberal perfectionism and political liberalism. This book is a new account and defence of Rawlsian political liberalism, one of the most discussed, but widely misunderstood and criticized theories in contemporary political theory.

Much of the extant discussion focuses on the question of whether contextualism resolves skeptical paradoxes. Understandably. Yet there has been less discussion as to the internal structure of contextualist theories. Regrettably. Here, for instance, are two questions that could stand further discussion: (i) what is the linguistic basis for contextualism and (ii) what is the parameter that shifts with context?

I begin by expressing my sincere thanks to my critics for taking time from their own impressive projects in epistemology to consider mine. Often, in reading their criticisms, I had the feeling of having received more help than I really wanted! But the truth of the matter is that we learn best by making mistakes, and I appreciate the conscientious attention to my work that my critics have shown.

Davidson's account of weakness of will dependsupon a parallel that he draws between practicaland theoretical reasoning. I argue that theparallel generates a misleading picture oftheoretical reasoning. Once the misleadingpicture is corrected, I conclude that theattempt to model akratic belief on Davidson'saccount of akratic action cannot work. Thearguments that deny the possibility of akraticbelief also undermine, more generally, variousattempts to assimilate theoretical to practicalreasoning.

An introductory chapter that maps the possible views about the relation between moral thought and moral principles, showing how extreme the particularist position is. Particularism is contrasted with Rossian intuitionism and its use of prima facie principles; and the particularist account of moral reasoning is contrasted with non-monotonic theories, and with the views of Kagan and Scanlon.

"--Daniel Callahan, cofounder of the Hastings Center "Doctors and people who have no choice but to trust doctors--which means all of us--need to read this book.

Recent proposals that frame norms of action in terms of knowledge have been challenged by Bayesian decision theorists. Bayesians object that knowledge-based norms conflict with the highly successful and established view that rational action is rooted in degrees of belief. I argue that the knowledge-based and Bayesian pictures are not as incompatible as these objectors have made out. Attending to the mechanisms of practical reasoning exposes space for both knowledge and degrees of belief to play their respective roles.

"To some people, life is very simple . . . no shadings and grays, all blacks and whites. . . . Now, others of us find that good, bad, right, wrong, are many-sided, complex things. We try to see every side; but the more we see, the less sure we are." —Sir John Talbot, The Wolf Man (Universal Pictures, 1941).

In this essay, I consider the ontological status of spacetime from the points of view of the standard tensor formalism and three alternatives: twistor theory, Einstein algebras, and geometric algebra. I briefly review how classical field theories can be formulated in each of these formalisms, and indicate how this suggests a structural realist interpretation of spacetime.

The rapid development in healthcare technologies in recent years has resulted in the need for health services, whether publicly funded or insurance based, to identify means to maximise the benefits and provide equitable distribution of limited resources. This has resulted in the need for rationing decisions, and there has been considerable debate regarding the substantive and procedural ethical principles that promote distributive justice when making such decisions. In this paper, I argue that while the scientifically rigorous approaches of evidence-based healthcare (...) are claimed as aspects of procedural justice that legitimise such guidance, there are biases and distortions in all aspects of the process that may lead to epistemic injustices. Regardless of adherence to principles of distributive justice in the decision-making process, evidential failings may undermine the fairness and legitimacy of such decisions. In particular, I identify epistemic exclusion that denies certain patient and professional groups the opportunity to contribute to the epistemic endeavour. This occurs at all stages of the process, from the generation, analysis and reporting of the underlying evidence, through the interpretation of such evidence, to the decision-making that determines access to healthcare resources. I further argue that this is compounded by processes which confer unwarranted epistemic privilege on experts in relation to explicit or implicit value judgements, which are not within their remit. I suggest a number of areas in which changes to the processes for developing, regulating, reporting and evaluating evidence may improve the legitimacy of such processes. (shrink)

A critique of conversational epistemic contextualism focusing initially on why pragmatic encroachment for knowledge is to be avoided. The data for pragmatic encroachment by way of greater costs of error and the complementary means to raise standards of introducing counter-possibilities are argued to be accountable for by prudence, fallibility and pragmatics. This theme is sharpened by a contrast in recommendations: holding a number of factors constant, when allegedly higher standards for knowing hold, invariantists still recommend assertion (action), while contextualists do (...) not. Given the knowledge norm of assertion, if one recommendation is preferable to the other, the result favors the preferred recommendation's account of knowledge. In the final section, I offer a unification of these criticisms centering on the contextualist use of 'epistemic position'. Their use imposes on threshold notions of justification, warrant, or knowledge tests that are suitable only to unlimited comparative or scalar notions like confidence or certainty and places them at one with an important strand of sceptical reasoning. (shrink)

There is overwhelming evidence that the opioid crisis—which has cost hundreds of thousands of lives and trillions of dollars (and counting)—has been created or exacerbated by webs of influence woven by several pharmaceutical companies. These webs involve health professionals, patient advocacy groups, medical professional societies, research universities, teaching hospitals, public health agencies, policymakers, and legislators. Opioid companies built these webs as part of corporate strategies of influence that were designed to expand the opioid market from cancer patients to larger groups (...) of patients with acute or chronic pain, to increase dosage as well as opioid use, to downplay the risks of addiction and abuse, and to characterize physicians’ concerns about the addiction and abuse risks as “opiophobia.” In the face of these pervasive strategies, conflict of interest policies have proven insufficient for addressing corporate influence in medical practice, medical research, and public health policy. Governments, the academy, and civil society need to develop counterstrategies to insulate themselves from corporate influence and to preserve their integrity and public trust. These strategies require a paradigm shift—from partnerships with the private sector, which are ordinarily vehicles for corporate influence, to a norm of separation. (shrink)

COVID-19 vaccine requirements have generated significant debate. Here, we argue that, on the evidence available, such policies should have recognised proof of natural immunity as a sufficient basis for exemption to vaccination requirements. We begin by distinguishing our argument from two implausible claims about natural immunity: natural immunity is superior to ‘artificial’ vaccine-induced immunity simply because it is ‘natural’ and it is better to acquire immunity through natural infection than via vaccination. We then briefly survey the evidence base for the (...) comparison between naturally acquired immunity and vaccine-induced immunity. While we clearly cannot settle the scientific debates on this point, we suggest that we lack clear and convincing scientific evidence that vaccine-induced immunity has a significantly higher protective effect than natural immunity. Since vaccine requirements represent a substantial infringement of individual liberty, as well as imposing other significant costs, they can only be justified if they are necessary for achieving a proportionate public health benefit. Without compelling evidence for the superiority of vaccine-induced immunity, it cannot be deemed necessary to require vaccination for those with natural immunity. Subjecting them to vaccine mandates is therefore not justified. We conclude by defending the standard of proof that this argument from necessity invokes, and address other pragmatic and practical considerations that may speak against natural immunity exemptions. There are no data in this work. (shrink)

The use of genetic testing has prompted the question of whether insurance companies should be able to use predictive genetic test results (GTRs) in their risk classification of clients. While some jurisdictions have passed legislation to prohibit this practice, the UK has instead adopted a voluntary code of practice that merely restricts the ways in which insurance companies may use GTRs. Critics have invoked various theories of justice to argue that this approach is unfair. However, as well as sometimes relying (...) on somewhat idealised assumptions, these analyses have tended to invoke theories that have wide-ranging and highly revisionary implications for insurance. Moreover, they fail to adequately engage with a conception of justice that plausibly undergirds the status quo approach to insurance in the UK. I argue that it is a mistake to simply invoke a single contestable theory in seeking to develop sound policy on the use of GTRs in insurance. To that end, in this paper, I outline three plausible principles of justice that policy on this issue ought to balance: A principle of equity, a principle of equal access and a principle of need. In doing so, I shall offer a pluralist justice-based argument in support of the spirit, if not the precise letter, of the UK approach. (shrink)

Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theory T of sentences intuitionistically valid in all T-normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic , the theory PA is a proper subtheory of Heyting arithmetic , so HA is complete but not sound for PA-normal Kripke structures.

Musical formalism, which strictly limits the type of thing any description of the music can tell us, is ill-equipped to account for contemporary performance practice. If performative interpretations are in a position to tell us something about musical works—that is if performance is a kind of description, as Peter Kivy argues—then we have to loosen the restrictions on notions of musical relevance to make sense of performance. I argue that musical formalism, which strictly limits the type of thing any description (...) of the music can tell us, is inconsistent with Kivy's quite compelling account of performance. This shows the difficulty that actual performances pose to overly rigid conceptions of music. Daniel Barenboim unannounced performance of Wagner in Israel in 2001 shows that the problem of the boundaries of musical relevance is no mere philosophical puzzle. It is a pressing problem in the musical public sphere. (shrink)

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

This essay considers the prospects of modeling spacetime as a phenomenon that emerges in the low-energy limit of a quantum liquid. It evaluates three examples of spacetime analogues in condensed matter systems that have appeared in the recent physics literature, indicating the extent to which they are viable, and considers what they suggest about the nature of spacetime.

"The chief problem of human life", wrote Auguste Comte, is "the subordination of egoism to altruism". This collection examines the nature and value of altruism as a moral virtue, restoring it to its proper place at the centre of our moral and political thinking. The first five essays in the collection explore the relationship between altruism and other moral concepts such as self-interest, autonomy, community and impartiality. The five essays in the second part show how altruism is invoked in practical (...) moral problems, including aid to developing countries, the market for human body parts, multiculturalism and the politics of recognition, and medical ethics. Through these discussions, the central role of altruism in moral thinking is brought into sharper focus. (shrink)

In recent years, epistemologists have become increasingly impressed with reliabilist theories of justification. 1 Reliabilism is often formulated as the claim that a belief is justified 2 just in case it is a reliable belief; however, this formulation can be somewhat misleading. There is a sense in which a set of beliefs can be reliable, just as a certain history or testimony can be reliable: what one means is that a certain set of propositions is highly accurate, has mostly true (...) members, or is not wrong in any important way. Reliabilists, though, do not just want to say that a belief is justified just in case it is a member of a type with mostly true members, i.e., just in case it is probably true; they also want to appeal to the notion of reliability in that sense in which we say that persons, processes, proce­dures, tests, and experiments are reliable. Reliabilism is a view both about the reliability of beliefs and about the reliability of the person who has the belief or the procedure that is responsible for the belief. (shrink)