I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

One of the major challenges in the philosophy of religion is theological fatalism—roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be skeptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument can be generalized (...) so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle—specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

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)