Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the de nition of complex modalities. We provide a common generalisation: a logic that is dynamic in both senses, and one that is not limited to S5 as its modal base. It also incorporates, and signi cantly generalises, all the features of existing extensions of DEL such as BMS [3] (...) and LCC [21]. Our dynamic operators work in two steps. First, they provide a multiplicity of transformations of the original model, one for each action in a purely syntactic action structure (in the style of BMS). Second, they specify how to combine these multiple copies to produce a new model. In each step, we use the generality of PDL to specify the transformations. The main technical contribution of the paper is to provide an axiomatisation of this general dynamic dynamic logic (GDDL). This is done by providing a computable translation of GDDL formulas to equivalent PDL formulas, thus reducing the logic to PDL, which is decidable. The proof involves switching between representing programs as terms and as automata. We also show that both BMS and LCC are special cases of GDDL, and that there are interesting applications that require the additional generality of GDDL, namely the modelling of private belief update. More recent extensions and variations of BMS and LCC are also discussed. (shrink)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic to (...) ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

Consider the sentence “Lois knows that Superman flies, but she doesn’t know that Clark flies”. In this paper we defend a Millian contextualist semantics for propositional attitude ascriptions, according to which ordinary uses of this sentence are true but involve a mid-sentence shift in context. Absent any constraints on the relevant parameters of context sensitivity, such a semantics would be untenable: it would undermine the good standing of systematic theorizing about the propositional attitudes, trivializing many of the central questions of (...) epistemology, the philosophy of mind, and the philosophy of action. In response to this problem, we prove a series of tenability results. We show that, given certain constraints on the parameters of context sensitivity, there is a broad class of principles of propositional attitude psychology whose good standing follows from corresponding claims about people’s mental representations. But these constraints also have some surprising consequences: they are jointly incompatible with coarse-grained theories of propositions, and they are in tension with a natural picture of how speakers and hearers coordinate on the interpretation of attitude ascriptions. In light of these consequences we explore different ways in which the contextualist picture might be developed, and argue that our preferred way compares favorably with Fregeanism and neo-Russellianism. (shrink)

We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one’s evidence. The guiding idea is that, if a possibility is sufficiently less normal than one’s actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...) the future, knowledge of lawful regularities, knowledge about parameters measured using imperfect instruments, the connection between knowledge, belief, and probability, and the dynamics of knowledge and belief in response to new evidence. (shrink)

How is what we believe related to how we act? That depends on what we mean by ‘believe’. On the one hand, there is what we're sure of: what our names are, where we were born, whether we are sitting in front of a screen. Surety, in this sense, is not uncommon — it does not imply Cartesian absolute certainty, from which no possible course of experience could dislodge us. But there are many things that we think that we are (...) not sure of. For example, you might think that it will rain sometime this month, but not be sure that it will. Both what we're sure of and what we think have important normative connections to action. But the connections are quite different. This paper explores these issues with respect to assertion, inquiry, and decision making. We conclude by arguing that there is no theoretically significant notion of ‘full belief’ intermediate in strength between thinking and being sure. (shrink)

Most people who defend physician-assisted death (PAD) endorse the Joint View, which holds that two conditions—autonomy and welfare—must be satisfied for PAD to be justified. In this paper, we defend an Autonomy Only view. We argue that the welfare condition is either otiose on the most plausible account of the autonomy condition, or else is implausibly restrictive, particularly once we account for the broad range of reasons patients cite for desiring PAD, such as “tired of life” cases. Moreover, many of (...) the common objections to an Autonomy Only view fail once we understand the extent of the autonomy condition’s requirements—in particular, the importance of one’s values for autonomous choices. If our view is correct, then the scope of permissible PAD is broader than is currently accepted in both the philosophical literature and the law, and therefore poses an important challenge to this widely accepted view on justified PAD. (shrink)

When should you engage with difficult arguments against your cherished controversial beliefs? The primary conclusion of this book is that your obligations to engage with counterarguments are more limited than is often thought. In some standard situations, you shouldn't engage with difficult counterarguments and, if you do, you shouldn't engage with them open-mindedly. This conclusion runs counter to aspects of the Millian political tradition and political liberalism, as well as what people working in informal logic tend to say about argumentation. (...) -/- Not all misleading arguments wear their flaws on their sleeve. Each step of a misleading argument might seem compelling and you might not be able to figure out what's wrong with it. Still, even if you can't figure out what's wrong with an argument, you can know that it's misleading. One way to know that an argument is misleading is, counterintuitively, to lack expertise in the methods and evidence-types employed by the argument. When you know that a counterargument is misleading, you shouldn't engage with it open-mindedly and sometimes shouldn't engage with it at all. You shouldn't engage open-mindedly because you shouldn't be willing to reduce your confidence in response to arguments you know are misleading. And you sometimes shouldn't engage closed-mindedly, because to do so can be manipulative or ineffective. -/- In making this case, Jeremy Fantl discusses echo chambers and group polarization, the importance in academic writing of a sympathetic case for the opposition, the epistemology of disagreement, the account of open-mindedness, and invitations to problematic academic speakers. (shrink)

Functionalism about truth, or alethic functionalism, is one of our most promising approaches to the study of truth. In this chapter, I chart a course for functionalist inquiry that centrally involves the empirical study of ordinary thought about truth. In doing so, I review some existing empirical data on the ways in which we think about truth and offer suggestions for future work on this issue. I also argue that some of our data lend support to two kinds of pluralism (...) regarding ordinary thought about truth. These pluralist views, as I show, can be straightforwardly integrated into the broader functionalist framework. The main result of this integration is that some unexplored metaphysical views about truth become visible. To close the chapter, I briefly respond to one of the most serious objections to functionalism, due to Cory Wright. (shrink)

Unlike its friendly cousin the placebo effect, the nocebo effect (the effect of expecting a negative outcome) has been almost ignored. Epistemic and ethical confusions related to its existence have gone all but unnoticed. Contrary to what is often asserted, adverse events following from taking placebo interventions are not necessarily nocebo effects; they could have arisen due to natural history. Meanwhile, ethical informed consent (in clinical trials and clinical practice) has centred almost exclusively on the need to inform patients about (...) intervention risks with patients to preserve their autonomy. Researchers have failed to consider the harm caused by the way in which the information is conveyed. In this paper, I argue that the magnitude of nocebo effects must be measured using control groups consisting of untreated patients. And, because the nocebo effect can produce harm, the principle of non-maleficence must be taken into account alongside autonomy when obtaining (ethical) informed consent and communicating intervention risks with patients. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

Objectives -/- Surveys in various countries suggest 17% to 80% of doctors prescribe ‘placebos’ in routine practice, but prevalence of placebo use in UK primary care is unknown. Methods -/- We administered a web-based questionnaire to a representative sample of UK general practitioners. Following surveys conducted in other countries we divided placebos into ‘pure’ and ‘impure’. ‘Impure’ placebos are interventions with clear efficacy for certain conditions but are prescribed for ailments where their efficacy is unknown, such as antibiotics for suspected (...) viral infections. ‘Pure’ placebos are interventions such as sugar pills or saline injections without direct pharmacologically active ingredients for the condition being treated. We initiated the survey in April 2012. Two reminders were sent and electronic data collection closed after 4 weeks. Results -/- We surveyed 1715 general practitioners and 783 (46%) completed our questionnaire. Our respondents were similar to those of all registered UK doctors suggesting our results are generalizable. 12% (95% CI 10 to 15) of respondents used pure placebos while 97% (95% CI 96 to 98) used impure placebos at least once in their career. 1% of respondents used pure placebos, and 77% (95% CI 74 to 79) used impure placebos at least once per week. Most (66% for pure, 84% for impure) respondents stated placebos were ethical in some circumstances. Conclusion and implications -/- Placebo use is common in primary care but questions remain about their benefits, harms, costs, and whether they can be delivered ethically. Further research is required to investigate ethically acceptable and cost-effective placebo interventions. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)

Did Plato intend the laws of the Laws to change? While most scholars agree that there is to be legal change in Magnesia, I contend that this issue has been clouded by confusing three distinct questions: (1) whether there are legal mechanisms for changing the law in Magnesia, (2) what the attitudes of Magnesian citizens towards innovation and legal change are, and (3) whether Plato thinks the law is always the ultimate political authority. Once we separate these issues and look (...) at the relevant texts more closely, we see that the Athenian Visitor is primarily concerned with supplementing the original lawgiver’s laws and that any innovation that occurs should be consistent with this lawcode. This does not settle the question about whether it is always right to act in accordance with the existing laws, though it does provide a valuable framework for understanding a central aspect of Platonic political philosophy. Thus, although Plato’s ideal places knowledge above the law, in practice the laws of Magnesia will be fixed and authoritative for those people living under them. (shrink)

Wilfrid Sellars’s ethical theory was rich and deeply innovative. On Sellars’s view, moral judgments express a special kind of shared intention. Thus, we should see Sellars as an early advocate of an expressivism of plans and intentions, and an early theorist of collective intentionality. He supplemented this theory with a sophisticated logic of intentions, a robust theory of the categorical validity of normative expressions, a subtle way of reconciling the cognitive and motivating aspects of moral judgment, and much more— all (...) within a strict nominalism that preserves Sellars’s commitment to naturalism. The Ethics of Wilfrid Sellars offers the first systematic treatment of this sadly neglected aspect of Sellars’s work and demonstrates that his ethical theory— just like his more widely discussed epistemology— has much to contribute to current debates. (shrink)

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

Can testimony provide reasons to believe some proposition about an artwork’s aesthetic character? Can testimony bring an agent into a position where they can issue an aesthetic judgement about that artwork? What is the epistemic value of aesthetic communication? These questions have received sustained philosophical attention. More fundamental questions about aesthetic communication have meanwhile been neglected. These latter questions concern the nature of aesthetic communication, the criteria that determine when aesthetic communication is successful, and the frequency of communicative success in (...) aesthetic communication. The neglect of these questions is a serious oversight, not least because they bear directly on each of the other questions listed. This paper’s focus is the more fundamental set of questions. I argue for a restricted form of communicative pessimism. Discerning aesthetic communication about an artwork typically fails unless its recipient is both acquainted with that artwork and able to coordinate with the speaker on an aesthetic understanding of it. I arrive at this conclusion by challenging the standard conception of the nature of aesthetic communication that the literature presupposes, as well as an accompanying criterion of communicative success. I introduce an alternative view. In closing I relate my discussion to the former set of questions. (shrink)

AI, in the form of artificial carers, provides a possible solution to the problem of a growing elderly population Yet, concerns remain that artificial carers ( such as care-or chat-bots) could not emphathize with patients to the extent that humans can. Utilising the concept of empathy perception,we propose a Turing-type test that could check whether artificial carers could do many of the menial tasks human carers currently undertake, and in the process, free up more time for doctors to offer empathy. (...) -/- . (shrink)

Philosophers of science have insisted that evidence of underlying mechanisms is required to support claims about the effects of medical interventions. Yet evidence about mechanisms does not feature on dominant evidence-based medicine “hierarchies.” After arguing that only inferences from mechanisms (“mechanistic reasoning”)—not mechanisms themselves—count as evidence, I argue for a middle ground. Mechanistic reasoning is not required to establish causation when we have high-quality controlled studies; moreover, mechanistic reasoning is more problematic than has been assumed. Yet where the problems can (...) be overcome, mechanistic reasoning can and should be used as evidence. (shrink)

Most of us believe that partiality applies in a broad range of relationships. One relationship on which there is much disagreement is co-nationality. Some writers argue that co-national partiality is not justified in certain cases, like killing in war, since killing in defense of co-nationals is intuitively impermissible in other contexts. I argue that this approach overlooks an important structural feature of partiality—namely, that its scope is sometimes restricted. In this essay, I show how some relationships that generate reasons of (...) partiality are restricted in scope—that is, they generate reasons within particular contexts or with respect to particular goods. I then argue that co-national partiality is scope restricted. I then show how this fact helps proponents of co-national partiality overcome the aforementioned objection to its application in cases like war. (shrink)

This paper proposes Universal Basic Income (UBI) as a critical policy response to the economic and social disruptions engendered by artificial intelligence (AI). As automation displaces, or fundamentally transforms, traditional forms of work, AI-driven productivity continues to soar, generating immense value from publicly funded data and infrastructure. By examining historical precedents (including the New Deal and various social welfare models), international case studies (like Finland’s UBI experiment and India’s pilot programs), and emerging ethical and economic rationales, this paper argues that (...) UBI is both a viable evolution of governmental support for citizens and a forward-looking strategy to address global inequality. It further explores how UBI anticipates cultural shifts in a world where work and identity are increasingly decoupled. Bringing together insights from philosophy, economics, and computer science, the paper situates UBI within the broader philosophical discourse on AI’s responsibilities and implications for human dignity and social justice. This discussion forms the first pillar of a trilogy on recalibrating the social contract, to be complemented by free healthcare and lifelong education. Collectively, these pillars propose a blueprint for distributing AI’s vast benefits in ways that uphold human agency, reduce inequality, and preserve social cohesion. (shrink)

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

One important strand of Sellars’s attack on classical foundationalism from Empiricism and the Philosophy of Mind is his thesis about the priority of is-talk over looks-talk. This thesis has been criticized extensively in recent years, and classical foundationalism has found several contemporary defenders. I revisit Sellars’s thesis and argue that is-talk is epistemically prior to looks-talk in a way that undermines classical foundationalism. The classical foundationalist claims that epistemic foundations are constituted by the agent’s set of looks-judgments. However, I argue (...) that only a subset of these looks-judgments are even candidates to serve as foundations for the agent’s empirical knowledge, and membership in this subset is determined by the agent’s theory of how the world is. Thus, the epistemic force of the looks-judgments in this subset is dependent on the agent’s theory of how the world is. This means that these looks-judgments aren’t foundational at all, as the agent’s theory of how the world is is epistemically is prior to the epistemic status of these looks-judgments. This is the sense in which judgments about how the world is are epistemically prior to judgments about how things look. This conclusion allows concrete elaboration of another of Sellars’s well-know claims: “I do wish to insist that the metaphor of ‘foundation’ is misleading in that it keeps us from seeing that if there is a logical dimension in which other empirical propositions rest on observation reports, there is another logical dimension in which the latter rest on the former”. (shrink)

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

Creepiness and the emotion of the creeps have been overlooked in the moral philosophy and moral psychology literatures. We argue that the creeps is a morally significant emotion in its own right, and not simply a type of fear, disgust, or anger (though it shares features with those emotions). Reflecting on cases, we defend a novel account of the creeps as felt in response to creepy people. According to our moral insensitivity account, the creeps is fitting just when its object (...) is agential activity that is insensitive to basic moral considerations. When, only when, and insofar as someone is disposed to such insensitivity, they are a creep. Such insensitivity, especially in extreme forms, raises doubts about creeps’ moral agency. We distinguish multiple types of insensitivity, respond to concerns that feeling the creeps is itself objectionable, and conclude with a discussion of epistemic issues relating to the creeps. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

Plato is often acknowledged as the first philosophical critic of democracy and his Republic is regularly taken as a paradigm of an anti-democratic work. While it is true that Plato objected to much about the democracy of his own time, Plato’s political theorizing also reveals an interest in improving democratic institutions. This chapter explores three themes in Plato’s thinking about democracy: firstly, Plato's insistence that rulers should be knowledgeable and his claim that most people are politically incompetent (§1); secondly, Plato's (...) criticisms of oratory and the corrupting effects of public rhetoric (§2); thirdly, Plato's use of democratic institutions in the Laws (§3). Once we appreciate these different evaluations of democratic practices, we can see that Plato was not simply ‘anti-democratic’ or ‘pro-democratic’ but thought some democratic practices should be abandoned, some reformed, and some adopted. (shrink)

Abstract below. The published version of this article is available open access at The Monist's website. Part of Plato’s complaint about the cognitive status of art cites the pollution of aesthetic cognition by the affective side of our natures. Schopenhauer, by contrast, takes aesthetic cognition to transcend (some of) the limitations of everyday cognition precisely because in it agents become the “pure, will-less subject of cognition” (WWR I 219). On the orthodox reading of his later philosophy, Nietzsche scorns Plato and (...) Schopenhauer’s association of the value of art with its truthfulness. I challenge the orthodox reading and argue that one strand of art’s value is its penetrative cognitive power. In contrast to Schopenhauer, Nietzsche understands this cognitive power to result from the embracing and exploitation of the affects in the artistic process rather than their extirpation. (shrink)

This essay falls into three parts. Section 1 describes how Politics Book I, which includes Aristotle’s famous claims that the human being is by nature a political animal (politikon zōon) and that the polis (city-state) is natural and naturally prior to the individual, and his infamous claim that it is just to enslave those who are slaves by nature, may be connected with the rest of the Politics, which is about politeiai (constitutions). Section 2 examines Aristotle’s ideal politeia in Politics (...) VII-VIII in the light of his criticisms of other politeiai in Book II. Section 3 discusses non-ideal constitutions in Politics III-VI. (shrink)

[COMMENTARY on Walter Veit's "A Philosophy for the Science of Animal Consciousness"] The framework Veit introduces for animal consciousness turns on finding and articulating its evolutionary origins. Veit argues that consciousness first evolved as affective experience in the Cambrian period. His argument centers around the plausible need of organisms in the Cambrian for a common currency of subjective valuation. I argue that such an adaptive pressure is unlikely to result in affective experience. I review other processes that instantiate common currencies (...) of subjective valuation: unconscious (non-experiential) affect and the reward learning system and argue that each is likely to have evolved prior to affective experience. (shrink)

I argue that racism is essentially a civic character trait: to be a racist is to have a character that rationally reflects racial supremacist sociopolitical values. As with moral vice accounts of racism, character is my account’s primary evaluative focus: character is directly evaluated as racist, and all other racist things are racist insofar as, and because, they cause, are caused by, express or are otherwise suitably related to racist character. Yet as with political accounts of racism, sociopolitical considerations provide (...) my account’s primary evaluative standard: satisfying the sociopolitical standard of racial supremacy is what makes racist character racist. (shrink)

What explains why we are subjects for whom objects can have value, and what explains which objects have value for us? Axiologicians say that the value of humanity is the answer. I argue that our value, no matter what it is like, cannot perform this task. We are animals among others. An explanation of the value of objects for us must fit into an explanation of the value of objects for animals generally. Different objects have value for different animals. Those (...) differences depend on differences in animal natures and, in particular, on the diverse characteristic capacities of different animals. Once we invoke animal natures, there is nothing for the value of animality, including the value of humanity, to explain. (shrink)

I propose and articulate a novel theory of desire, called the Revised Reward Theory. As the name suggests, the theory is based—and expands—on Arpaly and Schroeder’s (2014) Reward Theory of Desire. The initial Reward Theory identifies desires with states of the reward learning system such that for an organism to desire some P is for its reward system to treat P as a reward upon receipt. The Revised Reward Theory identifies desires with a different state of the same system, such (...) that for an organism to desire some P is for its reward system to expect or predict that P will be rewarding (roughly) prior to receipt. The difference amounts to equating desires with what we ultimately find rewarding or satisfying versus those that underlie our motivations to obtain that which we take ourselves to desire. I argue that the structure of the reward system is incompatible with the original Reward Theory but compatible with the Revised Reward Theory. I demonstrate that this difference has important philosophical implications. I focus on moral responsibility and demonstrate Arpaly and Schroeder’s argument, that addiction can mitigate moral responsibility, turns on this precise difference. Arpaly, Schroeder, and I all ascribe to a meta-theory called ‘natural kindism’ which identifies mental kinds with neurocognitive kinds. This discussion, in addition to defending a theory of desire, is intended to act as a proof of concept for natural kindism as offering a powerful framework for relating empirical results to philosophical issues. (shrink)

This chapter addresses concerns that pragmatic encroachers are committed to problematic knowledge variance. It first replies to Charity Anderson and John Hawthorne’s new putative problem cases, which purport to show that pragmatic encroachment is committed to problematic variations in knowledge depending on what choices are available to the potential knower. It argues that the new cases do not provide any new reasons to be concerned about the pragmatic encroacher’s commitment to knowledge-variance. The chapter further argues that concerns about knowledge-variance are (...) not limited to the pragmatic encroacher, but come up for traditional purist invariantism as well. (shrink)

The COVID-19 global pandemic has shone a light on several important ethical questions, ranging from fairness in resource allocation to the ethical justification of government mandates. In addition to these institutional issues, there are also several ethical questions that arise at the interpersonal level. This essay focuses on several of these issues. In particular, I argue that, despite the insistence in public health messaging that avoiding infecting others constitutes ‘saving lives’, virus transmission that results in death constitutes an act of (...) killing. Whether this killing is wrongful depends on several factors. I consider one intuitively plausible view—namely, that in many cases, killing via unintentional transmission is not wrongful, because the parties in question have implicitly waived their rights against this harm, often via reciprocal risk imposition. I argue that this view is mistaken, but that its central insight can be better captured by identifying the appropriate standards of blame that we ought to apply during a pandemic. I conclude by showing how these conclusions can be fruitfully applied to certain institutional questions, such as helping to justify restricting government mandates. (shrink)

In this paper, I suggest that infinite numbers are large finite numbers, and that infinite numbers, properly understood, are 1) of the structure omega + (omega* + omega)Ө + omega*, and 2) the part is smaller than the whole. I present an explanation of these claims in terms of epistemic limitations. I then consider the importance, part of which is demonstrating the contradiction that lies at the heart of Cantorian set theory: the natural numbers are too large to be counted (...) by any finite number, but too small to be counted by any infinite number – there is no number of natural numbers. (shrink)

There is pragmatic encroachment on some epistemic status just in case whether a proposition has that status for a subject depends not only on the subject's epistemic position with respect to the proposition, but also on features of the subject's non-epistemic, practical environment. Discussions of pragmatic encroachment usually focus on knowledge. Here we argue that, barring infallibilism, there is pragmatic encroachment on what is arguably a more fundamental epistemic status – the status a proposition has when it is warranted enough (...) to be a reason one has for believing other things. (shrink)

As artificial intelligence reshapes the core institutions of society, traditional models for income, health, and education are proving increasingly inadequate. In response, this paper proposes a holistic blueprint for an AI-resilient social contract founded on three mutually reinforcing pillars: Universal Basic Income (UBI), free universal healthcare, and lifelong free education. Each element addresses a distinct aspect of human security: UBI secures economic stability in a world where work is no longer the sole determinant of livelihood; universal healthcare ensures that citizens (...) remain physically and mentally capable of engaging with society; and lifelong free education empowers individuals to continually adapt, innovate, and participate in democratic life. Drawing on global case studies and policy experiments, from nations pioneering Gross National Happiness to innovative digital health and education reforms, this paper demonstrates that by realigning governance with the goal of human flourishing rather than mere economic output, we can build resilient societies that harness AI’s promise while safeguarding equity and dignity. (shrink)

A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging patterns. At (...) the minimum, the hypercube is a “multiplication table” of dyadic computations and produces values in a way that shortens the time to do operations that normally would take longer using conventional truth table methods. It also can serve as a theorem prover and creator. With the hypercube comes a deductive system without the need for axioms. The main significance of the 3-D hypercube at this point is that it is the most fundamental way of displaying all dyadic computations in binary space, thus serving as a way of normalizing the rendition of uninterpreted, or raw, binary space. The hypercube is a dimensionless entity, a standard by which in binary spaces can be measured and classified, analogous to a meter stick. (shrink)

This paper contends that free, lifelong education is the third and final pillar of a resilient social contract in the age of artificial intelligence (AI). Building on the arguments for Universal Basic Income (UBI) and universal healthcare advanced in earlier works, it demonstrates that education is the intellectual foundation enabling individuals to adapt, participate, and flourish in a rapidly evolving world. AI is reshaping the knowledge landscape through tools such as Chimango, ChatGPT, and adaptive platforms like Khan Academy. These developments (...) challenge traditional, static models of education, giving rise to dynamic skill acquisition and personalised, decentralised learning pathways. To ensure that the benefits of these advancements are shared equitably, this paper calls for education to be universally accessible, not merely as a public good, but as a civic necessity. Drawing on examples such as Germany’s tuition-free university system and Finland’s fully subsidised education from early childhood through tertiary, alongside its investment in highly trained educators, this paper outlines how free education can be scaled, sustained, and integrated into national development strategies. AI-driven efficiencies in content delivery and administration make lifelong, no-cost learning increasingly viable, while ethical considerations dictate that access must not be determined by wealth, geography, or age. Together with UBI and free healthcare, free education empowers individuals to build new skills, scrutinise emerging technologies, and engage meaningfully in civic life. Ultimately, this paper demonstrates that, just as income and health warrant public provisioning, so does education, crucial not only to economic productivity, but also to democratic resilience, cultural renewal, and human flourishing. (shrink)

Recent defenders of the divine command theory like Adams and Alston have confronted the Euthyphro dilemma by arguing that although God’s commands make right actions right, God is morally perfect and hence would never issue unjust or immoral commandments. On their view, God’s nature is the standard of moral goodness, and God’s commands are the source of all obligation. I argue that this view of divine goodness fails because it strips God’s nature of any features that would make His goodness (...) intelligible. An adequate solution to the Euthyphro dilemma may require that God be constrained by a standard of goodness that is external to Himself -- itself a problematic proposal for many theists. (shrink)

This paper argues that free, universal healthcare must serve as a foundational pillar of a resilient social contract in the era of artificial intelligence (AI), standing alongside Universal Basic Income (UBI) and lifelong free education. While UBI secures economic stability as automation transforms employment, and lifelong education equips citizens to adapt intellectually to continuously shifting labour markets, universal healthcare guarantees the physical and mental well‑being without which neither income security nor learning opportunities can be fully realised. AI is revolutionising care (...) delivery by enabling highly accurate diagnostics, predictive analytics, robotic‑assisted surgeries and streamlined administration, cutting waste and improving outcomes. Because these systems are trained on publicly funded data and run on national infrastructure, their benefits must be distributed equitably. Drawing on historical precedents, ethical frameworks and global case‑studies, including the UK’s National Health Service and Taiwan’s single‑payer model, this paper explores the three‑pillar synergy whereby AI‑driven cost reductions in healthcare free fiscal space for both UBI disbursements and sustained public investment in lifelong education platforms. It concludes that AI makes universal healthcare not only feasible but also a moral and economic imperative for societies determined to share technological dividends across every dimension of human security. (shrink)

In this paper, two concepts of completing an infinite number of tasks are considered. After discussing supertasks, equisupertasks are introduced. I suggest that equisupertasks are logically possible.

When people now talk about a relationship as being “Platonic”, they mean that the relationship is a non-sexual friendship. But what did Plato himself say about different kinds of relationship, and how did his name come to be associated with non-sexual relationships? While Plato’s Symposium has been the center of attention for his views on love, I argue that the Phaedrus and Laws VIII provide a much clearer account of Plato’s views. In these dialogues, Plato distinguishes between two kinds of (...) love and three kinds of lover. The two kinds of love are fundamentally oriented towards different objects: one kind of love is focused on the body of the beloved and seeks to extract as much bodily pleasure from them as possible, whereas the other kind of love is focused on the soul and seeks to benefit the beloved by improving their character. There is a lover for each kind of love, and a third kind of lover who is torn between these two opposing objects of love. Notably, in the kind of love directed towards the soul, the lovers will not engage in sexual activity. I argue that this is because Plato thinks that the natural function of sex is the procreation of good children and that engaging in such an intensely pleasurable activity risks making the lovers intemperate and lacking in self-control. Thus Plato thinks that the best kind of relationship is one of love (and not just friendship) but is nonetheless non-sexual. (shrink)

This short document provides an overview of three complementary papers examining how AI reshapes society’s fundamental agreements on income security, healthcare, and education. Each paper addresses one “pillar” of a re-calibrated social contract: Universal Basic Income, Free Universal Healthcare, and Lifelong Free Education. Together, they propose an integrated approach to distributing AI’s benefits equitably, ensuring economic stability, physical well-being, and continuous learning for all. This overview serves as the introduction to a suite of five papers. Following this introductory piece are (...) three detailed pillar papers, each focusing on UBI, healthcare, and education, which can be read in any order. The final paper, Recalibrating the Social Contract: A Blueprint for AI-Resilient Societies, integrates the insights from all three pillars into a unified policy road-map. (shrink)

Context: The infinite has long been an area of philosophical and mathematical investigation. There are many puzzles and paradoxes that involve the infinite. Problem: The goal of this paper is to answer the question: Which objects are the infinite numbers (when order is taken into account)? Though not currently considered a problem, I believe that it is of primary importance to identify properly the infinite numbers. Method: The main method that I employ is conceptual analysis. In particular, I argue that (...) the infinite numbers should be as much like the finite numbers as possible. Results: Using finite numbers as our guide to the infinite numbers, it follows that infinite numbers are of the structure w + (w* + w) a + w*. This same structure also arises when a large finite number is under investigation. Implications: A first implication of the paper is that infinite numbers may be large finite numbers that have not been investigated fully. A second implication is that there is no number of finite numbers. Third, a number of paradoxes of the infinite are resolved. One change that should occur as a result of these findings is that “infinitely many” should refer to structures of the form w + (w* + w) a + w*; in contrast, there are “indefinitely many” natural numbers. Constructivist content: The constructivist perspective of the paper is a form of strict finitism. (shrink)

This paper challenges the philosophical and legal assumptions underpinning the Artemis Accords, particularly their treatment of space resources and territorial control. It critiques the reinterpretation of Article II of the Outer Space Treaty, the use of unregulated safety zones, and the reliance on voluntary participation as mechanisms that entrench power asymmetries and enable de facto appropriation. In response, it proposes an alternative governance framework grounded in Earth citizenship, commons stewardship, and intergenerational justice. The paper concludes with a call for enforceable (...) global norms, equitable benefit-sharing, and post-national accountability to ensure that the Moon remains a shared domain for all humankind. Keywords: Artemis Accords; Outer Space Treaty; commons; stewardship; Earth citizenship; lunar resources. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

A multiverse is comprised of many universes, which quickly leads to the question: How many universes? There are either finitely many or infinitely many universes. The purpose of this paper is to discuss two conceptions of infinite number and their relationship to multiverses. The first conception is the standard Cantorian view. But recent work has suggested a second conception of infinite number, on which infinite numbers behave very much like finite numbers. I will argue that that this second conception of (...) infinite number is the correct one, and analyze what this means for multiverses. (shrink)