It has long been known that in the context of axiomatic second-order logic (SOL), Hume's Principle (HP) is mutually interpretable with "the universe is Dedekind infinite" (DI). I offer a more fine-grained analysis of the logical strength of HP, measured by deductive implications rather than interpretability. The main result is that HP is not deductively conservative over SOL + DI. That is, SOL + HP proves additional theorems in the language of pure second-order logic that are not provable (...) from SOL + DI alone. Arguably, then, HP is not just a pure axiom of infinity, but rather it carries additional logical content. On the other hand, I show that HP is $\Pi^1_1$ conservative over SOL + DI, and that HP is conservative over SOL + DI + "the universe is well ordered" (WO). Next, I show that SOL + HP does not prove any of the simplest and most natural versions of the axiom of choice, including WO and weaker principles. Lastly, I discuss other axioms of infinity. I show that HP does not prove the Splitting or Pairing principles (axioms of infinity stronger than DI). (shrink)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all (...) sufficiently large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

Neo-logicism uses definitions and Hume's Principle to derive arithmetic in second-order logic. This paper investigates how much arithmetic can be derived using definitions alone, without any additional principle such as Hume's.

Hsueh M. Qu has recently argued that Hume’s famed ‘Separability Principle’ from the Treatise entangles him in a contradiction. Qu offers a modified principle as a solution but also argues that the mature Hume would not have needed to avail himself of it, given that Hume’s arguments in the first Enquiry do not depend on this principle in any form. To the contrary, I show that arguments in the first Enquiry depend on this principle, but I (...) agree with Qu that Qu’s solution to Hume’s quandary frees him of the contradiction. Next, I compare Qu’s solution to Hume’s original position. By analysing the divergent forms of 'Hume’s Dictum’ that follow from them, I show that Qu’s solution and Hume’s original position have significantly different consequences in a range of domains, including Hume’s modality. Generally, Qu’s solution fits better with Hume’s other commitments—even though Hume often fails to recognize it—thereby increasing its plausibility. (shrink)

Given the sharp distinction that follows from Hume’s Fork, the proper epistemic status of propositions of mixed mathematics seems to be a mystery. On the one hand, mathematical propositions concern the relation of ideas. They are intuitive and demonstratively certain. On the other hand, propositions of mixed mathematics, such as in Hume’s own example, the law of conservation of momentum, are also matter of fact propositions. They concern causal relations between species of objects, and, in this sense, they are not (...) intuitive or demonstratively certain, but probable or provable. In this article, I argue that the epistemic status of propositions of mixed mathematics is that of matters of fact. I wish to show that their epistemic status is not a mystery. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle, unlike the propositions of pure mathematics. (shrink)

A reading of Hume's famous Conclusion to Book 1 of the Treatise.

I argue for the viability of one neglected way of developing supervenience-based objections to metaethical non-naturalism. This way goes through a principle known as ‘Hume’s Dictum’, according to which there are no necessary connections between distinct existences. I challenge several objections to the Hume’s Dictum-based argument. In the course of doing so, I formulate and motivate modest and precise versions of Hume’s Dictum, illustrate how arguments employing these principles might proceed, and argue that the Hume’s Dictum argument enjoys some (...) advantages relative to other supervenience-based objections to non-naturalism. (shrink)

Commentators such as Kemp Smith (1941), Mendelbaum (1974), and Bricke (1980) have taken the distinctions of reason to pose either a counterexample to or a limitation of scope on the Separability Principle. This has been convincingly addressed by various accounts such as Garrett (1997), Hoffman (2011), and Baxter (2011). However, I argue in this paper that there are two notions of ‘distinction of reason’, one between particular instantiations (token distinctions of reason) and one between general ideas (type distinctions of (...) reason). Discussion of the distinctions of reason in the secondary literature has without fail focused on token distinctions of reason, but I will argue that type distinctions of reason prove problematic for Hume’s Separability Principle. I find a way around this problem that is consonant with Hume’s account of general ideas, but which can hardly be said to be an account which he explicitly or even implicitly endorsed. (shrink)

In the Introduction to the Treatise Hume very enthusiastically announces his project to provide a secure and solid foundation for the sciences by grounding them on his science of man. And Hume indicates in the Abstract that he carries out this project in the Treatise. But most interpreters do not believe that Hume's project comes to fruition. In this paper, I offer a general reading of what I call Hume's ‘foundational project’ in the Treatise, but I focus especially (...) on Book 1. I argue that in Book 1 much of Hume's logic is put in the service of the other sciences, in particular, mathematics and natural philosophy. I concentrate on Hume's negative thesis that many of the ideas central to the sciences are ideas that we cannot form. For Hume, this negative thesis has implications for the sciences, as many of the texts I discuss make evident. I consider and criticize different proposals for understanding these implications: the Criterion of Meaning and the ‘Inconceivability Principle’. I introduce what I call Hume's ‘No Reason to Believe’ Principle, which I argue captures more adequately the link Hume envisions between his logic, in particular his examination of ideas, and the other sciences. (shrink)

Although Hume appeals to the representational features of perceptions in many arguments in the Treatise, his theory of representation has traditionally been regarded as a weak link in his epistemology. In particular, it has proven difficult to reconcile Hume's use of representation as causal derivation and resemblance (the Copy Principle) with his use of representation in the context of impressions and abstract ideas. This paper offers a unified interpretation of representation in Hume that draws on the resources of (...) Berkeley's doctrine of signs. On this account, while the Copy Principle still occupies the core of Hume's "content empiricism," the manner in which any perception represents is understood as involving a relation of sign to thing signified. A sign/signified interpretation has the virtue of allowing Hume to remain within the strictures of his empiricism, while underwriting the various senses in which an impression or idea could possess content. Such an interpretation is not only adequate to account for the role that mental representations play in everyday behavior, but also for the purposes of elaborating the foundations of civil society that are Hume's concern in Book 3 of the Treatise. (shrink)

David Hume was clearly a critic of religion. It is still debated, however, whether or not he was an atheist who denied the existence of God. According to some interpretations he was a theist of some kind and others claim he was an agnostic who simply suspends any belief on this issue. This essay argues that Hume’s theory of belief tells against any theistic interpretation – including the weaker, “attenuated” accounts. It then turns to the case for the view that (...) Hume’s criticisms of theism were limited to the “soft” skeptical (agnostic) aim of discrediting theist arguments, and shows that he is committed to a “harder” skeptical view that denies the theist hypothesis (in all its forms). Hume’s atheistic commitments are, the paper concludes, entirely consistent with his mitigated skeptical principles. (shrink)

The paper advances the hypothesis that, in Thomas Reid's reading, David Hume's skepticism of the Treatise on Human Nature is not solely due to his acceptance of the ‘ideal hypothesis’ – the principle according to which ideas are the immediate objects of the mental operations –, but it has another source, namely, that doubt on the reliability of the faculties of the senses, memory, and reason. Moreover, the paper argues that the suggested distinction between two roots for Hume’s (...) skepticism allows a more exact view on Reid’s reading of Hume and solve some misinterpretations. (shrink)

From the second half of the last century, there has been a widespread view in the Anglophone world that Kant’s transcendental deduction (aka TD) aims to vindicate our common-sense view of the world as composed of public and objective particulars against some unqualified forms of skepticism. This widespread assumption has raised serious doubt not only about the success of TD but also about the very nature of its argument in both editions of the Critique. Yet, if there is a connection (...) between TD and global skepticism, the intriguing question is: Who is this skeptic? According to Strawson, “the skeptic” is a hypothesis of a purely sense-datum experience. In contrast, the fact that TD turns on the key notion of self-consciousness has induced several other scholars to assume that the skeptic is no none but a Cartesian external-world skeptic. None of those readings find textual support or are compatible with the very structure of the first Critique. The question is: Does this mean that TD aims only to undermine empiricism, as Guyer suggests? I do not believe so. I am pretty convinced that TD addresses a peculiar form of global skepticism, namely “Hume’s challenge to reason.” Assuming that we cognize (erkennen) and experience (erfahren) appearances as objects as a requirement of Newtonian physics, TD aims to provide a justification of the principle that nature is uniform that is superior to Hume’s justification. (shrink)

Throughout this paper my objective will be to establish and clarify Hume's original intentions in his discussion of causation in Book I of the Treatise. I will show that Hume's views on ontology, presented in Part IV of that book, shed light on his views on causation as presented in Part III. Further, I will argue that Hume's views on ontology account for the original motivation behind his two definitions of 2 cause. This relationship between Hume's (...) ontology and his account of causation explains something which has baffled Hume scholars for some time,- namely, why does Hume's discussion of causation in I, iii, 14 have such a paradoxical air about it? I will show that Hume's views on causation have a paradoxical air about them because they rest on an ontology of "double existence" - an ontology which Hume describes as the monstrous offspring of two principles, which are contrary to each other, which are both at once embrac'd by the mind, and which are unable mutually to destroy each other (T 215) My interpretation will centre on the following two claims: (i) When Hume wrote Section 14, Of the idea of necessary connexion, he was primarily concerned to attack the view that the origin of our idea of necessity was to be discovered in the operations of matter or bodies. Of the suggested sources from which our idea of necessity could be thought to originate this is the source which, initially, interested Hume the most. It is, therefore, of great importance that we interpret Hume's remarks in light of this fact. (ii) Hume offers the first definition of cause as an account of causation as it exists in the material world independent of our thought and reasoning.He offers the second definition as an account of causation as we find it in our perceptions. It will also be argued, in this context, that necessity constitutes "an essential part" of both of Hume's two definitions of cause. (shrink)

Each of the standard outlooks in the philosophy of perception --phenomenalism, direct realism, indirect realism, scepticism -- has thus been viewed as Hume's own considered position in the eyes of informed commentators. I argue that Hume does not ascribe univocally to any one of the traditional stances in the philosophy of perception, nor does he leave us only a schizophrenic or 'mood' scepticism. Hume attempted to resolve the traditional philosophical problem (or perhaps more accurately, to set it aside on (...) principled grounds) by transforming the issue from one of theoretical consistency to one of pragmatic coherence. Hume's moderate scepticism and his systematic naturalism entail a reflective 'return' to the vulgar (cp. T 223), a qualified normative endorsement of the directly realist beliefs of common life. The interpretive challenge is to understand the subtle nature of that endorsement, and to explain how it arises out of genuinely Humean doctrines. The account offered here attempts both to capture Hume's own considered position and to explain the attractions and shortcomings of each of the competing interpretations. After laying out the elements of Hume's account of perceptual belief (section I), I proceed to examine in some detail two recent attempts to interpret Hume as a realist (sections II-III). I contend that these revisionary accounts ascribe unHumean doctrines to Hume. The interpretation of Hume as an irreducible 'mood' sceptic or as a phenomenalist are in that respect both closer to the mark, but Hume's reflective return to the vulgar has recast the nature of the problem and leaves us with a position that is not reflected in the more traditional interpretations (section IV). (shrink)

Hume’s Letter from a Gentleman is an important document for Hume scholarship because, among other things, it serves as a useful tool for the interpretation and analysis of Hume’s philosophical intentions in the Treatise. The Letter itself, however, raises several difficult problems of interpretation. One of the most important of these concerns the identity of Hume’s “accuser“-the author of A Specimen of the Principles concerning Religion and Morality &c., to which Hume is responding in the Letter. Clearly the interpretation of (...) the Letter, and its relevance to the Treatise, will vary depending on who is identified as the source of the accusations against Hume, and what is made of this person’s motivation and philosophical commitments. The immediate difficulty is that the Specimen is presented anonymously, and thus conjectures must be made about the author on the basis of available evidence. (shrink)

David Hume fancied himself the Newton of the mind, aiming to reinvent the study of human mental life in the same way that Newton had revolutionized physics. And it was his view that the novel account of belief he proposed in his Treatise of Human Nature was one of that work’s central philosophical contributions. From the earliest responses to the Treatise forward, however, there was deep pessimism about the prospects for his account. It is easy to understand the source of (...) this pessimism: The constraints he employed in theorizing stem from his Newtonian ambitions. Constraints such as his copy principle and his decision to rely only on variations in “force and vivacity” for differentiating types of mental states severely limit his available explanatory resources. However, it is one thing to regard an account as untenable, and quite another to understand where it fails. In this paper, I focus on one long-standing objection to Hume’s account — the objection that Hume cannot offer an account of negative belief or denial — as presented by Hume’s contemporary Thomas Reid, as well as more recently by Barry Stroud, and defend Hume from this objection. I argue that Hume both should and does endorse an account of negative belief based in relations of contrariety between contents, rather than between mental activities, and survey the different options available to Hume for spelling out an account of contrary contents. (shrink)

In his Treatise of Human Nature Hume argues for a provocative account of the soul; the soul - or self, as he prefers to call it - is nothing but a bundle of perceptions. But this bold thesis, concedes Hume, gives rise to a predicament concerning two incompatible propositions, or principles as he calls them: one on the nature of perceptions, the other on the capabilities of the mind: "In short, there are two principles, which I cannot render consistent; nor (...) is it in my power to renounce either of them, viz. that all our distinct perceptions are distinct existences, and that the mind never perceives any real connexion among distinct existences". But the situation is not hopeless, thinks Hume. Someone might be able to show that these principles are actually consistent: "Others, perhaps, or myself, upon more mature reflection, may discover some hypothesis, that will reconcile those contradictions". (Treatise 636, my emphasis) My paper is an attempt to throw light on this important component in Hume’s analysis of his account of the self. In the course of our investigation of Hume's suggestion that an hypothesis can resolve his contradiction we will learn more about his conception of a contradiction - ultimately enriching our understanding of his account of the soul. (shrink)

How should we determine the distribution of psychological traits—such as Theory of Mind, episodic memory, and metacognition—throughout the Animal kingdom? Researchers have long worried about the distorting effects of anthropomorphic bias on this comparative project. A purported corrective against this bias was offered as a cornerstone of comparative psychology by C. Lloyd Morgan in his famous “Canon”. Also dangerous, however, is a distinct bias that loads the deck against animal mentality: our tendency to tie the competence criteria for cognitive capacities (...) to an exaggerated sense of typical human performance. I dub this error “anthropofabulation”, since it combines anthropocentrism with confabulation about our own prowess. Anthropofabulation has long distorted the debate about animal minds, but it is a bias that has been little discussed and against which the Canon provides no protection. Luckily, there is a venerable corrective against anthropofabulation: a principle offered long ago by David Hume, which I call “Hume’s Dictum”. In this paper, I argue that Hume’s Dictum deserves a privileged place next to Morgan’s Canon in the methodology of comparative psychology, illustrating my point through a discussion of the debate over Theory of Mind in nonhuman animals. (shrink)

There is a tradition perhaps as old as philosophy itself which sees the rationality of man – and in particular, the rationality of the philosopher - as both his essential and his redeeming characteristic; it can not unfairly be said that the discipline of philosophy at least is characterised by its dependence on reason. In this context, the philosophy of David Hume presents something of a stark challenge: Although interpretations vary as to the extent and nature of his scepticism, one (...) of the themes of his work is the limits and imperfections of human reason and the sceptical concerns this engenders. On Hume's system, reason is not the overlord of the imagination but at least in part subordinate to it, and can discover little or nothing without recourse to experience. -/- My aim here is to pinpoint the true nature of Hume's scepticism regarding reason, drawing chiefly on the Treatise but also to a lesser extent the Enquiry. After a brief overview of his project in the Treatise in section 1, I go on to give an account of Hume's conception of reason or the understanding, and the epistemological distinction between demonstrative and probable reasoning, in section 2. In section 3 I examine Hume's famous argument concerning induction, arguing that to read Hume as a sceptic regarding inference is a mistake and that to say induction is grounded in principles of the imagination is not to say that it is therefore irrational. In section 4 I examine the argument of Treatise 1.4.1, 'Of scepticism with regard to reason', and in section 5 the 'dangerous dilemma' to which it leads Hume in 1.4.7, arguing that whilst his treatment of the issues it raises is somewhat unsatisfactory in this section of the Treatise a better solution can be fashioned by appealing to a distinction between the general and the trivial properties of the imagination drawn elsewhere in both the Treatise and the Enquiry. Then in section 6 I conclude by offering my own attempt at characterising the extent of Hume's scepticism regarding reason, arguing that his “mitigated” scepticism is a scepticism about knowledge but not about belief, and that its chief aim is to ensure that we philosophise only on those subjects which are suitable for enquiry given the limits and frailties of our faculties; the “reflections of common life, methodized and corrected” (Enquiry 12.25, p.208) rather than “divinity” or “school metaphysics” (Enquiry 12.34, p.211). (shrink)

David Hume's famous riddle of induction implies a second problem related to the question of whether the laws and principles of nature might change in the course of time. Claims have been made that modern developments in physics and astrophysics corroborate the translational invariance of the laws of physics in time. However, the appearance of a new general principle of nature, which might not be derivable from the known laws of physics, or that might actually be a non-physical (...) one (this means completely independent of physical science) supports the notion that the course of nature can change in time. Here it is argued that natural selection satisfies the criteria that identify a general principle of nature which so far, appears to be non-derivable from the known laws of physics and therefore, it is likely that it arose in the course of time, thus leaving open again the quest for a true solution to Hume's second problem. (shrink)

There are few notions in philosophy seen more clearly, and in parallel so laden with confusion, than that of space and time. The subjective nature of analyses is most likely to blame. As it stands, a universal agreement has not yet been reached. My position is simply that the mind, when passive, has no qualms with space and time itself, nor is it concerned with its principles. It is only when our passions are ignited, and our judgment is utilized, i.e. (...) when we begin to actively think about space and time, that the notion becomes confounded. Any further digression into semantics of the issue by trying to give a ‘say all end all’ explanation will always lead to a dead end. Both space and time are ideas of an infinite nature and can never be visited manifestly since the mind itself is undeniably finite. (shrink)

This is a commentary on Adrian Heathcote’s interesting paper ‘Hume’s Master Argument’. Heathcote contends that No-Ought-From-Is is primarily a logical thesis, a ban on Is/Ought inferences which Hume derives from the logic of Ockham. NOFI is thus a variation on what Heathcote calls ‘Hume’s Master Argument’, which he also deploys to prove that conclusions about the future (and therefore a-temporal generalizations) cannot be derived by reason from premises about the past, and that conclusions about external objects or other minds cannot (...) be derived by reason from premises about impressions. Heathcote raises an important question. Having (apparently) argued that our inductive inferences are not justified by reason, Hume puts them down to Custom, and seems to suggest that we OUGHT to indulge this propensity but NOt the superstitious propensities that lead to religious belief. (Query: Why is it right to indulge one non-rational propensity but not the others?) Finally Heathcote argues that just as there are valid, but not formally valid, arguments taking us from claims about inferential relations to claims about what we ought to believe, so there may be valid, but not formally valid, arguments taking us from factual claims about some situation to claims about what we ought to do. -/- I reply that Hume does indeed have a Master Argument and that it does rely on logical principles but not on the logic of Ockham which had been largely forgotten by Hume’s day. Instead Hume relies on the idea widely believed in the 18th Century and taught to Hume at Edinburgh by his logic Professor Colin Drummond, that in a logically valid argument the conclusion is contained in the premises. I reconstruct Hume’s Master Argument using this principle. I draw a careful distinction between two theses: 1) that we cannot get from non-moral premises to moral conclusions with the aid of logic alone and 2) that we cannot get from non-moral premises to moral conclusions with aid of analytic bridge principles. Hume believed the first but not the second. What then is the role of NOFI in the larger argument of the Treatise? To show that the truths of ethics cannot be derived via logic from self-evident truths of some other kind and thus that they are not demonstrable. How can we make sense of Hume’s apparent belief that it is sometimes right to transcend reason and sometimes not? In the case of Custom, we live in a world governed by causal regularities, and, in such a world, induction is in fact a fairly reliable belief-forming mechanism. Thus a suitably qualified spectator (one aware of the kind of world we live in) would tend to approve of indulging it, even if it cannot be justified by reason. However, our superstitious propensities are (and can be known to be) unreliable, since they produce different and inconsistent results in different people. Thus it is it is wrong (something a suitably qualified spectator would disapprove of) to indulge the faculty of Superstition. I also take issue with Heathcote’s penchant for valid, but not formally valid, inferences. I supply the missing premises for Heathcote’s Is/Ought inferences and argue that they are either not true or not necessary. (shrink)

The subject of this essay-based dissertation is Hume’s natural philosophy. The dissertation consists of four separate essays and an introduction. These essays do not only treat Hume’s views on the topic of natural philosophy, but his views are placed into a broader context of history of philosophy and science, physics in particular. The introductory section outlines the historical context, shows how the individual essays are connected, expounds what kind of research methodology has been used, and encapsulates the research contributions of (...) the essays. The first essay treats Newton’s experimentalist methodology in gravity research and its relation to Hume’s causal philosophy. It is argued that Hume does not see the relation of cause and effect as being founded on a priori reasoning, similar to the way in which Newton criticized non-empirical hypotheses about the causal properties of gravity. Contrary to Hume’s rules of causation, the universal law does not include a reference either to contiguity or succession, but Hume accepts it in interpreting the force and the law of gravity instrumentally. The second article considers Newtonian and non-Newtonian elements in Hume more broadly. He is sympathetic to many prominently Newtonian themes in natural philosophy, such as experimentalism, critique of hypotheses, inductive proof, and the critique of Leibnizian principles of sufficient reason and intelligibility. However, Hume is not a Newtonian philosopher in many respects: his conceptions regarding space and time, the vacuum, the specifics of causation, the status of mechanism, and the reality of forces differ markedly from Newton’s related conceptions. The third article focuses on Hume’s Fork and the proper epistemic status of propositions of mixed mathematics. It is shown that the epistemic status of propositions of mixed mathematics, such as those concerning laws of nature, is that of matters of fact. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle. The fourth article analyzes Einstein’s acknowledgement of Hume regarding special relativity. The views of the scientist and the philosopher are juxtaposed, and it is argued that there are two common points to be found in their writings, namely an empiricist theory of ideas and concepts and a relationist ontology regarding space and time. (shrink)

Frank Snare had a puzzle. Noncognitivism implies No-Ought-From-Is but No- Ought-From-Is does not imply non-cognitivism. How then can we derive non-cognitivism from No-Ought-From-Is? Via an abductive argument. If we combine non-cognitivism with the conservativeness of logic (the idea that in a valid argument the conclusion is contained in the premises), this implies No-Ought-From-Is. Hence if No-Ought-From-Is is true, we can arrive at non-cognitivism via an inference to the best explanation. With prescriptivism we can make this argument more precise. I develop (...) an account of imperative consequence that underwrites Hare’s principle that you cannot derive imperatives from indicatives. Thus if moral judgments contain an imperative component, it will be impossible to derive moral conclusions from indicative or non-moral premises. Given this account of imperative consequence, we can explain No-Ought-From-Is without appealing to anything as nebulous as the conservativeness of logic. Hence if No-Ought-From-Is is true, we have an inference to the best explanation for prescriptivism. Both lines of argument face problems from Prior. Given Prior’s counterexamples, No-Ought-From-Is as originally conceived is false. The version that survives is No-Non-Vacuous-Ought-From-Is. But the best explanation of this does not include non-cognitivism. With prescriptivism it is worse. For the version of No-Ought-From-Is that prescriptivism ‘explains’ – that is, the version of No-Ought-From-Is that prescriptivism implies – would exclude Prior’s counter-examples to Autonomy as invalid. But they are not invalid. Thus Prior’s counter-examples to No-Ought-From- Is refute prescriptivism. Thus from 1960 onwards R. M.Hare was a dead philosopher walking. But if non-cognitivism cannot be derived from No-Ought-From-Is, this suggests that it is not what Hume was trying to prove. I argue that what Hume was trying to prove is that moral truths are not demonstrable. To be demonstrable, a proposition must be either self-evident or logically derivable from self-evident propositions. By Treatise 3.1.1.27, Hume had proved to his own satisfaction that no moral propositions are self-evident. That leaves open the possibility that they are logically derivable from self-evident but NON-moral propositions. The point of No-Ought-From-Is was to exclude this possibility. If you cannot logically derive moral conclusions from non-moral premises, you cannot demonstrate the truths of morality by deriving them from self-evident but NON-moral truths. I also discuss why Hume abandoned No-Ought-From-Is in the EPM. He had no need of it since he thought he had a proof that (with some exceptions) no nontrivial truths are demonstrable. Hence no non-trivial MORAL truths are demonstrable. No-Ought-From-Is drops out as unnecessary. (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

In his bold and excellent book on Hume's scientific methodology, David Landy positions himself between the "Deductive-Nomological" reading, which explains particular phenomena in terms of empirical regularities, and the "New Hume" position, which considers empirical regularities to be the explananda and unknowable essences the explanans. Landy sides with the New Humeans, except that for him the essences, or "theoretical posits," are knowable. These essences become knowable, despite their being in principle unobservable, through the tool of "perceptible models." Landy (...) argues that "theoretical posits are only possible via the deployment of a perceptible model," and he explains that perceptual models allow us to... (shrink)

I argue that No-Ought-From-Is (in the sense that I believe it) is a relatively trivial affair. Of course, when people try to derive substantive or non-vacuous moral conclusions from non-moral premises, they are making a mistake. But No-Non-Vacuous-Ought-From-Is is meta-ethically inert. It tells us nothing about the nature of the moral concepts. It neither refutes naturalism nor supports non-cognitivism. And this is not very surprising since it is merely an instance of an updated version of the conservativeness of logic (in (...) a logically valid inference you don’t get out what you haven’t put in): so long as the expressions F are non-logical, you cannot get non-vacuous F-conclusions from non-F premises. However, the triviality of No-Non-Vacuous-Ought-From-Is is important and its non-profundity profound. No-Ought-From-Is is widely supposed to tell us something significant about the nature of the moral concepts. If, in fact, it tells us nothing, this is a point well worth shouting from the housetops. This brings me to my dispute with Gerhard Schurz who has proved a related version of No-Ought-From-Is, No-Ought-Relevant-Ought-From-Is, a proof which relaxes my assumption that ‘ought’ should not be treated as a logical constant. But if ought is not a logical expression then it does not really matter much that No-Ought-From-Is would be salvageable even if it were. Furthermore, Schurz’s proof depends on special features of the moral concepts and this might afford the basis for an abductive argument to something like non-cognitivism. As an error theorist, and therefore a cognitivist, I object. Finally I take a dim view of deontic logic. Many of its leading principles are false, bordering on the nonsensical, and even the reasonably plausible ones are subject to devastating counter-examples. (shrink)

Modern Hume scholarship is still divided into two major camps when it comes to the issue of causation. There are those scholars who interpret Hume as a causal anti-realist, and there are those who interpret him as a causal realist. In my paper, I argue that there is an overwhelming amount of evidence – especially textual evidence – that should lead us to read Hume as being a causal anti-realist. That is to say, one who believes that cause and effect (...) relations are felt and known in the mind of the perceiver alone; not in objects themselves. I then attempt to settle, at least partially, the ‘two definitions of cause dispute’ that was brought about by Hume’s giving us not one, but two non-equivalent and non-substitutable definitions of the cause and effect relation. (shrink)

One of the interpretive principles Jay Garfield follows in this book is the “cover principle”: “If you are unsure about what Hume is doing, close the book and read the cover”. The principle did not help when I was unsure about what Garfield was doing. The book starts with too many and incompatible goals. Garfield claims that book 2 of Hume’s Treatise is foundational to the entire Treatise and that “by taking Book II as foundational, we come to (...) a reading that reconciles Hume’s skepticism and his naturalism, and that the key to this reconciliation is his communitarianism”. But Garfield also insists that we should read the Treatise “as an early text in cognitive science”. He also maintains that Hume... (shrink)

David Hume, a leading Scottish Enlightenment philosopher using empirical investigation, examines and explains his view on human nature, society, and morality in A Treatise of Human Nature (Treatise) and in An Enquiry Concerning the Principles of Morals (Enquiry). In Dr. Jekyll and Mr. Hyde (Jekyll and Hyde), Robert Louis Stevenson draws from the Enlightenment’s empirical explorations in the study of the individual and society, to tell a story examining human nature.

Gideon Rosen and Robert Schwartzkopff have independently suggested (variants of) the following claim, which is a varian of Hume's Principle: -/- When the number of Fs is identical to the number of Gs, this fact is grounded by the fact that there is a one-to-one correspondence between the Fs and Gs. -/- My paper is a detailed critique of the proposal. I don't find any decisive refutation of the proposal. At the same time, it has some consequences which (...) many will find objectionable. (shrink)

It is important in its own right to determine what conception of mutual disinterest Rawls has in mind at the various junctions in the text. Furthermore, disambiguating this notion counters a common objection that there is no reason to accept principles of justice that are chosen by rational egoists. The persons in Rawls' OP are not rational egoists. Rather, in identifying with the token persons in society they make the actual interests of the token persons into their ends and they (...) know that they are choosing principles of justice for a society in which moderate selfishness reigns. But this is very remote from stipulating a selfish disposition for the persons in the OP. Hence, the objection is contingent on a natural misreading of Rawls' notion of mutual disinterest and can be readily dispelled by disambiguating this notion into a motivational and an epistemic constraint on the OP. (shrink)

Hume’s Treatise, with its celebrated bundle theory of the self, is a significant contribution to the embryonic Newtonian experimental philosophy of the enlightenment. But the theory is inadequate as it stands, as the appendix to the Treatise makes clear. For this account of the self, apparently, rests on contradictory principles — propositions, fortunately, that can be reconciled, according to Hume. My paper is a critical exploration of Hume’s argument for this intriguing suggestion.

Hume’s critique of traditional abstraction entails a result that undercuts his account of the idea of identity. To save his account of identity, Hume would have to accept abstraction as well. What links these two discussions is (1) Hume’s widely shared assumption that traditional abstraction is separating in the mind what are inseparable in reality, (2) his principle that what are different are mentally separable, and (3) his principle that we cannot conceive of the impossible. Given these, it (...) will turn out that abstraction is mentally separating something from itself, which will entail that abstraction is conceiving of something as distinct from itself. But it is impossible for something to be distinct from itself, and so it is inconceivable. Therefore abstraction is impossible. Yet consider Hume’s account of the idea of identity. On that account, to conceive of an identity is to conceive of something as one single thing viewed one way and as two distinct things viewed another. How we can take these opposing views of the same thing is a problem that I’ve termed Hume’s Difficulty concerning Identity. It will turn out that we can take the opposing views only if we can conceive of the single thing viewed one way as somehow distinct from itself when viewed the other way. That is, we must be able to conceive of something as distinct from itself. However, if we cannot conceive of something as distinct from itself when abstracting, then we cannot do it when conceiving of an identity. So traditional abstraction and Hume’s account of the idea of identity stand or fall together. (shrink)

This chapter overviews Hume’s thoughts on the nature and role of imagining and focusses primarily on three important distinctions that Hume draws among our conscious mental episodes: (i) between impressions and ideas; (ii) between ideas of the memory and ideas of the imagination; and (iii), among the ideas of the imagination, between ideas of the judgement and ideas of the fancy. In addition, the chapter considers Hume’s views on the imagination as a faculty of producing ideas, as well as on (...) the part that imagining plays in the acquisition of modal knowledge and in the comprehension of, and resistance to, false or fictional opinions. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume's Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one‐to‐one:. The principal aim of this article is to use the notion of grounding to (...) develop this sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of metaphysical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege's Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

This paper provides epistemological support for one of Hume’s numerous critiques of the teleological arguments for God’s existence. Hume explores the following question: can we explain the observed harmony of the universe without appealing to the work of an intelligent creator? The answer, presented through the character of Philo, appears to be positive. I will try to defend this position. Following Hume’s theory of space, and exploring the relation between ideas of the whole and relation, I will show the universe (...) can be seen as finite space with definite numbers of parts which are spatially and causally interconnected. Because all changes occur on the basis of Hume’s principle of causation, we can say the harmony of the universe is established and maintained precisely because of the changes happening on the basis of causation. If this is the case, the role of the intelligent creator appears to be redundant. (shrink)

David Hume is an ardent supporter of the practice of religions toleration. For Hume, toleration forms part of the background that makes progress in philosophy possible, and it accounts for the superiority of philosophical thought in England in the eighteenth century. As he puts it in the introduction to the Treatise: “the improvements in reason and philosophy can only be owing to a land of toleration and of liberty” (T Intro.7; SBN xvii).1 Similarly, the narrator of part 11 of the (...) First Enquiry comments: -/- Our conversation began with my admiring the singular good fortune of philosophy, which, as it requires entire liberty above all other privileges, and chiefly flourishes from the free opposition of sentiments and argu­ mentation, received its first birth in an age and country of freedom and toleration. (EHU 11.2; SBN 132) -/- The toleration to which Hume refers is broader than religious toleration, but in the context of the eighteenth century, religious toleration is clearly the paradigm case. Indeed, religious toleration represents one of the key accomplishments of the culminating event of Hume’s History of England: the Glorious Revolution of 1688. -/- Yet even though religious toleration forms the background of philosophy in general—or perhaps just because it does so—Hume offers precious few arguments for it, and they are, for the most part, given implicitly rather than as formal argu­ ments. Nevertheless, we can distinguish three different, though interrelated, lines of support for toleration in Hume’s thought: (i) an argument based on a general skepticism; (ii) an argument based on a contempt for organized religion; and (iii) a pragmatic argument based on the need for peace and orderly government. From our point of view, what is striking about all of these argument is how un-Lockean they are: Hume does not rely on the idea of a fundamental conceptual separation of church and state, nor on a natural right to freedom of conscience that character­izes writers working in the Lockean tradition. However, of the arguments he gives, only the last, I will argue, has any hope to provide a useful case for toleration. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it (...) isn’t. In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

Hume introduced important innovations concerning the theory of ideas. The two most important are the distinction between impressions and ideas, and the use he made of the principles of association in explaining mental phenomena. Hume divided the perceptions of the mind into two classes. The members of one class, impressions, he held to have a greater degree of force and vivacity than the members of the other class, ideas. He also supposed that ideas are causally dependent copies of impressions. And, (...) unlike Locke and others, Hume makes positive use of the principle of association, both of the association of ideas, and, in a more limited way, of the association of impressions. Such associations are central to his explanations of causal reasoning, belief, the indirect passions (pride and humility, love and hatred), and sympathy. These views about impressions and ideas and the principles of association form the core of Hume’s science of human nature. Relying on them, he attempts a rigorously empirical investigation of human nature. The resulting system is a remarkable but complex achievement. (shrink)

The paper advances the hypothesis that David Hume’s philosophy explains the corporeal dimension of the self, particularly, one’s belief in a body as being ‘her own body’, as a part of one’s self, in light of three different perspectives: through the operations of the imagination, the associative principles and the perception of mental and physical parallel states; through the occurrence of certain passions in the mind, particularly, pride, humility, and self-interest which direct one’s attention to a body that is felt (...) to be her own body; through the consciousness of the ability of the will to guide the power of moving certain parts of the body. Finally, it is argued that the mental phenomenon of belief in one's own body is a mutual construction of the human mind, that is, it is produced simultaneously by intellectual, affective, and volitional operations. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

In an Enquiry Concerning Human Understanding, Hume distinguishes between two approaches to what we might call psychology: first, one that appeals to common sense to make virtue seem attractive and second one that attempts to describe the principles governing the mind. Within the second approach, he distinguishes two parts: first, a descriptive branch he calls ‘mental geography’ and, second, a branch he compares to Newton’s project in astronomy. I explain the Hume’s vision of Newtonian psychology, and then I explain its (...) application to Hume’s psychological theory in the first Enquiry. Hume’s attempt to explain causal inference in Part 2 of Section 5 is shown to be an attempt at Newtonian psychology: it’s speculative, explanatory, and attempts to enunciate a psychological law. The paper closes by asking whether Hume succeeded in his attempt to put psychology on Newtonian foundations. (shrink)

In Dialogues Concerning Natural Religion, Hume (1779/1993) appeals to his account of causation (among other things) to undermine certain arguments for the existence of God. If 'anything can cause anything', as Hume claims, then the Principle of Causal Adequacy is false; and if the Principle of Causal Adequacy is false, then any argument for God's existence that relies on that principle fails. Of course, Hume's critique has been influential. But Hume's account of causation undermines the (...) argument from evil at least as much as it undermines arguments for theism, or so I argue. I then suggest that Hume's account of causation can be used to formulate an alternative argument against classical theism. (shrink)

The aim of this paper is to take a fresh look at a discussion about the distinct existences argument that took place between David Armstrong and Frank Jackson more than fifty years ago. I will try to show that Armstrong’s argument can be successfully defended against Jackson’s objections (albeit at the price of certain concessions concerning Armstrong’s view on the meaning of psychological terms as well as his conception of universals). Focusing on two counterexamples that Jackson put forward against Hume’s (...) principle (which is central to Armstrong’s argument), I will argue that they are either compatible with Hume’s principle, or imply a false claim. I will also look at several other considerations that go against Hume’s principle, such as, for example, Kripke’s origin essentialism and counterexamples from aposteriori necessity. (shrink)

This paper concerns the investigation of some speciñc possible relation between Rev. John Gay’s and David Hume’s moral theories. In the part, Gay’s thought is reconstructed trying to show his relatively neglected central role in the utilitarian tradition. From a close scrutiny of Gay’s criticisms to Hutcheson's moral theory it is possible to show how the author, Working on lockean views of language and psychology, have constructed in the moral branch an specifically utilitarian theoretical framework. In the second part, it (...) is argued in favor of a certain continuity between Gay’s and Hume’s moral thought. The comparison of the Rev. John Gay’s Dissertation concerning the fundamental principle ofthe virtue or morality with Hume’s books II and III of A Treatise of human Nature reveals similarities which support the hypothesis, chronologically possible, that Hume was inspired or perhaps influenced by the reading of Gay's Dissertation. As matter of conclusion it is suggested that Hume’s Tïeatise paragraph about “is” and “ought” is somehow related to Gay's Dissertation paragraph in which We can read “...some things and actions are apt to produce pleasure, others pain; some are convenient, other inconvenient for a society; some are for the good of mankind; others tend to detriment of it; therefore those are to be chosen which tend to the good of mankind, the others to be avoided.”. (shrink)

This is the original, longer draft for my entry on Hume in the 'The Routledge Hand- book of Philosophy of Imagination', edited by Amy Kind and published by Routledge in 2016 (see the separate entry). — Please always cite the Routledge version, unless there are passages concerned that did not make it into the Handbook for reasons of length. — -/- This chapter overviews Hume’s thoughts on the nature and the role of imagining, with an almost exclusive focus on the (...) first book of his Treatise of Human Nature. Over the course of this text, Hume draws and discusses three important distinctions among our conscious mental episodes (or what he calls ‘perceptions’): (i) between impressions (including perceptual experiences) and ideas (including recollections, imaginings and occurrent beliefs); (ii) between ideas of the memory and ideas of the imagination; and (iii), among the ideas of the imagination, between ideas of the judgement (i.e. occurrent beliefs) and ideas of the fancy (i.e. imaginings). I discuss each distinction in turn, also in connection to contemporary views on imagining. In addition, I briefly consider Hume’s views on the imagination as a faculty aimed at the production of ideas, as well as on the role that imagining plays in the wider context of our mental lives, notably in the acquisition of modal knowledge and in the comprehension of, and resistance to, stories and opinions that we take to be false or fictional. (shrink)

A core commitment of Bob Hale and Crispin Wright’s neologicism is their invocation of Frege’s Constraint—roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization. According to these neologicists, if legitimate, Frege’s Constraint adjudicates in favor of their preferred foundation—Hume’s Principle—and against alternatives, such as the Dedekind–Peano axioms. In this paper, we consider a recent argument for legitimating Frege’s Constraint due to Hale, according to which the primary empirical application (...) of the naturals is transitive counting, or answering ‘how many’-questions using numerals. We make two claims regarding Hale’s argument. First, it fails to legitimate Frege’s Constraint in virtue of resting on unsupported and highly contentious assumptions. Secondly, even if sound, Hale’s argument would vindicate a version of Frege’s Constraint which fails to adjudicate in favor of Hume’s Principle over alternative characterizations of the naturals. (shrink)

Is a logicist bound to the claim that as a matter of analytic truth there is an actual infinity of objects? If Hume’s Principle is analytic then in the standard setting the answer appears to be yes. Hodes’s work pointed to a way out by offering a modal picture in which only a potential infinity was posited. However, this project was abandoned due to apparent failures of cross-world predication. We re-explore this idea and discover that in the setting of (...) the potential infinite one can interpret first-order Peano arithmetic, but not second-order Peano arithmetic. We conclude that in order for the logicist to weaken the metaphysically loaded claim of necessary actual infinities, they must also weaken the mathematics they recover. (shrink)