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.

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

This paper has two parts. In the first part, I concede an error in an argument I have given for the incompatibility of free will and determinism. I go on to show how to modify my argument so as to avoid this error, and conclude that the thesis that free will and determinism are compatible continues to be—to say the least—implausible. But if free will is incompatible with determinism, we are faced with a mystery, for free will undeniably exists, and (...) it also seems to be incompatible with indeterminism. In the second part of this paper, I will defend the conclusion that the concept of agent causation is of no use to the philosopher who wants to maintain that free will and indeterminism are compatible. I conclude that free will remains a mystery---that is, that free will undeniably exists and that there is a strong and unanswered prima facie case for its impossibility. (shrink)

In my paper I am concerned with Peter van Inwagen's Consequence Argument. I focus on its probably best known version. In this form it crucially employs the notion of rendering a proposition false, anotion that has never been made sufficiently clear. The main aim of my paper is to shed light on thisnotion. The explications offered so far in thedebate all are based on modal concepts. Iargue that for sufficient results a ``stronger'', hyper-intensional concept is needed, namely the concept expressed (...) by the word ``because''. I show that my analysis is superior to the prior ones. On the basis of this analysis I further explain why van Inwagen''s argument fails. (shrink)

Peter van Inwagen’s original formulation of the Consequence Argument employed an inference rule that was shown to be invalid given van Inwagen’s interpretation of the modal operators in the Consequence Argument. In response, van Inwagen recently suggested a revised interpretation of his modal operators. Following up on a debate between Blum and Schnieder, I analyze van Inwagen’s revised interpretation in terms of explanatory notions and I argue that van Inwagen faces a dilemma: he either has to admit that beta entails (...) fatalism, or he has to admit that a new counterexample invalidates beta. Either way, it seems reasonable to reject beta and to conclude that the Consequence Argument fails. Further, I argue that Widerker’s well-known substitute for rule beta is faced with a similar dilemma and, therefore, is bound to fail as well. I conclude that, if the modal operators are interpreted in terms of explanatory notions, neither van Inwagen’s nor Widerker’s rule of inference turns out to be valid. (shrink)

What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence φ is said to depend on a set Φ of sentences iff the truth value of φ supervenes on the presence or absence of the sentences of (...) Φ in/from the extension of the truth predicate. Both φ and the members of Φ are allowed to contain the truth predicate. On that basis we are able define notions such as ungroundedness or self-referentiality within a classical semantics, and we can show that there is an adequate definition of truth for the class of sentences which depend on non-semantic states of affairs. (shrink)

(2013). Incompatibilism proved. Canadian Journal of Philosophy. ???aop.label???