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)

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.

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)

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)

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.

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)

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)

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)

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.

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)

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 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)

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)

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

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)

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)

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)

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)

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)

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)

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)

The present work explores various ways in which contingent evidence can impact metaphysics, while advocating that, just as a scientific realist allows for ampliative inferences to the unobservable, ampliative inferences from possible evidence can warrant possibility claims that lie beyond the reach of sensorial imagination. In slogan form: possible evidence is a guide to possibility. Drawing on Shoemaker’s (1969) argument for the possibility of time without change, I advocate the following principle: If there is a possible world at which (...) the observable facts make it objectively reasonable to conclude that p, then we should conclude that p is possibly true. This provides a route to contingentism in metaphysics, for, if one considers that there are worlds in which the observable facts make it objectively reasonable to conclude that p, and worlds in which the observable facts make it objectively reasonable to conclude that not-p, then my principle tells us that we should conclude that possibly-p and possibly not-p, i.e. that p is contingent. This contingency in what is reasonable to conclude, I suggest, occurs most saliently in debates where evidence of phenomenal experience and empirical science are marshalled to support one theory over another. I also explore some consequences of taking possible evidence to be a guide to possibility in this way, among them being an interesting modal analogue of the lottery paradox. (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)

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)

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)

Phenomenology has been described as a “non-argumentocentric” way of doing philosophy, reflecting that the philosophical focus is on generating adequate descriptions of experience. But it should not be described as an argument-free zone, regardless of whether this is intended as a descriptive claim about the work of the “usual suspects” or a normative claim about how phenomenology ought to be properly practiced. If phenomenology is always at least partly in the business of arguments, then it is worth giving further (...) attention to the role and form of phenomenological argumentation, how it interacts with its more strictly descriptive component, and the status of phenomenological claims regarding conditions for various kinds of experience. I contend that different versions of phenomenological reasoning encroach upon argument forms that are commonly thought to be antithetical to phenomenology, notably abductive reasoning, understood in terms of its role in both hypothesis generation and in terms of justification. This paper identifies two main steps to making this case. The first step takes seriously the consequences of the intrinsically dialectical aspect of phenomenology in intersection with other modes of philosophy, the natural attitude, and non-philosophy. The second step focuses on transcendental reflection and arguments about the conditions/structures they contain. Together, these two steps aim to rescue phenomenology from the objection that it has an “ostrich epistemology” with regard to the ostensible purity of description, the intuition of essences, or the “conditions” ascertained through transcendental reflection. (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)

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)

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)

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)

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)

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)

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.

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)

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.

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)

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)

The paper reconstructs causal and theological versions of the consequence argument against the compatibility of free will and determinism and discusses the most influential objections to them.

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)

In this article, I use the expanded hohfeldian model presented by Wenar to argue that, according to Aristotle's theory of friendship, every bond of friendship that is based on utility or virtue creates duties and hohfeldian incidents between those who are friends. In section 1, I provide a quick presentation of Hohfeld's work and of Wenar's hohfeldian model. In section 2, I present my thesis about the creation of certain hohfeldian incidents and certain duties in virtue and utility friendships as (...) conceived by Aristotle. In section 3, I give a broad characterization of Aristotle's theory of friendship and of the three great kinds of friendship that he recognizes. In section 4, I defend the thesis that it is only in virtue and utility friendships that duties are created. In section 5, I specify what are the hohfeldian incidents created by these two kinds of friendship. In section 6, I specify the two ways in which, according to Aristotle, these incidents and duties might be created. In section 7, I conclude with a brief recapitulation of the argument. En este artículo utilizo el modelo hohfeldiano extendido, presentado por Wenar, para argumentar que, según la teoría de la amistad de Aristóteles, todo lazo de amistad basado en la utilidad o la virtud crea deberes e incidentes hohfeldianos entre aquellos que son amigos. En la sección 1 proporciono una presentación rápida de la obra de Hohfeld y del modelo hohfeldiano de Wenar. En la sección 2 presento mi tesis sobre la creación de ciertos incidentes hohfeldianos y ciertos deberes en las amistades basadas en la virtud y la utilidad tal como fueron concebidos por Aristóteles. En la sección 3 ofrezco una caracterización general de la teoría de la amistad de Aristóteles y de los tres grandes tipos de amistad que reconoce. En la sección 4 defiendo la tesis de que los deberes se crean solamente en las amistades basadas en la virtud y la utilidad. En la sección 5 especifico cuáles son los incidentes hohfeldianos creados por estos dos tipos de amistad. En la sección 6 especifico las dos maneras en que, según Aristóteles, podrían crearse estos incidentes y deberes. En la sección 7 concluyo con una breve recapitulación de la argumentación. (shrink)

Do we rightly expect a perfectly loving God to bring it about that, right now, we reasonably believe that He exists? It seems so. For love at its best desires the well-being of the beloved, not from a distance, but up close, explicitly participating in her life in a personal fashion, allowing her to draw from that relationship what she may need to flourish. But why suppose that we would be significantly better off were God to engage in an explicit, (...) personal relationship with us? Well, first, there would be broadly moral benefits. We would be able to draw on the resources of that relationship to overcome seemingly everpresent flaws in our character. And we would be more likely to emulate the self-giving love with which we were loved. So loved, we would be more likely to flourish as human beings. Secondly, there would be experiential benefits. We would be, for example, more likely to experience peace and joy stemming from the strong conviction that we were properly related to our Maker, security in suffering knowing that, ultimately, all shall be well, and there would be the sheer pleasure of God's loving presence. As a consequence of these moral and experiential benefits, our relationships with others would likely improve. Thirdly, to be personally related to God is intrinsically valuable, indeed, according to the Christian tradition, the greatest intrinsic good. In these ways our well-being would be enhanced if God were to relate personally to us. Moreover, the best love does not seek a personal relationship only for the sake of the beloved. As Robert Adams rightly notes, "It is an abuse of the word 'love' to say that one loves a person, or any other object, if one does not care, except instrumentally, about one's relation to that object."1 Thus, God would want a personal relationship with us not only for the benefit we would receive from it but for its own sake as well. So, if a perfectly loving God exists, He wants a personal relationship with us, or more accurately, every capable creature, those cognitively and affectively equipped to relate personally with Him.. (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)

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)

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)

The standard form of act-consequentialism requires us to perform the action with the best consequences; it allows choice between moral options only on those rare occasions when several actions produce equally good results. This paper argues for moral options and thus against act-consequentialism. The argument turns on the insight that some valuable things cannot exist unless our moral system allows options. One such thing is the opportunity for individuals to enact plans for their life from among alternatives. Because planning (...) one’s life has value, and because it requires moral options, a world governed by a moral system that admits of options is better than one governed by act-consequentialism. The paper argues that these facts entail that morality admits of a significant number of moral options; act-consequentialism is false. (shrink)