Hume's fork

Last updated
Hume's fork contrasted with Kant's trident/pitchfork HumesFork KantsTrident.svg
Hume's fork contrasted with Kant's trident/pitchfork

Hume's fork, in epistemology, is a tenet elaborating upon British empiricist philosopher David Hume's emphatic, 1730s division between "relations of ideas" and "matters of fact." [1] [2] (Alternatively, Hume's fork may refer to what is otherwise termed Hume's law , a tenet of ethics.) [3] As phrased in Immanuel Kant's 1780s characterization of Hume's thesis, and furthered in the 1930s by the logical empiricists, Hume's fork asserts that all statements are exclusively either "analytic a priori " or "synthetic a posteriori ," which, respectively, are universally true by mere definition or, however apparently probable, are unknowable without exact experience. [2] [4]

Contents

By Hume's fork, a statement's meaning either is analytic or is synthetic, the statement's truth—its agreement with the real world—either is necessary or is contingent, and the statement's purported knowledge either is a priori or is a posteriori . [1] [4] An analytic statement is true via its terms' meanings alone, hence true by definition, like Bachelors are unmarried, whereas a synthetic statement, concerning external states of affairs, may be false, like Bachelors age badly. [5] By mere logical validity, the necessary is true in all possible worlds, whereas the contingent hinges on the world's state, a metaphysical basis. [5] [6] And the a priori is knowable without, whereas the a posteriori is knowable only upon, experience in the area of interest. [5]

By Hume's fork, sheer conceptual derivations (ostensibly, logic and mathematics), being analytic, are necessary and a priori, whereas assertions of "real existence" and traits, being synthetic, are contingent and a posteriori. [1] [4] Hume's own, simpler, [4] distinction concerned the problem of induction—that no amount of examination of cases will logically entail the conformity of unexamined cases [7] —and supported Hume's aim to position humanism on par with empirical science while combatting allegedly rampant "sophistry and illusion" by philosophers and religionists. [1] [8] Being a transcendental idealist, Kant asserted both the hope of a true metaphysics, and a literal view of Newton's law of universal gravitation by defying Hume's fork to declare the "synthetic a priori." In the 1930s, the logical empiricists staked Hume's fork. [9] Yet in the 1950s, W. V. O Quine undermined its analytic/synthetic distinction. [9] And in the 1970s, Saul Kripke established the necessary a posteriori. Still, Hume's fork is a useful starting point to anchor philosophical scrutiny.

History

Hume's strong empiricism, as in Hume's fork as well as Hume's problem of induction, was taken as a threat to Newton's theory of motion. Immanuel Kant responded with his Transcendental Idealism in his 1781 Critique of Pure Reason , where Kant attributed to the mind a causal role in sensory experience by the mind's aligning the environmental input by arranging those sense data into the experience of space and time. Kant thus reasoned existence of the synthetic a priori—combining meanings of terms with states of facts, yet known true without experience of the particular instance—replacing the two prongs of Hume's fork with a three-pronged-fork thesis (Kant's pitchfork) [10] and thus saving Newton's law of universal gravitation.

In 1919, Newton's theory fell to Einstein's general theory of relativity. In the late 1920s, the logical positivists rejected Kant's synthetic a priori and asserted Hume's fork, so called, while hinging it at language—the analytic/synthetic division—while presuming that by holding to analyticity, they could develop a logical syntax entailing both necessity and aprioricity via logic on one side and, on the other side, demand empirical verification, altogether restricting philosophical discourse to claims verifiable as either false or true. In the early 1950s, Willard Van Orman Quine undermined the analytic/synthetic division by explicating ontological relativity, as every term in any statement has its meaning contingent on a vast network of knowledge and belief, the speaker's conception of the entire world. By the early 1970s, Saul Kripke established the necessary a posteriori, since if the Morning Star and the Evening Star are the same star, they are the same star by necessity, but this is known true by a human only through relevant experience.

Hume's fork remains basic in Anglo-American philosophy. Many deceptions and confusions are foisted by surreptitious or unwitting conversion of a synthetic claim to an analytic claim, rendered true by necessity but merely a tautology, for instance the No true Scotsman move. Simply put, Hume's fork has limitations. Related concerns are Hume's distinction of demonstrative versus probable reasoning [11] [12] and Hume's law. [13] Hume makes other, important two-category distinctions, such as beliefs versus desires and as impressions versus ideas. [14]

Relations of ideas and matters of fact

The first distinction is between two different areas of human study:

All the objects of human reason or enquiry may naturally be divided into two kinds, to wit, relations of ideas, and matters of fact. Of the first kind are the sciences of Geometry, Algebra, and Arithmetic ... [which are] discoverable by the mere operation of thought ... Matters of fact, which are the second object of human reason, are not ascertained in the same manner; nor is our evidence of their truth, however great, of a like nature with the foregoing.
— An Enquiry Concerning Human Understanding [15]

Hume's fork is often stated in such a way that statements are divided up into two types:

In modern terminology, members of the first group are known as analytic propositions and members of the latter as synthetic propositions. This terminology comes from Kant (Introduction to Critique of Pure Reason , Section IV).

Into the first class fall statements such as "all bodies are extended", "all bachelors are unmarried", and ideas of mathematics and logic. Into the second class fall statements like "the sun rises in the morning", and "all bodies have mass".

Hume wants to prove that certainty does not exist in science. First, Hume notes that statements of the second type can never be entirely certain, due to the fallibility of our senses, the possibility of deception (see e.g. the modern brain in a vat theory) and other arguments made by philosophical skeptics. It is always possible that any given statement about the world is false.

Second, Hume claims that our belief in cause-and-effect relationships between events is not grounded on reason, but rather arises merely by habit or custom. Suppose one states: "Whenever someone on earth lets go of a stone it falls." While we can grant that in every instance thus far when a rock was dropped on Earth it went down, this does not make it logically necessary that in the future rocks will fall when in the same circumstances. Things of this nature rely upon the future conforming to the same principles which governed the past. But that isn't something that we can know based on past experience—all past experience could tell us is that in the past, the future has resembled the past.

Third, Hume notes that relations of ideas can be used only to prove other relations of ideas, and mean nothing outside of the context of how they relate to each other, and therefore tell us nothing about the world. Take the statement "An equilateral triangle has three sides of equal length." While some earlier philosophers (most notably Plato and Descartes) held that logical statements such as these contained the most formal reality, since they are always true and unchanging, Hume held that, while true, they contain no formal reality, because the truth of the statements rests on the definitions of the words involved, and not on actual things in the world, since there is no such thing as a true triangle or exact equality of length in the world. So for this reason, relations of ideas cannot be used to prove matters of fact.

The results claimed by Hume as consequences of his fork are drastic. According to him, relations of ideas can be proved with certainty (by using other relations of ideas), however, they don't really mean anything about the world. Since they don't mean anything about the world, relations of ideas cannot be used to prove matters of fact. Because of this, matters of fact have no certainty and therefore cannot be used to prove anything. Only certain things can be used to prove other things for certain, but only things about the world can be used to prove other things about the world. But since we can't cross the fork, nothing is both certain and about the world, only one or the other, and so it is impossible to prove something about the world with certainty.

If accepted, Hume's fork makes it pointless to try to prove the existence of God (for example) as a matter of fact. If God is not literally made up of physical matter, and does not have an observable effect on the world [although virtually all theists believe that God has an observable effect on the world since they believe it is his creation], making a statement about God is not a matter of fact. Therefore, a statement about God must be a relation of ideas. In this case if we prove the statement "God exists," it doesn't really tell us anything about the world; it is just playing with words. It is easy to see how Hume's fork voids the causal argument and the ontological argument for the existence of a non-observable God. However, this does not mean that the validity of Hume's fork would imply that God definitely does not exist, only that it would imply that the existence of God cannot be proven as a matter of fact without worldly evidence.

Hume rejected the idea of any meaningful statement that did not fall into this schema, saying:

If we take in our hand any volume; of divinity or school metaphysics, for instance; let us ask, Does it contain any abstract reasoning concerning quantity or number? No. Does it contain any experimental reasoning concerning matter of fact and existence? No. Commit it then to the flames: for it can contain nothing but sophistry and illusion. [16] — An Enquiry Concerning Human Understanding

Notes

  1. 1 2 3 4 Antony Flew, A Dictionary of Philosophy, rev 2nd edn (New York: St Martin's Press, 1984), p. 156.
  2. 1 2 Georges Dicker, ch. 2 "Hume's theory of knowledge (I): 'Hume's fork' ", Hume's Epistemology and Metaphysics: An Introduction (London & New York: Routledge, 1998), p. 41 introducing Kant's formulation of Hume's fork.
  3. ↑ Nicholas Bunnin & Jiyuan Yu, "Hume's fork", The Blackwell Dictionary of Western Philosophy (Malden, MA: Blackwell Publishing, 2004), p 314.
  4. 1 2 3 4 Georges Dicker, "Hume's fork revisited", History of Philosophy Quarterly , 1991 Oct;8(4):327–342.
  5. 1 2 3 Georges Rey, "The analytic/synthetic distinction", in Edward N. Zalta, ed., Stanford Encyclopedia of Philosophy (Fall 2018).
  6. ↑ Peter van Inwagen & Meghan Sullivan, "Metaphysics", § 3.1 "The problem of metaphysics: The 'new' metaphysics; Modality", in Edward N. Zalta, ed., Stanford Encyclopedia of Philosophy (Spring 2020).
  7. ↑ Leah Henderson, "The problem of induction", sec. 2 "Hume on induction", in Edward N. Zalta, ed., Stanford Encyclopedia of Philosophy (Spring 2020).
  8. ↑ M. A. Box, The Suasive Art of David Hume (Princeton, NJ: Princeton University Press, 1990), pp. 39–41.
  9. 1 2 James Fetzer, "Carl Hempel", in Edward N. Zalta, ed., The Stanford Encyclopedia of Philosophy (Spring 2013).
  10. ↑ Hanna, Robert, Kant and the Foundations of Analytic Philosophy. Clarendon Press, 2004. p. 28.
  11. ↑ Nicholas Bunnin & Jiyuan Yu. "Hume's Fork". Blackwell's Dictionary of Western Philosophy. Blackwell, 2004.
  12. ↑ Garrett Thomson, Bacon to Kant: An Introduction to Modern Philosophy, 2nd Edition, p. 218.
  13. ↑ Nicholas Bunnin and Jiyuan Yu, "Hume's Fork". Blackwell's Dictionary of Western Philosophy. Blackwell, 2004.
  14. ↑ Enquiry Concerning Human Understanding, Section II.
  15. ↑ Enquiry Concerning Human Understanding, Section IV, Part I.
  16. ↑ Hume 1777, p. 166, emphasis removed

Related Research Articles

<i>An Enquiry Concerning Human Understanding</i> 1748 book by David Hume

An Enquiry Concerning Human Understanding is a book by the Scottish empiricist philosopher David Hume, published in English in 1748. It was a revision of an earlier effort, Hume's A Treatise of Human Nature, published anonymously in London in 1739–40. Hume was disappointed with the reception of the Treatise, which "fell dead-born from the press," as he put it, and so tried again to disseminate his more developed ideas to the public by writing a shorter and more polemical work.

In analytic philosophy, anti-realism is a position which encompasses many varieties such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British philosopher Michael Dummett in an argument against a form of realism Dummett saw as 'colorless reductionism'.

<span class="mw-page-title-main">Epistemology</span> Branch of philosophy concerning knowledge

Epistemology is the branch of philosophy concerned with knowledge. Epistemologists study the nature, origin, and scope of knowledge, epistemic justification, the rationality of belief, and various related issues. Debates in contemporary epistemology are generally clustered around four core areas:

<span class="mw-page-title-main">Empiricism</span> Idea that knowledge comes only/mainly from sensory experience

In philosophy, empiricism is an epistemological view which holds that true knowledge or justification comes only or primarily from sensory experience and empirical evidence. It is one of several competing views within epistemology, along with rationalism and skepticism. Empiricists argue that empiricism is a more reliable method of finding the truth than purely using logical reasoning, because humans have cognitive biases and limitations which lead to errors of judgement. Empiricism emphasizes the central role of empirical evidence in the formation of ideas, rather than innate ideas or traditions. Empiricists may argue that traditions arise due to relations of previous sensory experiences.

<span class="mw-page-title-main">Immanuel Kant</span> German philosopher (1724–1804)

Immanuel Kant was a German philosopher and one of the central Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works in epistemology, metaphysics, ethics, and aesthetics have made him one of the most influential and controversial figures in modern Western philosophy, being called the "father of modern ethics", the "father of modern aesthetics", and for bringing together rationalism and empiricism earned the title of "father of modern philosophy".

Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement whose central thesis is the verification principle. This theory of knowledge asserts that only statements verifiable through direct observation or logical proof are meaningful in terms of conveying truth value, information or factual content. Starting in the late 1920s, groups of philosophers, scientists, and mathematicians formed the Berlin Circle and the Vienna Circle, which, in these two cities, would propound the ideas of logical positivism.

<i>Critique of Pure Reason</i> 1781 book by Immanuel Kant

The Critique of Pure Reason is a book by the German philosopher Immanuel Kant, in which the author seeks to determine the limits and scope of metaphysics. Also referred to as Kant's "First Critique", it was followed by his Critique of Practical Reason (1788) and Critique of Judgment (1790). In the preface to the first edition, Kant explains that by a "critique of pure reason" he means a critique "of the faculty of reason in general, in respect of all knowledge after which it may strive independently of all experience" and that he aims to reach a decision about "the possibility or impossibility of metaphysics". The term "critique" is understood to mean a systematic analysis in this context, rather than the colloquial sense of the term.

In philosophy, metaphysical necessity, sometimes called broad logical necessity, is one of many different kinds of necessity, which sits between logical necessity and nomological necessity, in the sense that logical necessity entails metaphysical necessity, but not vice versa, and metaphysical necessity entails physical necessity, but not vice versa. A proposition is said to be necessary if it could not have failed to be the case. Nomological necessity is necessity according to the laws of physics and logical necessity is necessity according to the laws of logic, while metaphysical necessities are necessary in the sense that the world could not possibly have been otherwise. What facts are metaphysically necessary, and on what basis we might view certain facts as metaphysically but not logically necessary are subjects of substantial discussion in contemporary philosophy.

<span class="mw-page-title-main">Absolute idealism</span> Type of idealism in metaphysics

Absolute idealism is chiefly associated with Friedrich Schelling and G. W. F. Hegel, both of whom were German idealist philosophers in the 19th century. The label has also been attached to others such as Josiah Royce, an American philosopher who was greatly influenced by Hegel's work, and the British idealists.

<i>Prolegomena to Any Future Metaphysics</i> 1783 book by Immanuel Kant

Prolegomena to Any Future Metaphysics That Will Be Able to Present Itself as a Science is a book by the German philosopher Immanuel Kant, published in 1783, two years after the first edition of his Critique of Pure Reason. One of Kant's shorter works, it contains a summary of the Critique‘s main conclusions, sometimes by arguments Kant had not used in the Critique. Kant characterizes his more accessible approach here as an "analytic" one, as opposed to the Critique‘s "synthetic" examination of successive faculties of the mind and their principles.

"Critique of the Kantian philosophy" is a criticism Arthur Schopenhauer appended to the first volume of his The World as Will and Representation (1818). He wanted to show Immanuel Kant's errors so that Kant's merits would be appreciated and his achievements furthered.

<i>Language, Truth, and Logic</i> 1936 book by A. J. Ayer

Language, Truth and Logic is a 1936 book about meaning by the philosopher Alfred Jules Ayer, in which the author defines, explains, and argues for the verification principle of logical positivism, sometimes referred to as the criterion of significance or criterion of meaning. Ayer explains how the principle of verifiability may be applied to the problems of philosophy. Language, Truth and Logic brought some of the ideas of the Vienna Circle and the logical empiricists to the attention of the English-speaking world.

Distinction, the fundamental philosophical abstraction, involves the recognition of difference.

The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.

A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.

Inductivism is the traditional and still commonplace philosophy of scientific method to develop scientific theories. Inductivism aims to neutrally observe a domain, infer laws from examined cases—hence, inductive reasoning—and thus objectively discover the sole naturally true theory of the observed.

<i>The Foundations of Arithmetic</i> Book by Gottlob Frege

The Foundations of Arithmetic is a book by Gottlob Frege, published in 1884, which investigates the philosophical foundations of arithmetic. Frege refutes other idealist and materialist theories of number and develops his own platonist theory of numbers. The Grundlagen also helped to motivate Frege's later works in logicism.

In logic, contingency is the feature of a statement making it neither necessary nor impossible. Contingency is a fundamental concept of modal logic. Modal logic concerns the manner, or mode, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction between what is contingent and what is necessary has been challenged since antiquity.

An ontological argument is a philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. More specifically, ontological arguments are commonly conceived a priori in regard to the organization of the universe, whereby, if such organizational structure is true, God must exist.

A posteriori necessity is a thesis in metaphysics and the philosophy of language, that some statements of which we must acquire knowledge a posteriori are also necessarily true. It challenges previously widespread belief that only a priori knowledge can be necessary. It draws on a number of philosophical concepts such as necessity, the causal theory of reference, rigidity, and the a priori–a posteriori distinction.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.