This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

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)

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)

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)

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.

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.

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)

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)

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)

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)

I formulate a theory of groups based on pluralities and counterparts: roughly put, a group is a plurality of entities at a time. This theory comes with counterpart-theoretic semantics for modal and temporal sentences about groups. So this theory of groups is akin to the stage theory of material objects: both take the items they analyze to exist at a single time, and both use counterparts to satisfy certain conditions relating to the modal properties, temporal properties, and coincidence properties of (...) those items. (shrink)

I propose an account of probability in the Everett interpretation of quantum mechanics. According to the account, probabilities are objective chances of centered propositions. As I show, the account solves a number of problems concerning the role of probability in the Everett interpretation. It also challenges an implicit assumption, concerning the aim and scope of fundamental physical theories, that is made throughout the philosophy of physics literature.

I explore the relationship between a prominent analysis of intrinsic properties, due to Langton and Lewis, and the phenomenon of quantum entanglement. As I argue, the analysis faces a puzzle. The full analysis classifies certain properties of entangled particles as intrinsic. But when combined with an extremely plausible assumption about duplication, the main part of the analysis classifies those properties as non-intrinsic instead. I conclude that much of Lewis’s metaphysics is in trouble: Lewis based many of his metaphysical views—his thesis (...) of Humean supervenience, for instance, and his account of recombination—on an analysis of intrinsicality which does not sit well with quantum phenomena. (shrink)

According to the Best System Account of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my account (...) to illuminate the nomological character of special science laws. (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)

I show that centered propositions—also called de se propositions, and usually modeled as sets of centered worlds—pose a serious problem for various versions of Lewis's Principal Principle. The problem, put roughly, is that in scenarios like Elga's `Sleeping Beauty' case, those principles imply that rational agents ought to have obviously irrational credences. To solve the problem, I propose a centered version of the Principal Principle. My version allows centered propositions to be objectively chancy.

Instances of the law of large numbers are used to model many different physical systems. In this paper, I argue for a particular interpretation, of those instances of that law, which appeals to typicality. As I argue, the content of that law, when used to model physical systems, is that the probability of an event typically—rather than probably—approximates the frequency with which that event occurs.

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)

If a proposition is typically true, given your evidence, then you should believe that proposition; or so I argue here. In particular, in this paper, I propose and defend a principle of rationality---call it the `Typical Principle'---which links rational belief to facts about what is typical. As I show, this principle avoids several problems that other, seemingly similar principles face. And as I show, in many cases, this principle implies the verdicts of the Principal Principle: so ultimately, the Typical Principle (...) may be the more fundamental of the two. (shrink)

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

I present and explain the Bohmian account of collapse in quantum mechanics.

Roughly put, explanatory circles — if any exist — would be propositions such that (i) each explains the next, and (ii) the last explains the first. In this paper, I give two arguments for the view that there are explanatory circles. The first argument appeals to general relativistic worlds in which time is circular. The second argument appeals to special science theories that describe feedback loops. In addition, I show that three standard arguments against explanatory circles are unsuccessful.

I propose an account of possible worlds. According to the account, possible worlds are pluralities of sentences in an extremely large language. This account avoids a problem, relating to the total number of possible worlds, that other accounts face. And it has several additional benefits.

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)

The centered Everett interpretation solves a problem that various approaches to quantum theory face. In this paper, I continue developing the theory underlying that solution. In particular, I defend the centered Everett interpretation against a few objections, and I provide additional motivation for some of its key features.

It is often assumed that theorizing in terms of natural properties is more objectively valuable than theorizing in terms of non-natural properties. But this assumption faces an explanatory challenge: explain the greater objective value of theorizing in terms of natural properties. In this paper, I answer that challenge by proposing and exploring three different accounts of the objective value of naturalness. Two appeal to constitutive natures: it is part of the constitutive nature of explanation, or of objective value, that theorizing (...) in terms of natural properties is more objectively valuable. The third appeals to the theoretical role that naturalness plays. (shrink)

In this chapter, we explore some ways in which reasoning based on mysticism can be rational, focusing on the episode “The Fortuneteller,” in which Aang, Katara, and Sokka save a village from a volcanic eruption. Throughout this episode, Sokka advocates a purely empirical approach to reasoning. The villagers, however, believe that no source of knowledge is more reliable than Aunt Wu, the local fortuneteller. At several points in the episode, Sokka claims that the villagers’ reliance on Aunt Wu is irrational. (...) The villagers claim otherwise: since Aunt Wu has never led them astray, it is rational to rely on her. As we will see, the villagers are right. Their approach to reasoning – based on Aunt Wu’s fortunetelling – is more rational than it initially seems to be. Roughly put, despite their belief in the mystical, the villagers behave in accord with a standard philosophical theory of rational decision-making, a theory of what makes some decisions rational and other decisions not. So Sokka is wrong to claim that the villagers’ reliance on Aunt Wu is irrational. The villagers behave quite rationally. (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)

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)

I review the volume ``Higher-Order Metaphysics'' edited by Peter Fritz and Nicholas K. Jones.

LEIBNIZ AND THE TWO SOPHIES is a critical edition of all of the philosophically important material from the correspondence between the philosopher Gottfried Wilhelm Leibniz (1646-1716) and his two royal patronesses, Electress Sophie of Hanover (1630-1714), and her daughter, Queen Sophie Charlotte of Prussia (1668-1705). In this correspondence, Leibniz expounds in a very accessible way his views on topics such as the nature and operation of the mind, innate knowledge, the afterlife, ethics, and human nature. The correspondence also contains (...) the only known philosophical writings by Sophie and Sophie Charlotte, and thus provides a valuable insight into their views and concerns, as well as throwing light on their characters. The texts are accompanied by a substantial introductory essay which sets the context for the correspondence and analyzes its main philosophical themes. (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)

This volume contains more than 60 original translations of papers written by the German philosopher Gottfried Wilhelm Leibniz (1646-1716). As well as contributing to Leibniz scholarship, it is intended to function as an introductory text for students.

The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be found in (...) my article on part I of Spinoza's 'ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required. (shrink)

Vagueness does not necessarily come in with vague predicates, nor need it be expressed by them , but undoubtedly 'vague predicates' are traditionally in the focus of main stream discussions of vagueness. In her current modal logic presentation and discussion of the Sorites paradox Susanne Bobzien[1] lists among the properties of a Sorites series a rather weak modal tolerance principle governing the 'grey zone' containing the borderline cases of the Sorites series, which later proves crucial for her solution of the (...) Sorites paradox by use of epistemic interpreted modal operators in 1st order modal logic. We suggest (for different research interest) instead a non-modal description of the switch in the grey zone (respecting tolerance), by resort to similarity sequences, thus getting tangent to two other areas of research in the field. Let's say -any way- the Sorites paradox vanishes, the Sorites series does not. (shrink)