In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

An encyclopedia article on the epistemic or knowledge condition for moral responsibility, written for the SEP.

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective but (...) contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.

This essay challenges the widely accepted principle that a person is morally responsible for what he has done only if he could have done otherwise. The author considers situations in which there are sufficient conditions for a certain choice or action to be performed by someone, So that it is impossible for the person to choose or to do otherwise, But in which these conditions do not in any way bring it about that the person chooses or acts as he (...) does. In such situations the person may well be morally responsible for what he chooses or does despite his inability to choose or to do otherwise. Finally the author considers certain suggestions for revising the principle he rejects or for replacing it with a principle of an altogether different kind. (shrink)

Kit Fine; XIV*—Ontological Dependence, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 269–290, https://doi.org/10.1093/aristote.

The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

In spite of its significance for everyday and philosophical discourse, the explanatory connective has not received much treatment in the philosophy of logic. The present paper develops a logic for based on systematic connections between and the truth-functional connectives.

In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...) than by necessary equivalence: two pieces of language can apply to the same entities across all possible worlds but not be equivalent; thoughts can be necessarily equivalent in truth value but not synonymous. This paper argues that hyperintensional resources are valuable in metaphysics outside theories of representation, and discusses some promising areas of hyperintensional metaphysics. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim that (...) the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically proper account of validity. We counter recent arguments to (...) the contrary presented in Hanson’s ‘Actuality, Necessity, and Logical Truth’ (Philos Stud 130:437–459, 2006 ). (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

"This is an important book, and no one interested in issues which touch on the free will will want to ignore it."--Ethics. In this stimulating and thought-provoking book, the author defends the thesis that free will is incompatible with determinism. He disputes the view that determinism is necessary for moral responsbility. Finding no good reason for accepting determinism, but believing moral responsiblity to be indubitable, he concludes that determinism should be rejected.

It is my view that one essential difference between persons and other creatures is to be found in the structure of a person's will. Besides wanting and choosing and being moved to do this or that, men may also want to have certain desires and motives. They are capable of wanting to be different, in their preferences and purposes, from what they are. Many animals appear to have the capacity for what I shall call "first-order desires" or "desires of the (...) first order," which are simply desires to do or not to do one thing or another. No animal other than man, however, appears to have the capacity for reflective self-evaluation that is manifested in the formation of second-order desires. (shrink)

P. van Inwagen famously offered three precise versions of the so-called Consequence Argument for incompatibilism. The third of these essentially employs the notion of an agent’s having a choice with respect to a proposition. In this paper, I offer two intuitively attractive accounts of this notion in terms of the explanatory connective ‘because’ and explore the prospects of the third argument once they are in play. Under either account, the argument fails.

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

Rule A: if it's metaphysically necessary that p, we may validly infer that no one is even partly morally responsible for the fact that p. Our principal aim in this article is to highlight the importance of this rule and to respond to two recent challenges to it. We argue that rule A is more important to contemporary theories of moral responsibility than has previously been recognized. We then consider two recent challenges to the rule and argue that neither challenge (...) successfully undermines the rule's initial appeal. (shrink)

According to a widely held principle—the poss-ability principle—an agent, S, is able to only if it is metaphysically possible for S to. I argue against the poss-ability principle by developing a novel class of counterexamples. I then argue that the consequences of rejecting the poss-ability principle are interesting and far-reaching.

Does general validity or real world validity better represent the intuitive notion of logical truth for sentential modal languages with an actuality connective? In (Philosophical Studies 130:436–459, 2006) I argued in favor of general validity, and I criticized the arguments of Zalta (Journal of Philosophy 85:57–74, 1988) for real world validity. But in Nelson and Zalta (Philosophical Studies 157:153–162, 2012) Michael Nelson and Edward Zalta criticize my arguments and claim to have established the superiority of real world validity. Section 1 (...) of the present paper introduces the problem and sets out the basic issues. In Sect. 2 I consider three of Nelson and Zalta’s arguments and find all of them deficient. In Sect. 3 I note that Nelson and Zalta direct much of their criticism at a phrase (‘true at a world from the point of view of some distinct world as actual’) I used only inessentially in Hanson (Philosophical Studies 130:436–459, 2006), and that their account of the philosophical foundations of modal semantics leaves them ill equipped to account for the plausibility of modal logics weaker than S5. Along the way I make several general suggestions for ways in which philosophical discussions of logical matters–especially, but not limited to, discussions of truth and logical truth for languages containing modal and indexical terms–might be facilitated and made more productive. (shrink)

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

ABSTRACT Backwards-looking operators Saarinen, E. [1979. “Backwards-Looking Operators in Tense Logic and in Natural Language.” In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 341–367. Dordrecht: Reidel] that have the material in their scope depend on higher intensional operators, are known to increase the expressivity of some intensional languages and have thus played a central role in debates about approaches to intensionality in terms of implicit parameters vs. variables explicitly quantifying over them. The (...) current contribution takes a look at these operators from a type-logical perspective. It is shown that extending Gallin's translation from intensional type logic to two-sorted type theory so as to include a version of Yanovich's backwards-looking operators, does not increase the expressive power of formulae with exclusively intensional parameters. The result, which makes use of a theorem by Zimmermann : 65–77]), is illustrated by pertinent examples from the literature. The paper closes by indicating alternative strategies of incorporating backwards-looking operators. (shrink)

It is commonly held that no one can be morally responsible for a necessary truth. In this paper, I will provide various examples that cast doubt on this idea. I also show that one popular argument for the incompatibility of moral responsibility and determinism (van Inwagen’s Direct Argument) fails given my examples.

This paper presents a new theory of the truth conditions for indicative conditionals. The theory allows us to give a fairly unified account of the semantics for indicative and subjunctive conditionals, though there remains a distinction between the two classes. Put simply, the idea behind the theory is that the distinction between the indicative and the subjunctive parallels the distinction between the necessary and the a priori. Since that distinction is best understood formally using the resources of two-dimensional modal logic, (...) those resources will be brought to bear on the logic of conditionals. (shrink)

In the literature on free will, fatalism, and determinism, a distinction is commonly made between temporally intrinsic (‘hard’) and temporally relational (‘soft’) facts at times; determinism, for instance, is the thesis that the temporally intrinsic state of the world at some given past time, together with the laws, entails a unique future (relative to that time). Further, it is commonly supposed by incompatibilists that only the ‘hard facts’ about the past are fixed and beyond our control, whereas the ‘soft facts’ (...) about the past needn’t be. A substantial literature arose in connection with this distinction, though no consensus emerged as to the proper way to analyze it. It is time, I believe, to revisit these issues. The central claim of this paper is that the attempts to analyze the hard/soft fact distinction got off on fundamentally the wrong track. The crucial feature of soft facts is that they (in some sense) depend on the future. Following recent work on the notion of dependence, however, I argue that the literature on the soft/hard distinction has failed to capture the sense of dependence at stake. This is because such attempts have tried to capture softness in terms of purely modal notions like entailment and necessitation. As I hope to show, however, such notions cannot capture the sort of asymmetrical dependence relevant to soft facthood. Arguing for this claim is the first goal of this paper. My second goal is to gesture towards what an adequate account of soft facthood will really look like. (shrink)

Bertrand Russell offered an influential paradox of propositions in Appendix B of The Principles of Mathematics, but there is little agreement as to what to conclude from it. We suggest that Russell's paradox is best regarded as a limitative result on propositional granularity. Some propositions are, on pain of contradiction, unable to discriminate between classes with different members: whatever they predicate of one, they predicate of the other. When accepted, this remarkable fact should cast some doubt upon some of the (...) uses to which modern descendente of Russell's paradox of propositions have been put in recent literature. (shrink)