Among the most telling atheistic arguments are those to the effect that the existence of any being that meets standard divine specifications is impossible – that there not only is not but could not be any such being.

I formulate a counterfactual version of the notorious 'Ramsey Test'. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probabihty/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter.Even in the weaker, bound, form, the counterfactual (...) Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time-evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument.I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

Since the noun phrase `artificial intelligence' (AI) was coined, it has been debated whether humans are able to create intelligence using technology. We shed new light on this question from the point of view of themodynamics and mathematics. First, we define what it is to be an agent (device) that could be the bearer of AI. Then we show that the mainstream definitions of `intelligence' proposed by Hutter and others and still accepted by the AI community are too weak even (...) to capture what is involved when we ascribe intelligence to an insect. We then summarise the highly useful definition of basic (arthropod) intelligence proposed by Rodney Brooks, and we identify the properties that an AI agent would need to possess in order to be the bearer of intelligence by this definition. Finally, we show that, from the perspective of the disciplines needed to create such an agent, namely mathematics and physics, these properties are realisable by neither implicit nor explicit mathematical design nor by setting up an environment in which an AI could evolve spontaneously. (shrink)

Galen Strawson’s Basic Argument is that because self-creation is required to be truly morally responsible and self-creation is impossible, it is impossible to be truly morally responsible for anything. I contend that the Basic Argument is unpersuasive and unsound. First, I argue that the moral luck debate shows that the self-creation requirement appears to be contradicted and supported by various parts of our commonsense ideas about moral responsibility, and that this ambivalence undermines the only reason that Strawson gives (...) for the self-creation requirement. Second, I argue that the self-creation requirement is so demanding that either it is an implausible requirement for a species of true moral responsibility that we take ourselves to have or it is a plausible requirement of a species of true moral responsibility that we have never taken ourselves to have. Third, I explain that Strawson overgeneralizes from instances of constitutive luck that obviously undermine moral responsibility to all kinds of constitutive luck. (shrink)

Some influential arguments in the metaphysics of consciousness, in particular Chalmers’ Zombie Argument, suppose that all the physical properties of composed physical systems are metaphysically necessitated by their fundamental constituents. In this paper I argue against this thesis in order to debate Chalmers’ argument. By discussing, in non-technical terms, an EPR system I try to show that there are good reasons to hold that some composed physical systems have properties which are nomologically necessitated by their fundamental constituents, i.e., (...) which emerge in the sense of the so-called ‘nomological supervenience’ views. (shrink)

Reber and Alcock have recently made a sharp attack on the entire psi literature, and in particular a recent overview by Cardeña of the meta-analyses across various categories of psi. They claim the data are inherently fl awed because of their disconnect with our current understanding of the world. As a result, they ignore the data and identify key scientific principles that they argue clash with psi. In this Commentary, I argue that these key principles are diffi cult to apply (...) in areas where our understanding remains poor, especially quantum mechanics and consciousness. I also explore how the psi data may fi t within these two domains. (shrink)

One of the oldest questions in science and philosophy is whether reality is fundamentally discrete, or fundamentally continuous. In this short essay I show that this question should first be classified into two main categories. 1) Intrinsic existence, 2) Behavioral existence. I show that the first category should be continuous by definition, while the second category could probably be either continuous or discrete.

Defenders of the Kantian maxim, i.e. ‘ought’ implies ‘can’, defend the maxim taking the term “implication” in the sense of ‘entailment’. But if it is granted that “implication” means entailment, then it can be shown that the Kantian maxim that ‘ought’ implies ‘can’ is false. Sinnott-Armstrong attempts to prove the falsity of the maxim by his argument from Self-Imposed Impossibility in which he offers his famous example of Adams. But Sinnott-Armstrong’s example of Adams appears to be not strong (...) enough to prove the falsity of the maxim; it is a subject to be captured by a version of the maxim, namely the Maxim-KT. That is why two new examples of the argument from Self-Imposed Impossibility are presented in this paper which are stronger and are able to prove the falsity of the Kantian maxim. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

The existence of big bang relic neutrinos—exact analogues of the big bang relic photons comprising the cosmic microwave background radiation—is a basic prediction of standard cosmology. The standard big bang theory predicts the existence of 1087 neutrinos per flavour in the visible universe. This is an enormous abundance unrivalled by any other known form of matter, falling second only to the cosmic microwave background (CMB) photon. Yet, unlike the CMB photon which boasts its first (serendipitous) detection in the 1960s and (...) which has since been observed and its properties measured to a high degree of accuracy in a series of airborne/satellite and ground based experiments, the relic neutrino continues to be elusive in the laboratory. The chief reason for this is of course the feebleness of the weak interaction. At present, the observational evidence for their existence rests entirely on cosmological measurements, such as the light elemental abundances, anisotropies in the cosmic microwave background, and the large-scale matter power spectrum. In this paper we argue that Direct Detection of relic neutrino background is indeed impossible by any means, because of two chief reasons: (a) there was no such thing of cosmic singularity, hence the hot big bang/primeval atom model was based on false premises (quantum birth assumption); (b) the neutrino existence itself is not unquestionable, in particular if we consider a realism view of vector potential, A, in classical electrodynamics. (shrink)

"The Manipulation Argument has recently taken center stage in the free-will debate, yet little else can be said of this newcomer that is uncontroversial. At present, even the most fundamental elements of the Manipulation Argument--its structure, conclusion, and target audience--are a matter of dispute. As such, we cannot begin, as we ideally would, with a simple and relatively uncontroversial overview of the argument. Instead, clarifying the debate over the basic structure and general conclusion of the Manipulation (...) class='Hi'>Argument will be our goal." -/- UPDATE: I now refer to an isolated objection to the counterexample step as a hardline reply, an isolated attack on the generalization step a softline reply, and an isolated response to the explanation step as an "al dente" reply. Al dente replies have been given in Mele's 2005 critique of the Four-Case Argument and my 2015 (2012) critique of Mele's Zygote Argument. I also now refer to a manipulation argument which has a generalization step that concludes to impossibilism and an explanation step which proposes an explanation for the impossibility of free will as a "Master Manipulation Argument" (examples of master manipulation arguments include Mickelson 2015 and 2019). (shrink)

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

Brian Cutter objected to the consequence argument due to its dependence on the principle that miracle workers are metaphysically impossible. A miracle worker is someone who has the ability to act in a way such that the laws of nature would be violated. While there is something to the thought that agents like us do not have this ability, Cutter claims that there is no compelling reason to regard miracle workers as metaphysically impossible. However, the paper contends that miracle (...) workers are indeed impossible according to well-known theories concerning the laws of nature. This result highlights the reliance of the consequence argument on a plausible premise, which is widely accepted by proponents of non-Humean views of laws. The paper also provides a way to explain away the intuition that miracle workers are possible, but this has the upshot that a recent, two-dimensional formulation of the consequence argument is unsound. (shrink)

The aim of the present article is to investigate the tenability of the principle of compositionality within an impossible worlds framework. To understand how this question is raised, the first section will be devoted to explaining what the principle of compositionality is and how it is compatile with a possible worlds semantics. In the following section, some arguments from hyperintentionality will be provided against such semantics. The third section will introduce the notion of impossible worlds as adequate tools to accommodate (...) such arguments, with particular attention to Berto and Jago’s account (2019). In the fourth section a solution to the compositionality objection towards an impossible worlds semantics will be presented. Finally, the paper will conclude with a possile objection towards such solution. (shrink)

According to global skepticism, we know nothing. According to local skepticism, we know nothing in some particular area or domain of discourse. Unlike their global counterparts, local skeptics think they can contain our invincible ignorance within limited bounds. I argue that they are mistaken. Local skepticism, particularly the kinds that most often get defended, cannot stay local: if there are domains whose truths we cannot know, then there must be claims outside those domains that we cannot know even if they (...) are true. My argument focuses on one popular form of local skepticism, ethical skepticism, but I believe that the argument generalizes to cover other forms as well. (shrink)

Jack Spencer has recently argued for the striking thesis that, possibly, an agent is able to do the impossible—that is, perform an action that is metaphysically impossible for that person to perform. Spencer bases his argument on (Simple G), a case in which it is impossible for an agent G to perform some action but, according to Spencer, G is still intuitively able to perform that action. I reply that we would have to give up at least four action-theoretical (...) principles if we accept that G is able to do the impossible. We may be best off retaining the principles and thus rejecting Spencer's intuition that G is able to do the impossible. I then consider an argument for the claim that G is able to do the impossible that goes through the Snapshot Principle. I, however, deny that any true variant of the Snapshot Principle shows that G is able to do the impossible. Moreover, the counterexample to the Snapshot Principle that I develop also suggests that G is unable to do the impossible in (Simple G). The most natural explanation for why an agent is unable to perform some action in this counterexample extends to (Simple G). Next, I develop three error theories for why we might initially share Spencer's intuition that G is able to do the impossible in (Simple G). Finally, I consider a couple other "G-cases" of Spencer's and find them all wanting. Perhaps we are unable to do the impossible. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

Assuming divine command theory is true, there are no moral limits on the commands God can issue. Nevertheless there are no possible worlds in which divine command theory is true and God commands cruelty for its own sake or the sacrifice of ten-year-olds in a gruesome ritual, or anything of the kind. The main conclusion of the argument is that God cannot command the morally horrible not because of God's moral perfection or God's lack of power, of God's kindness, (...) etc., but because commanding the morally horrible entails a contradiction. I show that the argument is an instance of a valid and uncontroversial counterfactual sequent. Divine command theory entails that there are commands that even an omnipotent and morally unconstrained being cannot issue. (shrink)

Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that no (...) such ‘knock-down arguments’ do emanate on those grounds. This is not to rule out that there cannot be any other good reasons for assuming impossible world semantics. However, the discussion of a further argument for impossible worlds will suggest that different attempts to argue for them likely present intertwined problems. (shrink)

This paper critically engages Philip Mirowki's essay, "The scientific dimensions of social knowledge and their distant echoes in 20th-century American philosophy of science." It argues that although the cold war context of anti-democratic elitism best suited for making decisions about engaging in nuclear war may seem to be politically and ideologically motivated, in fact we need to carefully consider the arguments underlying the new rational choice based political philosophies of the post-WWII era typified by Arrow's impossibility theorem. A distrust (...) of democratic decision-making principles may be developed by social scientists whose leanings may be toward the left or right side of the spectrum of political practices. (shrink)

This note briefly discusses the observation of elapsed time in a flat universe while exploring the argument of past-eternal time versus emergent time in cosmology. A flat universe with an incomplete past forever has a finite age. Despite an infinite number of Planck time coordinates independent of phenomena and endless expansion, a flat universe never develops an age with an infinite number of Planck times. This observation indicates the impossibility of infinitely elapsed time in the future or past, (...) which limits acceptable scientific models of cosmology. (shrink)

William Rowe has argued that if there is an infinite sequence of improving worlds then an essentially perfectly good being must actualize some world in the sequence and must not actualize any world in the sequence. Since that is impossible, there exist no perfectly good beings. I show that Rowe's argument assumes that the concept of a maximally great being is incoherent. Since we are given no reason to believe that the concept of a maximally great being is incoherent (...) we have no reason to believe Rowe's Argument from Improvability is sound. (shrink)

A key premise of the kalam cosmological argument is that the universe began to exist. However, while a number of philosophers have offered powerful criticisms of William Lane Craig’s defense of the premise, J.P. Moreland has also offered a number of unique arguments in support of it, and to date, little attention has been paid to these in the literature. In this paper, I attempt to go some way toward redressing this matter. In particular, I shall argue that Moreland’s (...) philosophical arguments against the possibility of traversing a beginningless past are unsuccessful. (shrink)

In this paper, I argue that, if transcendental arguments are to proceed from premises that are acceptable to the skeptic, the Transcendental Premise, according to which “X is a metaphysically necessary condition for the possibility of Y,” must be grounded in considerations of conceivability and possibility. More explicitly, the Transcendental Premise is based on what Szabó Gendler and Hawthorne call the “conceivability-possibility move.” This “inconceivability-impossibility” move, however, is a problematic argumentative move when advancing transcendental arguments for the following reasons. (...) First, from “S cannot conceive of P” it doesn’t necessarily follow that P is inconceivable. Second, from “P is inconceivable” it doesn’t necessarily follow that P is metaphysically impossible. Third, rather than block skeptical doubts, the conceivability-possibility move introduces skeptical doubts. For these reasons, transcendental arguments fail to deliver on their promise to overcome skeptical doubts. (shrink)

I argue that campus closures and shifts to online instruction in the early stages of the COVID-19 pandemic created an obligation to offer courses asynchronously. This is because some students could not have reasonably foreseen circumstances making continued synchronous participation impossible. Offering synchronous participation options to students who could continue to participate thusly would have been unfair to students who could not participate synchronously. I also discuss why ex post facto consideration of this decision is warranted, noting that similar actions (...) may be necessary in the future and that other tough pedagogical cases share important similarities with this case. (shrink)

In this article, I argue that it is impossible to complete infinitely many tasks in a finite time. A key premise in my argument is that the only way to get to 0 tasks remaining is from 1 task remaining, when tasks are done 1-by-1. I suggest that the only way to deny this premise is by begging the question, that is, by assuming that supertasks are possible. I go on to present one reason why this conclusion (that supertasks (...) are impossible) is important, namely that it implies a new verdict on a decision puzzle propounded by Jeffrey Barrett and Frank Arntzenius. (shrink)

ABSTRACT: Recent work in moral theory includes an intriguing new argument that the vagueness of moral properties, together with two well-known and well-received metaethical principles, entails the incredible conclusion that it is impossible to be moral. I show that the argument equivocates between “it is true that A and B are morally indistinguishable” and “it is not false that A and B are morally indistinguishable.” As expected the argument is interesting but unsound. It is therefore not impossible (...) to be moral.RÉSUMÉ: Les travaux récents en théorie morale comprennent un nouvel argument intrigant voulant que le caractère vague des propriétés morales, joint à deux principes métaéthiques bien connus et généralement admis, entraîne une conclusion incroyable, soit qu’il est impossible d’être moral. Je montre que cet argument entretient l’équivoque entre «il est vrai que A et B sont moralement impossibles à distinguer» et «il n’est pas faux que A et B soient moralement impossibles à distinguer». Comme on s’y attendait, l’argument est intéressant mais mal fondé. Il n’est donc pas impossible d’être moral. (shrink)

Social advertising often employs persuasive imagery in support of a morally laden cause. These visual arguments can take the form of veridical representations of the given situation or the form of purposeful visual blends. Both visual routes to persuasion have serious ethical issues to confront. In what concerns the purportedly veridical images, controversies about picture retouching and framing have cast many doubts on their success in offering unmediated access to a given reality. Editorial interests have proven far too influential on (...) the destiny of what and how is presented to the audience from the amount of visual material available on a topic. Even when the audience is certain that photos are not doctored, the use of veridical images may be seen as unethical. Their disproportionate affective impact may lead the audience to hold biased opinions, since other concerns may be impossible to capture in a vivid picture. Visual blends may be the answer to this problem, employing the fictional or the figurative to help the viewer grasp the moral anatomy of a given situation. Their generous use of figurative meaning may be seen as their strength and their weakness at the same time. It makes them less likely to face accusations of distorting reality, because they do not claim to be windows on reality per se. At the same time, it makes them vulnerable to interpretations that miss their true point – one might appreciate the artistry of a visual metaphor or a visual pun and fail to consider the statement it makes about a given situation. Contemporary philosophical approaches to the place of visuals in moral persuasion inform my analysis of the use of visual arguments in charity-oriented advertising. (shrink)

It’s constitutive of classical theism that there is a necessarily existent personal god who is also the creator of the universe, where the latter claim includes at least the following three theses: (i) God is wholly distinct from the natural world; (ii) God is the originating or sustaining cause of the natural world; and (iii) God created the natural world ex nihilo, i.e., without the use of pre-existing materials. Call this tripartite component of classical theism the classical view of creation. (...) In this paper, I offer a new argument against classical theism. In particular, I argue that creation ex nihilo is prima facie impossible, and that since the doctrine of creation ex nihilo is constitutive of classical theism, classical theism is false. (shrink)

This paper consider three families of arguments for atheism. First, there are direct arguments for atheism: arguments that theism is meaningless, or incoherent, or logically inconsistent, or impossible, or inconsistent with known fact, of improbable given known fact, or morally repugnant, or the like. Second, there are indirect arguments for atheism: direct arguments for something that entails atheism. Third, there are comparative arguments for atheism: e.g., arguments for the view that (atheistic) naturalism is more theoretically virtuous than theism.

In this essay, my goal is, first, to describe the most important contemporary philosophical approaches to the nature of time, and then, secondly, to discuss the ways in which those different accounts bear upon the question of the possibility of divine foreknowledge. I shall argue that different accounts of the nature of time give rise to different objections to the idea of divine foreknowledge, but that, in addition, there is a general argument for the impossibility of divine foreknowledge (...) that is independent of one’s account of the nature of time. (shrink)

Wes Morriston contends that William Lane Craig's argument for the impossibility of a beginningless past results in an equally good argument for the impossibility of an endless future. Craig disagrees. I show that Craig's reply reveals a commitment to an unmotivated position concerning the relationship between actuality and the actual infinite. I then assess alternative routes to the impossibility of a beginningless past that have been offered in the literature, and show that, contrary to initial (...) appearances, these routes similarly seem to support the impossibility of an endless future. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

Diana Pérez (2005) criticizes Davidson’s argument for the thesis that there is no thought without language, and offers an alternative defense of that thesis on the basis of empirical studies on developmental psychology. In this comment I argue that more recent studies do not seem to affect Davidson’s argument in the way Pérez suggests, and that her alternative defense of the thesis that there is no thought without language is insufficient. At the end, I offer a sketch of (...) how a weaker and more tenable version of the argument could be articulated. (shrink)

James a maintes fois célébré les rencontres philosophiques et l’on sait les efforts de James et de Bergson pour se voir, lors des passages de James en Europe. Proximité physique ne signifie évidemment pas convergence ni capillarité philosophiques, comme l’apprend à ses dépens Agathon dans le Banquet de Platon. Or, le rapprochement, mais aussi les confusions, entre la philosophie de Bergson et celle de James, voire entre « bergsonisme » et « pragmatisme », restent un passage obligé de l’étude des (...) deux hommes. Si cette confusion — peut-être ces familles de confusions — sont caractéristiques du début du XXe siècle , il serait sans doute illusoire de croire que nous en sommes sortis aujourd’hui. C’est en France une expérience encore très répandue chez le jamesien que devoir se justifier par rapport au « bergsonisme », et c’en est une autre pour le « bergsonien » que de devoir dire qu’il n’est pas forcément « pragmatiste ». Ces glissements ont déjà été maintes fois analysés et je tiendrai ici pour acquis que Horace Kallen , Floris Delattre , Ralph Barton Perry et Millic Capek , qui ont procédé à la revue de détail, nous ont donné suffisamment d’éléments pour qu’il ne soit pas nécessaire de reprendre le dossier dans son ensemble. Le propos sera plutôt de décomposer un travers de lecture que l’on inflige généralement aux deux auteurs à partir d’un terrain plus limité : le thème du « courant », ou flux (stream), de conscience, thème prétendument commun aux deux hommes. Je vais pour cela tenter d’identifier, dans la première section, deux grandes manières d’aborder le rapport entre les deux hommes qui ont conduit à méconnaître leur apport propre. L’une interdit tout simplement de les lire comme philosophes, même si elle est couramment pratiquée, ce que j’illustrerai à la lumière de deux exemples. L’autre type de lecture engage, lui, un contresens sur la thèse même de James, et c’est ici que la face critique de ce chapitre se retourne en argument positif. Le cœur de ce contresens est de croire que James aurait introduit le thème du courant de pensée ou de conscience, et que ce serait là son originalité. Or, comme il est normal chez un auteur pragmatiste après tout, l’originalité réside dans l’usage qui est fait de ce thème. En examinant dans la deuxième section les rouages de ce contresens, dont il n’est pas certain que tous les lecteurs de Bergson l’aient totalement évité alors même qu’ils pensaient le déposer, on tentera donc de préciser tout d’abord en quoi le thème lui-même n’est pas spécifiquement jamesien, ensuite en quoi le propos de James n’est pas tant de décrire ce flux pour lui-même que de nous expliquer ce qui nous guette si nous le négligeons systématiquement, enfin quelles sont les fonctions remplies par les passages sur le courant de conscience dans l’argument de James. (shrink)

In his classic essay, "The Dilemma of Determinism", William James argues that the truth of determinism would make regret irrational. Given the central role of regret in our moral lives, James concludes that determinism is false. In this paper I explore the attitude of regret and show that James's argument is mistaken. Not only can we rationally regret events that were determined to occur, but we can also rationally regret events that had to occur.

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

This chapter explores global debunking arguments, debunking arguments that aim to give one a global defeater. I defend Alvin Plantinga’s view that global defeaters are possible and, once gained, are impossible to escape by reasoning. They thereby must be extinguished by other means: epistemically propitious actions, luck, or grace. I then distinguish between three types of global defeater—pure-undercutters, undercutters-because-rebutters, and undercutters-while-rebutters—and systematically consider how one can deflect such defeaters. Lastly, since I draw insights from the literature on perhaps the most (...) widely discussed global debunking argument in the literature, Plantinga’s evolutionary argument against naturalism, I end up responding to many potential problems for it. This includes the so-called conditionalization problem, as well as those raised by Bergmann (2002), Law (2012), Deem (2018), Hendricks and Anderson (2020), and Wielenberg (in Craig and Wielenberg (2021)). (shrink)

Descartes’ demon is a deceiver: the demon makes things appear to you other than as they really are. However, as Descartes famously pointed out in the Second Meditation, not all knowledge is imperilled by this kind of deception. You still know you are a thinking thing. Perhaps, though, there is a more virulent demon in epistemic hell, one from which none of our knowledge is safe. Jonathan Schaffer thinks so. The “Debasing Demon” he imagines threatens knowledge not via the truth (...) condition on knowledge, but via the basing condition. This demon can cause any belief to seem like it’s held on a good basis, when it’s really held on a bad basis. Several recent critics, Conee, Ballantyne & Evans ) grant Schaffer the possibility of such a debasing demon, and argue that the skeptical conclusion doesn’t follow. By contrast, we argue that on any plausible account of the epistemic basing relation, the “debasing demon” is impossible. Our argument for why this is so gestures, more generally, to the importance of avoiding common traps by embracing mistaken assumptions about what it takes for a belief to be based on a reason. (shrink)

In this paper I grant the Humean premise that some reasons for action are grounded in the desires of the agents whose reasons they are. I then consider the question of the relation between the reasons and the desires that ground them. According to promotionalism , a desire that p grounds a reason to φ insofar as A’s φing helps promote p . According to motivationalism a desire that p grounds a reason to φ insofar as it explains why, in (...) certain circumstances, A would be motivated to φ. I then give an argument favouring motivationalism, namely that promotionalism entails that agents have reasons to perform physically impossible actions, whereas motivationalism entails that there are no such reasons. Although this is a version of the ‘Too Many Reasons’ objection to promotionalism, I show that existing responses to that problem do not transfer to the case of reasons to perform physically impossible actions. In the penultimate section I consider and reject some objections to motivationalism made by promotionalists. The conclusion is that Humeans about reasons for action should prefer motivationalism. (shrink)

Many naturalistically-minded philosophers want to accomplish a naturalistic reduction of normative (e.g. moral and epistemic) claims. Mindful of avoiding the naturalistic fallacy, such philosophers claim that they are not reducing moral and epistemic concepts or definitions. Rather, they are only reducing the extension of these normative terms, while admitting that the concepts possess a normative content that cannot be naturalistically reduced. But these philosophers run into a serious problem. I will argue that normative claims possess two dimensions of normativity. I (...) will further argue that certain of the reductionist’s commitments require that these two dimensions of normativity be given a naturalistic reduction, while the other of the reductionist’s commitments make such a reduction impossible. Thus, the reductionist’s commitments both require and forbid a reductionist account of morality and epistemology. Thus, as we will see, reductionism is torn between two incompatible requirements, and must fail. (shrink)

I present a cumulative case for the thesis that we only know propositions that are certain for us. I argue that this thesis can easily explain the truth of eight plausible claims about knowledge: -/- (1) There is a qualitative difference between knowledge and non-knowledge. (2) Knowledge is valuable in a way that non-knowledge is not. (3) Subjects in Gettier cases do not have knowledge. (4) If S knows that P, P is part of S’s evidence. (5) If S knows (...) that P, ~P is epistemically impossible for S. (6) If S knows that P, S can rationally act as if P. (7) If S knows that P, S can rationally stop inquiring whether P. (8) If S knows each of {P1, P2, … Pn}, and competently deduces Q from these propositions, S knows that Q. -/- I then argue that the skeptical costs of this thesis are outweighed by its explanatory power. (shrink)

This paper discusses: (1) Anselm’s ontological argument and its criticism by Gaunilo; (2) Plantinga’s ontological argument and its criticism by Mackie and Sobel; and (3) a simplified version of Gödel’s ontological argument. It also looks carefully at (4) Kant’s attempt to show that it is impossible for there to be a successful ontological argument.

Perhaps the most commonly discussed argument against the possibility of extended simples is the argument from heterogeneity. The argument states that, if extended simples are possible, then extended simples which exhibit intrinsic qualitative variation across space (or spacetime) are also possible [Premise 1]. But, the argument goes, it is impossible for an extended simple to exhibit intrinsic qualitative variation across space (or spacetime) [Premise 2]. Thus, extended simples are impossible. I argue that there is a serious (...) problem with the argument from heterogeneity: the best arguments in support of the first premise undermine support for the second. Thus, there appears to be no good reason to accept both premises. (shrink)

According to the Christian doctrine of bodily resurrection, human persons will have an embodied existence in eternity. Many Christian materialists, especially Lynne Rudder Baker, Trenton Merricks, and Kevin Corcoran, argue that the doctrine of bodily resurrection creates serious problems for substance dualism (dualism). These critiques argued that bodily resurrection is made trivial by dualism, that dualism makes it difficult if not impossible to explain why we need to be embodied, or that dualism should be rejected as bodily resurrection is better (...) accounted for by a materialist view. As of yet, there has been no systematic analysis of these arguments in the literature. This paper fills that gap and argues that each of these objections to dualism fail. In making these arguments I make use of neo-Aristotelian metaphysics to provide a theory of embodiment for substance dualism. Accordingly, the body is a complex structural mode of the soul. The essence of the soul is the internal efficient cause and teleological guide of the functions and structure of the body. As such, the body is an ensouled physical structure, not a mere physical machine, but has both physical and non-physical aspects. (shrink)

Leibniz accepts causal independence, the claim that no created substance can causally interact with any other. And Leibniz needs causal independence to be true, since his well-known pre-established harmony is premised upon it. So, what is Leibniz’s argument for causal independence? Sometimes he claims that causal interaction between substances is superfluous. Sometimes he claims that it would require the transfer of accidents, and that this is impossible. But when Leibniz finds himself under sustained pressure to defend causal independence, those (...) are not the reasons that he marshals in its defense. Instead, deep into his long correspondence with Burchard de Volder, he gives a different sort of argument, one that has gone nearly unnoticed by commentators and has not yet been properly understood. In part, this is because the argument develops slowly over four years of correspondence. It emerges in early 1704, but it is formulated tersely and appears murky unless understood in light of Leibniz and De Volder’s tangled exchanges. There Leibniz argues that, on his distinctive ontology of an infinity of created substances, no two created substances could possibly causally interact, for roughly the same reasons that some Cartesians like De Volder deny interaction between minds and bodies on their substance dualist ontology. In this paper I draw out this lost argument, explain it and the metaphysics on which Leibniz builds it, and untangle Leibniz and De Volder’s exchanges concerning causation from which this argument results. (shrink)

This article presents an ontological proof that God is impossible.I define an ‘impossibility’ as a condition which is inconceivable due to its a priori characteristics (e.g. a ‘square circle’). Accordingly, said conditions will not ever become conceivable, as they could in instances of a posteriori inconceivability (e.g. the notion that someone could touch a star without being burned). As the basis of this argument, I refer to an a priori observation (Primus, 2019) regarding our inability to imagine inconsistency (...) (difference) within any point of space. This observation renders the notion of absolute power to be inconceivable, a priori.I briefly discuss the moral implications of religious faith in the context of Purism: a moral rationalist paradigm. I conclude that whilst belief in God can be aesthetically expressed it should not be possessed as a material purpose, due to the illogicality of the latter category of belief and/or expression. With this article I provide conceptual delineation between harmless religious belief and expression—which, I argue, should be protected from persecution, as per any other artistic expression— and religious belief and expression which is materially harmful to society. Whilst I aim to protect religious freedom of expression on one hand, I duly aim to reduce instances of material faith in God(s) on the other. Finally, I aim to bring hope in the possibility for human salvation via technology—such that they should exist indefinitely as ‘demigods,’ defined by conditional, relative power over their environment. (shrink)

Determinism is frequently understood as implying the possibility of perfect prediction. This possibility then functions as an assumption in the Manipulation Argument for the incompatibility of free will and determinism. Yet this assumption is mistaken. As a result, arguments that rely on it fail to show that determinism would rule out human free will. We explain why determinism does not imply the possibility of perfect prediction in any world with laws of nature like ours, since it would be impossible (...) for an agent to predict with certainty any future event that is causally influenced by events outside her own backward light cone yet inside the backward light cone of the future event. This is the _light-cone limit_ and it undermines the Manipulation Argument or limits what this argument can tell us about the relevance of determinism to free will. We also respond to objections that the light-cone limit is irrelevant to the Manipulation Argument. (shrink)

In this paper, I address the issue of whether the evil demon could have caused the idea of God. In order to determine the capabilities of the evil demon, I perform a thought experiment in which I reaffirm the con-clusion that an imperfect being could have never caused an idea of perfection and infinitude, i.e., the idea of God. The article is divided into five sections and a conclusion. While the first section is introductory, the second looks at the problem (...) of God and knowledge certainty. Elucidating how reality is gradual according to Descartes, in the third section I address the distinction between objective, formal and eminent reality. In turn, in the fourth section, I argue that if the objective reality of God exists, that is, an idea of perfection, the imperfect evil demon could have never caused it. The last section examines the reverse argument of the fourth section, viz, whether God could have caused the existence of evil and imperfection. (shrink)

This article aims to show that it is impossible to put Cicero’s testimonies regarding The Fabius Argument in a consistent inferential order. Either we must suppose that additional premises are tacitly assumed in the text or we must com-pare it with other sources, which leads to inconsistencies in the proof’s reconstruction. Cicero’s reconstruction of the progression of the argument has formal shortcomings, and the paper draws attention to some of these deficiencies. He interpreted sources in a revised and (...) intentionally simplified way, with the aim of undermining the views of his opponents, casting them as inconsistent and similar to views held by Diodorus. Rather than being a consistently interpreted argument faithfully transcribed from the Stoic sources, Cicero’s Fabius Argument is ultimately anti-Stoic. (shrink)