Epistemology (/ɪˌpɪstɪˈmɒlədʒi/ (listen); from Greek, Modern ἐπιστήμη, epistēmē, meaning 'knowledge', and λόγος, logos, meaning 'the study of [a certain subject]') is the branch of philosophy concerned with the theory of knowledge.
Epistemology is the study of the nature of knowledge, justification, and the rationality of belief. Much debate in epistemology centers on four areas: (1) the philosophical analysis of the nature of knowledge and how it relates to such concepts as truth, belief, and justification, (2) various problems of skepticism, (3) the sources and scope of knowledge and justified belief, and (4) the criteria for knowledge and justification. Epistemology addresses such questions as: "What makes justified beliefs justified?", "What does it mean to say that we know something?", and fundamentally "How do we know that we know?"
Skepticism questions whether knowledge is possible at all. Skeptics argue that belief in something does not justify whether or not it is necessarily true. Characterizing knowledge as strong or weak is dependent on a person's viewpoint and their characterization of knowledge. Much of our knowledge on epistemology is derived from, in particular, rational and philosophical skepticism. 
The evil demon skepticism described by Descartes (previously known from Plato's cave; with an updated version from sci-fi literature describing it as the brain in a vat) supposes that our sensors have been placed under the control of some external power such as a demon, mad scientist, etc. As such, everything we see is a fake, and we can never know anything about the 'real' world inhabited by the demon or mad scientist. Even if these external powers do not exist, we still must depend on only the information provided by our senses and can therefore make no definite statement about anything beyond that information.
Skeptics oppose what they sometimes call dogmatic foundationalism, which states that there must be some basic positions that are self-justified or beyond justification without reference to others. (One example of such foundationalism may be found in Spinoza's Ethics.) The skeptical response to this can take several approaches. First, claiming that "basic positions" must exist amounts to the logical fallacy of argument from ignorance combined with the slippery slope.
Among other arguments, skeptics used Agrippa's trilemma, named after Agrippa the Skeptic, to claim certain belief could be achieved. Foundationalists have used the same trilemma argument as justification for demanding the validity of basic beliefs.
This skeptical approach is rarely taken to its pyrrhonean extreme by most practitioners. Several modifications have arisen over the years, including the following :
Fictionalism would not claim to have knowledge but adheres to conclusions on some criterion such as utility, aesthetics, or other personal criteria without claiming that any conclusion is actually "true".
Philosophical fideism (as opposed to religious Fideism) would assert the truth of some propositions, but does so without asserting certainty.
Some forms of pragmatism would accept utility as a provisional guide to truth but not necessarily a universal decision-maker.
There are two different categories of epistemological skepticism, which can be referred to as "mitigated" and "unmitigated" skepticism. The two forms are contrasting but are still true forms of skepticism. Mitigated skepticism does not accept "strong" or "strict" knowledge claims but does, however, approve specific weaker ones. These weaker claims can be assigned the title of "virtual knowledge", but only to justified beliefs. Unmitigated skepticism rejects both claims of virtual knowledge and strong knowledge. Characterizing knowledge as strong, weak, virtual or genuine can be determined differently depending on a person's viewpoint as well as their characterization of knowledge.
In mathematics, it is known that 2 + 2 = 4, but there is also knowing how to add two numbers, and knowing a person (e.g., knowing other persons, or knowing oneself), place (e.g., one's hometown), thing (e.g., cars), or activity (e.g., addition). Some philosophers think there is an important distinction between "knowing that" (know a concept), "knowing how" (understand an operation), and "acquaintance-knowledge" (know by relation), with epistemology being primarily concerned with the first of these.
While these distinctions are not explicit in English, they are defined explicitly in other languages (N.B. some languages related to English have been said to retain these verbs, e.g. Scots: wit and ken). In French, Portuguese, Spanish, German and Dutch 'to know (a person)' is translated using connaître, conhecer, conocer and kennen (both German and Dutch) respectively, whereas 'to know (how to do something)' is translated using savoir, saber (both Portuguese and Spanish), wissen, and weten. Modern Greek has the verbs γνωρίζω (gnorízo) and ξέρω (kséro). Italian has the verbs conoscere and sapere and the nouns for 'knowledge' are conoscenza and sapienza. German has the verbs wissen and kennen; the former implies knowing a fact, the latter knowing in the sense of being acquainted with and having a working knowledge of; there is also a noun derived from kennen, namely Erkennen, which has been said to imply knowledge in the form of recognition or acknowledgment. The verb itself implies a process: you have to go from one state to another, from a state of "not-erkennen" to a state of true erkennen. This verb seems the most appropriate in terms of describing the "episteme" in one of the modern European languages, hence the German name "Erkenntnistheorie". The theoretical interpretation and significance of these linguistic issues remains controversial.
In his paper On Denoting and his later book Problems of Philosophy Bertrand Russell stressed the distinction between "knowledge by description" and "knowledge by acquaintance". Gilbert Ryle is also credited with stressing the distinction between knowing how and knowing that in The Concept of Mind. In Personal Knowledge, Michael Polanyi argues for the epistemological relevance of knowledge how and knowledge that; using the example of the act of balance involved in riding a bicycle, he suggests that the theoretical knowledge of the physics involved in maintaining a state of balance cannot substitute for the practical knowledge of how to ride, and that it is important to understand how both are established and grounded. This position is essentially Ryle's, who argued that a failure to acknowledge the distinction between knowledge that and knowledge how leads to infinite regress.
In recent times, epistemologists including Sosa, Greco, Kvanvig, Zagzebski and Duncan Pritchard have argued that epistemology should evaluate people's "properties" (i.e., intellectual virtues) and not just the properties of propositions or of propositional mental attitudes.
In common speech, a "statement of belief" is typically an expression of faith or trust in a person, power or other entity—while it includes such traditional views, epistemology is also concerned with what we believe. This includes 'the' truth, and everything else we accept as 'true' for ourselves from a cognitive point of view.
Whether someone's belief is true is not a prerequisite for (its) belief. On the other hand, if something is actually known, then it categorically cannot be false. For example, if a person believes that a bridge is safe enough to support her, and attempts to cross it, but the bridge then collapses under her weight, it could be said that she believed that the bridge was safe but that her belief was mistaken. It would not be accurate to say that she knew that the bridge was safe, because plainly it was not. By contrast, if the bridge actually supported her weight, then the person might say that she had believed the bridge was safe, whereas now, after proving it to herself (by crossing it), she knows it was safe.
Epistemologists argue over whether belief is the proper truth-bearer. Some would rather describe knowledge as a system of justified true propositions, and others as a system of justified true sentences. Plato, in his Gorgias, argues that belief is the most commonly invoked truth-bearer.
In the Theaetetus, Socrates considers a number of theories as to what knowledge is, the last being that knowledge is true belief "with an account" (meaning explained or defined in some way). According to the theory that knowledge is justified true belief, to know that a given proposition is true, one must not only believe the relevant true proposition, but also have a good reason for doing so. One implication of this would be that no one would gain knowledge just by believing something that happened to be true. For example, an ill person with no medical training, but with a generally optimistic attitude, might believe that he will recover from his illness quickly. Nevertheless, even if this belief turned out to be true, the patient would not have known that he would get well since his belief lacked justification.
The definition of knowledge as justified true belief was widely accepted until the 1960s. At this time, a paper written by the American philosopher Edmund Gettier provoked major widespread discussion. (See theories of justification for other views on the idea.)
Edmund Gettier is best known for his 1963 paper entitled Is Justified True Belief Knowledge?, which called into question the theory of knowledge that had been dominant among philosophers for thousands of years.  This in turn called into question the actual value of philosophy if such an obvious and easy counterexample to a major theory could exist without anyone noticing it for thousands of years. In a few pages, Gettier argued that there are situations in which one's belief may be justified and true, yet fail to count as knowledge. That is, Gettier contended that while justified belief in a true proposition is necessary for that proposition to be known, it is not sufficient. As in the diagram, a true proposition can be believed by an individual (purple region) but still not fall within the "knowledge" category (yellow region).
According to Gettier, there are certain circumstances in which one does not have knowledge, even when all of the above conditions are met. Gettier proposed two thought experiments, which have become known as Gettier cases, as counterexamples to the classical account of knowledge. One of the cases involves two men, Smith and Jones, who are awaiting the results of their applications for the same job. Each man has ten coins in his pocket. Smith has excellent reasons to believe that Jones will get the job and, furthermore, knows that Jones has ten coins in his pocket (he recently counted them). From this Smith infers, "The man who will get the job has ten coins in his pocket." However, Smith is unaware that he also has ten coins in his own pocket. Furthermore, Smith, not Jones, is going to get the job. While Smith has strong evidence to believe that Jones will get the job, he is wrong. Smith has a justified true belief that the man who will get the job has ten coins in his pocket; however, according to Gettier, Smith does not know that the man who will get the job has ten coins in his pocket, because Smith's belief is "...true by virtue of the number of coins in Jones's pocket, while Smith does not know how many coins are in Smith's pocket, and bases his belief...on a count of the coins in Jones's pocket, whom he falsely believes to be the man who will get the job." (see p. 122.) These cases fail to be knowledge because the subject's belief is justified, but only happens to be true by virtue of luck. In other words, he made the correct choice (believing that the man who will get the job has ten coins in his pocket) for the wrong reasons. This example is similar to those often given when discussing belief and truth—wherein a person's belief of what will happen can coincidentally be correct without the actual knowledge to base it on.
The responses to Gettier have been varied. Usually, they have involved substantial attempts to provide a definition of knowledge different from the classical one, either by recasting knowledge as justified true belief with some additional fourth condition, or proposing a completely new set of conditions, disregarding the classical ones entirely.
In one response to Gettier, the American philosopher Richard Kirkham has argued that the only definition of knowledge that could ever be immune to all counterexamples is the infallibilist one. To qualify as an item of knowledge, goes the theory, a belief must not only be true and justified, the justification of the belief must necessitate its truth. In other words, the justification for the belief must be infallible.
Yet another possible candidate for the fourth condition of knowledge is indefeasibility. Defeasibility theory maintains that there should be no overriding or defeating truths for the reasons that justify one's belief. For example, suppose that person S believes he saw Tom Grabit steal a book from the library and uses this to justify the claim that Tom Grabit stole a book from the library. A possible defeater or overriding proposition for such a claim could be a true proposition like, "Tom Grabit's identical twin Sam is currently in the same town as Tom." When no defeaters of one's justification exist, a subject would be epistemologically justified.
The Indian philosopher B.K. Matilal has drawn on the Navya-Nyāya fallibilism tradition to respond to the Gettier problem. Nyaya theory distinguishes between know p and know that one knows p—these are different events, with different causal conditions. The second level is a sort of implicit inference that usually follows immediately the episode of knowing p (knowledge simpliciter). The Gettier case is examined by referring to a view of Gangesha Upadhyaya (late 12th century), who takes any true belief to be knowledge; thus a true belief acquired through a wrong route may just be regarded as knowledge simpliciter on this view. The question of justification arises only at the second level, when one considers the knowledge-hood of the acquired belief. Initially, there is lack of uncertainty, so it becomes a true belief. But at the very next moment, when the hearer is about to embark upon the venture of knowing whether he knows p, doubts may arise. "If, in some Gettier-like cases, I am wrong in my inference about the knowledge-hood of the given occurrent belief (for the evidence may be pseudo-evidence), then I am mistaken about the truth of my belief—and this is in accordance with Nyaya fallibilism: not all knowledge-claims can be sustained."
Reliabilism has been a significant line of response to the Gettier problem among philosophers, originating with work by Alvin Goldman in the 1960s. According to reliabilism, a belief is justified (or otherwise supported in such a way as to count towards knowledge) only if it is produced by processes that typically yield a sufficiently high ratio of true to false beliefs. In other words, this theory states that a true belief counts as knowledge only if it is produced by a reliable belief-forming process. Examples of reliable processes include: standard perceptual processes, remembering, good reasoning, and introspection.
Reliabilism has been challenged by Gettier cases. Another argument that challenges reliabilism, like the Gettier cases (although it was not presented in the same short article as the Gettier cases), is the case of Henry and the barn façades. In the thought experiment, a man, Henry, is driving along and sees a number of buildings that resemble barns. Based on his perception of one of these, he concludes that he has just seen barns. While he has seen one, and the perception he based his belief that the one he saw was of a real barn, all the other barn-like buildings he saw were façades. Theoretically, Henry does not know that he has seen a barn, despite both his belief that he has seen one being true and his belief being formed on the basis of a reliable process (i.e. his vision), since he only acquired his true belief by accident.
Robert Nozick has offered the following definition of knowledge: S knows that P if and only if:
Nozick argues that the third of these conditions serves to address cases of the sort described by Gettier. Nozick further claims this condition addresses a case of the sort described by D.M. Armstrong: A father believes his daughter innocent of committing a particular crime, both because of faith in his baby girl and (now) because he has seen presented in the courtroom a conclusive demonstration of his daughter's innocence. His belief via the method of the courtroom satisfies the four subjunctive conditions, but his faith-based belief does not. If his daughter were guilty, he would still believe her innocent, on the basis of faith in his daughter; this would violate the third condition.
The British philosopher Simon Blackburn has criticized this formulation by suggesting that we do not want to accept as knowledge beliefs, which, while they "track the truth" (as Nozick's account requires), are not held for appropriate reasons. He says that "we do not want to award the title of knowing something to someone who is only meeting the conditions through a defect, flaw, or failure, compared with someone else who is not meeting the conditions." In addition to this, externalist accounts of knowledge, such as Nozick's, are often forced to reject closure in cases where it is intuitively valid.
Timothy Williamson has advanced a theory of knowledge according to which knowledge is not justified true belief plus some extra condition(s), but primary. In his book Knowledge and its Limits, Williamson argues that the concept of knowledge cannot be broken down into a set of other concepts through analysis—instead, it is sui generis. Thus, according to Williamson, justification, truth, and belief are necessary but not sufficient for knowledge.
A central debate about the nature of justification is a debate between epistemological externalists on the one hand, and epistemological internalists on the other.
Externalists hold that factors deemed "external", meaning outside of the psychological states of those who gain knowledge, can be conditions of justification. For example, an externalist response to the Gettier problem is to say that for a justified true belief to count as knowledge, there must be a link or dependency between the belief and the state of the external world. Usually this is understood to be a causal link. Such causation, to the extent that it is "outside" the mind, would count as an external, knowledge-yielding condition. Internalists, on the other hand, assert that all knowledge-yielding conditions are within the psychological states of those who gain knowledge.
Though unfamiliar with the internalist/externalist debate himself, many point to René Descartes as an early example of the internalist path to justification. He wrote that, because the only method by which we perceive the external world is through our senses, and that, because the senses are not infallible, we should not consider our concept of knowledge infallible. The only way to find anything that could be described as "indubitably true", he advocates, would be to see things "clearly and distinctly". He argued that if there is an omnipotent, good being who made the world, then it's reasonable to believe that people are made with the ability to know. However, this does not mean that man's ability to know is perfect. God gave man the ability to know but not with omniscience. Descartes said that man must use his capacities for knowledge correctly and carefully through methodological doubt.
The dictum "Cogito ergo sum" (I think, therefore I am) is also commonly associated with Descartes' theory. In his own methodological doubt—doubting everything he previously knew so he could start from a blank slate—the first thing that he could not logically bring himself to doubt was his own existence: "I do not exist" would be a contradiction in terms. The act of saying that one does not exist assumes that someone must be making the statement in the first place. Descartes could doubt his senses, his body, and the world around him—but he could not deny his own existence, because he was able to doubt and must exist to manifest that doubt. Even if some "evil genius" were deceiving him, he would have to exist to be deceived. This one sure point provided him with what he called his Archimedean point, in order to further develop his foundation for knowledge. Simply put, Descartes' epistemological justification depended on his indubitable belief in his own existence and his clear and distinct knowledge of God.
We generally assume that knowledge is more valuable than mere true belief. If so, what is the explanation? A formulation of the value problem in epistemology first occurs in Plato's Meno. Socrates points out to Meno that a man who knew the way to Larissa could lead others there correctly. But so, too, could a man who had true beliefs about how to get there, even if he had not gone there or had any knowledge of Larissa. Socrates says that it seems that both knowledge and true opinion can guide action. Meno then wonders why knowledge is valued more than true belief and why knowledge and true belief are different. Socrates responds that knowledge is more valuable than mere true belief because it is tethered or justified. Justification, or working out the reason for a true belief, locks down true belief.
The problem is to identify what (if anything) makes knowledge more valuable than mere true belief, or that makes knowledge more valuable than a more minimal conjunction of its components, such as justification, safety, sensitivity, statistical likelihood, and anti-Gettier conditions, on a particular analysis of knowledge that conceives of knowledge as divided into components (to which knowledge-first epistemological theories, which posit knowledge as fundamental, are notable exceptions). The value problem reemerged in the philosophical literature on epistemology in the twenty-first century following the rise of virtue epistemology in the 1980s, partly because of the obvious link to the concept of value in ethics.
The value problem has been presented as an argument against epistemic reliabilism by philosophers including Linda Zagzebski, Wayne Riggs and Richard Swinburne. Zagzebski analogizes the value of knowledge to the value of espresso produced by an espresso maker: "The liquid in this cup is not improved by the fact that it comes from a reliable espresso maker. If the espresso tastes good, it makes no difference if it comes from an unreliable machine." For Zagzebski, the value of knowledge deflates to the value of mere true belief. She assumes that reliability in itself has no value or disvalue, but Goldman and Olsson disagree. They point out that Zagzebski's conclusion rests on the assumption of veritism: all that matters is the acquisition of true belief. To the contrary, they argue that a reliable process for acquiring a true belief adds value to the mere true belief by making it more likely that future beliefs of a similar kind will be true. By analogy, having a reliable espresso maker that produced a good cup of espresso would be more valuable than having an unreliable one that luckily produced a good cup because the reliable one would more likely produce good future cups compared to the unreliable one.
The value problem is important to assessing the adequacy of theories of knowledge that conceive of knowledge as consisting of true belief and other components. According to Kvanvig, an adequate account of knowledge should resist counterexamples and allow an explanation of the value of knowledge over mere true belief. Should a theory of knowledge fail to do so, it would prove inadequate.
One of the more influential responses to the problem is that knowledge is not particularly valuable and is not what ought to be the main focus of epistemology. Instead, epistemologists ought to focus on other mental states, such as understanding. Advocates of virtue epistemology have argued that the value of knowledge comes from an internal relationship between the knower and the mental state of believing.
The nature of this distinction has been disputed by various philosophers; however, the terms may be roughly defined as follows:
A priori knowledge is a way of gaining knowledge without the need of experience. In Bruce Russell's article "A Priori Justification and Knowledge" he says that it is "knowledge based on a priori justification," (1) which relies on intuition and the nature of these intuitions. A priori knowledge is often contrasted with posteriori knowledge, which is knowledge gained by experience. A way to look at the difference between the two is through an example. Bruce Russell gives two propositions in which the reader decides which one he believes more. Option A: All crows are birds. Option B: All crows are black. If you believe option A, then you are a priori justified in believing it because you don't have to see a crow to know it's a bird. If you believe in option B, then you are posteriori justified to believe it because you have seen many crows therefore knowing they are black. He goes on to say that it doesn't matter if the statement is true or not, only that if you believe in one or the other that matters.
The idea of a priori knowledge is that it is based on intuition or rational insights. Laurence BonJour says in his article "The Structure of Empirical Knowledge", that a "rational insight is an immediate, non-inferential grasp, apprehension or 'seeing' that some proposition is necessarily true." (3) Going back to the crow example, by Laurence BonJour's definition the reason you would believe in option A is because you have an immediate knowledge that a crow is a bird, without ever experiencing one.
Evolutionary psychology takes a novel approach to the problem. It says that there is an innate predisposition for certain types of learning. "Only small parts of the brain resemble a tabula rasa; this is true even for human beings. The remainder is more like an exposed negative waiting to be dipped into a developer fluid".
Immanuel Kant, in his Critique of Pure Reason, drew a distinction between "analytic" and "synthetic" propositions. He contended that some propositions are such that we can know they are true just by understanding their meaning. For example, consider, "My father's brother is my uncle." We can know it is true solely by virtue of our understanding in what its terms mean. Philosophers call such propositions analytic". Synthetic propositions, on the other hand, have distinct subjects and predicates. An example would be, "My father's brother has black hair." Kant stated that all mathematical and scientific statements are analytic priori propositions because they are necessarily true but our knowledge about the attributes of the mathematical or physical subjects we can only get by logical inference.
The American philosopher Willard Van Orman Quine, in his Two Dogmas of Empiricism, famously challenged the distinction, arguing that the two have a blurry boundary. Some contemporary philosophers have offered more sustainable accounts of the distinction.
Science is viewed as a refined, formalized, systematic, or institutionalized form of the pursuit and acquisition of empirical knowledge. As such, the philosophy of science may be viewed variously as an application or foundation of the philosophy of knowledge acquisition.
The regress problem is the problem of providing a complete logical foundation for human knowledge. The traditional way of supporting a rational argument is to appeal to other rational arguments, typically using chains of reason and rules of logic. A classic example that goes back to Aristotle is deducing that Socrates is mortal. We have a logical rule that says All humans are mortal and an assertion that Socrates is human and we deduce that Socrates is mortal. In this example how do we know that Socrates is human? Presumably we apply other rules such as: All born from human females are human. Which then leaves open the question how do we know that all born from humans are human? This is the regress problem: how can we eventually terminate a logical argument with some statement(s) that do not require further justification but can still be considered rational and justified? As John Pollock stated:
... to justify a belief one must appeal to a further justified belief. This means that one of two things can be the case. Either there are some beliefs that we can be justified for holding, without being able to justify them on the basis of any other belief, or else for each justified belief there is an infinite regress of (potential) justification [the nebula theory]. On this theory there is no rock bottom of justification. Justification just meanders in and out through our network of beliefs, stopping nowhere.
The apparent impossibility of completing an infinite chain of reasoning is thought by some to support skepticism. It is also the impetus for Descartes' famous dictum: I think, therefore I am. Descartes was looking for some logical statement that could be true without appeal to other statements.
Many epistemologists studying justification have attempted to argue for various types of chains of reasoning that can escape the regress problem.
Foundationalists respond to the regress problem by asserting that certain "foundations" or "basic beliefs" support other beliefs but do not themselves require justification from other beliefs. These beliefs might be justified because they are self-evident, infallible, or derive from reliable cognitive mechanisms. Perception, memory, and a priori intuition are often considered possible examples of basic beliefs.
The chief criticism of foundationalism is that if a belief is not supported by other beliefs, accepting it may be arbitrary or unjustified.
Another response to the regress problem is coherentism, which is the rejection of the assumption that the regress proceeds according to a pattern of linear justification. To avoid the charge of circularity, coherentists hold that an individual belief is justified circularly by the way it fits together (coheres) with the rest of the belief system of which it is a part. This theory has the advantage of avoiding the infinite regress without claiming special, possibly arbitrary status for some particular class of beliefs. Yet, since a system can be coherent while also being wrong, coherentists face the difficulty of ensuring that the whole system corresponds to reality. Additionally, most logicians agree that any argument that is circular is trivially valid. That is, to be illuminating, arguments must be linear with conclusions that follow from stated premises.
However, Warburton writes in 'Thinking from A to Z', "Circular arguments are not invalid; in other words, from a logical point of view there is nothing intrinsically wrong with them. However, they are, when viciously circular, spectacularly uninformative. (Warburton 1996)."
A position known as foundherentism, advanced by Susan Haack, is meant to unify foundationalism and coherentism. One component of this theory is what is called the "analogy of the crossword puzzle." Whereas, for example, infinitists regard the regress of reasons as "shaped" like a single line, Susan Haack has argued that it is more like a crossword puzzle, with multiple lines mutually supporting each other.
An alternative resolution to the regress problem is known as "infinitism". Infinitists take the infinite series to be merely potential, in the sense that an individual may have indefinitely many reasons available to them, without having consciously thought through all of these reasons when the need arises. This position is motivated in part by the desire to avoid what is seen as the arbitrariness and circularity of its chief competitors, foundationalism and coherentism.
The word epistemology is derived from the ancient Greek epistēmē meaning "knowledge" and the suffix -logy, meaning "logical discourse" (derived from the Greek word logos meaning "discourse"). It is analogue to the German Wissenschaftslehre (literally, theory of science) which was introduced by philosophers Johann Fichte and Bernard Bolzano in the late 18th century. The word first appeared in English in 1847 as a translation of the German in New York's Eclectic Magazine review of a philosophical novel by German author Jean Paul:
The title of one of the principal works of Fichte is ′Wissenschaftslehre,′ which, after the analogy of technology ... we render epistemology.
This section of the science is properly termed the Epistemology—the doctrine or theory of knowing, just as ontology is the science of being... It answers the general question, ‘What is knowing and the known?’—or more shortly, ‘What is knowledge?’
French philosophers then gave the term épistémologie a narrower meaning as philosophy of science. E.g., Émile Meyerson opened his Identity and Reality, written in 1908, with the remark that the word 'is becoming current' as equivalent to 'the philosophy of the sciences.'
The idea of epistemology predates the word. John Locke describes his Essay Concerning Human Understanding (1689) as an inquiry "into the original, certainty, and extent of HUMAN KNOWLEDGE, together with the grounds and degrees of BELIEF, OPINION, and ASSENT". According to Brett Warren, the character Epistemon in King James VI of Scotland's Daemonologie (1591) "was meant to be a personification of a philosophical concept currently known as ‘epistemology’: the investigation into the differences of a justified belief versus its opinion."
The historical study of philosophical epistemology is the historical study of efforts to gain philosophical understanding or knowledge of the nature and scope of human knowledge. Since efforts to get that kind of understanding have a history, the questions philosophical epistemology asks today about human knowledge are not necessarily the same as they once were. But that does not mean that philosophical epistemology is itself a historical subject, or that it pursues only or even primarily historical understanding.
In philosophy, empiricism is generally a theory of knowledge focusing on the role of experience, especially experience based on perceptual observations by the senses. Certain forms exempt disciplines such as mathematics and logic from these requirements.
There are many variants of empiricism: positivism, realism and common sense being among the most commonly expounded. But central to all empiricist epistemologies is the notion of the epistemologically privileged status of sense data.
Many idealists believe that knowledge is primarily (at least in some areas) acquired by a priori processes or is innate—for example, in the form of concepts not derived from experience. The relevant theoretical processes often go by the name "intuition". The relevant theoretical concepts may purportedly be part of the structure of the human mind (as in Kant's theory of transcendental idealism), or they may be said to exist independently of the mind (as in Plato's theory of Forms).
By contrast with empiricism and idealism, which centres around the epistemologically privileged status of sense data (empirical) and the primacy of Reason (theoretical) respectively, modern rationalism adds a third 'system of thinking', (as Gaston Bachelard has termed these areas) and holds that all three are of equal importance: The empirical, the theoretical and the abstract. For Bachelard, rationalism makes equal reference to all three systems of thinking.
Constructivism is a view in philosophy according to which all "knowledge is a compilation of human-made constructions", "not the neutral discovery of an objective truth". Whereas objectivism is concerned with the "object of our knowledge", constructivism emphasizes "how we construct knowledge". Constructivism proposes new definitions for knowledge and truth that form a new paradigm, based on inter-subjectivity instead of the classical objectivity, and on viability instead of truth. Piagetian constructivism, however, believes in objectivity—constructs can be validated through experimentation. The constructivist point of view is pragmatic; as Vico said: "The norm of the truth is to have made it."
Pragmatism is an empiricist epistemology formulated by Charles Sanders Peirce, William James, and John Dewey, which understands truth as that which is practically applicable in the world. Peirce formulates the maxim: 'Consider what effects, that might conceivably have practical bearings, we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object.' This suggests that we are to analyse ideas and objects in the world for their practical value. This is in contrast to any correspondence theory of truth that holds that what is true is what corresponds to an external reality. William James suggests that through a pragmatist epistemology 'Theories thus become instruments, not answers to enigmas in which we can rest.' A more contemporary understanding of pragmatism was developed by the philosopher Richard Rorty who proposed that values were historically contingent and dependent upon their utility within a given historical period.
Closely related to Pragmatism, naturalized epistemology considers the evolutionary role of knowledge for agents living and evolving in the world. It de-emphasizes the questions around justification and truth, and instead asks, empirically, what beliefs should agents hold in order to survive. It suggests a more empirical approach to the subject as a whole—leaving behind philosophical definitions and consistency arguments, and instead using psychological methods to study and understand how knowledge actually forms and is used in the natural world. As such it does not attempt to answer the analytic questions of traditional epistemology but replace them with new empirical ones.
Indian philosophical schools such as the Hindu Nyaya, and Carvaka, and later, the Jain and Buddhist philosophical schools, developed an epistemological tradition termed "pramana" independently of the Western philosophical tradition. Pramana can be translated as "instrument of knowledge" and refers to various means or sources of knowledge that Indian philosophers held to be reliable. Each school of Indian philosophy had their own theories about which pramanas were valid means to knowledge and which were unreliable (and why). A Vedic text, Taittirīya Āraṇyaka (c. 9th–6th centuries BCE), lists "four means of attaining correct knowledge": smṛti ("tradition" or "scripture"), pratyakṣa ("perception"), aitihya ("communication by one who is expert", or "tradition), and anumāna ("reasoning" or "inference").
In the Indian traditions, the most widely discussed pramanas are: Pratyakṣa (perception), Anumāṇa (inference), Upamāṇa (comparison and analogy), Arthāpatti (postulation, derivation from circumstances), Anupalabdi (non-perception, negative/cognitive proof) and Śabda (word, testimony of past or present reliable experts). While the Nyaya school (beginning with the Nyāya Sūtras of Gotama, between 6th-century BCE and 2nd-century CE) were a proponent of realism and supported four pramanas (perception, inference, comparison/analogy and testimony), the Buddhist epistemologists (Dignaga and Dharmakirti) generally accepted only perception and inference.
The theory of knowledge of the Buddha in the early Buddhist texts has been interpreted as a form of pragmatism as well as a form of correspondence theory. Likewise, the Buddhist philosopher Dharmakirti has been interpreted both as holding a form of pragmatism or correspondence theory for his view that what is true is what has effective power (arthakriya). The Buddhist Madhyamika school's theory of emptiness (shunyata) meanwhile has been interpreted as a form of philosophical skepticism.
The main Jain contribution to epistemology has been their theory of "many sided-ness" or "multi-perspectivism" (Anekantavada), which says that since the world is multifaceted, any single viewpoint is limited (naya – a partial standpoint). This has been interpreted as a kind of pluralism or perspectivism. According to Jain epistemology, none of the pramanas gives absolute or perfect knowledge since they are each limited points of view.
Skepticism is a position that questions the validity of some or all of human knowledge. Skepticism does not refer to any one specific school of philosophy, rather it is a thread that runs through many philosophical discussions of epistemology. The first well known Greek skeptic was Socrates who claimed that his only knowledge was that he knew nothing with certainty. In Indian philosophy, Sanjaya Belatthiputta was a famous skeptic and the Buddhist Madhyamika school has been seen as taking up a form of skepticism. Descartes' most famous inquiry into mind and body also began as an exercise in skepticism. Descartes began by questioning the validity of all knowledge and looking for some fact that was irrefutable. In so doing, he came to his famous dictum: I think, therefore I am.
Foundationalism and the other responses to the regress problem are essentially defenses against skepticism. Similarly, the pragmatism of William James can be viewed as a coherentist defense against skepticism. James discarded conventional philosophical views of truth and defined truth as based on how well a concept works in a specific context, rather than objective rational criteria. The philosophy of Logical Positivism and the work of philosophers such as Kuhn and Popper can be viewed as skepticism applied to what can truly be considered scientific knowledge.
E*pis`te*mol"o*gy (?), n. [Gr. knowledge + -logy.] The theory or science of the method or grounds of knowledge.
The Latin phrases a priori (lit. "from the earlier") and a posteriori (lit. "from the later") are philosophical terms popularized by Immanuel Kant's Critique of Pure Reason (first published in 1781, second edition in 1787), one of the most influential works in the history of philosophy. However, in their Latin forms they appear in Latin translations of Euclid's Elements, of about 300 BC, a work widely considered during the early European modern period as the model for precise thinking.
These terms are used with respect to reasoning (epistemology) to distinguish "necessary conclusions from first premises" (i.e., what must come before sense observation) from "conclusions based on sense observation" which must follow it. Thus, the two kinds of knowledge, justification, or argument, may be glossed:
A priori knowledge or justification is independent of experience, as with mathematics (3 + 2 = 5), tautologies ("All bachelors are unmarried"), and deduction from pure reason (e.g., ontological proofs).
A posteriori knowledge or justification depends on experience or empirical evidence, as with most aspects of science and personal knowledge.There are many points of view on these two types of knowledge, and their relationship gives rise to one of the oldest problems in modern philosophy.
The terms a priori and a posteriori are primarily used as adjectives to modify the noun "knowledge" (for example, "a priori knowledge"). However, "a priori" is sometimes used to modify other nouns, such as "truth". Philosophers also may use "apriority" and "aprioricity" as nouns to refer (approximately) to the quality of being "a priori".Although definitions and use of the terms have varied in the history of philosophy, they have consistently labeled two separate epistemological notions. See also the related distinctions: deductive/inductive, analytic/synthetic, necessary/contingent.Constructivist epistemology
Constructivist epistemology is a branch in philosophy of science maintaining that scientific knowledge is constructed by the scientific community, who seek to measure and construct models of the natural world. Natural science therefore consists of mental constructs that aim to explain sensory experience and measurements.
According to constructivists, the world is independent of human minds, but knowledge of the world is always a human and social construction. Constructivism opposes the philosophy of objectivism, embracing the belief that a human can come to know the truth about the natural world not mediated by scientific approximations with different degrees of validity and accuracy.
According to constructivists there is no single valid methodology in science, but rather a diversity of useful methods.Empirical evidence
Empirical evidence is the information received by means of the senses, particularly by observation and documentation of patterns and behavior through experimentation. The term comes from the Greek word for experience, ἐμπειρία (empeiría).
After Immanuel Kant, in philosophy, it is common to call the knowledge gained a posteriori knowledge (in contrast to a priori knowledge).Empiricism
In philosophy, empiricism is a theory that states that knowledge comes only or primarily from sensory experience. It is one of several views of epistemology, the study of human knowledge, along with rationalism and skepticism. Empiricism emphasises the role of empirical evidence in the formation of ideas, rather than innate ideas or traditions. However, empiricists may argue that traditions (or customs) arise due to relations of previous sense experiences.Empiricism in the philosophy of science emphasises evidence, especially as discovered in experiments. It is a fundamental part of the scientific method that all hypotheses and theories must be tested against observations of the natural world rather than resting solely on a priori reasoning, intuition, or revelation.
Empiricism, often used by natural scientists, says that "knowledge is based on experience" and that "knowledge is tentative and probabilistic, subject to continued revision and falsification". Empirical research, including experiments and validated measurement tools, guides the scientific method.Feminist epistemology
Feminist epistemology is an examination of the subject matter of epistemology from a feminist standpoint. Elizabeth Anderson describes feminist epistemology as being concerned with the way in which gender influences our concept of knowledge and "practices of inquiry and justification". It is generally regarded as falling under the umbrella of social epistemology.Information source
An information source is a person, thing, or place from which information comes, arises, or is obtained. Information souces can be known as primary or secondary. That source might then inform a person about something or provide knowledge about it. Information sources are divided into separate distinct categories, primary, secondary, tertiary, and so on.Intuition
Intuition is the ability to acquire knowledge without proof, evidence, or conscious reasoning, or without understanding how the knowledge was acquired. Different writers give the word "intuition" a great variety of different meanings, ranging from direct access to unconscious knowledge, unconscious cognition, inner sensing, inner insight to unconscious pattern-recognition and the ability to understand something instinctively, without the need for conscious reasoning.The word intuition comes from the Latin verb intueri translated as "consider" or from the late middle English word intuit, "to contemplate".Jain epistemology
Jainism made its own unique contribution to this mainstream development of philosophy by occupying itself with the basic epistemological issues. According to Jains, knowledge is the essence of the soul. This knowledge is masked by the karmic particles. As the soul obtains knowledge through various means, it does not generate anything new. It only shreds off the knowledge-obscuring karmic particles. According to Jainism, consciousness is a primary attribute of Jīva (soul) and this consciousness manifests itself as darsana (perception) and jnana (knowledge).Knowledge
Knowledge is a familiarity, awareness, or understanding of someone or something, such as facts, information, descriptions, or skills, which is acquired through experience or education by perceiving, discovering, or learning.
Knowledge can refer to a theoretical or practical understanding of a subject. It can be implicit (as with practical skill or expertise) or explicit (as with the theoretical understanding of a subject); it can be more or less formal or systematic. In philosophy, the study of knowledge is called epistemology; the philosopher Plato famously defined knowledge as "justified true belief", though this definition is now thought by some analytic philosophers to be problematic because of the Gettier problems, while others defend the platonic definition. However, several definitions of knowledge and theories to explain it exist.
Knowledge acquisition involves complex cognitive processes: perception, communication, and reasoning; while knowledge is also said to be related to the capacity of acknowledgement in human beings.Meta
Meta (from the Greek meta- μετά- meaning "after" or "beyond") is a prefix used in English to indicate a concept which is an abstraction behind another concept, used to complete or add to the latter.Naturalized epistemology
Naturalized epistemology, coined by W. V. O. Quine, is a collection of philosophic views concerned with the theory of knowledge that emphasize the role of natural scientific methods. This shared emphasis on scientific methods of studying knowledge shifts focus to the empirical processes of knowledge acquisition and away from many traditional philosophical questions. There are noteworthy distinctions within naturalized epistemology. Replacement naturalism maintains that traditional epistemology should be abandoned and replaced with the methodologies of the natural sciences. The general thesis of cooperative naturalism is that traditional epistemology can benefit in its inquiry by using the knowledge we have gained from the cognitive sciences. Substantive naturalism focuses on an asserted equality of facts of knowledge and natural facts.
Objections to naturalized epistemology have targeted features of the general project as well as characteristics of specific versions. Some objectors suggest that natural scientific knowledge cannot be circularly grounded by the knowledge obtained through cognitive science, which is itself a natural science. This objection from circularity has been aimed specifically at strict replacement naturalism. There are similar challenges to substance naturalism that maintain that the substance naturalists' thesis that all facts of knowledge are natural facts is not only circular but fails to accommodate certain facts. Several other objectors have found fault in the inability of naturalized methods to adequately address questions about what value forms of potential knowledge have or lack. Naturalized epistemology is generally opposed to the antipsychologism of Immanuel Kant, Gottlob Frege, Karl Popper, Edmund Husserl and others.Objectivism (Ayn Rand)
Objectivism is a philosophical system developed by Russian-American writer Ayn Rand. Rand first expressed Objectivism in her fiction, most notably The Fountainhead (1943) and Atlas Shrugged (1957), and later in non-fiction essays and books. Leonard Peikoff, a professional philosopher and Rand's designated intellectual heir, later gave it a more formal structure. Rand described Objectivism as "the concept of man as a heroic being, with his own happiness as the moral purpose of his life, with productive achievement as his noblest activity, and reason as his only absolute". Peikoff characterizes Objectivism as a "closed system" that is not subject to change.Objectivism's central tenets are that reality exists independently of consciousness, that human beings have direct contact with reality through sense perception (see Direct and indirect realism), that one can attain objective knowledge from perception through the process of concept formation and inductive logic, that the proper moral purpose of one's life is the pursuit of one's own happiness (see Rational egoism), that the only social system consistent with this morality is one that displays full respect for individual rights embodied in laissez-faire capitalism, and that the role of art in human life is to transform humans' metaphysical ideas by selective reproduction of reality into a physical form—a work of art—that one can comprehend and to which one can respond emotionally.
Academic philosophers have mostly ignored or rejected Rand's philosophy. Nonetheless, Objectivism has been a significant influence among right-libertarians and American conservatives. The Objectivist movement, which Rand founded, attempts to spread her ideas to the public and in academic settings.Objectivity (philosophy)
Objectivity is a philosophical concept of being true independently from individual subjectivity caused by perception, emotions, or imagination. A proposition is considered to have objective truth when its truth conditions are met without bias caused by a sentient subject. Scientific objectivity refers to the ability to judge without partiality or external influence, sometimes used synonymously with neutrality.Opinion
An opinion is a judgment, viewpoint, or statement that is not conclusive.Phenomenon
A phenomenon (Greek: φαινόμενον, phainómenon, from the verb phainein, to show, shine, appear, to be manifest or manifest itself, plural phenomena) is any thing which manifests itself. Phenomena are often, but not always, understood as "things that appear" or "experiences" for a sentient being, or in principle may be so.
The term came into its modern philosophical usage through Immanuel Kant, who contrasted it with the noumenon. In contrast to a phenomenon, a noumenon cannot be directly observed. Kant was heavily influenced by Gottfried Wilhelm Leibniz in this part of his philosophy, in which phenomenon and noumenon serve as interrelated technical terms. Far predating this, the ancient Greek Pyrrhonist philosopher Sextus Empiricus also used phenomenon and noumenon as interrelated technical terms.Reformed epistemology
In the philosophy of religion, Reformed epistemology is a school of philosophical thought concerning the nature of knowledge (epistemology) as it applies to religious beliefs. The central proposition of Reformed epistemology is that beliefs can be justified by more than evidence alone, contrary to the positions of evidentialism, which argues that while belief other than through evidence may be beneficial, it violates some epistemic duty. Central to Reformed epistemology is the proposition that belief in God may be "properly basic" and not need to be inferred from other truths to be rationally warranted. William Lane Craig describes Reformed epistemology as "One of the most significant developments in contemporary Religious Epistemology ... which directly assaults the evidentialist construal of rationality."Alvin Plantinga distinguishes between what he calls de facto from de jure objections to Christian belief. A de facto objection is one that attempts to show that Christian truth claims are false. In contrast, de jure objections attempt to undermine Christian belief even if it is, in fact, true. Plantinga argues that there are no successful objections to Christian belief apart from de facto (fact-based) objections.Reformed epistemology was so named because it represents a continuation of the 16th-century Reformed theology of John Calvin, who postulated a sensus divinitatis, an innate divine awareness of God's presence. More recent influences on reformed epistemology are found in philosopher Nicholas Wolterstorff's Reason within the Bounds of Religion, published in 1976, and Plantinga's "Reason and Belief in God", published in 1983.
Although Plantinga's Reformed epistemology developed over three decades, it was not fully articulated until 1993 with the publication of two books in an eventual trilogy: Warrant: The Current Debate, and Warrant and Proper Function. The third in the series was Warranted Christian Belief, published in 2000. Other prominent defenders of Reformed epistemology include William Lane Craig, William Alston, and Michael C. Rea.Skepticism
Skepticism (American English) or scepticism (British English, Australian English, and Canadian English) is generally any questioning attitude or doubt towards one or more items of putative knowledge or belief. It is often directed at domains, such as the supernatural, morality (moral skepticism), religion (skepticism about the existence of God), or knowledge (skepticism about the possibility of knowledge, or of certainty). Formally, skepticism as a topic occurs in the context of philosophy, particularly epistemology, although it can be applied to any topic such as politics, religion, and pseudoscience.
Philosophical skepticism comes in various forms. Radical forms of skepticism deny that knowledge or rational belief is possible and urge us to suspend judgment on many or all controversial matters. More moderate forms of skepticism claim only that nothing can be known with certainty, or that we can know little or nothing about the "big questions" in life, such as whether God exists or whether there is an afterlife. Religious skepticism is "doubt concerning basic religious principles (such as immortality, providence, and revelation)". Scientific skepticism concerns testing beliefs for reliability, by subjecting them to systematic investigation using the scientific method, to discover empirical evidence for them.Social epistemology
Social epistemology refers to a broad set of approaches that can be taken in the study of knowledge that construes human knowledge as a collective achievement. Another way of characterizing social epistemology is as the evaluation of the social dimensions of knowledge or information. It is sometimes simplified to mean a social justification of belief.One of the enduring difficulties with defining "social epistemology" that arises is the attempt to determine what the word "knowledge" means in this context. There is also a challenge in arriving at a definition of "social" which satisfies academics from different disciplines. Social epistemologists may exist working in many of the disciplines of the humanities and social sciences, most commonly in philosophy and sociology. In addition to marking a distinct movement in traditional and analytic epistemology, social epistemology is associated with the interdisciplinary field of science and technology studies (STS).Vaisheshika
Vaisheshika or Vaiśeṣika (Sanskrit: वैशेषिक) is one of the six orthodox schools of Hindu philosophy (Vedic systems) from ancient India. In its early stages, the Vaiśeṣika was an independent philosophy with its own metaphysics, epistemology, logic, ethics, and soteriology. Over time, the Vaiśeṣika system became similar in its philosophical procedures, ethical conclusions and soteriology to the Nyāya school of Hinduism, but retained its difference in epistemology and metaphysics.
The epistemology of Vaiśeṣika school of Hinduism, like Buddhism, accepted only two reliable means to knowledge: perception and inference. Vaiśeṣika school and Buddhism both consider their respective scriptures as indisputable and valid means to knowledge, the difference being that the scriptures held to be a valid and reliable source by Vaiśeṣikas were the Vedas.
Vaisheshika school is known for its insights in naturalism. It is a form of atomism in natural philosophy. It postulated that all objects in the physical universe are reducible to paramāṇu (atoms), and one's experiences are derived from the interplay of substance (a function of atoms, their number and their spatial arrangements), quality, activity, commonness, particularity and inherence. Everything was composed of atoms, qualities emerged from aggregates of atoms, but the aggregation and nature of these atoms was predetermined by cosmic forces. Ajivika metaphysics included a theory of atoms which was later adapted in Vaiśeṣika school.According to Vaiśeṣika school, knowledge and liberation were achievable by a complete understanding of the world of experience..
Vaiśeṣika darshana was founded by Kaṇāda Kashyapa around the 6th to 2nd century BC.