Pure Logic and Higher-order Metaphysics

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here

Designing a just soda tax

Soda taxes are controversial. While proponents point to their potential health benefits and the public projects that could be funded with their revenue, critics argue that they are paternalistic and regressive. In this paper, we explore the prospects for designing a just soda tax, one that appropriately balances the often-competing ethical considerations of promoting social welfare, respecting people’s autonomy and ensuring distributive fairness. We argue that policymakers have several paths forward for designing a just soda tax, but that the considerations relevant to ethical policy design are more complicated than is sometimes acknowledged

The Social Epistemology of Clinical Placebos

Many extant theories of placebo focus on their causal structure wherein placebo effects are those that originate from select features of the therapy (e.g., client expectations or “incidental” features like size and shape). Although such accounts can distinguish placebos from standard medical treatments, they cannot distinguish placebos from everyday occurrences, for example, when positive feedback improves our performance on a task. Providing a social-epistemological account of a treatment context can rule out such occurrences, and furthermore reveal a new way to distinguish clinical placebos from standard medical treatments

Seeking the Neural Correlates of Awakening

Contemplative scholarship has recently reoriented attention towards the neuroscientific study of the soteriological ambition of Buddhist practice, 'awakening'. This article evaluates the project of seeking neural correlates for awakening. Key definitional and operational issues are identified demonstrating that: the nature of awakening is highly contested both within and across Buddhist traditions; the meaning of awakening is both context- and concept-dependent; and awakening may be non-conceptual and ineffable. It is demonstrated that operationalized secular conceptions of awakening, divorced from soteriological and cultural factors, have little relationship to traditional Buddhist construct(s) of awakening. This article identifies methodological issues for secular conceptions of awakening concerning introspection and neuroimaging yet demonstrates also the value of recent advancements in empirical first-person phenomenology for attenuating introspective bias. Overall, it is contended that significant problems arise when decontextualizing awakening and placing it within a scientific naturalistic framework. Careful attention to the definitional, operational, and methodological neuroscientific obstacles identified herein is required in the responsible approach to the investigation of awakening states

Humanism: A Reconsideration

Humanism is the view that people treat others inhumanely when we fail to see them as human beings, so that our treatment of them will tend to be more humane when we (fully) see their humanity. Recently, humanist views have been criticized on the grounds that the perpetrators of inhumanity regard their victims as human and treat them inhumanely partly for this reason. I argue that the two most common objections to humanist views (and their relatives) are unpersuasive: not only does the evidence marshaled against these views fail to disprove them, it could threaten them only if some questionable assumptions were granted. By providing necessary conceptual ground clearing and routing common lines of attack, I hope to determine what it would take for a humanist project to succeed, thereby paving the way for a full defense of humanism that fulfills its explanatory ambitions

The Perfect Politician

Ideas for integrating AI into politics are now emerging and advancing at accelerating pace. This chapter highlights a few different varieties and show how they reflect different assumptions about the value of democracy. We cannot make informed decisions about which, if any, proposals to pursue without further reflection on what makes democracy valuable and how current conditions fail to fully realize it. Recent advances in political philosophy provide some guidance but leave important questions open. If AI advances to a state where it can secure superior political outcomes, leading perspectives in political philosophy suggest that democracy may become obsolete. If we find this suggestion troubling, we need to put the case for democracy on stronger foundations

Is a Cognitive Revolution in Theoretical Biology Underway?

The foundations of biology have been a topic of debate for the past few decades. The traditional perspective of the Modern Synthesis, which portrays organisms as passive entities with limited role in evolutionary theory, is giving way to a new paradigm where organisms are recognized as active agents, actively shaping their own phenotypic traits for adaptive purposes. Within this context, this article raises the question of whether contemporary biological theory is undergoing a cognitive revolution. This inquiry can be approached in two ways: from a theoretical standpoint, exploring the centrality of the cognitive sciences in current theoretical biology; and from a historical perspective, examining the resemblance between the current state of theoretical biology and the Cognitive Revolution of the mid-20th century. Both inquiries yield affirmative answers, though important nuances will be emphasized. The cognitive sciences' explanatory framework is employed to elucidate the agentic characteristics of organisms, establishing a clear parallelism between the Cognitive Revolution and the present state of theoretical biolog

Doxastic Affirmative Action

According to the relational egalitarian theory of justice, justice requires that people relate as equals. To relate as equals, many relational egalitarians argue, people must (i) regard each other as equals, and (ii) treat each other as equals. In this paper, we argue that, under conditions of background injustice, such relational egalitarians should endorse affirmative action in the ways in which (dis)esteem is attributed to people as part of the regard-requirement for relating as equals