Epistemology

Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called theory of knowledge, it explores different types of knowledge, such as propositional knowledge about facts, practical knowledge in the form of skills, and knowledge by acquaintance as a familiarity through experience. Epistemologists study the concepts of belief, truth, and justification to understand the nature of knowledge. To discover how knowledge arises, they investigate sources of justification, such as perception, introspection, memory, reason, and testimony.

The school of skepticism questions the human ability to attain knowledge while fallibilism says that knowledge is never certain. Empiricists hold that all knowledge comes from sense experience, whereas rationalists believe that some knowledge does not depend on it. Coherentists argue that a belief is justified if it coheres with other beliefs. Foundationalists, by contrast, maintain that the justification of basic beliefs does not depend on other beliefs. Internalism and externalism disagree about whether justification is determined solely by mental states or also by external circumstances.

Separate branches of epistemology are dedicated to knowledge found in specific fields, like scientific, mathematical, moral, and religious knowledge. Naturalized epistemology relies on empirical methods and discoveries, whereas formal epistemology uses formal tools from logic. Social epistemology investigates the communal aspect of knowledge and historical epistemology examines its historical conditions. Epistemology is closely related to psychology, which describes the beliefs people hold, while epistemology studies the norms governing the evaluation of beliefs. It also intersects with fields such as decision theory, education, and anthropology.

Early reflections on the nature, sources, and scope of knowledge are found in ancient Greek, Indian, and Chinese philosophy. The relation between reason and faith was a central topic in the medieval period. The modern era was characterized by the contrasting perspectives of empiricism and rationalism. Epistemologists in the 20th century examined the components, structure, and value of knowledge while integrating insights from the natural sciences and linguistics.

Epistemology is the philosophical study of knowledge. Also called theory of knowledge,^[a] it examines what knowledge is and what types of knowledge there are. It further investigates the sources of knowledge, like perception, inference, and testimony, to determine how knowledge is created. Another topic is the extent and limits of knowledge, confronting questions about what people can and cannot know.^[2] Other central concepts include belief, truth, justification, evidence, and reason.^[3] Epistemology is one of the main branches of philosophy besides fields like ethics, logic, and metaphysics.^[4] The term is also used in a slightly different sense to refer not to the branch of philosophy but to a particular position within that branch, as in Plato's epistemology and Immanuel Kant's epistemology.^[5]

As a normative field of inquiry, epistemology explores how people should acquire beliefs. This way, it determines which beliefs fulfill the standards or epistemic goals of knowledge and which ones fail, thereby providing an evaluation of beliefs. Descriptive fields of inquiry, like psychology and cognitive sociology, are also interested in beliefs and related cognitive processes. Unlike epistemology, they study the beliefs people have and how people acquire them instead of examining the evaluative norms of these processes.^[6][b] Epistemology is relevant to many descriptive and normative disciplines, such as the other branches of philosophy and the sciences, by exploring the principles of how they may arrive at knowledge.^[9]

The word epistemology comes from the ancient Greek terms ἐπιστήμη (episteme, meaning knowledge or understanding) and λόγος (logos, meaning study of or reason), literally, the study of knowledge. The word was only coined in the 19th century to label this field and conceive it as a distinct branch of philosophy.^[10][c]

Knowledge is an awareness, familiarity, understanding, or skill. Its various forms all involve a cognitive success through which a person establishes epistemic contact with reality.^[15] Knowledge is typically understood as an aspect of individuals, generally as a cognitive mental state that helps them understand, interpret, and interact with the world. While this core sense is of particular interest to epistemologists, the term also has other meanings. Understood on a social level, knowledge is a characteristic of a group of people that share ideas, understanding, or culture in general.^[16] The term can also refer to information stored in documents, such as "knowledge housed in the library"^[17] or knowledge stored in computers in the form of the knowledge base of an expert system.^[18]

Knowledge contrasts with ignorance, which is often simply defined as the absence of knowledge. Knowledge is usually accompanied by ignorance since people rarely have complete knowledge of a field, forcing them to rely on incomplete or uncertain information when making decisions.^[19] Even though many forms of ignorance can be mitigated through education and research, there are certain limits to human understanding that are responsible for inevitable ignorance.^[20] Some limitations are inherent in the human cognitive faculties themselves, such as the inability to know facts too complex for the human mind to conceive.^[21] Others depend on external circumstances when no access to the relevant information exists.^[22]

Epistemologists disagree on how much people know, for example, whether fallible beliefs about everyday affairs can amount to knowledge or whether absolute certainty is required. The most stringent position is taken by radical skeptics, who argue that there is no knowledge at all.^[23]

Epistemologists distinguish between different types of knowledge.^[25] Their primary interest is in knowledge of facts, called propositional knowledge.^[26] It is a theoretical knowledge that can be expressed in declarative sentences using a that-clause, like "Ravi knows that kangaroos hop". For this reason, it is also called knowledge-that.^[27][d] Epistemologists often understand it as a relation between a knower and a known proposition, in the case above between the person Ravi and the proposition "kangaroos hop".^[28] It is use-independent since it is not tied to one specific purpose. It is a mental representation that relies on concepts and ideas to depict reality.^[29] Because of its theoretical nature, it is often held that only relatively sophisticated creatures, such as humans, possess propositional knowledge.^[30]

Propositional knowledge contrasts with non-propositional knowledge in the form of knowledge-how and knowledge by acquaintance.^[31] Knowledge-how is a practical ability or skill, like knowing how to read or how to prepare lasagna.^[32] It is usually tied to a specific goal and not mastered in the abstract without concrete practice.^[33] To know something by acquaintance means to be familiar with it as a result of experiental contact. Examples are knowing the city of Perth, knowing the taste of tsampa, and knowing Marta Vieira da Silva personally.^[34]

Another influential distinction is between a posteriori and a priori knowledge.^[35] A posteriori knowledge is knowledge of empirical facts based on sensory experience, like seeing that the sun is shining and smelling that a piece of meat has gone bad.^[36] Knowledge belonging to the empirical science and knowledge of everyday affairs belongs to a posteriori knowledge. A priori knowledge is knowledge of non-empirical facts and does not depend on evidence from sensory experience. It belongs to fields such as mathematics and logic, like knowing that ${\displaystyle 2+2=4}$.^[37] The contrast between a posteriori and a priori knowledge plays a central role in the debate between empiricists and rationalists on whether all knowledge depends on sensory experience.^[38]

A closely related contrast is between analytic and synthetic truths. A sentence is analytically true if its truth depends only on the meaning of the words it uses. For instance, the sentence "all bachelors are unmarried" is analytically true because the word "bachelor" already includes the meaning "unmarried". A sentence is synthetically true if its truth depends on additional facts. For example, the sentence "snow is white" is synthetically true because its truth depends on the color of snow in addition to the meanings of the words snow and white. A priori knowledge is primarily associated with analytic sentences while a posteriori knowledge is primarily associated with synthetic sentences. However, it is controversial whether this is true for all cases. Some philosophers, such as Willard Van Orman Quine, reject the distinction, saying that there are no analytic truths.^[40]

The analysis of knowledge is the attempt to identify the essential components or conditions of all and only propositional knowledge states. According to the so-called traditional analysis,^[e] knowledge has three components: it is a belief that is justified and true.^[42] In the second half of the 20th century, this view was put into doubt by a series of thought experiments that aimed to show that some justified true beliefs do not amount to knowledge.^[43] In one of them, a person is unaware of all the fake barns in their area. By coincidence, they stop in front of the only real barn and form a justified true belief that it is a real barn.^[44] Many epistemologists agree that this is not knowledge because the justification is not directly relevant to the truth.^[45] More specifically, this and similar counterexamples involve some form of epistemic luck, that is, a cognitive success that results from fortuitous circumstances rather than competence.^[46]

Following these thought experiments, philosophers proposed various alternative definitions of knowledge by modifying or expanding the traditional analysis.^[47] According to one view, the known fact has to cause the belief in the right way.^[48] Another theory states that the belief is the product of a reliable belief formation process.^[49] Further approaches require that the person would not have the belief if it was false,^[50] that the belief is not inferred from a falsehood,^[51] that the justification cannot be undermined,^[52] or that the belief is infallible.^[53] There is no consensus on which of the proposed modifications and reconceptualizations is correct.^[54] Some philosophers, such as Timothy Williamson, reject the basic assumption underlying the analysis of knowledge by arguing that propositional knowledge is a unique state that cannot be dissected into simpler components.^[55]

The value of knowledge is the worth it holds by expanding understanding and guiding action. Knowledge can have instrumental value by helping a person achieve their goals.^[56] For example, knowledge of a disease helps a doctor cure their patient, and knowledge of when a job interview starts helps a candidate arrive on time.^[57] The usefulness of a known fact depends on the circumstances. Knowledge of some facts may have little to no uses, like memorizing random phone numbers from an outdated phone book.^[58] Being able to assess the value of knowledge matters in choosing what information to acquire and transmit to others. It affects decisions like which subjects to teach at school and how to allocate funds to research projects.^[59]

Of particular interest to epistemologists is the question of whether knowledge is more valuable than a mere opinion that is true.^[60] Knowledge and true opinion often have a similar usefulness since both are accurate representations of reality. For example, if a person wants to go to Larissa, a true opinion about how to get there may help them in the same way as knowledge does.^[61] Plato already considered this problem and suggested that knowledge is better because it is more stable.^[62] Another suggestion focuses on practical reasoning. It proposes that people put more trust in knowledge than in mere true beliefs when drawing conclusions and deciding what to do.^[63] A different response says that knowledge has intrinsic value, meaning that it is good in itself independent of its usefulness.^[64]

Beliefs are mental states about what is the case, like believing that snow is white or that God exists.^[65] In epistemology, they are often understood as subjective attitudes that affirm or deny a proposition, which can be expressed in a declarative sentence. For instance, to believe that snow is white is to affirm the proposition "snow is white". According to this view, beliefs are representations of what the world is like. They are kept in memory and can be retrieved when actively thinking about reality or when deciding how to act.^[66] A different view understands beliefs as behavioral patterns or dispositions to act rather than as representational items stored in the mind. This view says that to believe that there is mineral water in the fridge is nothing more than a group of dispositions related to mineral water and the fridge. Examples are the dispositions to answer questions about the presence of mineral water affirmatively and to go to the fridge when thirsty.^[67] Some theorists deny the existence of beliefs, saying that this concept borrowed from folk psychology is an oversimplification of much more complex psychological processes.^[68] Beliefs play a central role in various epistemological debates, which cover their status as a component of propositional knowledge, the question of whether people have control over and are responsible for their beliefs, and the issue of whether there are degrees of beliefs, called credences.^[69]

As propositional attitudes, beliefs are true or false depending on whether they affirm a true or a false proposition.^[70] According to the correspondence theory of truth, to be true means to stand in the right relation to the world by accurately describing what it is like. This means that truth is objective: a belief is true if it corresponds to a fact.^[71] The coherence theory of truth says that a belief is true if it belongs to a coherent system of beliefs. A result of this view is that truth is relative since it depends on other beliefs.^[72] Further theories of truth include pragmatist, semantic, pluralist, and deflationary theories.^[73] Truth plays a central role in epistemology as a goal of cognitive processes and a component of propositional knowledge.^[74]

In epistemology, justification is a property of beliefs that fulfill certain norms about what a person should believe.^[75] According to a common view, this means that the person has sufficient reasons for holding this belief because they have information that supports it.^[75] Another view states that a belief is justified if it is formed by a reliable belief formation process, such as perception.^[76] The terms reasonable, warranted, and supported are closely related to the idea of justification and are sometimes used as synonyms.^[77] Justification is what distinguishes justified beliefs from superstition and lucky guesses.^[78] However, justification does not guarantee truth. For example, if a person has strong but misleading evidence, they may form a justified belief that is false.^[79]

Epistemologists often identify justification as one component of knowledge.^[80] Usually, they are not only interested in whether a person has a sufficient reason to hold a belief, known as propositional justification, but also in whether the person holds the belief because or based on^[f] this reason, known as doxastic justification. For example, if a person has sufficient reason to believe that a neighborhood is dangerous but forms this belief based on superstition then they have propositional justification but lack doxastic justification.^[82]

Sources of justification are ways or cognitive capacities through which people acquire justification. Often-discussed sources include perception, introspection, memory, reason, and testimony, but there is no universal agreement to what extent they all provide valid justification.^[83] Perception relies on sensory organs to gain empirical information. There are various forms of perception corresponding to different physical stimuli, such as visual, auditory, haptic, olfactory, and gustatory perception.^[84] Perception is not merely the reception of sense impressions but an active process that selects, organizes, and interprets sensory signals.^[85] Introspection is a closely related process focused not on external physical objects but on internal mental states. For example, seeing a bus at a bus station belongs to perception while feeling tired belongs to introspection.^[86]

Rationalists understand reason as a source of justification for non-empirical facts. It is often used to explain how people can know about mathematical, logical, and conceptual truths. Reason is also responsible for inferential knowledge, in which one or several beliefs are used as premises to support another belief.^[87] Memory depends on information provided by other sources, which it retains and recalls, like remembering a phone number perceived earlier.^[88] Justification by testimony relies on information one person communicates to another person. This can happen by talking to each other but can also occur in other forms, like a letter, a newspaper, and a blog.^[89]

Rationality is closely related to justification and the terms rational belief and justified belief are sometimes used as synonyms. However, rationality has a wider scope that encompasses both a theoretical side, covering beliefs, and a practical side, covering decisions, intentions, and actions.^[90] There are different conceptions about what it means for something to be rational. According to one view, a mental state is rational if it is based on or responsive to good reasons. Another view emphasizes the role of coherence, stating that rationality requires that the different mental states of a person are consistent and support each other.^[91] A slightly different approach holds that rationality is about achieving certain goals. Two goals of theoretical rationality are accuracy and comprehensiveness, meaning that a person has as few false beliefs and as many true beliefs as possible.^[92]

Epistemic norms are criteria to assess the cognitive quality of beliefs, like their justification and rationality. Epistemologists distinguish between deontic norms, which are prescriptions about what people should believe or which beliefs are correct, and axiological norms, which identify the goals and values of beliefs.^[93] Epistemic norms are closely related to intellectual or epistemic virtues, which are character traits like open-mindedness and conscientiousness. Epistemic virtues help individuals form true beliefs and acquire knowledge. They contrast with epistemic vices and act as foundational concepts of virtue epistemology.^[94]

Evidence for a belief is information that favors or supports it. Epistemologists understand evidence primarily in terms of mental states, for example, as sensory impressions or as other propositions that a person knows. But in a wider sense, it can also include physical objects, like bloodstains examined by forensic analysts or financial records studied by investigative journalists.^[95] Evidence is often understood in terms of probability: evidence for a belief makes it more likely that the belief is true.^[96] A defeater is evidence against a belief or evidence that undermines another piece of evidence. For instance, witness testimony connecting a suspect to a crime is evidence for their guilt while an alibi is a defeater.^[97] Evidentialists analyze justification in terms of evidence by saying that to be justified, a belief needs to rest on adequate evidence.^[98]

The presence of evidence usually affects doubt and certainty, which are subjective attitudes toward propositions that differ regarding their level of confidence. Doubt involves questioning the validity or truth of a proposition. Certainty, by contrast, is a strong affirmative conviction, meaning that the person is free of doubt that the proposition is true. In epistemology, doubt and certainty play central roles in attempts to find a secure foundation of all knowledge and in skeptical projects aiming to establish that no belief is immune to doubt.^[99]

While propositional knowledge is the main topic in epistemology, some theorists focus on understanding rather than knowledge. Understanding is a more holistic notion that involves a wider grasp of a subject. To understand something, a person requires awareness of how different things are connected and why they are the way they are. For example, knowledge of isolated facts memorized from a textbook does not amount to understanding. According to one view, understanding is a special epistemic good that, unlike knowledge, is always intrinsically valuable.^[100] Wisdom is similar in this regard and is sometimes considered the highest epistemic good. It encompasses a reflective understanding with practical applications. It helps people grasp and evaluate complex situations and lead a good life.^[101]

Philosophical skepticism questions the human ability to arrive at knowledge. Some skeptics limit their criticism to certain domains of knowledge. For example, religious skeptics say that it is impossible to have certain knowledge about the existence of deities or other religious doctrines. Similarly, moral skeptics challenge the existence of moral knowledge and metaphysical skeptics say that humans cannot know ultimate reality.^[102]

Global skepticism is the widest form of skepticism, asserting that there is no knowledge in any domain.^[103] In ancient philosophy, this view was accepted by academic skeptics while Pyrrhonian skeptics recommended the suspension of belief to achieve a state of tranquility.^[104] Overall, not many epistemologists have explicitly defended global skepticism. The influence of this position derives mainly from attempts by other philosophers to show that their theory overcomes the challenge of skepticism. For example, René Descartes used methodological doubt to find facts that cannot be doubted.^[105]

One consideration in favor of global skepticism is the dream argument. It starts from the observation that, while people are dreaming, they are usually unaware of this. This inability to distinguish between dream and regular experience is used to argue that there is no certain knowledge since a person can never be sure that they are not dreaming.^[106][g] Some critics assert that global skepticism is a self-refuting idea because denying the existence of knowledge is itself a knowledge claim. Another objection says that the abstract reasoning leading to skepticism is not convincing enough to overrule common sense.^[108]

Fallibilism is another response to skepticism.^[109] Fallibilists agree with skeptics that absolute certainty is impossible. Most fallibilists disagree with skeptics about the existence of knowledge, saying that there is knowledge since it does not require absolute certainty.^[110] They emphasize the need to keep an open and inquisitive mind since doubt can never be fully excluded, even for well-established knowledge claims like thoroughly tested scientific theories.^[111]

Epistemic relativism is a related view. It does not question the existence of knowledge in general but rejects the idea that there are universal epistemic standards or absolute principles that apply equally to everyone. This means that what a person knows depends on the subjective criteria or social conventions used to assess epistemic status.^[112]

John Locke and David Hume shaped the philosophy of empiricism.

The debate between empiricism and rationalism centers on the origins of human knowledge. Empiricism emphasizes that sense experience is the primary source of all knowledge. Some empiricists express this view by stating that the mind is a blank slate that only develops ideas about the external world through the sense data it receives from the sensory organs. According to them, the mind can arrive at various additional insights by comparing impressions, combining them, generalizing to arrive at more abstract ideas, and deducing new conclusions from them. Empiricists say that all these mental operations depend on material from the senses and do not function on their own.^[113]

Even though rationalists usually accept sense experience as one source of knowledge,^[h] they also say that important forms of knowledge come directly from reason without sense experience,^[115] like knowledge of mathematical and logical truths.^[116] According to some rationalists, the mind possesses inborn ideas which it can access without the help of the senses. Others hold that there is an additional cognitive faculty, sometimes called rational intuition, through which people acquire nonempirical knowledge.^[117] Some rationalists limit their discussion to the origin of concepts, saying that the mind relies on inborn categories to understand the world and organize experience.^[115]

Foundationalists and coherentists disagree about the structure of knowledge.^[118][i] Foundationalism distinguishes between basic and non-basic beliefs. A belief is basic if it is justified directly, meaning that its validity does not depend on the support of other beliefs.^[j] A belief is non-basic if it is justified by another belief.^[121] For example, the belief that it rained last night is a non-basic belief if it is inferred from the observation that the street is wet.^[122] According to foundationalism, basic beliefs are the foundation on which all other knowledge is built while non-basic beliefs constitute the superstructure resting on this foundation.^[121]

Coherentists reject the distinction between basic and non-basic beliefs, saying that the justification of any belief depends on other beliefs. They assert that a belief must be in tune with other beliefs to amount to knowledge. This is the case if the beliefs are consistent and support each other. According to coherentism, justification is a holistic aspect determined by the whole system of beliefs, which resembles an interconnected web.^[123]

The view of foundherentism is an intermediary position combining elements of both foundationalism and coherentism. It accepts the distinction between basic and non-basic beliefs while asserting that the justification of non-basic beliefs depends on coherence with other beliefs.^[124]

Infinitism presents another approach to the structure of knowledge. It agrees with coherentism that there are no basic beliefs while rejecting the view that beliefs can support each other in a circular manner. Instead, it argues that beliefs form infinite justification chains, in which each link of the chain supports the belief following it and is supported by the belief preceding it.^[125]

The disagreement between internalism and externalism is about the sources of justification.^[127][k] Internalists say that justification depends only on factors within the individual. Examples of such factors include perceptual experience, memories, and the possession of other beliefs. This view emphasizes the importance of the cognitive perspective of the individual in the form of their mental states. It is commonly associated with the idea that the relevant factors are accessible, meaning that the individual can become aware of their reasons for holding a justified belief through introspection and reflection.^[129]

Externalism rejects this view, saying that at least some relevant factors are external to the individual. This means that the cognitive perspective of the individual is less central while other factors, specifically the relation to truth, become more important.^[129] For instance, when considering the belief that a cup of coffee stands on the table, externalists are not only interested in the perceptual experience that led to this belief but also consider the quality of the person's eyesight, their ability to differentiate coffee from other beverages, and the circumstances under which they observed the cup.^[130]

Evidentialism is an influential internalist view. It says that justification depends on the possession of evidence.^[131] In this context, evidence for a belief is any information in the individual's mind that supports the belief. For example, the perceptual experience of rain is evidence for the belief that it is raining. Evidentialists have suggested various other forms of evidence, including memories, intuitions, and other beliefs.^[132] According to evidentialism, a belief is justified if the individual's evidence supports the belief and they hold the belief on the basis of this evidence.^[133]

Reliabilism is an externalist theory asserting that a reliable connection between belief and truth is required for justification.^[134] Some reliabilists explain this in terms of reliable processes. According to this view, a belief is justified if it is produced by a reliable belief-formation process, like perception. A belief-formation process is reliable if most of the beliefs it causes are true. A slightly different view focuses on beliefs rather than belief-formation processes, saying that a belief is justified if it is a reliable indicator of the fact it presents. This means that the belief tracks the fact: the person believes it because it is a fact but would not believe it otherwise.^[135]

Virtue epistemology is another type of externalism and is sometimes understood as a form of reliabilism. It says that a belief is justified if it manifests intellectual virtues. Intellectual virtues are capacities or traits that perform cognitive functions and help people form true beliefs. Suggested examples include faculties like vision, memory, and introspection.^[136]

In the epistemology of perception, direct and indirect realists disagree about the connection between the perceiver and the perceived object. Direct realists say that this connection is direct, meaning that there is no difference between the object present in perceptual experience and the physical object causing this experience. According to indirect realism, the connection is indirect since there are mental entities, like ideas or sense data, that mediate between the perceiver and the external world. The contrast between direct and indirect realism is important for explaining the nature of illusions.^[137]

Constructivism in epistemology is the theory that how people view the world is not a simple reflection of external reality but an invention or a social construction. This view emphasizes the creative role of interpretation while undermining objectivity since social constructions may differ from society to society.^[138]

According to contrastivism, knowledge is a comparative term, meaning that to know something involves distinguishing it from relevant alternatives. For example, if a person spots a bird in the garden, they may know that it is a sparrow rather than an eagle but they may not know that it is a sparrow rather than an indistinguishable sparrow hologram.^[139]

Epistemic conservatism is a view about belief revision. It gives preference to the beliefs a person already has, asserting that a person should only change their beliefs if they have a good reason to. One motivation for adopting epistemic conservatism is that the cognitive resources of humans are limited, meaning that it is not feasible to constantly reexamine every belief.^[140]

Pragmatist epistemology is a form of fallibilism that emphasizes the close relation between knowing and acting. It sees the pursuit of knowledge as an ongoing process guided by common sense and experience while always open to revision.^[141]

Bayesian epistemology is a formal approach based on the idea that people have degrees of belief representing how certain they are. It uses probability theory to define norms of rationality that govern how certain people should be about their beliefs.^[142]

Phenomenological epistemology emphasizes the importance of first-person experience. It distinguishes between the natural and the phenomenological attitudes. The natural attitude focuses on objects belonging to common sense and natural science. The phenomenological attitude focuses on the experience of objects and aims to provide a presuppositionless description of how objects appear to the observer.^[143]

Particularism and generalism disagree about the right method of conducting epistemological research. Particularists start their inquiry by looking at specific cases. For example, to find a definition of knowledge, they rely on their intuitions about concrete instances of knowledge and particular thought experiments. They use these observations as methodological constraints that any theory of more general principles needs to follow. Generalists proceed in the opposite direction. They give preference to general epistemic principles, saying that it is not possible to accurately identify and describe specific cases without a grasp of these principles.^[144] Other methods in contemporary epistemology aim to extract philosophical insights from ordinary language or look at the role of knowledge in making assertions and guiding actions.^[145]

Postmodern epistemology criticizes the conditions of knowledge in advanced societies. This concerns in particular the metanarrative of a constant progress of scientific knowledge leading to a universal and foundational understanding of reality.^[147] Feminist epistemology critiques the effect of gender on knowledge. Among other topics, it explores how preconceptions about gender influence who has access to knowledge, how knowledge is produced, and which types of knowledge are valued in society.^[148] Decolonial scholarship criticizes the global influence of Western knowledge systems, often with the aim of decolonizing knowledge to undermine Western hegemony.^[149]

Various schools of epistemology are found in traditional Indian philosophy. Many of them focus on the different sources of knowledge, called pramāṇa. Perception, inference, and testimony are sources discussed by most schools. Other sources only considered by some schools are non-perception, which leads to knowledge of absences, and presumption.^[150] Buddhist epistemology tends to focus on immediate experience, understood as the presentation of unique particulars without the involvement of secondary cognitive processes, like thought and desire.^[151] Nyāya epistemology discusses the causal relation between the knower and the object of knowledge, which happens through reliable knowledge-formation processes. It sees perception as the primary source of knowledge, drawing a close connection between it and successful action.^[152] Mīmāṃsā epistemology understands the holy scriptures known as the Vedas as a key source of knowledge while discussing the problem of their right interpretation.^[153] Jain epistemology states that reality is many-sided, meaning that no single viewpoint can capture the entirety of truth.^[154]

Some branches of epistemology focus on the problems of knowledge within specific academic disciplines. The epistemology of science examines how scientific knowledge is generated and what problems arise in the process of validating, justifying, and interpreting scientific claims. A key issue concerns the problem of how individual observations can support universal scientific laws. Further topics include the nature of scientific evidence and the aims of science.^[155] The epistemology of mathematics studies the origin of mathematical knowledge. In exploring how mathematical theories are justified, it investigates the role of proofs and whether there are empirical sources of mathematical knowledge.^[156]

Epistemological problems are found in most areas of philosophy. The epistemology of logic examines how people know that an argument is valid. For example, it explores how logicians justify that modus ponens is a correct rule of inference or that all contradictions are false.^[157] Epistemologists of metaphysics investigate whether knowledge of ultimate reality is possible and what sources this knowledge could have.^[158] Knowledge of moral statements, like the claim that lying is wrong, belongs to the epistemology of ethics. It studies the role of ethical intuitions, coherence among moral beliefs, and the problem of moral disagreement.^[159] The ethics of belief is a closely related field covering the interrelation between epistemology and ethics. It examines the norms governing belief formation and asks whether violating them is morally wrong.^[160]

Religious epistemology studies the role of knowledge and justification for religious doctrines and practices. It evaluates the weight and reliability of evidence from religious experience and holy scriptures while also asking whether the norms of reason should be applied to religious faith.^[161] Social epistemology focuses on the social dimension of knowledge. While traditional epistemology is mainly interested in knowledge possessed by individuals, social epistemology covers knowledge acquisition, transmission, and evaluation within groups, with specific emphasis on how people rely on each other when seeking knowledge.^[162] Historical epistemology examines how the understanding of knowledge and related concepts has changed over time. It asks whether the main issues in epistemology are perennial and to what extent past epistemological theories are relevant to contemporary debates. It is particularly concerned with scientific knowledge and practices associated with it.^[163] It contrasts with the history of epistemology, which presents, reconstructs, and evaluates epistemological theories of philosophers in the past.^[164][l]

Naturalized epistemology is closely associated with the natural sciences, relying on their methods and theories to examine knowledge. Naturalistic epistemologists focus on empirical observation to formulate their theories and are often critical of approaches to epistemology that proceed by a priori reasoning.^[166] Evolutionary epistemology is a naturalistic approach that understands cognition as a product of evolution, examining knowledge and the cognitive faculties responsible for it from the perspective of natural selection.^[167] Epistemologists of language explore the nature of linguistic knowledge. One of their topics is the role of tacit knowledge, for example, when native speakers have mastered the rules of grammar but are unable to explicitly articulate those rules.^[168] Epistemologists of modality examine knowledge about what is possible and necessary.^[169] Epistemic problems that arise when two people have diverging opinions on a topic are covered by the epistemology of disagreement.^[170] Epistemologists of ignorance are interested in epistemic faults and gaps in knowledge.^[171]

There are distinct areas of epistemology dedicated to specific sources of knowledge. Examples are the epistemology of perception,^[172] the epistemology of memory,^[173] and the epistemology of testimony.^[174]

Some branches of epistemology are characterized by their research method. Formal epistemology employs formal tools found in logic and mathematics to investigate the nature of knowledge.^[175][m] Experimental epistemologists rely in their research on empirical evidence about common knowledge practices.^[177] Applied epistemology focuses on the practical application of epistemological principles to diverse real-world problems, like the reliability of knowledge claims on the internet, how to assess sexual assault allegations, and how racism may lead to epistemic injustice.^[178][n]

Metaepistemologists examine the nature, goals, and research methods of epistemology. As a metatheory, it does not directly defend a position about which epistemological theories are correct but examines their fundamental concepts and background assumptions.^[180][o]

Epistemology and psychology were not defined as distinct fields until the 19th century; earlier investigations about knowledge often do not fit neatly into today's academic categories.^[182] Both contemporary disciplines study beliefs and the mental processes responsible for their formation and change. One important contrast is that psychology describes what beliefs people have and how they acquire them, thereby explaining why someone has a specific belief. The focus of epistemology is on evaluating beliefs, leading to a judgment about whether a belief is justified and rational in a particular case.^[183] Epistemology has a similar intimate connection to cognitive science, which understands mental events as processes that transform information.^[184] Artificial intelligence relies on the insights of epistemology and cognitive science to implement concrete solutions to problems associated with knowledge representation and automatic reasoning.^[185]

Logic is the study of correct reasoning. For epistemology, it is relevant to inferential knowledge, which arises when a person reasons from one known fact to another.^[186] This is the case, for example, if a person does not know directly that ${\displaystyle 572+382=954}$ but comes to infer it based on their knowledge that ${\displaystyle 2+2=4}$, ${\displaystyle 8+7=15}$, and ${\displaystyle 5+3=8}$.^[187] Whether an inferential belief amounts to knowledge depends on the form of reasoning used, in particular, that the process does not violate the laws of logic.^[188] Another overlap between the two fields is found in the epistemic approach to fallacy theory.^[189] Fallacies are faulty arguments based on incorrect reasoning.^[190] The epistemic approach to fallacies explains why they are faulty, stating that arguments aim to expand knowledge. According to this view, an argument is a fallacy if it fails to do so.^[189] A further intersection is found in epistemic logic, which uses formal logical devices to study epistemological concepts like knowledge and belief.^[191]

Both decision theory and epistemology are interested in the foundations of rational thought and the role of beliefs. Unlike many approaches in epistemology, the main focus of decision theory lies less in the theoretical and more in the practical side, exploring how beliefs are translated into action.^[192] Decision theorists examine the reasoning involved in decision-making and the standards of good decisions.^[193] They identify beliefs as a central aspect of decision-making. One of their innovations is to distinguish between weaker and stronger beliefs. This helps them take the effect of uncertainty on decisions into consideration.^[194]

Epistemology and education have a shared interest in knowledge, with one difference being that education focuses on the transmission of knowledge, exploring the roles of both learner and teacher.^[195] Learning theory examines how people acquire knowledge.^[196] Behavioral learning theories explain the process in terms of behavior changes, for example, by associating a certain response with a particular stimulus.^[197] Cognitive learning theories study how the cognitive processes that affect knowledge acquisition transform information.^[198] Pedagogy looks at the transmission of knowledge from the teacher's side, exploring the teaching methods they may employ.^[199] In teacher-centered methods, the teacher takes the role of the main authority delivering knowledge and guiding the learning process. In student-centered methods, the teacher mainly supports and facilitates the learning process while the students take a more active role.^[200] The beliefs students have about knowledge, called personal epistemology, affect their intellectual development and learning success.^[201]

The anthropology of knowledge examines how knowledge is acquired, stored, retrieved, and communicated. It studies the social and cultural circumstances that affect how knowledge is reproduced and changes, covering the role of institutions like university departments and scientific journals as well as face-to-face discussions and online communications. It understands knowledge in a wide sense that encompasses various forms of understanding and culture, including practical skills. Unlike epistemology, it is not interested in whether a belief is true or justified but in how understanding is reproduced in society.^[202] The sociology of knowledge is a closely related field with a similar conception of knowledge. It explores how physical, demographic, economic, and sociocultural factors impact knowledge. It examines in what sociohistorical contexts knowledge emerges and the effects it has on people, for example, how socioeconomic conditions are related to the dominant ideology in a society.^[203]

Early reflections on the nature and sources of knowledge are found in ancient history. In ancient Greek philosophy, Plato (427–347 BCE) studied what knowledge is, examining how it differs from true opinion by being based on good reasons.^[204] According to him, the process of learning something is a form of recollection in which the soul remembers what it already knew before.^[205][p] Aristotle (384–322 BCE) was particularly interested in scientific knowledge, exploring the role of sensory experience and how to make inferences from general principles.^[206] The Hellenistic schools began to arise in the 4th century BCE. The Epicureans had an empiricist outlook, stating that sensations are always accurate and act as the supreme standard of judgments.^[207] The Stoics defended a similar position but limited themselves to lucid and specific sensations, which they regarded as true.^[208] The skepticists questioned that knowledge is possible, recommending instead suspension of judgment to arrive at a state of tranquility.^[209]

The Upanishads, philosophical scriptures composed in ancient India between 700 and 300 BCE, examined how people acquire knowledge, including the role of introspection, comparison, and deduction.^[211] In the 6th century BCE, the school of Ajñana developed a radical skepticism questioning the possibility and usefulness of knowledge.^[212] The school of Nyaya emerged in the 2nd century BCE and provided a systematic treatment of how people acquire knowledge, distinguishing between valid and invalid sources.^[213] When Buddhist philosophers later became interested in epistemology, they relied on concepts developed in Nyaya and other traditions.^[214] Buddhist philosopher Dharmakirti (6th or 7th century CE)^[215] analyzed the process of knowing as a series of causally related events.^[210]

Ancient Chinese philosophers understood knowledge as an interconnected phenomenon fundamentally linked to ethical behavior and social involvement. Many saw wisdom as the goal of attaining knowledge.^[216] Mozi (470–391 BCE) proposed a pragmatic approach to knowledge using historical records, sensory evidence, and practical outcomes to validate beliefs.^[217] Mencius (c. 372–289 BCE) explored analogical reasoning as another source of knowledge.^[218] Xunzi (c. 310-220 BCE) aimed to combine empirical observation and rational inquiry. He emphasized the importance of clarity and standards of reasoning without excluding the role of feeling and emotion.^[219]

The relation between reason and faith was a central topic in the medieval period.^[220] In Arabic–Persian philosophy, al-Farabi (c. 870–950) and Averroes (1126–1198) discussed how philosophy and theology interact and which is the better vehicle to truth.^[221] Al-Ghazali (c. 1056–1111) criticized many of the core teachings of previous Islamic philosophers, saying that they rely on unproven assumptions that do not amount to knowledge.^[222] In Western philosophy, Anselm of Canterbury (1033–1109) proposed that theological teaching and philosophical inquiry are in harmony and complement each other.^[223] Peter Abelard (1079–1142) argued against unquestioned theological authorities and said that all things are open to rational doubt.^[224] Influenced by Aristotle, Thomas Aquinas (1225–1274) developed an empiricist theory, stating that "nothing is in the intellect unless it first appeared in the senses".^[225] According to an early form of direct realism proposed by William of Ockham (c. 1285–1349), perception of mind-independent objects happens directly without intermediaries.^[226] Meanwhile, in 14th-century India, Gaṅgeśa developed a reliabilist theory of knowledge and considered the problems of testimony and fallacies.^[227] In China, Wang Yangming (1472–1529) explored the unity of knowledge and action, holding that moral knowledge is inborn and can be attained by overcoming self-interest.^[228]

The course of modern philosophy was shaped by René Descartes (1596–1650), who claimed that philosophy must begin from a position of indubitable knowledge of first principles. Inspired by skepticism, he aimed to find absolutely certain knowledge by encountering truths that cannot be doubted. He thought that this is the case for the assertion "I think, therefore I am", from which he constructed the rest of his philosophical system.^[229] Descartes, together with Baruch Spinoza (1632–1677) and Gottfried Wilhelm Leibniz (1646–1716), belonged to the school of rationalism, which asserts that the mind possesses innate ideas independent of experience.^[230] John Locke (1632–1704) rejected this view in favor of an empiricism according to which the mind is a blank slate. This means that all ideas depend on sense experience, either as "ideas of sense", which are directly presented through the senses, or as "ideas of reflection", which the mind creates by reflecting on ideas of sense.^[231] David Hume (1711–1776) used this idea to explore the limits of what people can know. He said that knowledge of facts is never certain, adding that knowledge of relations between ideas, like mathematical truths, can be certain but contains no information about the world.^[232] Immanuel Kant (1724–1804) tried to find a middle position between rationalism and empiricism by identifying a type of knowledge that Hume had missed. For Kant, this is knowledge about principles that underlie all experience and structure it, such as spatial and temporal relations and fundamental categories of understanding.^[233]

In the 19th-century, Georg Wilhelm Friedrich Hegel (1770–1831) argued against empiricism, saying that sensory impressions on their own cannot amount to knowledge since all knowledge is actively structured by the knowing subject.^[234] John Stuart Mill (1806–1873) defended a wide-sweeping form of empiricism and explained knowledge of general truths through inductive reasoning.^[235] Charles Peirce (1839–1914) thought that all knowledge is fallible, emphasizing that knowledge seekers should always be ready to revise their beliefs if new evidence is encountered. He used this idea to argue against Cartesian foundationalism seeking absolutely certain truths.^[236]

In the 20th century, fallibilism was further explored by J. L. Austin (1911–1960) and Karl Popper (1902–1994).^[237] In continental philosophy, Edmund Husserl (1859–1938) applied the skeptic idea of suspending judgment to the study of experience. By not judging whether an experience is accurate or not, he tried to describe the internal structure of experience instead.^[238] Logical positivists, like A. J. Ayer (1910–1989), said that all knowledge is either empirical or analytic.^[239] Bertrand Russell (1872–1970) developed an empiricist sense-datum theory, distinguishing between direct knowledge by acquaintance of sense data and indirect knowledge by description, which is inferred from knowledge by acquaintance.^[240] Common sense had a central place in G. E. Moore's (1873–1958) epistemology. He used trivial observations, like the fact that he has two hands, to argue against abstract philosophical theories that deviate from common sense.^[241] Ordinary language philosophy, as practiced by the late Ludwig Wittgenstein (1889–1951), is a similar approach that tries to extract epistemological insights from how ordinary language is used.^[242]

Edmund Gettier (1927–2021) conceived counterexamples against the idea that knowledge is the same as justified true belief. These counterexamples prompted many philosophers to suggest alternative definitions of knowledge.^[243] One of the alternatives considered was reliabilism, which says that knowledge requires reliable sources, shifting the focus away from justification.^[244] Virtue epistemology, a closely related response, analyses belief formation in terms of the intellectual virtues or cognitive competencies involved in the process.^[245] Naturalized epistemology, as conceived by Willard Van Orman Quine (1908–2000), employs concepts and ideas from the natural sciences to formulate its theories.^[246] Other developments in late 20th-century epistemology were the emergence of social, feminist, and historical epistemology.^[247]

• Epistemological pluralism – term used in philosophy, economics, and virtually any field of study to refer to different ways of knowing things, different epistemological methodologies for attaining a fuller description of a particular fieldPages displaying wikidata descriptions as a fallback
• Knowledge falsification – Deliberate misrepresentation of knowledge
• Logology (science)
• Reformed epistemology – School of philosophical thought
• Theory of Knowledge (IB Course) – Compulsory International Baccalaureate subjectPages displaying short descriptions of redirect targets