The Consequence Argument has elicited various responses, ranging from acceptance as obviously right to rejection as obviously problematic in one way or another. Here we wish to focus on one specific response, according to which the Consequence Argument begs the question. This is a serious accusation that has not yet been adequately rebutted, and we aim to remedy that in what follows. We begin by giving a formulation of the Consequence Argument. We also offer (...) some tentative proposals about the nature of begging the question. Although the charge of begging the question is frequently made in philosophy, it is surprisingly difficult to pin down the precise nature of this dialectical infelicity (or family of such infelicities). Thus we offer some new proposals about the nature of begging the question with an eye to understanding what is going on in central cases in which the charge is legitimately made. We then defend the Consequence Argument against the charge that it begs the question, so construed. We contend that, whatever the other liabilities of the argument may be, it does not beg the question against the compatibilist. (shrink)

In this paper I present and evaluate van Inwagen’s famous Consequence Argument, as presented in An Essay on Free Will. The grounds for the incompatibility of freewill and determinism, as argued by van Inwagen, is dependent on our actions being logical consequences of events outside of our control. Particularly, his arguments depend upon, in one guise or another, the transference of the modal property of not being possibly rendered false through the logical consequence relation, i.e. the β-principle. (...) I argue that, due to the symmetric nature of determinism, van Inwagen is exposed to what I call “reversibility arguments” in the literature. Such arguments reverse the β-principle and start from our apparent control over our own actions to our control over the initial conditions. Since van Inwagen does not endorse a particular theory of laws or logical consequence, he is open to such counterarguments. The plausibility of such reversibility arguments depends on what would be called a Wittgensteinian conception of logical consequence. In the _Remarks on the Foundation of Mathematics_, one of Wittgenstein’s main concerns is the normativity of logical inference i.e. proof. Such concerns with normativity and rule-following are generally a feature of his later philosophy. In the _Remarks_ Wittgenstein resists a conception of logical deduction which places the source of normativity outside of human practice. (shrink)

The consequence argument of van Inwagen is widely regarded as the best argument for incompatibilism. Lewis’s response is praised by van Inwagen as the best compatibilist’s strategy but Lewis himself acknowledges that his strategy resembles that of Lehrer. A comparison will show that one can speak about Lehrer-Lewis strategy, although I think that Lewis’s variation is dialectically slightly stronger. The paper provides a response to some standard objections of incompatibilists to the Lehrer-Lewis reply.

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 consequence argument is a powerful incompatibilist argument for the conclusion that, if determinism is true, what one does is what one must do. A major point of controversy between classical compatibilists and incompatibilists has been over the use of ‘can’ in the consequence argument. Classical compatibilists, holding that abilities to act are dispositions, have argued that ‘can’ should be analyzed as a conditional. But such an analysis of ‘can’ puts compatibilists in a position to (...) grant the premises of the argument while denying the conclusion. Incompatibilists remain unconvinced, and this corner of the debate over free will has reached a dialectical impasse. The present paper has two aims. First, to offer a new dialectical point of entry into this dispute on behalf of incompatibilists. By making use of Angelika Kratzer's influential semantic work on ‘can’ and ‘must’, I argue that incompatibilists are in a position to offer a plausible, positive treatment of ‘can’ that favors their view. Second, even if one does not think incompatibilism is thereby true (for as we shall see there are places to push back), the Kratzer semantics yields a number of important insights concerning the consequence argument that should be of broad interest. (shrink)

This chapter examines a common objection to sex robots: the symbolic-consequences argument. According to this argument sex robots are problematic because they symbolise something disturbing about our attitude to sex-related norms such as consent and the status of our sex partners, and because of the potential consequences of this symbolism. After formalising this objection and considering several real-world uses of it, the chapter subjects it to critical scrutiny. It argues that while there are grounds for thinking that sex (...) robots could symbolically represent a troubling attitude toward women (and maybe children) and the norms of interpersonal sexual relationships, the troubling symbolism is going to be removable in many instances and reformable in others. What will ultimately matter are the consequences of the symbolism but these consequences are likely to be difficult to ascertain. This may warrant an explicitly experimental approach to the development of this technology. (shrink)

Recent work in the truthmakers literature demonstrates that the logic of truthmaking is distinct from classical logic. Since free will is an ontological issue, and not merely a semantic issue, arguments about free will ought to be sensitive to these developments. In Truthmakers and the Direct Argument, Hermes argues that one of the main arguments for incompatibiilsm fails precisely where the truthmakers literature would predict. Here, I argue that similar problems make the Consequence Argument untenable.

Christian List has recently constructed a novel formal framework for representing the relationship between free will and determinism. At its core is a distinction between physical and agential levels of description. List has argued that, since the consequence argument cannot be reconstructed within this framework, the consequence argument rests on a ‘category mistake’: an illicit conflation of the physical and agential levels. I show that an expanded version of List’s framework allows the construction of a cross-level (...) consequence argument. (shrink)

The Consequence Argument is the classic argument for the incompatibility of determinism and our ability to do otherwise. Daniel C. Dennett objects that the Consequence Argument suffers from the same error as a clearly unconvincing argument that there are no mammals. In this paper, I argue that these arguments do not suffer from the same error. The argument that there are no mammals is unconvincing as it takes the form of a sorites, whereas (...) the Consequence Argument does not. Accordingly, Dennett's objection misses its mark. (shrink)

Perszyk has argued that Molinists cannot consistently endorse the consequence argument because of a structurally similar argument for the incompatibility of true Molinist counterfactuals of freedom and the ability to do otherwise. Wierenga has argued that on the proper understanding of CCFs, there is a relevant difference between the consequence argument and the anti-Molinist argument. I argue that, even on Wierenga’s understanding of CCFs, there is in fact no relevant difference between the two arguments. (...) Moreover, I strengthen Perszyk’s challenge by highlighting further relevant similarities between CCFs and facts about the laws. (shrink)

In this paper I tie together the reasoning used in the Consequence Argument with the intuitions that drive Frankfurt cases in a way that illuminates some of the underlying differences between compatibilists and incompatibilists. I begin by explaining the ‘basic mechanism’ at work in Frankfurt cases: the existence of sufficient conditions for an outcome that do not actually bring about that outcome. I suggest that other potential threats to free will, such as God’s foreknowledge, can be understood in (...) terms of this basic mechanism. I then turn to the Consequence argument, which concludes that determinism precludes free will, and I adopt the structure of this argument to create parallel ‘progeny’ arguments using the basic mechanism of Frankfurt cases. By thus forcing the Consequence argument and Frankfurt cases into such close proximity, we can see more clearly some of the crucial issues that separate incompatibilists and compatibilists. Doing so will illustrate that for determinism to be a threat to free will requires a particular conception of the laws of nature, one that is more specific and robust than suggested by the Consequence argument alone. I conclude by showing how these questions about laws of nature lead the free will debate towards the mind-body debate and questions about reductionism and supervenience. (shrink)

No contemporary compatibilist account of free will can be complete unless it engages with the consequence argument. I will argue that Wilfrid Sellars offered an ingenious version of compatibilism that can be used to refute the consequence argument. Unfortunately, owing to the opacity of Sellars’s writings on free will, his solution has been neglected. I will reconstruct his view here, demonstrating how it represents a powerful challenge to the consequence argument and tying it to (...) some recent developments in the compatibilist literature. (shrink)

In a recent paper, Michael Huemer provides a new interpretation for ‘N’, the operator that occurs in Peter van Inwagen’s Consequence Argument, and argues that, given that interpretation, the Consequence Argument is sound. I have no quarrel with Huemer’s claim that the Consequence Argument is valid. I shall argue instead that his defense of its premises—a defense that allegedly involves refuting David Lewis’s response to van Inwagen—is unsuccessful.

The consequence argument is a salient argument in favor of incompatibilism which is the thesis that if determinism is true, then it is not the case that we have free will. In a nutshell, the consequence argument has it that if determinism is true, then our acts are determined by the laws of nature and events of the past. But we are neither able to change the past nor the laws of nature. Therefore, we are (...) not able to change the consequences of them. This short paper consists of two main sections. In the first section, I will explain the consequence argument and rule β. In addition, in the second section of the paper, I will introduce the no matter what interpretation which was suggested by Huemer (2000). Moreover, I will offer a counterexample to rule β∗ and α∗. (shrink)

I provide a manipulation-style argument against classical compatibilism—the claim that freedom to do otherwise is consistent with determinism. My question is simple: if Diana really gave Ernie free will, why isn't she worried that he won't use it precisely as she would like? Diana's non-nervousness, I argue, indicates Ernie's non-freedom. Arguably, the intuition that Ernie lacks freedom to do otherwise is stronger than the direct intuition that he is simply not responsible; this result highlights the importance of the denial (...) of the principle of alternative possibilities for compatibilist theories of responsibility. Along the way, I clarify the dialectical role and structure of “manipulation arguments”, and compare the manipulation argument I develop with the more familiar Consequence Argument. I contend that the two arguments are importantly mutually supporting and reinforcing. The result: classical compatibilists should be nervous—and if PAP is true, all compatibilists should be nervous. (shrink)

As a moral foundation for vegetarianism and other consumer choices, act consequentialism can be appealing. When we justify our consumer and dietary choices this way, however, we face the problem that our individual actions rarely actually precipitate more just agricultural and economic practices. This threshold or individual impotence problem engaged by consequentialist vegetarians and their critics extends to morally motivated consumer decision-making more generally, anywhere a lag persists between individual moral actions taken and systemic moral progress made. Regan and others (...) press just this point against Singer's utilitarian basis for vegetarianism; recently Chartier criticizes act-consequentialist vegetarianism by identifying many factors weakening the connection between individual meat purchases and changes in animal production. While such factors are relevant to act-consequentialist moral reasoning, I argue, they need not defeat the act-consequentialist case for vegetarianism and consumer ethics. This is shown by offering a probabilistic account of the threshold issue and discussing the positive and negative role-modelling effects of our morally motivated dietary and consumer choices. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of (...) validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

Alex Worsnip argues in favor of what he describes as a particularly robust version of fallibilism: subjects can sometimes know things that are, for them, possibly false (in the epistemic sense of 'possible'). My aim in this paper is to show that Worsnip’s argument is inconclusive for a surprising reason: the existence of possibly false knowledge turns on how we ought to model entailment or consequence relations among sentences in natural language. Since it is an open question how (...) we ought to think about consequence in natural language, it is an open question whether there is possibly false knowledge. I close with some reflections on the relation between possibly false knowledge and fallibilism. I argue that there is no straightforward way to use linguistic data about natural language epistemic modals to either verify or refute the fallibilist thesis. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention (...) that such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to (...) non-trivial counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

The arguments I examine in this chapter are not necessarily from Anaximander. Anaximander is generally known for having put the ἄπειρον as a principle (ἀρχή), probably due to the greater radicality with which he affirmed the physical – perhaps also epistemic – indeterminacy (and the consequent ineffability) of the principle of the φύσις. However, it is well known that, according to Aristotle, a large part of archaic physics or physiology had placed the ἄπειρον as the origin and foundation of the (...) becoming, to the point of deifying it as a living, surrounding, ruling and probably animated body (σῶμα), whose nature was separate or at any rate different from visible reality and its major components. I will call it Arkhé Apeiros Theory (TAA). A TAA then exists for archaic philosophy in general, and not only for Anaximander, and is based on a fairly clear common feature, namely the idea that the principle of nature is an indeterminate body (σῶμα ἄπειρον) and is, therefore, although to a variable extent, unknowable-ineffable. (shrink)

An interesting question is whether deflationism about truth (and falsity) extends to related properties and relations on truthbearers. Lionel Shapiro (2011) answers affirmatively by arguing that a certain deflationism about truth is as plausible as an analogous version of deflationism about logical consequence. I argue that the argument fails on two counts. First, it trivializes to any relation between truthbearers, including substantive ones; in other words, his argument can be used to establish that deflationism about truth is (...) as plausible as deflationism about an arbitrary sentential relation. Second, the alleged analogy between the arguments for deflationism about truth and deflationism about consequence fails. Along the way I consider what implications the failure of the equiplausibility thesis has for deflationism about falsity. (shrink)

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, requires (...) rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

Michael T. Stuart (2021 and 2022) has proposed imagination as an intellectual dual‐process virtue, consisting of imagination1 (underwritten by cognitive Type 1 processing) and imagination2 (supported by Type 2 processing). This paper investigates the consequences of taking such an account seriously. It proposes that the dual‐process view of imagination allows us to incorporate recent insights from virtue epistemology, providing a fresh perspective on how imagination can be epistemically reliable. The argument centers on the distinction between General Reliability (GR) and (...) Functional System Reliability (FSR), for example in relation to Kengo Miyazono and Uko Tooming's (2023) argument for epistemic generativity. Furthermore, the paper claims that the dual‐process virtue account enables us to integrate a wide range of findings from the literature on epistemology and imagination. Moreover, it suggests a novel way to distinguish the virtues of creativity and imagination and presents a case for viewing imagination as a virtue rather than a skill. (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing (...) to deny the conditional excluded middle principle. In order to make this point I demonstrate that (β) is valid on Stalnaker's theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

This argument defends Hempel's rejection of the converse-consequence condition and argues against Baruch Brody's attempt to revive "something like" it.

In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.

A ‘lottery belief’ is a belief that a particular ticket has lost a large, fair lottery, based on nothing more than the odds against it winning. The lottery paradox brings out a tension between the idea that lottery beliefs are justified and the idea that that one can always justifiably believe the deductive consequences of things that one justifiably believes – what is sometimes called the principle of closure. Many philosophers have treated the lottery paradox as an argument against (...) the second idea – but I make a case here that it is the first idea that should be given up. As I shall show, there are a number of independent arguments for denying that lottery beliefs are justified. (shrink)

If an argument is valid, it is impossible for its premises to be true, and its conclusion false. But how should we understand these notions of truth and impossibility? Here, I present the answers given by John Buridan (ca. 1300-60), showing (i) how he understands truth in his anti-realist metaphysics, and (ii) how he understands modality in connection with causal powers. In short: if an argument exists and is valid, there does not exist a power capable of making (...) the premises true and, at the same time, making the conclusion false. (shrink)

Contrastivists view ought-sentences as expressing comparisons among alternatives. Deontic actualists believe that the value of each alternative in such a comparison is determined by what would actually happen if that alternative were to be the case. One of the arguments that motivates actualism is a challenge to the principle of agglomeration over conjunction—the principle according to which if you ought to run and you ought to jump, then you ought to run and jump. I argue that there is no way (...) of developing the actualist insight into a logic that invalidates the agglomeration principle without also invalidating other desirable patterns of inference. After doing this, I extend the analysis to other contrastive views that challenge agglomeration in the way that the actualist does. This motivates skepticism about the actualist’s way of challenging agglomeration. (shrink)

Philosophers sometimes give arguments that presuppose the following principle: two theories can fail to be empirically equivalent on the sole basis that they present different “thick” metaphysical pictures of the world. Recently, a version of this principle has been invoked to respond to the argument that composite objects are dispensable to our best scientific theories. This response claims that our empirical evidence distinguishes between ordinary and composite-free theories, and it empirically favors the ordinary ones. In this paper, I ask (...) whether this response to the dispensability argument is tenable. I claim that it is not. This is because it presupposes an indefensible thesis about when two empirical consequences are distinct or the same. My argument provides some insight into what our empirical consequences are, and I conclude that empirical evidence is radically metaphysically neutral. This gives us some insight into the significant content of our scientific theories—the content that a scientific realist is committed to—and I show how this insight relates to questions about theoretical equivalence more broadly. (shrink)

This is a response to Stephen Maitzen’s paper. ‘Moral Conclusions from Nonmoral Premises’. Maitzen thinks that No-Ought-From-Is is false. He does not dispute the formal proofs of Schurz and myself, but he thinks they are beside the point. For what the proponents of No-Ought-From-Is need to show is not that you cannot get SUBSTANTIVELY moral conclusions from FORMALLY non-moral premises but that you cannot get SUBSTANTIVELY moral conclusions from SUBSTANTIVELY non-moral premises. And he believes that he can derive substantively moral (...) conclusions from FORMALLY moral but SUBSTANTIVELY nonmoral premises. However his argument relies on what I call ‘taxonomic essentialism’, the thesis that sentences do not change their semantic characters from context to context or from world to world. In particular, they do not change their META-ETHICAL status from context to context or world to world. If a sentence is non-moral at one world it is non-moral at all the rest. This thesis leads to contradictions (with some propositions as both moral and non-moral) and even if (as is perhaps possible) these contradictions can be avoided, it leads to further consequences that are palpably absurd. Thus It may be possible to derive substantively moral conclusions from premises that are not substantively moral, but if it is, Maitzen has failed to prove the point. (shrink)

Metaethical expressivists claim that we can explain what moral words like ‘wrong’ mean without having to know what they are about – but rather by saying what it is to think that something is wrong – namely, to disapprove of it. Given the close connection between expressivists’ theory of the meaning of moral words and our attitudes of approval and disapproval, expressivists have had a hard time shaking the intuitive charge that theirs is an objectionably subjectivist or mind-dependent view of (...) morality. Expressivism, critics have charged over and again, is committed to the view that what is wrong somehow depends on or at least correlates with the attitudes that we have toward it. Arguments to this effect are sometimes subtle, and sometimes rely on fancy machinery, but they all share a common flaw. They all fail to respect the fundamental idea of expressivism: that ‘stealing is wrong’ bears exactly the same relationship to disapproval of stealing as ‘grass is green’ bears to the belief that grass is green. In this paper I rehearse the motivations for the fundamental idea of expressivism and show how the arguments of Frank Jackson and Philip Pettit [1998], Russ Shafer-Landau [2003], Jussi Suikkanen [2009], and Christopher Peacocke [2004] all fail on this same rock. In part 1 I’ll rehearse the motivation for expressivism – a motivation which directly explains why it does not have subjectivist consequences. Then in each of parts 2-5 I’ll illustrate how each of Jackson and Pettit’s, Peacocke’s, Shafer-Landau’s, and Suikkanen’s arguments work, respectively, and why each of them fails to respect the fundamental parity at the heart of expressivism. Though others have tried before me to explain why expressivism is not committed to any kind of subjectivism or mind-dependence – prominently including Blackburn [1973], [1998], Horgan and Timmons [2006], and, in response to Pettit and Jackson, Dreier [2004] and Smith and Stoljar [2003], the explanation offered in this article is distinguished by its scope and generality.. (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)

In this contribution an attempt is made to analyze an important mathematical discovery, the theorem of Gödel, and to explore the possible impact on the consistency of metaphysical systems. It is shown that mathematics is a pointer to a reality that is not exclusively subjected to physical laws. As the Gödel theorem deals with pure mathematics, the philosopher as such can not decide on the rightness of this theorem. What he, instead can do, is evaluating the general acceptance of this (...) mathematical finding and reflect on the consistency between consequences of the mathematical theorem with consequences of his metaphysical view. The findings of three mathematicians are involved in the argumentation: first Gödel himself, then the further elaboration by Turing and finally the consequences for the human mind as worked out by Penrose. As a result one is encouraged to distinguish two different types of intellectual activity in mathematics, which both can be carried out by humans. The astonishing thing is not the distinction between a formalized, logic approach on the one side and intuition, mathematical insight and meaning on the other. Philosophically challenging, however, is the claim that principally only one of these intellectual activities can be carried out by objects exclusively bound to the laws of physical reality. (shrink)

Revisionary ontologists are making a comeback. Quasi-nihilists, like Peter van Inwagen and Trenton Merricks, insist that the only composite objects that exist are living things. Unrestriced universalists, like W.V.O. Quine, David Lewis, Mark Heller, and Hud Hudson, insist that any collection of objects composes something, no matter how scattered over time and space they may be. And there are more besides. The result, says Eli Hirsch, is that many commonsense judgments about the existence or identity of highly visible physical objects (...) are a priori necessarily false. In a “last ditch effort” to bring revisionary ontologists back to their senses, Hirsch marshalls what he calls the Argument from Charity. We can be sure that there are tables and chairs and that there are no fusions of Plato’s nose and the Eiffel Tower, says Hirsch, because these commonsense platitudes are a logical consequence of the well-known principle of interpretive charity applied to natural languages, like English. In what follows, I assess the Argument from Charity. My conclusion is that if this is the best we can do to save revisionary ontologists, they are surely lost forever. (shrink)

I offer eight arguments against the Doctrine of Double Effect, a normative principle according to which in pursuing the good it is sometimes morally permissible to bring about some evil as a side-effect or merely foreseen consequence: the same evil would not be morally justified as an intended means or end.

In this paper, I respond to Sterpetti’s attempt to defend Kyle P. Stanford’s Problem of Unconceived Alternatives and his New Induction over the History of Science from my reductio argument outlined in Mizrahi :59–68, 2016a). I discuss what I take to be the ways in which Sterpetti has misconstrued my argument against Stanford’s NIS, in particular, that it is a reductio, not a dilemma, as Sterpetti erroneously thinks. I argue that antirealists who endorse Stanford’s NIS still face an (...) absurd consequence of this argument, namely, that they should not believe their own brand of scientific antirealism. (shrink)

Francis Bacon's position on the existence of void and its nature has been mostly studied with regard to his views on the atom. This approach is undoubtedly right, but it disregards further topics related to Bacon's account of void, namely the world system and the transmutation of bodies. Consequently, a more comprehensive study of Bacon's view on vacuum seems desirable where all the contexts are taken into account. To address this desideratum, the present paper examines Bacon's different views on vacuum (...) drawing attention to the various contexts of the discussion. It also gives an evaluation of the arguments put forward in support of his positions. The first section presents a reconstruction of Bacon's consecutive positions and the reasons for his changes of mind. The second section lists the experimental facts traditionally cited in debates about vacuum and Bacon's interpretation of these. The final section evaluates the role that these experimental facts played in Bacon's arguments. As a result, it is shown that Bacon fits entirely into the general pattern of the early seventeenth century. Empirical arguments by themselves had little value for solving the question of the void; it was also necessary to have a formerly established theory. (shrink)

The aim of this master’s thesis is to analyse and highlight the interaction between science, politics and law. More precisely, our research question concerns the use of scientific arguments in social spheres (notably in politics and law) instead of legal or political arguments. In fact, we want to raise the way in which certain actors invoke scientific arguments to impose "objective" elements of fact in debate and, in this way, refrain from politically and "subjectively" discussing these same elements (or, at (...) least, their social consequences). This Master’s thesis will adopt an interdisciplinary theoretical framework (chapter 1) mobilising philosophy of science, philosophy of law, sociology of law, legal technique and analytical theories. Then, we will apply it to a case study: the European regulation of genetically modified organisms (GMOs) after the European Court of Justice (CJEU) ruling of 25 July 2015 (chapter 2). The first chapter will provide theoretical elements to rethink the interaction between science, politics and law. The first section will propose a 'state of the art’ of the philosophical literature on the relationship between science (as a regime of truth) and politics. This master’s thesis will assess a truth under construction rather than a transcendental truth. Section 2 anticipates authoritarian claims based on science by considering the relationship science can have with power (Foucault). A solid review of philosophical, sociological and legal literature highlights the risks of giving decision-making power to an all-powerful science. Notably, the use of science to justify discriminatory policies is emphasised as these policies could not be challenged because, at the time, it was considered an objective scientific truth. Finally, section 3 offers a critique of the narratives of neutral and objective science, through the approach of science in action. This sociological approach presented all the doubts and subjectivity of science in action. The second chapter will propose a case study to illustrate the theoretical framework. We have chosen GMOs because they constitute a hybrid 'event', marked by scientific controversies, and with major socio-economic implications. The legal framework of GMOs in the European Union will be presented in the first section. In addition, the legal status of new breeding techniques (NBTs) will be examined. The second section will analyse the ruling of the European Court of Justice which made NBTs subject to GMO regulation. Finally, the third section will propose a reflection on the philosophy of law on the modes of existence of scientific, legal and political disciplines. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the (...) modal conception of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

Humeans about laws maintain that laws of nature are nothing over and above the complete distribution of non-modal, categorical properties in spacetime. ‘Humean compatibilists’ argue that if Humeanism about laws is true, then agents in a deterministic world can do otherwise than they are lawfully determined to do because of the distinctive nature of Humean laws. More specifically, they reject a central premise of the Consequence argument by maintaining that deterministic laws of nature are ‘up to us’. In (...) this paper, we present a new argument for Humean compatibilism. We argue that Humeans about laws indeed have resources for defending compatibilism that non-Humeans lack. Moreover, we show that utilizing these resources does not lead to objectionable consequences. Humeans about laws should thus embrace Humean compatibilism. (shrink)

There are many philosophical issues that have been discussed for more than two thousand years. And consequently, we have dozens of philosophical schools. In this paper, I would propose a new argument by considering all the unspecific arguments for the existence of the soul together for example, as a single argument for its existence. Doing so would close the door to the continuation of most of those schools.

Recently, a number of philosophers have argued that we can and should “consequentialize” non-consequentialist moral theories, putting them into a consequentialist framework. I argue that these philosophers, usually treated as a group, in fact offer three separate arguments, two of which are incompatible. I show that none represent significant threats to a committed non-consequentialist, and that the literature has suffered due to a failure to distinguish these arguments. I conclude by showing that the failure of the consequentializers’ arguments has implications (...) for disciplines, such as economics, logic, decision theory, and linguistics, which sometimes use a consequentialist structure to represent non-consequentialist ethical theories. (shrink)

After decades of receiving a lot of attention on the epistemological level, the so-called ‘problem of intuitions’ is now in the center of debates on the metaphilosophical level. One of the reasons for this lies in the unfruitfulness of the epistemological discussions that recently subsided without producing any significant or broadly accepted theory of intuitions. Consequently, the metaphilosophical level of discussion of the ‘problem of intuitions’ inherits the same difficulties of the epistemological level. The significance of Max Deutsch’s book The (...) Myth of the Intuitive is his effort to resolve these problems in a clear and persuasive way. He is not only trying to debunk problems behind the vagueness of the ‘intuition-talk’ by drawing important distinctions that usually go under the radar in the contemporary literature, but also develops his own account of philosophical methodology. In this paper I will present some of his arguments against the traditional view of intuitional methodology, as well as his own solutions to the presented problems. Regardless of Deutsch’s insightful account of the ‘problem of intuitions’, I find that some difficulties in his own proposal are inherited from the unresolved issues of intuitions on the epistemological level. (shrink)

The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered not as a (...) trivialisation, but as an intended consequence of Gödel's ontotheological views. (shrink)

Jaegwon Kim’s influential exclusion argument attempts to demonstrate the inconsistency of nonreductive materialism in the philosophy of mind. Kim’s argument begins by showing that the three main theses of nonreductive materialism, plus two additional considerations, lead to a specific and familiar picture of mental causation. The exclusion argument can succeed only if, as Kim claims, this picture is not one of genuine causal overdetermination. Accordingly, one can resist Kim’s conclusion by denying this claim, maintaining instead that the (...) effects of the mental are always causally overdetermined. I call this strategy the ‘ overdetermination challenge’. One of the main aims of this paper is to show that the overdetermination challenge is the most appropriate response to Kim’s exclusion argument, at least in its latest form. I argue that Kim fails to adequately respond to the overdetermination challenge, thus failing to prevent his opponents from reasonably maintaining that the effects of the mental are always causally overdetermined. Interestingly, this discussion reveals a curious dialectical feature of Kim’s latest response to the overdetermination challenge: if it succeeds, then a new, simpler and more compact version of the exclusion argument is available. While I argue against the consequent of this conditional, thereby also rejecting the antecedent, this dialectical feature should be of interest to philosophers on either side of this debate. (shrink)

Searle proposes an argument in order to prove the existence of universals and thereby solve the problem of universals: From every meaningful general term P(x) follows a tautology Vx[P(x) v -P(x)], which entails the existence of the corresponding universal P. To be convincing, this argument for existence must be valid, it must presume true premises and it must be free of any informal fallacy. First, the validity of the argument for existence in its non-modal interpretation will be (...) proven with the help of the formal deductive system F. Secondly, it will be shown that a self-contradictory tautology concept is employed, which renders the premises meaningless. Consequently, the inconsistency will be emended through redefinition and the argument's ensuing correctness will be demonstrated. Finally, it will be shown that the argument for existence presupposes the existence of universals in its premise and hence begs the question. (shrink)