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)

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)

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)

I defend a new argument for causal finitism, the view that nothing can have an infinite causal history. I begin by defending a number of plausible metaphysical principles, after which I explore a host of novel variants of the Littlewood-Ross and Thomson’s Lamp paradoxes that violate such principles. I argue that causal finitism is the best solution to the paradoxes.

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)

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.

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)