A specter is haunting Hume scholarship: the specter of the “New Hume.” Contrary to more traditional interpretations, according to which Hume rejects belief in any conception of causation that invokes (metaphysically) necessary connections between distinct existences, proponents of the New Hume hold that Hume at the least allowed for the possibility of such connections—it’s just that he thought we couldn’t know much, if anything, about them, if we assume that they do exist. -/- I will argue that the views of (...) the “New Humers” (as I shall call them) are mistaken. I will begin by discussing their reading of Hume on causation, using Galen Strawson as a foil. I then examine the relation between Hume’s view of relations (pun intended) and his account of “necessary connexions”. Next, I argue that this account, once properly understood, shows that he did not believe in what we would think of as necessary connections while at the same time explaining why, as the New Humers point out, Hume sometimes writes in ways that can make it sound like he does, as well as reconciling Hume’s two definitions of causation. After that, I answer objections, and then raise some doubts about Hume’s account before finally concluding the paper. (shrink)

In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always augment one’s language (...) with more than one conditional, and it may be that no single conditional will satisfy all of our intuitions about how a conditional should behave. Finally, I suspect the strong conditional will be of more use for logic rather than the philosophy of language, and I will make no claim that the strong conditional is a good model for any particular use of the indicative conditional in English or other natural languages. Still, it would certainly be a nice bonus if some modified version of the strong conditional could serve as one. -/- I begin by exploring some of the disadvantages of the material conditional, the strict conditional, and some relevant conditionals. I proceed to define a strong conditional for classical sentential logic. I go on to adapt this account to Graham Priest’s Logic of Paradox, to S. C. Kleene’s logic K3, and then to J. Łukasiewicz’s logic Ł, a standard version of fuzzy logic. (shrink)

In his article “Why Philosophical Theories of Evidence Are (and Ought to Be) Ignored by Scientists,” Peter Achinstein argues that philosophical theories of evidence are ignored by scientists because they rest on assumptions which make their concepts of evidence too weak for scientists to work with, or which entail that the truth or falsity of evidential statements can be determined a priori. Given that, as Achinstein argues, the truth of many evidential statements can only be determined empirically, this “a priorist” (...) assumption makes scientists consider philosophical accounts of evidence irrelevant to their work. -/- In this article I examine the value of evidence, its nature, and its relation to science. I try to show that, while Achinstein’s conclusions are mostly right, the arguments and examples he gives to support them are flawed in some of their details. Specifically, I propose an account of evidence according to which, though evidential claims are objective to a large extent, something counts as evidence only if, ultimately, it has a relation to beings for whom it counts as evidence. On this view something’s status as evidence does not derive merely from people’s beliefs, but from shared practices that are embodied in what I call contexts of inquiry. I also propose that this concept of evidence is one according to which evidential claims, though defeasible, are in one respect a priori. I argue that this account of evidence is one that should be of interest to scientists. (shrink)

If one is in a moral quandary it is wise to look for ethical guidance if one has the time to do so. Ethical theories are, among other things, intended to be one possible source of ethical guidance. If such guidance is valuable, then in ethics there is an embarrassment of riches: There are multiple, well-accepted, yet mutually inconsistent theories. The disquieting thing is that, at present, it seems that we are not at all close to being able to determine (...) which of them, if any, is right. How can you know what you should do when ethicists, those who devote their careers to studying such theories, cannot reach a consensus on which one we should accept? Those who look to ethical theories for ethical guidance are apt to be disappointed. This situation is problematic, for if ethical theorizing is to have relevance to real-world ethical behavior, and not just be a way of examining ethical issues out of a love of arguments or puzzles, it must be possible for us to use ethical theories to inform ourselves of what we should do. It seems that philosophers have usually tried to address the issue of how one should act by advancing arguments for or against these theories (or certain parts of them). I want to approach this issue from a different angle. The question I will address is this: Can you get ethical guidance about what you should do in certain situations without knowing, or even having good reasons to believe, that any particular ethical theory is right? I think there is. My idea is that if you compare all the viable ethical theories that you know of, and find that all, or at any rate a great majority of them agree about whether an action you’re considering is right, wrong, or permissible, then you know that it is at least highly probable that that action really is right, wrong, or permissible. For if all ethical theories agree about the moral status of an action, it can only fail to have that status if they are all false. And if a great majority of ethical theories agree about the moral status of an action, it can only fail to have that status if all of the theories that agree about its status are false, which becomes more and more improbable as the number of the theories that agree increases. If this approach works, there is a way that one can be guided by ethical theories without having to attempt the difficult task of determining which of them is right. (shrink)

A very common view of Hume’s distinction between impressions and ideas is that it is based on their intrinsic properties; specifically, their force and vivacity. Some interpreters have challenged this,one being David Landy (Landy 2006). He argues that for Hume the difference lies instead in the fact that impressions are not copies of anything, while ideas are copies of impressions. I regard this view as unsatisfactory, not because it is fundamentally mistaken but because (to put it in Humean terms) it (...) “…it discovers not all the truth” (Treatise 1.3.7.4). I will argue that Hume was a functionalist about (some)mental kinds, individuating impressions, ideas, and beliefs (and possibly other mental phenomena) in terms of their causal role in our mental economy. The distinction between impressions and ideas involves the fact that ideas are copies and impressions are not, but also more than that. I will also argue that interpreting Hume as a functionalist enables one to make sense of a passage that is impossible to explain on the force-and-vivacity view, and that it does so more readily than Landy’s view.Furthermore, I think this interpretation makes better sense of Hume’s “missing shade of blue” than Landy’s does. (shrink)

In this paper I introduce the idea of a higher-order modal logic—not a modal logic for higher-order predicate logic, but rather a logic of higher-order modalities. “What is a higher-order modality?”, you might be wondering. Well, if a first-order modality is a way that some entity could have been—whether it is a mereological atom, or a mereological complex, or the universe as a whole—a higher-order modality is a way that a first-order modality could have been. First-order modality is modeled in (...) terms of a space of possible worlds—a set of worlds structured by an accessibility relation, i.e., a relation of relative possibility—each world representing a way that the entire universe could have been. A second-order modality would be modeled in terms of a space of spaces of (first-order) possible worlds, each space representing a way that (first-order) possible worlds could have been. And just as there is a unique actual world which represents the way that things actually are, there is a unique actual space which represents the way that first-order modality actually is. -/- One might wonder what the accessibility relation itself is like. Presumably, if it is logical or metaphysical modality that is being dealt with, it is reflexive; but is it also symmetric, or transitive? Especially in the case of metaphysical modality, the answer is not clear. And whichever of these properties it may or may not have, could that itself have been different? Could at least some rival modal logics represent different ways that first-order modality could have been? -/- To be clear, the idea behind my proposal is not just that some things which are possible or necessary might not have been so at the first order, as determined by the actual accessibility relation, but also that the actual accessibility relation, and hence the nature or structure of actual modality, could have been different at some higher order of modality. Even if the accessibility relation is actually both symmetric and transitive, perhaps it could (second-order) have been otherwise: There is a (second-order) possible space of worlds in which it is different, where it fails to be symmetric, or transitive. We must, therefore, introduce the notion of a higher-order accessibility relation, one that in this case relates spaces of first-order worlds. The question then arises as to whether that relation is symmetric, or transitive. We can then consider third-order modalities, spaces of spaces of spaces of possible worlds, where the second-order accessibility relation differs from how it actually is. I can see no reason why there should be a limit to this hierarchy of higher-order modalities, any more than I can see a reason why there should be a limit to the hierarchy of higher-order properties. There will thus be an infinity of orders, one for each positive integer, and each order will have an accessibility relation of its own. To keep things as clear as possible, a space of first-order points (i.e., of possible worlds) shall be called a galaxy, a space of second-order points, a universe, and a space of any higher order, a cosmos. However, to keep things as simple as possible, in what follows I will deal with but a single cosmos, and hence will not deal with modalities higher than the third order. -/- The accessibility relation is not the only thing that might be thought to vary between spaces of worlds: Perhaps the contents of the spaces can vary as well. While I presume that the contents of the worlds themselves remain constant—it makes doubtful sense to suppose that in one space some entity e exists in a world w and in another space e doesn’t exist in that same world w—we may suppose that different spaces differ as to which worlds they contain, just as different worlds may differ as to which objects they contain. Thus we might have a higher-order analogue of a variable-domain modal logic. There seem, then, to be three ways in which spaces can differ: First, as to the properties of the accessibility relation; second, as to which worlds the relation relates; and third, as to which worlds or spaces are parts of their domains. -/- The paper will be structured as follows. In Section 2 I provide some reasons why one might want to pursue this kind of project in the first place. In Section 3 I outline the syntax and semantics of my proposed logic. Section 4 covers semantic tableaux for this system; and after giving the rules for their construction, I construct a few of them myself to establish some logical consequences of the system and give the reader a feel for how it works. In Sections 5, 6 and 7 I explore some of its potential philosophical implications for areas besides logic, namely the philosophy of language; metaphysics, including the metaphysics of modality and the philosophy of time, and finally the philosophy of religion, before concluding the paper in Section 8. (shrink)