Control measures, such as “lockdowns”, have been widely used to suppress the COVID-19 pandemic. Under some conditions, they prevent illness and save lives. But they also exact an economic toll. How should we balance the impact of such policies on individual lives and livelihoods (and other dimensions of concern) to determine which is best? A widely used method of policy evaluation, benefit–cost analysis (BCA), answers these questions by converting all the effects of a policy into monetary equivalents and then summing (...) them up. A different method, social welfare analysis, proceeds by determining the effects of a policy on individual wellbeing and then applying an aggregation formula to them to evaluate the overall effects of a policy. In this chapter, we survey these methods and argue that social welfare analysis has important advantages. One crucial advantage is that it enables ethical considerations relating to the impact of policies on individual wellbeing and its distribution to be incorporated into policy assessments in a transparent way. We illustrate this with a simple numerical model for evaluating pandemic policies that vary in terms of the stringency of the controls that they impose on individual behaviour, showing how the evaluation depends on the ethical significance accorded to their impact on the wellbeing of different age and income groups. (shrink)

The COVID-19 crisis has forced a difficult trade-off between limiting the health impacts of the virus and maintaining economic activity. Welfare economics offers tools to conceptualize this trade-off so that policy-makers and the public can see clearly what is at stake. We review four such tools: the Value of Statistical Life (VSL); the Value of Statistical Life Years (VSLYs); Quality-Adjusted Life-Years (QALYs); and social welfare analysis, and argue that the latter are superior. We also discuss how to choose policies that (...) differentially affect people’s wellbeing. We argue in favor of evaluating policies using a Social Welfare Function (SWF), which evaluates the possible distributions of wellbeing across individuals that may result from a policy. Such a function, we argue, should regard increases in the wellbeing of the less well-off as especially valuable. We then use a model to illustrate how such a framework can help evaluate two broad policy types in response to the pandemic: eradication of the virus, and more lenient control of the spread. Our model reveals how such evaluations depend on many empirical facts but also on key value judgments about the relative importance of health and on the extent of special concern for the worse off. The purpose of this brief is not to make precise recommendations, as conditions vary widely across countries and over time, but to provide a methodology. (shrink)

Kant scholars have paid relatively little attention to his raciology. They assume that his racism, as personal prejudice, can be disentangled from his core philosophy. They also assume that racism contradicts his moral theory. In this book, philosopher Huaping Lu-Adler challenges both assumptions. She shows how Kant's raciology--divided into racialism and racism--is integral to his philosophical system. She also rejects the individualistic approach to Kant and racism. Instead, she uses the notion of racism as ideological formation to demonstrate how (...) Kant, from his social location both as a prominent scholar and as a lifelong educator, participated in the formation of modern racist ideology. As a scholar, Kant developed a ground-breaking scientific theory of race from the standpoint of a philosophical investigator of nature or Naturforscher. As an educator, he transmitted denigrating depictions of the racialized others and imbued those descriptions with normative relevance. In both roles, he left behind, as one of his legacies, a worldview that excluded non-whites from such goods as recognitional respect and candidacy for cultural and moral achievements. Scholars who research and teach Kant's philosophy therefore have an unshakable burden to take part in the ongoing antiracist struggles, through their teaching practices as well as their scholarship. And they must do so with a pragmatic attention to nonideal social realities and a deliberate orientation toward substantial racial justice, equality, and inclusion. Lu-Adler pushes the discourse about Kant and racism well beyond the old debates about whether he was racist or whether his racism contaminates his philosophy. By foregrounding the lasting legacies of Kant's raciology, her work calls for a profound reorientation of Kant scholarship. (shrink)

According to an oft-repeated narrative, while Kant maintained racist views through the 1780s, he changed his mind in the 1790s. Pauline Kleingeld introduced this narrative based on passages from Kant’s Metaphysics of Morals and “Toward Perpetual Peace”. On her reading, Kant categorically condemned chattel slavery in those texts, which meant that he became more racially egalitarian. But the passages involving slavery, once contextualized, either do not concern modern, race-based chattel slavery or at best suggest that Kant mentioned it as a (...) cautionary tale for labor practices in Europe. Overall, Kant never explicitly considered chattel slavery as a moral problem to be addressed on its own. Rather, he treated it primarily in terms of its function in human history. If he ended up expressing some qualms about its practices, it was likely because they threatened to deepen intra-European conflicts and undermine the prospect of perpetual peace. The humanity of the enslaved “Negroes” was never part of the reasoning. This was not a casual oversight on Kant’s part. It reflects the complexity of his philosophical system: everything he did or did not say about chattel slavery begins to make sense once we connect his philosophy of history and his depiction of “Negroes” as natural slaves. (shrink)

Kant develops a concept of savagery, partly characterized by laziness, to envision a program for human progress. He also racializes savagery, treating native Americans, in particular, as literal savages. He ascribes to this “race” a peculiar physiological laziness, a supposedly hereditary trait of blunted life power. Accordingly, while he grants them the same “germs” for perfections as he does the civilized Europeans, he allows them no prospect of actually fulfilling any such perfection. For the road to perfection must be paved (...) through industry, a condition that Kant denies to the “savages” by racializing their alleged laziness. This case will shed new light on the debated relation between Kant’s moral universalism and his racism. (shrink)

A testimony is somebody else’s reported experience of what has happened. It is an indispensable source of knowledge. It only gives us historical cognition, however, which stands in a complex relation to rational or philosophical cognition: while the latter presupposes historical cognition as its matter, one needs the architectonic “eye of a philosopher” to select, interpret, and organize historical cognition. Kant develops this rationalist theory of testimony. He also practices it in his own work, especially while theorizing about race as (...) a subject of natural philosophy. In three dedicated essays on this subject, he treats race from the standpoint of a philosophical investigator of nature (Naturforscher), who (as Kant puts it in the first Critique) learns from nature “like an appointed judge who compels witnesses to answer the questions he puts to them.” This view underwrites Kant’s use of travel reports (a type of testimony) in developing and defending his theory of race. (shrink)

The origin of languages was a hotly debated topic in the eighteenth century. This paper reconstructs a distinctively Kantian account according to which the origination, progression, and diversification of languages is at bottom reason’s self-development under certain a priori constraints and external environments. The reconstruction builds on three sets of materials. The first is Herder’s famous prize essay on the origin of languages. The second includes Kant’s explicit remarks about language – especially his notion of “transcendental grammar,” his argument that (...) language cannot be innate, his contrast of “Oriental” symbolic (intuitive) and “Occidental” discursive languages, and his treatment of the latter as a sine qua non of humanity’s cultural and moral progress. The third includes the concepts that we need to make sense of those remarks, such as Kant’s epigenetic theory of biological formation and his account of categories as originally acquired. (shrink)

Leibniz, and many following him, saw the Principle of Sufficient Reason (PSR) as pivotal to a scientific (demonstrated) metaphysics. Against this backdrop, Kant is expected to pay close attention to PSR in his reflections on the possibility of metaphysics, which is his chief concern in the Critique of Pure Reason. It is far from clear, however, what has become of PSR in the Critique. On one reading, Kant has simply turned it into the causal principle of the Second Analogy. On (...) a different reading, PSR is but the supreme principle of reason, which roughly states that, if the conditioned is given, so is the unconditioned. On my reading, PSR appears in the guises of both the causal principle and the supreme principle. This twofold specification, I argue, is key to understanding (i) Kant’s allegations that past metaphysicians failed to prove PSR, (ii) his own Critical account of the possibility of metaphysics in both of its parts (ontology and metaphysics proper), and (iii) his nuanced answer to the contentious question about the relation between physical inquiry and metaphysical reasoning about nature (both being quests for reasons). (shrink)

Kant describes logic as “the science that exhaustively presents and strictly proves nothing but the formal rules of all thinking”. (Bviii-ix) But what is the source of our cognition of such rules (“logical cognition” for short)? He makes no concerted effort to address this question. It will nonetheless become clear that the question is a philosophically significant one for him, to which he can see three possible answers: those representations are innate, derived from experience, or originally acquired a priori. Although (...) he gives no explicit argument for the third answer, he seems committed to it—especially given his views on the source of pure concepts of the understanding and on the nature of logic. It takes careful preparatory work to gather all the essential materials for motivating and reconstructing Kant’s “original acquisition” account of logical cognition. I shall proceed in two sections. In section 1, I analyze Kant’s argument that pure concepts of the understanding (or intellectual concepts)—as one kind of pure cognition—must be acquired originally and a priori. My analysis partly concerns his varied attitudes toward Crusius’s and Leibniz’s versions of the nativist account of such concepts. I give special attention to how Kant characterizes the nativist account and his own “original acquisition” account in terms of “preformation” and “epigenesis”. My goal is, firstly, to tease out the sense in which Kant grants that there must be an innate ground (or preformation) for the derivation of pure concepts and, secondly, to introduce—and pave the way for answering—the question about the source of logical cognition. In section 2, in light of Kant’s reference to Locke and Leibniz as the greatest reformers of philosophy (including logic) in their times (Log, AA 9: 32), I examine the Lockean and Leibnizian approaches to logic, respectively. Both approaches are “physiological” by Kant’s standard and are directly opposed to his own strictly critical method. I explain how this methodological move shapes Kant’s view that representations of logical rules must be originally acquired a priori. This acquisition involves a kind of radical epigenesis of pure reason: unlike the acquisition of pure concepts, it presupposes no further innate ground (or preformation). This view will have important consequences for issues such as the ground of the normativity of logical rules and the boundaries of their rightful use. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

How does the critical Kant view ontology? There is no shared scholarly answer to this question. Norbert Hinske sees in the Critique of Pure Reason a “farewell to ontology,” albeit one that took Kant long to bid (Hinske 2009). Karl Ameriks has found evidence in Kant’s metaphysics lectures from the critical period that he “was unwilling to break away fully from traditional ontology” (Ameriks 1992: 272). Gualtiero Lorini argues that a decisive break with the tradition of ontology is essential to (...) Kant’s critical reform of metaphysics, as is reflected in his shift from “ontology” to “transcendental philosophy,” two notions that Lorini takes to be related by mere “analogy” (Lorini 2015). I agree with Lorini that a thorough reform of ontology is a pivotal part of Kant’s critical plan for metaphysics and that ontology somehow “survives within the critical philosophy” (Lorini 2015: 76). To make this case, however, I deem it important to identify “ontology” and “transcendental philosophy” in the sense of extensional equivalence. While we can detect this identification in Kant’s writings, only from his metaphysics lectures can we get a full sense of its historical and philosophical significance. In this chapter I focus on how it represents a definitive turn from as well as notable continuity with traditional treatments of ontology, particularly the Wolffian one. (shrink)

At A71/B96–7 Kant explains that singular judgements are ‘special’ because they stand to the general ones as Einheit to Unendlichkeit. The reference to Einheit brings to mind the category of unity and hence raises a spectre of circularity in Kant’s explanation. I aim to remove this spectre by interpreting the Einheit-Unendlichkeit contrast in light of the logical distinctions among universal, particular and singular judgments shared by Kant and his logician predecessors. This interpretation has a further implication for resolving a controversy (...) over the correlation between the logical moments of quantity (universal, particular, singular) and the categorial ones (unity, plurality, totality). (shrink)

This paper examines Du Châtelet’s and Kant’s responses to the famous vis viva controversy – Du Châtelet in her Institutions Physiques (1742) and Kant in his debut, the Thoughts on the True Estimation of Living Forces (1746–49). The Institutions was not only a highly influential contribution to the vis viva controversy, but also a pioneering attempt to integrate Leibnizian metaphysics and Newtonian physics. The young Kant’s evident knowledge of this work has led some to speculate about his indebtedness to her (...) philosophy. My study corrects such speculations as well as misunderstandings of the Living Forces. This corrective result has implications for how to investigate Kant’s relation to the ever-evolving landscape of Leibniz exegeses. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

Kant ascribes two radically different kinds of language—symbolic or pictorial (qua intuitive) and discursive languages—to the “Oriental” and “Occidental” peoples respectively. By his analysis, having a merely symbolic language suggests that the “Orientals” lack understanding—and hence the ability to form concepts and think in abstracto—as well as genius and spirit. Meanwhile, he establishes discursive language as a sine qua non of the continued progress of humanity, primarily because only by means of words—as opposed to symbols—can one think (not just intuit), (...) signify one’s thoughts exactly, and make them universally communicable. Without such a language, one would not be able to make one’s feelings moral or develop a true moral character. In short, humanity would not be able to obtain its cultural or moral ends without discursive language. -/- These points add up to an exclusionary view of progress according to which the Occidental whites alone are equipped with the requisite discursive skills and other talents (including genius and spirit) to accomplish advanced culture and pursue humanity’s moral destiny. The “Orient,” with its “childish language,” is consigned to the childhood of humanity. In holding this view, Kant has departed from some of his predecessors—such as Leibniz, whose vision of the future of humanity includes an East-West harmony facilitated by a “universal symbolism,” and Rousseau, who exalts a livelier connection with the world mediated by a pictorial language. -/- The contrast with Leibniz and Rousseau also suggests that we cannot chalk up Kant’s exclusionary view of progress to mere personal prejudices. His philosophy is what gives meaning to his statements about the nature of the “Oriental” language. That is, the exclusionary view of progress emerges only when we take into account his anti-Leibnizian conceptualization of symbolic language as merely intuitive, his view that humanity is teleologically oriented toward the unique sort of moralization that he envisioned in the Groundwork, and his view that reason must lead the way in humanity’s progress toward this supposed moral end, wherefore only discursive language can facilitate such progress. (shrink)

The deduction of categories in the 1781 edition of the Critique of the Pure Reason (A Deduction) has “two sides”—the “objective deduction” and the “subjective deduction”. Kant seems ambivalent about the latter deduction. I treat it as a significant episode of Kant’s thinking about categories that extended from the early 1770s to around 1790. It contains his most detailed answer to the question about the origin of categories that he formulated in the 1772 letter to Marcus Herz. The answer is (...) that categories are generated a priori through a kind of intellectual “epigenesis”. This account leaves unexplained why precisely such and such categories should be generated. While this observation caused Kant to worry about the hypothetical status of the subjective deduction in 1781, he would come to acquiesce in the recognition that the ground of the possibility of categories is itself inscrutable. I call this his “methodological skepticism”. (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address these (...) challenges in two steps. First, given Kant’s distinction between an object in general = x from an object of sensible intuition, I argue that analytic judgments are about objects in the former sense, no matter whether the purported objects can be given in our intuition. Second, using Kant’s method of representing certain logical relations of concepts with such figures as circles, I construct a model to show that analytic truths are truths about objects in general = x and yet can be determined solely by the intensional relation between the given concepts plus certain Kantian-logical laws. Analytic truths are thus shown as formal in the Kantian sense that they do not presuppose the purported objects as givable in our intuition. This account of the formality of analytic truths captures Kant’s diagnosis of the Leibnizian illusion that we can make material claims about the world by analytically true judgments. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

The deduction of categories in the 1781 edition of the Critique of the Pure Reason (A Deduction) has “two sides”—the “objective deduction” and the “subjective deduction”. Kant seems ambivalent about the latter deduction. I treat it as a significant episode of Kant’s thinking about categories that extended from the early 1770s to around 1790. It contains his most detailed answer to the question about the origin of categories that he formulated in the 1772 letter to Marcus Herz. The answer is (...) that categories are generated a priori through a kind of intellectual “epigenesis”. This account leaves unexplained why precisely such and such categories should be generated. While this observation caused Kant to worry about the hypothetical status of the subjective deduction in 1781, he would come to acquiesce in the recognition that the ground of the possibility of categories is itself inscrutable. I call this his “methodological skepticism”. (shrink)

The Pigou-Dalton (PD) principle recommends a non-leaky, non-rank-switching transfer of goods from someone with more goods to someone with less. This Article defends the PD principle as an aspect of distributive justice—enabling the comparison of two distributions, neither completely equal, as more or less just. It shows how the PD principle flows from a particular view, adumbrated by Thomas Nagel, about the grounding of distributive justice in individuals’ “claims.” And it criticizes two competing frameworks for thinking about justice that less (...) clearly support the principle: the veil-of-ignorance framework, and Larry Temkin’s proposal that fairer distributions are those concerning which individuals have fewer “complaints.” -/- The Article also clarifies the relation between the PD principle and prioritarianism. Prioritarians will surely endorse the PD principle (with the “good” individual well-being), but they are also committed to a distinct axiom of separability: the moral value of someone’s well-being change does not depend upon her position relative to others. The PD principle neither implies separability, nor is implied by it. Although prioritarianism is very plausible, the case for the PD principle is yet more compelling than for the combination of that principle with separability. In discussing prioritarianism, we should differentiate between these two, logically independent aspects of the view. -/- . (shrink)

This chapter brings some much-needed conceptual clarity to the debate about Locke’s scientific methodology. Instead of having to choose between the method of hypothesis and that of natural history (as most interpreters have thought), he would resist prescribing a single method for natural sciences in general. Following Francis Bacon and Robert Boyle, Locke separates medicine and natural philosophy (physics), so that they call for completely different methods. While a natural philosopher relies on “speculative” (causal-theoretical) hypotheses together with natural-history making to (...) explicate phenomena, a medical practitioner must prioritize collecting data about what remedies tend to cure what diseases over hypothesizing about the causes of the latter. (shrink)

There is an exegetical quandary when it comes to interpreting Locke's relation to logic.On the one hand, over the last few decades a substantive amount of literature has been dedicated to explaining Locke's crucial role in the development of a new logic in the seventeenth and eighteenth centuries. John Yolton names this new logic the "logic of ideas," while James Buickerood calls it "facultative logic."1 Either way, Locke's Essay is supposedly its "most outspoken specimen" or "culmination."2 Call this reading the (...) 'New Logic interpretation.'On the other hand, from the typical standpoint of a philosopher accustomed to the modern conception of logic, whatever Locke—indeed, whatever most of the... (shrink)

Investigation of neural and cognitive processes underlying individual variation in moral preferences is underway, with notable similarities emerging between moral- and risk-based decision-making. Here we specifically assessed moral distributive justice preferences and non-moral financial gambling preferences in the same individuals, and report an association between these seemingly disparate forms of decision-making. Moreover, we find this association between distributive justice and risky decision-making exists primarily when the latter is assessed with the Iowa Gambling Task. These findings are consistent with neuroimaging studies (...) of brain function during moral and risky decision-making. This research also constitutes the first replication of a novel experimental measure of distributive justice decision-making, for which individual variation in performance was found. Further examination of decision-making processes across different contexts may lead to an improved understanding of the factors affecting moral behaviour. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from G. W. (...) Leibniz to Lambert and Gottfried Ploucquet. While Kant is evidently open to using mathematical tools in logic, his main concern is to clarify what mathematical tools can be used to achieve. For without such clarification, all efforts at introducing mathematical tools into logic would be blind if not complete waste of time. In the end, Kant would stress, the means provided by formal logic at best help us to express and order what we already know in some sense. No matter how much mathematical notations may enhance the precision of this function of formal logic, it does not change the fact that no truths can, strictly speaking, be revealed or established by means of those notations. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion of logical (...) extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.

Efforts by governments, firms, and patients to deliver pioneering drugs for critical health needs face a challenge of diminishing efficiency in developing those medicines. While multi-sectoral collaborations involving firms, researchers, patients, and policymakers are widely recognized as crucial for countering this decline, existing incentives to engage in drug development predominantly target drug manufacturers and thereby do little to stimulate collaborative innovation. In this mini review, we consider the unexplored potential within pharmaceutical regulations to create novel incentives to encourage a diverse (...) set of actors from the public and private spheres to engage in the kind of collaborative knowledge exchange requisite for fostering enhanced innovation in early drug development. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

In this chapter, I discuss some problems of Kant’s logic corpus while recognizing its richness and potential value. I propose and explain a methodic way to approach it. I then test the proposal by showing how we may use various mate- rials from the corpus to construct a Kantian demonstration of the formal rules of thinking (or judging) that lie at the base of Kant’s Metaphysical Deduction. The same proposal can be iterated with respect to other topics. The said demonstration (...) will have cleared the path for such iterations. (shrink)

During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...) quality. Moreover, we show that the perceived emotional valence of certain phoneme combinations depends on a specific acoustic feature--namely, the dynamic shift within the phonemes' first two frequency components. These data suggest a phoneme-relevant acoustic property influencing the communication of emotion in humans, and provide further evidence against previously held assumptions regarding the structure of human language. This finding has potential applications for a variety of social, educational, clinical, and marketing contexts. (shrink)

Whilst media and political rhetoric in Britain is sceptical and often outright damning of the (presumed) morals and behaviours of the White marginalized poor, our aim is to explore the conditions under which successful communities are nevertheless built. Specifically, we examine the features of community and stress its importance both for belonging and bonding around shared norms and practices and for fostering the necessary bridging essential for interacting and cooperating with others. In considering what it means to foster a community (...) that acts as a breakwater against the tides of stigma or disadvantage, we pay special attention to what we will call enabling conditions – essential features that communities either can or should be able to provide or that exist independent of communities and are indispensable for accessing opportunities in the wider society. We detail the dynamics of White poverty and exclusion before turning our attention to possible responses to these challenges. In searching for viable responses to stigma and disadvantage, we compare some different typologies of community presently available to the White poor in Britain and examine whether these are sufficient to satisfy the enabling conditions associated with more robust forms of group membership. (shrink)

A presentation and discussion of Gottlob Frege's understanding of language, both natural and artificial, with close attention to his texts.

Does individual desert matter for distributive justice? Is it relevant, for purposes of justice, that the pattern of distribution of justice’s “currency” (be it well-being, resources, preference-satisfaction, capabilities, or something else) is aligned in one or another way with the pattern of individual desert? -/- This paper examines the nexus between desert and distributive justice through the lens of individual claims. The concept of claims (specifically “claims across outcomes”) is a fruitful way to flesh out the content of distributive justice (...) so as to be grounded in the separateness of persons. A claim is a relation between a person and a pair of outcomes. If someone is better off in one outcome than a second, she has a claim in favor of the first. If she is equally well off in the two outcomes, she has a null claim between the two. In turn, whether one outcome is more just than a second depends upon the pattern of claims between them. -/- In prior work, I have elaborated the concept of claims across outcomes, and have used it to provide a unified defense of the Pareto and Pigou-Dalton axioms. Adding some further, plausible, axioms, we arrive at prioritarianism. -/- Here, I consider the possibility of desert-modulated claims—whereby the strength of an individual’s claim between two outcomes is determined not only by her well-being levels in the two outcomes, and her well-being difference between them, but also by her desert. This generalization of the notion of claims suggests a new axiom of justice: Priority for the More Deserving, requiring that, as between two individuals at the same well-being level, a given increment in well-being be allocated to the more deserving one. -/- If individual desert is intrapersonally fixed, this new axiom, together with a desert-modulated version of the Pigou-Dalton principle, and the Pareto axioms, yields a desert-modulated prioritarian account of distributive justice. Trouble arises, however, if an individual’s desert level can be different in different outcomes. In this case of intrapersonally variable desert, Priority for the More Deserving can conflict with the Pareto axioms (both Pareto indifference and strong Pareto). -/- This conflict, I believe, is sufficient reason to abandon the proposal to make claim strength a function of individual desert on top of well-being levels and differences. If distributive justice is truly sensitive to each individual’s separate perspective—if the justice ranking of outcomes is built up from the totality of individual rankings—we should embrace the Pareto axioms as axioms of justice and reject Priority for the More Deserving. In short: desert-modulated prioritarianism is a nonstarter. Rawls was right to sever distributive justice from desert. (shrink)

advanced directivesend-of-life decisionsharming the deadposthumous reproductiontransplant ethics.

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

In the 1780s through the end of 1790s, Kant made various references to slavery (in its different forms) and the transatlantic slave trade in the context of his political philosophy or philosophy of right; he thereby had opportunities to speak in favor of abolitionism, which was gaining momentum in parts of Europe, or at least to articulate a normative critique of the race-based chattel slavery or Atlantic slavery and the associated slave trade qua (legalized) INSTITUTIONS; but he did neither. Why? (...) In raising and seeking an answer to this question, I am not interested in what Kant’s normative silence about the institutions of Atlantic slavery and slave trade may tell us about him as a person (for example, whether he was blinded by his own racist prejudices or whether he was affected by some kind of cognitive dissonance). Rather, I will focus on what it may tell us about certain limitations of his political philosophy, limitations that might have made it THEORETICALLY DIFFICULT for him to figure out exactly what to DO about those institutions as entrenched political realities. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

My aim in this paper is to identify the wrong that is done in all cases of testimonial injustice, if there is one. Miranda Fricker (2007) proposes one account of this distinctive wrong, and Gaile Pohlhaus Jr. (2014) offers another. I think neither works. Nor does an account based on giving due respect to the testifier's epistemic competence. Nor does an account based on exposing the testifier to substantial risk of harm. Rachel Fraser (2023) describes a further account, and the (...) proposal I favour is a slight amendment of this. (shrink)

An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (shrink)

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

In the history of external information systems, the World Wide Web presents a significant change in terms of the accessibility and amount of available information. Constant access to various kinds of online information has consequences for the way we think, act and remember. Philosophers and cognitive scientists have recently started to examine the interactions between the human mind and the Web, mainly focussing on the way online information influences our biological memory systems. In this article, we use concepts from the (...) extended cognition and distributed cognition frameworks and from transactive memory theory to analyse the cognitive relations between humans and the Web. We first argue that while neither of these approaches neatly capture the nature of human-Web interactions, both offer useful concepts to describe aspects of such interactions. We then conceptualize relations between the Web and its users in terms of cognitive integration, arguing that most current Web applications are not deeply integrated and are better seen as a scaffold for memory and cognition. Some highly personalised applications accessed on wearable computing devices, however, may already have the capacity for deep integration. Finally, we draw out some of the epistemic implications of our cognitive analysis. (shrink)

Definitions of terms that are central to a theoretical understanding of the Royal Government of Bhutan's policy of Gross National Happiness.