This working paper combines Lukas Schmid’s article “Responding to unauthorized residence: on a dilemma between ‘firewalls’ and ‘regularisations’” with three critical responses as well as a rejoinder by the author. Schmid argues that a set of liberal-democratic commitments gives conscientious policymakers strong reason to implement both so-called ‘firewall’ and ‘regularisation’ policies, thereby protecting unauthorised immigrants’ basic needs and interests and officially incorporating many of them in society. He then explains that the background imperative of immigration control creates a (...) dilemmatic tension between these policies, as regularisation is envisaged alongside the removal of the ineligible, which is in turn hindered by the implementation of firewalls. This creates a dilemma between the pursuit of two policy goals that are both underwritten by the same value commitments. Schmid concludes that the best way to mitigate this dilemma is to design regularisation policy in a way that leaves only a small number of unauthorised immigrants subject to removal. Antje Ellermann’s response reflects critically on Schmid’s understanding of firewalls, arguing that there is good reason to think that the presence of firewalls does not hinder the implementation of removals of unauthorised immigrants who are ineligible for regularisation. She concludes that, contrary to Schmid’s argument, there is no true ethical dilemma between firewall and regularisation policy. Adam Omar Hosein’s contribution argues that the tensions Schmid discusses arise only because of his adoption of widely shared assumptions about the proper basis for regularisation policies. He suggests they can be avoided by adopting a superior justification for regularisations: the ‘autonomy argument.’ In the last response, Cecilia Menjívar reflects on some constraints conscientious policymakers may face when dealing with ethically dilemmatic choices, such as a policy landscape of government agencies with conflicting goals as well as foreign policy and international obligations, all of which are rooted in anti-immigrant backlash and racism around the globe. The working paper concludes with a rejoinder, in which Schmid discusses the contributors’ key points, outlines agreements and disagreements, and explores the bigger picture sketched by the working paper’s discussions. (shrink)

Johan Georg Granström’s Treatise on Intuitionistic Type Theory represents a landmark contribution to our understanding of the philosophical foundations of Per Martin-Löf’s intuitionistic type theory (ITT). The work is particularly noteworthy for its careful exposition of how ITT emerges as a sophisticated codification of Brouwerian intuitionism while simultaneously advancing a distinctly Kantian program in the philosophy of mathematics. This philosophical grounding, drawing heavily on both Kantian and Husserlian phenomenology, offers valuable insights into the nature of mathematical knowledge and computation. (...) The significance of this work cannot be overstated. At a time when type theory is gaining increasing prominence in both mathematics and computer science, Granström provides a philosophical foundation that helps explain why type-theoretic approaches have proven so successful. By situating ITT within the broader philosophical tradition, particularly in relation to Kant’s views on mathematical knowledge, the book illuminates both the historical development of constructive mathematics and its contemporary relevance. The work comes at a crucial moment in the development of mathematical foundations. The increasing importance of computer-assisted proof and formal verification has led to renewed interest in constructive approaches to mathematics. Granström’s analysis helps explain why type-theoretic foundations are particularly well-suited to meet these contemporary challenges. His careful exposition of the philosophical foundations of ITT provides essential context for understanding both its historical development and its future potential. Moreover, the book represents a significant contribution to our understanding of the relationship between philosophy and mathematics. By showing how deep philosophical insights about the nature of mathematical knowledge inform the development of formal systems, Granström demonstrates the continuing relevance of philosophical reflection for mathematical practice. This is particularly valuable at a time when the relationship between philosophy and mathematics is often questioned. (shrink)

Hermeneutic studies of science locate a circle at the heart of scientific practice: scientists only gain knowledge of what they, in some sense, already know. This may seem to threaten the rational validity of science, but one can argue that this circle is a virtuous rather than a vicious one. A virtuous circle is one in which research conclusions are already present in the premises, but only in an indeterminate and underdeveloped way. In order to defend the validity of science, (...) the hermeneuticist must describe a method by which a vague and confused initial knowledge of nature gets transformed into a clear and determinate knowledge of nature. I consider three such methods. The first is regressus demonstrativa, favoured by the physicians of Padua during the fifteenth and sixteenth centuries. The second is mathēsis, introduced by Martin Heidegger in his discussion of seventeenth-century science. The third is Denkstil, a key concept in Ludwik Fleck’s history of syphilology. I conclude by listing three desiderata for a hermeneutic science studies: that it be anti-metaphysical, historical, and sociological. --- Reprinted in: Erich Otto Graf, Martin Schmid & Johannes Fehr (eds.), Fleck and the Hermeneutics of Science (Collegium Helveticum Heft 14) (Zürich, 2016), pp. 85-93. (shrink)

We examine two competing solutions to Benardete paradoxes: causal finitism, according to which nothing can have infinitely many causes, and the unsatisfiable pair diagnosis (UPD), according to which such paradoxes are logically impossible and no metaphysical thesis need be adopted to avoid them. We argue that the UPD enjoys notable theoretical advantages over causal finitism. Causal finitists, however, have levelled two main objections to the UPD. First, they urge that the UPD requires positing a ‘mysterious force’ that prevents paradoxes from (...) arising. Since such a force is implausible, the UPD is in trouble. Second, they employ recombination or patchwork principles to argue that paradoxical situations would be possible if causal finitism were false. Since such situations are not possible, causal finitism is true, and so a substantive metaphysical thesis is needed to avoid the paradoxes. We argue that the UPD proponent can successfully respond to these objections. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

We argue that there is a conflict among classical theism's commitments to divine simplicity, divine creative freedom, and omniscience. We start by defining key terms for the debate related to classical theism. Then we articulate a new argument, the Aloneness Argument, aiming to establish a conflict among these attributes. In broad outline, the argument proceeds as follows. Under classical theism, it's possible that God exists without anything apart from Him. Any knowledge God has in such a world would be wholly (...) intrinsic. But there are contingent truths in every world, including the world in which God exists alone. So, it's possible that God contingently has wholly intrinsic knowledge. But whatever is contingent and wholly intrinsic is an accident. So, God possibly has an accident. This is incompatible with classical theism. Finally, we consider and rebut several objections. (shrink)

José Benardete developed a famous paradox involving a beginningless set of items each member of which satisfies some predicate just in case no earlier member satisfies it. The Grim Reaper version of this paradox has recently been employed in favour of various finitist metaphysical theses, ranging from temporal finitism to causal finitism to the discrete nature of time. Here, I examine a new challenge to these finitist arguments—namely, the challenge of implying that the future cannot be endless. In particular, I (...) develop future-oriented Benardete paradoxes and examine their epistemic symmetry with past-oriented paradoxes. (shrink)

Modal collapse arguments are all the rage in certain philosophical circles as of late. The arguments purport to show that classical theism entails the absurdly fatalistic conclusion that everything exists necessarily. My first aim in this paper is bold: to put an end to action-based modal collapse arguments against classical theism. To accomplish this, I first articulate the ‘Simple Modal Collapse Argument’ and then characterize and defend Tomaszewski’s criticism thereof. Second, I critically examine Mullins’ new modal collapse argument formulated in (...) response to the aforementioned criticism. I argue that Mullins’ new argument does not succeed. Third, I critically examine a powers-based modal collapse argument against classical theism that has received much less attention in the literature. Fourth, I show why God’s being purely actual, as well God’s being identical to each of God’s acts, simply cannot entail modal collapse given indeterministic causation. This, I take it, signals the death of modal collapse arguments. But not all hope is lost for proponents of modal collapse arguments—for the death is a fruitful one insofar as it paves the way for new inquiry into at least two new potential problems for classical theism. Showing this is my paper’s second aim. (shrink)

We draw out significant consequences of a relatively popular theory of metaphysical modality—branching actualism—for cosmological arguments for God’s existence. According to branching actualism, every possible world shares an initial history with the actual world and diverges only because causal powers (or dispositions, or some such) are differentially exercised. We argue that branching actualism undergirds successful responses to two recent cosmological arguments: the Grim Reaper Kalam argument and a modal argument from contingency. We also argue that branching actualism affords a response (...) to one popular defense of the classic contingency argument. What results are new difficulties for several cosmological arguments arising from the metaphysics of modality. (shrink)

Residence of unauthorized immigrants is a stable feature of the Global North’s liberal democracies. This article asks how liberal-democratic policymakers should respond to this phenomenon, assuming both that states have incontrovertible rights and interests to assert control over immigration and that unauthorized residence is nevertheless an entrenched fact. It argues that a set of liberal-democratic commitments gives policymakers strong reason to implement both so-called ‘firewall’ and ‘regularization’ policies, thereby protecting unauthorized immigrants’ basic needs and interests and officially incorporating many of (...) them in society. It then explains that the background imperative of immigration control creates a dilemmatic tension between these policies, as regularization is envisaged alongside the removal of the ineligible, which is in turn hindered by the implementation of firewalls. This creates a dilemma between the pursuit of two policy goals that are both underwritten by the same value commitments. Though it cannot be entirely dissolved, I argue that the best way to mitigate this dilemma is to design regularization policy in a way that leaves only a small number of unauthorized immigrants subject to removal. (shrink)

James Henry Collin recently developed a new symmetry breaker favouring the ontological argument’s possibility premiss over that of the reverse ontological argument. The symmetry breaker amounts to an undercutting defeater for the reverse possibility premiss based on Kripkean cases of a posteriori necessity. I argue, however, that symmetry re-arises in two forms. First, I challenge the purported asymmetry in epistemic entitlements to the original and reverse possibility premisses. Second, relevantly similar Kripkean cases equally undercut the original possibility premiss.

Edward Feser defends the ‘Aristotelian proof’ for the existence of God, which reasons that the only adequate explanation of the existence of change is in terms of an unchangeable, purely actual being. His argument, however, relies on the falsity of the Existential Inertia Thesis, according to which concrete objects tend to persist in existence without requiring an existential sustaining cause. In this article, I first characterize the dialectical context of Feser’s Aristotelian proof, paying special attention to EIT and its rival (...) thesis—the Existential Expiration Thesis. Next, I provide a more precise characterization of EIT, after which I outline two metaphysical accounts of existential inertia. I then develop new lines of reasoning in favor of EIT that appeal to the theoretical virtues of explanatory power and simplicity. Finally, I address the predominant criticisms of EIT in the literature. (shrink)

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP entry on (...) Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

Edward Feser defends the ‘Neo-Platonic proof ’ for the existence of the God of classical theism. After articulating the argument and a number of preliminaries, I first argue that premise three of Feser’s argument—the causal principle that every composite object requires a sustaining efficient cause to combine its parts—is both unjustified and dialectically ill-situated. I then argue that the Neo-Platonic proof fails to deliver the mindedness of the absolutely simple being and instead militates against its mindedness. Finally, I uncover two (...) tensions between Trinitarianism and the Neo-Platonic proof. (shrink)

The modal collapse objection to classical theism has received significant attention among philosophers as of late. My aim in this paper is to advance this blossoming debate. First, I briefly survey the modal collapse literature and argue that classical theists avoid modal collapse if and only if they embrace an indeterministic link between God and his effects. Second, I argue that this indeterminism poses two challenges to classical theism. The first challenge is that it collapses God’s status as an intentional (...) agent who knows and intends what he is bringing about in advance. The second challenge is that it collapses God’s providential control over which creation obtains. (shrink)

What explains change? Edward Feser argues in his ‘Aristotelian proof’ that the only adequate answer to these questions is ultimately in terms of an unchangeable, purely actual being. In this paper, I target the cogency of Feser’s reasoning to such an answer. In particular, I present novel paths of criticism—both undercutting and rebutting—against one of Feser’s central premises. I then argue that Feser’s inference that the unactualized actualizer lacks any potentialities contains a number of non-sequiturs.

States cannot legitimately enforce their borders against migrants if dominant conceptions of sovereignty inform enforcement because these conceptions undermine sufficient respect for migrants’ basic human rights. Instead, such conceptions lead states to assert total control over outsiders’ potential cross-border movements to support their in-group’s self-rule. Thus, although legitimacy requires states to prioritize universal respect for basic human rights, sovereign states today generally fail to do so when it comes to border enforcement. I contend that this enforcement could only be rendered (...) legitimate if it was predicated on more desirable conceptions of sovereignty that supported the universal prioritization of basic human rights. Specifically, desirable conceptions would not establish and require absolute state sovereignty over borders as a necessary precondition for true popular self-governance. (shrink)

There is lively debate on the question if states have legitimate authority to enforce the exclusion of (would-be) immigrants. Against common belief, I argue that even non- cosmopolitan liberals have strong reason to be sceptical of much contemporary border authority. To do so, I first establish that for liberals, broadly defined, a state can only hold legitimate authority over persons whose moral equality it is not engaged in undermining. I then reconstruct empirical cases from the sphere of international relations in (...) which what I call ‘colonial norms’ continue to play significant structuring roles. I argue that it is sometimes only by unveiling these colonial norms and the roles they play that we can understand how some states today culpably contribute to undermining the moral equality of persons over whom they will come to claim immigration-related authority. I thus contend that paying attention to colonial norms distinctly enables us to reveal a set of instances in which all liberals should agree that states forfeit legitimate authority over would-be immigrants. (shrink)

Surely God, as a perfectly rational being, created the universe for some _reason_. But is God’s creating the universe for a reason compatible with divine impassibility? That is the question I investigate in this article. The _prima facie_ tension between impassibility and God’s creating for a reason arises from impassibility’s commitment to God being uninfluenced by anything _ad extra_. If God is uninfluenced in this way, asks the detractor, how could he be moved to create anything at all? This _prima (...) facie_ tension has recently been formalized and dubbed the ‘Problem of Arbitrary Creation’. In this article, I defend a new extension of this problem. I begin by characterizing classical theism, divine simplicity, and divine impassibility. I then spell out the Problem of Arbitrary Creation as developed by R. T. Mullins. I next raise a worry for Mullins’ version of the argument. Finally, I extend the argument and show how my extension avoids the aforementioned worry. (shrink)

Abstract“Freedom” is a fundamental political concept: contestations or endorsements of freedom-conceptions concern the fundamental normative orientation of sociopolitical orders. Focusing on “freedom,” this article argues that the project of bringing about emancipatory sociopolitical orders is both aided by efforts at engineering fundamental political concepts as well as required by such ameliorative ambitions. I first argue that since the absence of ideology is a constituent feature of emancipatory orders, any attempt at bringing about emancipation should leverage genealogical approaches in order to (...) debunk existing ideological freedom-concepts, which can occur only by exposing the discursive functions these have come to serve for the (re-)production of dominant power relations. I then suggest that establishing and sustaining an alternative, ideology-free conception of “freedom” is a steeper task. Ensuring widespread uptake of any ameliorated concept is contingent on effective change in the relevant social environment. Where fundamental political concepts such as “freedom” are concerned, effective intervention in the relevant social environment requires radical sociopolitical change. But if such change can be brought about and enables the widespread uptake of an “improved” freedom-concept, the concept's content comes to reflect changed social facts, thereby stabilizing the particular emancipatory sociopolitical order which has newly arisen. (shrink)

Scholars of international law have been increasingly troubled by states’ vast powers and practices of migrant exclusion. There is no doubt that much of this uneasiness is catalyzed by a keen sense of the demands of a basic liberalism at the international legal order's core. Indeed, the increased construction of border walls,1 the continuously widespread use of deportation as a migration control tool,2 and new digital bordering technologies3 have all come under scrutiny precisely because of the challenges they pose to (...) the notion of supposedly universal entitlements, both substantive and procedural, that often appear disabled or overridden when it comes to the treatment of different sorts of migrants. My goal in this contribution is not to add to such legal critiques, but rather to provide the contours of a broader normative argument to rebuke—or at least complicate—what is often called the state's “right to exclude” all or most would-be immigrants. This right is not just standardly assumed in legal and political practice—indeed, standardly viewed as the linchpin of sovereignty—but has also enjoyed sophisticated defense by liberal political theorists.4 The main goal of my argument is to suggest that anyone with basic liberal inclinations—including political theorists, lawyers, and practitioners of politics—should be able to agree that, under current circumstances, granting states a potent “right to exclude” entails deep tensions with basic moral standards of legitimate authority. This is because the deeply entrenched characteristics and historical background conditions of immigration control today tend structurally to push states to violate the appropriate moral conditions of their legitimate authority to enforce immigration restrictions.5 While moving above and beyond legal argumentation, my hope is that the argument may underscore and give further analytical expression to some of the animating concerns of contemporary legal contestations of states’ exclusive powers and practices. (shrink)

At the intersection of category theory, cybernetics, and dialectical reasoning lies a profound framework for understanding computation and control. This paper examines how categorical structures—particularly adjoint functors and fixed points—illuminate the nature of feedback and control in both mathematical and philosophical contexts. Through an analysis of Lawvere’s fixed point theorem, Bayesian Open Games, and modern approaches to categorical cybernetics, we develop a unified perspective that bridges computation, control, and dialectical reasoning. We demonstrate the practical implications of this theoretical framework through (...) a compiler pipeline that targets modern GPU architectures. (shrink)

Enric F. Gel has recently argued that classical theism enjoys a significant advantage over Graham Oppy's naturalism. According to Gel, classical theism – unlike Oppy's naturalism – satisfactorily answers two questions: first, how many first causes are there, and second, why is it that number rather than another? In this article, I reply to Gel's argument for classical theism's advantage over Oppy's naturalism. I also draw out wider implications of my investigation for the gap problem and Christian doctrine along the (...) way. (shrink)

A quick introduction to category theory and topos theory, axiomatically. These notes are adapted from Prof. Pettigrew’s notes.

Benardete paradoxes involve infinite collections of Grim Reapers, assassins, demons, deafening peals, or even sentences. These paradoxes have recently been used in arguments for finitist metaphysical theses such as temporal finitism, causal finitism, and discrete views of time. Here we develop a new finite Benardete-like paradox. We then use this paradox to defend a companions in guilt argument that challenges recent applications of patchwork principles on behalf of the aforementioned finitist arguments. Finally, we develop another problem for those applications by (...) examining the notion of exact duplication. (shrink)

Andr ́e Weil viewed mathematics as deeply intertwined with metaphysics. In his essay ”From Metaphysics to Mathematics,” he illustrates how mathematical ideas often arise from vague, metaphysical analogies and reflections that guide researchers toward new theories. For instance, Weil discusses how analogies between different areas, such as number theory and algebraic functions, have led to significant breakthroughs. These metaphysical underpinnings provide a fertile ground for mathematical creativity, eventually transforming into rigorous mathematical structures. -/- Alexander Grothendieck’s work, particularly in ”R ́ecoltes (...) et Semailles,” resonates with Weil’s ideas by emphasizing the organic and generative aspects of mathematical creation. Grothendieck sees mathematical work as akin to cultivating a garden, where ideas grow and develop in a nurturing environment. He describes the process of mathematical discovery as a deeply personal and creative journey, involving both solitary reflection and collaborative effort. -/- Grothendieck’s concept of creating mathematical ”houses” aligns with his broader philosophical view that mathematics provides structures within which new ideas can flourish. His work in category theory and algebraic geometry exemplifies this approach, where he developed vast, interconnected frameworks that have become foundational in modern mathematics. Grothendieck’s analogy of constructing houses for others to live in highlights the mathematician’s role in creating abstract frameworks that others can inhabit and explore. This metaphor emphasizes the constructive nature of mathematics, where researchers build theoretical structures that form the basis for further exploration and application by the mathematical community. (shrink)

Due to the wide scope of (in particular linear) homotopy type theory (using quantum natural language processing), a metatheory can be applied not just to theorizing the metatheory of scientific progress, but ordinary language or any public language defined by sociality/social agents as the precondition for the realizability of (general) intelligence via an inferential network from which judgement can be made. How this metatheory of science generalizes to public language is through the recent advances of quantum natural language processing, but (...) the traditional metalogical encodings (of Tarski) is relatively comparable through universes such as the type of types or type of types of types found in the inherent inferentialism of UF/HoTT via infinity-groupoids. The "computational trinity" of proofs=programs=algebra in HoTT also means reason is defined functionally as "what it does" by what it computes (proofs are programs). Following Reza Negarestani's recent book, through the self's self-realizability, achieving self-consciousness and consciousness beyond selfhood, "geistig manifestation" is achieved in the form of general intelligence, but only through an inferential network of social agents intrinsically encoded through computation. (shrink)

In this review essay, I discuss two recent works in refugee and migration ethics, Serena Parekh’s No Refuge: Ethics and the Global Refugee Crisis and Amy Reed-Sandoval’s Socially Undocumented: Identity and Immigration Justice. I find that their methodological ambitions overlap significantly and that their arguments represent welcome and largely successful examinations of generally neglected issues. I also explain how both approaches could fruitfully learn from each other, and argue that they lay pioneering groundwork for future work to continue the analysis (...) of only nascent modes and areas of inquiry. (shrink)

The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy of (...) types of a priori beliefs and their role for the different agents that participate in the system engineering process, which match the existing view exceedingly well and are particularly promising for explaining and dealing with unexpected behaviors in fault-tolerant distributed systems. Developing such a philosophical foundation will provide a sound basis for eventually implementing our ideas in a suitable epistemic reasoning and analysis framework and, hence, constitutes a mandatory first step for developing methods and tools to cope with the various challenges that emerge in such systems. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

According to a captivating picture, epistemic justification is essentially a matter of epistemic or evidential likelihood. While certain problems for this view are well known, it is motivated by a very natural thought—if justification can fall short of epistemic certainty, then what else could it possibly be? In this paper I shall develop an alternative way of thinking about epistemic justification. On this conception, the difference between justification and likelihood turns out to be akin to the more widely recognised difference (...) between ceteris paribus laws and brute statistical generalisations. I go on to discuss, in light of this suggestion, issues such as classical and lottery-driven scepticism as well as the lottery and preface paradoxes. (shrink)

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the modelling (...) of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...) discussed phenomenon that Crispin Wright and Martin Davies have called 'transmission failure'—the apparent failure, on the part of some deductively valid inferences to transmit one's justification for believing the premises. (shrink)

In 1990 Edward Craig published a book called Knowledge and the State of Nature in which he introduced and defended a genealogical approach to epistemology. In recent years Craig’s book has attracted a lot of attention, and his distinctive approach has been put to a wide range of uses including anti-realist metaepistemology, contextualism, relativism, anti-luck virtue epistemology, epistemic injustice, value of knowledge, pragmatism and virtue epistemology. While the number of objections to Craig’s approach has accumulated, there has been no sustained (...) attempt to develop answers to these objections. In this paper we provide answers to seven important objections in the literature. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

Any explanation of one fact in terms of another will appeal to some sort of connection between the two. In a causal explanation, the connection might be a causal mechanism or law. But not all explanations are causal, and neither are all explanatory connections. For example, in explaining the fact that a given barn is red in terms of the fact that it is crimson, we might appeal to a non-causal connection between things’ being crimson and their being red. Many (...) such connections, like this one, are general rather than particular. I call these general non-causal explanatory connections 'laws of metaphysics'. In this paper I argue that some of these laws are to be found in the world at its most fundamental level, forming a bridge between fundamental reality and everything else. It is only by admitting fundamental laws, I suggest, that we can do justice to the explanatory relationship between what is fundamental and what is not. And once these laws are admitted, we are able to provide a nice resolution of the puzzle of why there are any non-fundamental facts in the first place. (shrink)

A moral requirement R1 is said to be lexically prior to a moral requirement R2 just in case we are morally obliged to uphold R1 at the expense of R2 – no matter how many times R2 must be violated thereby. While lexical priority is a feature of many ethical theories, and arguably a part of common sense morality, attempts to model it within the framework of decision theory have led to a series of problems – a fact which is (...) sometimes spun as a ‘decision theoretic critique’ of lexical priority. In this paper, I develop an enriched decision theoretic framework that is capable of modelling lexical priority while avoiding all extant problems. This will involve introducing several new ingredients into the standard decision theoretic framework, including multidimensional utilities, de minimis risks, and the means to represent two different conceptions of risk. (shrink)

In this paper, I identify a theoretical and political role for ‘white ignorance’, present three alternative accounts of white ignorance, and assess how well each fulfils this role. On the Willful Ignorance View, white ignorance refers to white individuals’ willful ignorance about racial injustice. On the Cognitivist View, white ignorance refers to ignorance resulting from social practices that distribute faulty cognitive resources. On the Structuralist View, white ignorance refers to ignorance that (1) results as part of a social process that (...) systematically gives rise to racial injustice, and (2) is an active player in the process. I argue that, because of its greater power and flexibility, the Structuralist View better explains the patterns of ignorance that we observe, better illuminates the connection to white racial domination, and is overall better suited to the project of ameliorating racial injustice. As such, the Structuralist View should be preferred. (shrink)

The purpose of this article is to show that animal rights are not necessarily at odds with the use of animals for research. If animals hold basic moral rights similar to those of humans, then we should consequently extend the ethical requirements guiding research with humans to research with animals. The article spells out how this can be done in practice by applying the seven requirements for ethical research with humans proposed by Ezekiel Emanuel, David Wendler and Christine Grady to (...) animal research. These requirements are i) social value, ii) scientific validity, iii) independent review, iv) fair subject selection, v) favorable risk-benefit ratio, vi) informed consent, and vii) respect for research subjects. In practice, this means that we must reform the practice of animal research to make it more similar to research with humans, rather than completely abolish the former. Indeed, if we banned animal research altogether, then we would also deprive animals of its potential benefits – which would be ethically problematic. (shrink)

Metaphysical rationalism, the doctrine which affirms the Principle of Sufficient Reason (the PSR), is out of favor today. The best argument against it is that it appears to lead to necessitarianism, the claim that all truths are necessarily true. Whatever the intuitive appeal of the PSR, the intuitive appeal of the claim that things could have been otherwise is greater. This problem did not go unnoticed by the great metaphysical rationalists Spinoza and Leibniz. Spinoza’s response was to embrace necessitarianism. Leibniz’s (...) response was to argue that, despite appearances, rationalism does not lead to necessitarianism. This paper examines the debate between these two rationalists and concludes that Leibniz has persuasive grounds for his opinion. This has significant implications both for the plausibility of the PSR and for our understanding of modality. (shrink)

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

This paper seeks to widen the dialogue between the “epistemology of peer disagreement” and the epistemology informed by Wittgenstein’s last notebooks, later edited as On Certainty. The paper defends the following theses: not all certainties are groundless; many of them are beliefs; and they do not have a common essence. An epistemic peer need not share all of my certainties. Which response to a disagreement over a certainty is called for, depends on the type of certainty in question. Sometimes a (...) form of relativism is the right response. Reasonable, mutually recognized peer disagreement over a certainty is possible.—The paper thus addresses both interpretative and systematic issues. It uses Wittgenstein as a resource for thinking about peer disagreement over certainties. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...) new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

There are a number of debates that are relevant to questions concerning objectivity in science. One of the eldest, and still one of the most intensely fought, is the debate over epistemic relativism. —All forms of epistemic relativism commit themselves to the view that it is impossible to show in a neutral, non-question-begging, way that one “epistemic system”, that is, one interconnected set of epistemic standards, is epistemically superior to others. I shall call this view “No-metajustification”. No-metajustification is commonly taken (...) to deny the objectivity of standards. In this paper I shall discuss two currently popular attempts to attack “No-metajustification”. The first attempt attacks no-metajustification by challenging a particular strategy of arguing in its defence: this strategy involves the ancient Pyrrhonian “Problem of the Criterion”. The second attempt to refute No-metajustification targets its metaphysical underpinning: to wit, the claim that there are, or could be, several fundamentally different and irreconcilable epistemic systems. I shall call this assumption “Pluralism”. I shall address three questions with respect to these attempts to refute epistemic relativism by attacking no-metajustification: Can the epistemic relativist rely on the Problem of the Criterion in support of No-metajustification? Is a combination of Chisholmian “particularism” and epistemic naturalism an effective weapon against No-metajustification? And is Pluralism a defensible assumption? (shrink)