A priori and a posteriori

Last updated

A priori ('from the earlier') and a posteriori ('from the later') 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, [lower-roman 1] tautologies and deduction from pure reason. [lower-roman 2] A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.

Contents

The terms originate from the analytic methods found in Organon , a collection of works by Aristotle. Prior analytics (a priori) is about deductive logic, which comes from definitions and first principles. Posterior analytics (a posteriori) is about inductive logic, which comes from observational evidence.

Both terms appear in Euclid's Elements and were popularized by Immanuel Kant's Critique of Pure Reason , an influential work in the history of philosophy. [1] Both terms are primarily used as modifiers to the noun knowledge (i.e., a priori knowledge). A priori can be used to modify other nouns such as truth. Philosophers may use apriority, apriorist and aprioricity as nouns referring to the quality of being a priori. [2]

Examples

A priori

Consider the proposition: "If George V reigned at least four days, then he reigned more than three days." This is something that one knows a priori because it expresses a statement that one can derive by reason alone.

A posteriori

Consider the proposition: "George V reigned from 1910 to 1936." This is something that (if true) one must come to know a posteriori because it expresses an empirical fact unknowable by reason alone.

Aprioricity, analyticity and necessity

Relation to the analytic–synthetic distinction

Several philosophers, in reaction to Immanuel Kant, sought to explain a priori knowledge without appealing to, as Paul Boghossian explains, "a special faculty [intuition] ... that has never been described in satisfactory terms." [3] One theory, popular among the logical positivists of the early 20th century, is what Boghossian calls the "analytic explanation of the a priori." [3] The distinction between analytic and synthetic propositions was first introduced by Kant. While his original distinction was primarily drawn in terms of conceptual containment, the contemporary version of such distinction primarily involves, as American philosopher W. V. O. Quine put it, the notions of "true by virtue of meanings and independently of fact." [4]

Analytic propositions are considered true by virtue of their meaning alone, while a posteriori propositions by virtue of their meaning and of certain facts about the world. According to the analytic explanation of the a priori, all a priori knowledge is analytic; so a priori knowledge need not require a special faculty of pure intuition, since it can be accounted for simply by one's ability to understand the meaning of the proposition in question. More simply, proponents of this explanation claimed to have reduced a dubious metaphysical faculty of pure reason to a legitimate linguistic notion of analyticity.

The analytic explanation of a priori knowledge has undergone several criticisms. Most notably, Quine argues that the analytic–synthetic distinction is illegitimate: [5]

But for all its a priori reasonableness, a boundary between analytic and synthetic statements simply has not been drawn. That there is such a distinction to be drawn at all is an unempirical dogma of empiricists, a metaphysical article of faith.

While the soundness of Quine's critique is highly disputed,[ citation needed ] it had a powerful effect on the project of explaining the a priori in terms of the analytic.

Relation to the necessary truths and contingent truths

The metaphysical distinction between necessary and contingent truths has also been related to a priori and a posteriori knowledge.

A proposition that is necessarily true is one in which its negation is self-contradictory; it is true in every possible world. For example, considering the proposition "all bachelors are unmarried:" its negation (i.e. the proposition that some bachelors are married) is incoherent due to the concept of being unmarried (or the meaning of the word "unmarried") being tied to part of the concept of being a bachelor (or part of the definition of the word "bachelor"). To the extent that contradictions are impossible, self-contradictory propositions are necessarily false as it is impossible for them to be true. The negation of a self-contradictory proposition is, therefore, supposed to be necessarily true.

By contrast, a proposition that is contingently true is one in which its negation is not self-contradictory. Thus, it is said not to be true in every possible world. As Jason Baehr suggests, it seems plausible that all necessary propositions are known a priori, because "[s]ense experience can tell us only about the actual world and hence about what is the case; it can say nothing about what must or must not be the case." [6]

Following Kant, some philosophers have considered the relationship between aprioricity, analyticity and necessity to be extremely close. According to Jerry Fodor, "positivism, in particular, took it for granted that a priori truths must be necessary." [7] Since Kant, the distinction between analytic and synthetic propositions has slightly changed. Analytic propositions were largely taken to be "true by virtue of meanings and independently of fact", [4] while synthetic propositions were not—one must conduct some sort of empirical investigation, looking to the world, to determine the truth-value of synthetic propositions.

Separation

Aprioricity, analyticity and necessity have since been more clearly separated from each other. American philosopher Saul Kripke (1972), for example, provides strong arguments against this position, whereby he contends that there are necessary a posteriori truths. For example, the proposition that water is H2O (if it is true): According to Kripke, this statement is both necessarily true, because water and H2O are the same thing, they are identical in every possible world, and truths of identity are logically necessary; and a posteriori, because it is known only through empirical investigation. Following such considerations of Kripke and others (see Hilary Putnam), philosophers tend to distinguish the notion of aprioricity more clearly from that of necessity and analyticity.

Kripke's definitions of these terms diverge in subtle ways from Kant's. Taking these differences into account, Kripke's controversial analysis of naming as contingent and a priori would, according to Stephen Palmquist, best fit into Kant's epistemological framework by calling it "analytic a posteriori." [lower-roman 3] Aaron Sloman presented a brief defence of Kant's three distinctions (analytic/synthetic, apriori/empirical and necessary/contingent), in that it did not assume "possible world semantics" for the third distinction, merely that some part of this world might have been different. [8]

The relationship between aprioricity, necessity and analyticity is not easy to discern. Most philosophers at least seem to agree that while the various distinctions may overlap, the notions are clearly not identical: the a priori/a posteriori distinction is epistemological; the analytic/synthetic distinction is linguistic; and the necessary/contingent distinction is metaphysical. [9]

History

Early uses

The term a priori is Latin for 'from what comes before' (or, less literally, 'from first principles, before experience'). In contrast, the term a posteriori is Latin for 'from what comes later' (or 'after experience').

They appear in Latin translations of Euclid's Elements , a work widely considered during the early European modern period as the model for precise thinking.

An early philosophical use of what might be considered a notion of a priori knowledge (though not called by that name) is Plato's theory of recollection, related in the dialogue Meno , according to which something like a priori knowledge is knowledge inherent, intrinsic in the human mind.[ citation needed ]

Albert of Saxony, a 14th-century logician, wrote on both a priori and a posteriori. [10]

The early modern Thomistic philosopher John Sergeant differentiates the terms by the direction of inference regarding proper causes and effects. To demonstrate something a priori is to "Demonstrate Proper Effects from Proper Efficient Causes" and likewise to demonstrate a posteriori is to demonstrate "Proper Efficient Causes from Proper Effects", according to his 1696 work The Method to Science Book III, Lesson IV, Section 7.

G. W. Leibniz introduced a distinction between a priori and a posteriori criteria for the possibility of a notion in his (1684) short treatise "Meditations on Knowledge, Truth, and Ideas". [11] A priori and a posteriori arguments for the existence of God appear in his Monadology (1714). [11]

George Berkeley outlined the distinction in his 1710 work A Treatise Concerning the Principles of Human Knowledge (para. XXI).

Immanuel Kant

The 18th-century German philosopher Immanuel Kant (1781) advocated a blend of rationalist and empiricist theories. Kant says, "Although all our cognition begins with experience, it does not follow that it arises from [is caused by] experience." [12] According to Kant, a priori cognition is transcendental, or based on the form of all possible experience, while a posteriori cognition is empirical, based on the content of experience: [12]

It is quite possible that our empirical knowledge is a compound of that which we receive through impressions, and that which the faculty of cognition supplies from itself sensuous impressions [sense data] giving merely the occasion [opportunity for a cause to produce its effect].

Contrary to contemporary usages of the term, Kant believes that a priori knowledge is not entirely independent of the content of experience. Unlike the rationalists, Kant thinks that a priori cognition, in its pure form, that is without the admixture of any empirical content, is limited to the deduction of the conditions of possible experience. These a priori, or transcendental, conditions are seated in one's cognitive faculties, and are not provided by experience in general or any experience in particular (although an argument exists that a priori intuitions can be "triggered" by experience).

Kant nominated and explored the possibility of a transcendental logic with which to consider the deduction of the a priori in its pure form. Space, time and causality are considered pure a priori intuitions. Kant reasoned that the pure a priori intuitions are established via his transcendental aesthetic and transcendental logic. He claimed that the human subject would not have the kind of experience that it has were these a priori forms not in some way constitutive of him as a human subject. For instance, a person would not experience the world as an orderly, rule-governed place unless time, space and causality were determinant functions in the form of perceptual faculties, i. e., there can be no experience in general without space, time or causality as particular determinants thereon. The claim is more formally known as Kant's transcendental deduction and it is the central argument of his major work, the Critique of Pure Reason . The transcendental deduction argues that time, space and causality are ideal as much as real. In consideration of a possible logic of the a priori, this most famous of Kant's deductions has made the successful attempt in the case for the fact of subjectivity, what constitutes subjectivity and what relation it holds with objectivity and the empirical.

Johann Fichte

After Kant's death, a number of philosophers saw themselves as correcting and expanding his philosophy, leading to the various forms of German Idealism. One of these philosophers was Johann Fichte. His student (and critic), Arthur Schopenhauer, accused him of rejecting the distinction between a priori and a posteriori knowledge:

... Fichte who, because the thing-in-itself had just been discredited, at once prepared a system without any thing-in-itself. Consequently, he rejected the assumption of anything that was not through and through merely our representation, and therefore let the knowing subject be all in all or at any rate produce everything from its own resources. For this purpose, he at once did away with the essential and most meritorious part of the Kantian doctrine, the distinction between a priori and a posteriori and thus that between the phenomenon and the thing-in-itself. For he declared everything to be a priori, naturally without any evidence for such a monstrous assertion; instead of these, he gave sophisms and even crazy sham demonstrations whose absurdity was concealed under the mask of profundity and of the incomprehensibility ostensibly arising therefrom. Moreover, he appealed boldly and openly to intellectual intuition, that is, really to inspiration.

Schopenhauer, Parerga and Paralipomena , Vol. I, §13

See also

Related Research Articles

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:

  1. The philosophical analysis of the nature of knowledge and the conditions required for a belief to constitute knowledge, such as truth and justification
  2. Potential sources of knowledge and justified belief, such as perception, reason, memory, and testimony
  3. The structure of a body of knowledge or justified belief, including whether all justified beliefs must be derived from justified foundational beliefs or whether justification requires only a coherent set of beliefs
  4. Philosophical scepticism, which questions the possibility of knowledge, and related problems, such as whether scepticism poses a threat to our ordinary knowledge claims and whether it is possible to refute sceptical arguments
<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. It is one of several competing views within epistemology, along with rationalism and skepticism. 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", "father of modern aesthetics" and, by bringing together rationalism and empiricism, the "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.

<span class="mw-page-title-main">Saul Kripke</span> American philosopher and logician (1940–2022)

Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Kripke is considered one of the most important philosophers of the latter half of the 20th century. Since the 1960s, he has been a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.

In philosophy, rationalism is the epistemological view that "regards reason as the chief source and test of knowledge" or "any view appealing to reason as a source of knowledge or justification", often in contrast to other possible sources of knowledge such as faith, tradition, or sensory experience. More formally, rationalism is defined as a methodology or a theory "in which the criterion of truth is not sensory but intellectual and deductive".

In philosophy, a noumenon is knowledge posited as an object that exists independently of human sense. The term noumenon is generally used in contrast with, or in relation to, the term phenomenon, which refers to any object of the senses. Immanuel Kant first developed the notion of the noumenon as part of his transcendental idealism, suggesting that while we know the noumenal world to exist because human sensibility is merely receptive, it is not itself sensible and must therefore remain otherwise unknowable to us. In Kantian philosophy, the noumenon is often associated with the unknowable "thing-in-itself". However, the nature of the relationship between the two is not made explicit in Kant's work, and remains a subject of debate among Kant scholars as a result.

Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences and plays a role in various other fields, like epistemology and law.

<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.

<span class="mw-page-title-main">Hume's fork</span>

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." 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.

<span class="mw-page-title-main">Transcendental idealism</span> Philosophical system founded by Immanuel Kant

Transcendental idealism is a philosophical system founded by German philosopher Immanuel Kant in the 18th century. Kant's epistemological program is found throughout his Critique of Pure Reason (1781). By transcendental Kant means that his philosophical approach to knowledge transcends mere consideration of sensory evidence and requires an understanding of the mind's innate modes of processing that sensory evidence.

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.

<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.

<span class="mw-page-title-main">Schema (Kant)</span> Rule by which a concept is associated with a sensory input in Kantianism

In Kantian philosophy, a transcendental schema is the procedural rule by which a category or pure, non-empirical concept is associated with a sense impression. A private, subjective intuition is thereby discursively thought to be a representation of an external object. Transcendental schemata are supposedly produced by the imagination in relation to time.

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.

Transcendental humanism in philosophy considers humans as simultaneously the originator of meaning, and subject to a larger ultimate truth that exists beyond the human realm (transcendence). The philosophy suggests that the humanistic approach is guided by “accuracy, truth, discovery, and objectivity” that transcends or exists apart from subjectivity.

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 prioria posteriori distinction.

References

Notes

  1. Some associationist philosophers have contended that mathematics comes from experience and is not a form of any a priori knowledge (Macleod 2016)
  2. Galen Strawson has stated that an a priori argument is one in which "you can see that it is true just lying on your couch. You don't have to get up off your couch and go outside and examine the way things are in the physical world. You don't have to do any science." (Sommers 2003)
  3. In this pair of articles, Stephen Palmquist demonstrates that the context often determines how a particular proposition should be classified. A proposition that is synthetic a posteriori in one context might be analytic a priori in another. (Palmquist 1987b , pp. 269, 273)

Citations

Sources

  • Baehr, Jason S. (2006). "A Priori and A Posteriori". Internet Encyclopedia of Philosophy.
  • Bird, Graham (1995). Honderich, Ted (ed.). The Oxford Companion to Philosophy. Oxford: Oxford University Press. ISBN   0-19-866132-0.
  • Boghossian, Paul Artin (2003) [1997]. "14: Analyticity". In Hale, Bob; Wright, Crispin (eds.). A Companion to the Philosophy of Language. Blackwell Companions to Philosophy. Malden, MA: Blackwell Publishing. ISBN   978-0631213260.
  • Fodor, Jerry (1998). Concepts: Where Cognitive Science Went Wrong. New York, NY: Oxford University Press. ISBN   978-0198236368.
  • Hoiberg, Dale H., ed. (2010). "a priori knowledge". Encyclopædia Britannica, Vol. I: A-Ak – Bayes (15th ed.). Chicago, Illinois. ISBN   978-1-59339-837-8.{{cite encyclopedia}}: CS1 maint: location missing publisher (link)
  • Kant, Immanuel (1781). Kritik der reinen Vernunft [Critique of Pure Reason]. Im Insel-Verlag.
  • Kitcher, Philip (2001). "A Priori Knowledge Revisited". In Boghossian, Paul; Peacocke, Christopher (eds.). New Essays on the A Priori. Oxford, England: Oxford University Press. ISBN   978-0199241279.[ failed verification ]
  • Look, Brandon C. (22 December 2007). "Gottfried Wilhelm Leibniz". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy (Spring 2020 ed.). Retrieved 22 May 2020 via Metaphysics Research Lab, Stanford University.
  • Macleod, Christopher (25 August 2016). "John Stuart Mill". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy (Summer 2020 ed.) via Metaphysics Research Lab, Stanford University.
  • Palmquist, Stephen (December 1987b). "A Priori Knowledge in Perspective: (II) Naming, Necessity and the Analytic A Posteriori". The Review of Metaphysics. 41 (2): 255–282.
  • Quine, Willard Van Orman (1951). "Two Dogmas of Empiricism". The Philosophical Review. 60 (1): 20–43. doi:10.2307/2181906. JSTOR   2181906.
  • Sloman, A. (1 October 1965). "'Necessary', 'a priori' and 'analytic'". Analysis. 26 (1): 12–16. doi:10.1093/analys/26.1.12. S2CID   17118371.
  • Sommers, Tamler (March 2003). Jarman, Casey (ed.). "Galen Strawson (interview)". Believer Magazine. San Francisco, CA: McSweeney's McMullens. 1 (1). Retrieved 10 July 2013.

Further reading