Internalism and Externalism

The Philosophical Problem and Its Stakes

A thinker sees a red light, forms the belief that the light is red, and later discovers that the perceptual apparatus was functioning normally. Another thinker enjoys an indistinguishable visual experience while systematically deceived by a highly sophisticated environment. A third forms the same true belief through a dependable cognitive mechanism whose operation she cannot explain. Do these thinkers have the same justification? Does each possess knowledge? Does the fact that a method generally produces truths contribute to the epistemic value of a particular belief even when the believer has no evidence of the method's success? The answers depend on what epistemic evaluation is intended to measure.

Internalism and externalism concern the determinants of epistemic status. The standard internalist thesis about justification is a supervenience claim: relevantly internally identical thinkers are equally justified in the same corresponding beliefs. Externalism denies that internal sameness guarantees sameness of justification. It allows an external difference, such as a difference in reliability or causal connection, to make an epistemic difference even when the cognitive perspectives of the two agents are internally identical. The dispute becomes precise only after the notions of justification, internality, and epistemic dependence have been specified (Littlejohn, 2025; Conee & Feldman, 2004).

The philosophical importance of this dispute arises from two enduring functions of epistemic thought. Epistemic evaluation assesses the rational propriety of a person's believing as she does, and it assesses the capacity of beliefs and methods to connect us successfully with what is true. These functions overlap. They also yield divergent assessments in cases of deception, unusual cognitive capacity, unreliable environments, and socially inherited error. A theory that treats one function as definitive owes an account of the other.

The dispute influences the analysis of knowledge, the treatment of skepticism, the epistemology of perception and memory, the epistemology of testimony, the theory of cognitive abilities, the relationship between normativity and natural processes, and the distribution of epistemic responsibility. It also bears on the interpretation of scientific instruments and artificially implemented cognitive systems. In each case the same fundamental question returns: which features belong to the epistemic assessment of a belief, and which features merely explain the belief's origin or consequences?

The present research centers on epistemic justification. Neighboring debates about the environment-dependent content of thought and about the relation of normative reasons to motivation have distinct constitutive questions. Their use of the words internalism and externalism establishes a terminological relation, not the identity of their objects. This distinction protects the defined research object and permits relevant interdisciplinary comparison without replacing epistemology with philosophy of mind or metaethics.

Definition, Subject Matter, and Conceptual Grammar

Let J(S, p, t) mean that subject S is epistemically justified at time t in believing proposition p. Let I(S, t) denote the set of conditions counted as internal under a specified internality criterion. The minimal internalist supervenience condition is this: whenever S and T are relevant internal duplicates concerning p at t, they cannot differ in their justificatory status concerning p at t. This schema remains incomplete until an account specifies which features constitute I, whether the same proposition can be held across the compared cases, and which form of justification is evaluated.

Access internalism locates the basis of justification in factors available to introspection, reflection, or some other privileged cognitive access. Its central intuition is that a believer ought to be able, at least in principle and under suitable conditions, to assess the considerations making her belief reasonable. Versions differ over whether the subject must actually recognize those considerations, could recognize them on reflection, or merely possesses a capacity for such recognition. An actual-awareness requirement is far stronger than a possible-awareness requirement.

Mentalist internalism holds that justification is fixed by mental facts about the subject. The relevant facts may include conscious appearances, unconscious beliefs, experiences, memories, intellectual dispositions, and inferential relations. Mentalism therefore need not entail that every justification-making factor is reflectively accessible. An individual may possess stored evidence or undergo relevant processes without being aware of everything mental that supports her belief. Likewise, access internalism and mentalism can come apart if the internal–external boundary is drawn around reflectively accessible world-involving facts. Treating the two positions as interchangeable obscures their different explanatory commitments (Conee & Feldman, 2001, 2004; Littlejohn, 2025).

Externalism about justification maintains that at least some justification-making conditions can outrun the specified internal base. Reliabilism is a paradigmatic externalist theory because the truth-conduciveness of the belief-forming process can vary while a believer's internal perspective remains constant. Externalism is therefore a family of positive proposals rather than an independent, complete recipe for epistemic assessment. A purely negative definition does not tell us whether the relevant external condition should be reliability, causal ancestry, proper function, intellectual achievement, or a relation to a fact.

Propositional justification concerns what someone would be justified in believing whether or not she actually believes it. Doxastic justification concerns a belief actually held and requires attention to the basis on which that belief is held. A person may possess decisive evidence for p while believing p through wishful thinking; in that case the evidence may propositionally justify p while the particular belief remains improperly based. The basing relation is an explanatory and normative link between grounds and belief. Any analysis that simply transfers a verdict about available evidence to the belief itself overlooks this distinction (Littlejohn, 2025).

Knowledge and justification must also be distinguished. Knowledge is factive: if S knows p, p is true. Fallible justification can attach to a false belief. Thus, internalist supervenience of justification does not imply internalist supervenience of knowledge. A deceived duplicate and an ordinary perceiver may share justifying conditions even though only one can know the relevant external-world proposition.

Historical Antecedents: Reasons, Experience, and Cognitive Success

The modern terminology emerged in twentieth-century analytic epistemology, but the underlying tension has earlier sources. Philosophers have long asked how the thinker is entitled to affirm what appears true and how thought attains a reality that can exceed its immediate perspective. Historical reconstruction must distinguish this recurring problem from the later technical dispute about supervenience. Plato, Descartes, Hume, and Kant did not formulate the contemporary access-internalism versus process-reliabilism distinction under those names.

The search for grounds has a classical heritage. The movement from opinion to knowledge in Greek philosophy places demands on explanation, reasoning, and stable truth. Yet an account of what a knower can rationally articulate does not by itself establish the stronger modern thesis that all justification supervenes on internal conditions. Classical texts supply problems and conceptual resources rather than ready-made positions in a debate formulated much later.

The early modern problem of the external world intensifies the question of epistemic perspective. Descartes's methodical doubt asks what can withstand radical deception. Its philosophical force comes from the possibility that experiences and apparent grounds might remain subjectively compelling while the world differs greatly from what the thinker believes. Later evil-demon scenarios retain the structural lesson: a difference in environment may be inaccessible from within the experience being evaluated.

Empiricist concern with custom, inference, and the limitations of experience supplies a different pressure. Repeated past success may encourage belief about the future while the rational warrant of that transition remains contestable. The distinction between the evidential standing visible to reflection and the causal habits generating expectation foreshadows, without deciding, later questions about reliable production and rational endorsement.

The emergence of modern analytical accounts of justified belief places the dispute on firmer theoretical ground. Chisholm's work on epistemic appraisal made the evaluation of justified belief and the reflective assessment of evidence central themes. Armstrong's Belief, Truth and Knowledge (1973) developed a naturalistic orientation toward knowledge and helped bring externalist approaches into explicit discussion. Goldman (1967) proposed a causal analysis of empirical knowledge in response to inadequacies exposed by Gettier (1963). Dretske (1971) investigated conclusive reasons through conditions relating evidence to the truth of what is believed, thereby enlarging the role of counterfactual and informational relations.

These developments matter because they show that the internalism–externalism distinction was constructed at the intersection of several problems. The analysis of knowledge sought a relation strong enough to block epistemic luck. The analysis of justification sought to explain why believing is epistemically proper. The explanatory study of cognition sought mechanisms connecting mental states to the environment. Contemporary theories often combine these projects, and historical precision requires identifying which project a given text addresses.

The Modern Formation of the Debate

Goldman's “What Is Justified Belief?” (1979) is a founding statement of process reliabilism about justification. Its guiding project is to give substantive, nonepistemic conditions explaining why beliefs count as justified. He rejects an assumption that the subject must be able to formulate a justificatory argument for every justified belief. A properly functioning perceptual belief-forming process may contribute to justified belief through the process's actual reliability rather than through a second-order belief about that reliability (Goldman, 1979).

The decisive philosophical move is from what the subject can say on behalf of a belief to the kind of process responsible for producing or sustaining it. Reliabilism treats a belief's relation to trustworthy cognitive production as evaluatively important. The theory explains why ordinary perception and memory can confer justification without demanding that ordinary cognizers possess extensive epistemology. Goldman's proposal is also methodological: the epistemologist can investigate belief production at a naturalistic level while retaining justification as a normative predicate.

Sosa's “The Raft and the Pyramid” (1980) reconsidered the opposition between coherentism and foundationalism and drew attention to intellectual virtues and cognitive faculties. An intellectual performance can be assessed for the excellence of its source. This suggests a way to integrate evaluation of a belief into evaluation of the competence by which it was formed. Virtue-theoretic developments would eventually distinguish success attributable to ability from success due to surrounding luck (Sosa, 1980; Greco, 2010).

BonJour's “Externalist Theories of Empirical Knowledge” (1980) articulated an influential challenge to externalism. A person might possess an unusual belief-forming faculty that reliably yields true beliefs without having any reason to accept the faculty's deliverances. BonJour presses the judgment that such reliability alone cannot make the resulting beliefs reasonable from the subject's standpoint. The challenge is an inquiry into the normativity of justification: what makes a thinker entitled to trust the cognition she produces? The full force of the argument depends on preserving the details of the clairvoyance case, including the subject's lack of accessible grounds and the possible presence of contrary evidence.

The 1980 volume of Midwest Studies in Philosophy placed Sosa's, Goldman's, and BonJour's contributions within a common field of controversy. Subsequent work moved from the choice between a justificatory argument and a reliable causal source to finer analyses of internal access, mental supervenience, responsible belief, and the types of defeater that undermine epistemic status (Goldman, 1980; Alston, 1988). Alston's “An Internalist Externalism” gives an early model for locating epistemic dimensions that appear internally and externally grounded within a unified account.

The established lesson of this intellectual history is that the labels did not arise as names for two fixed and exhaustive philosophical schools. They arose as shorthand for competing explanations of the epistemic good-making conditions of belief. A coherent evaluation must reconstruct the distinctive thesis of each author, rather than infer detailed commitments from the label alone.

Access Internalism and the Demand for Reasons

Access internalism begins from the agent's status as a rational evaluator. If one believes that a bridge is safe, one may be challenged to explain the grounds for that belief. The challenge is epistemic rather than merely causal: the question concerns considerations that count in favor of accepting the proposition. An access internalist maintains that the resources establishing justification must stand in an appropriate relation to the subject's reflective perspective.

The appeal of access is especially visible in cases where believing is criticized. It can seem unfair to say that someone ought to have believed otherwise when every consideration accessible to her favored the belief actually adopted. From this perspective justification is connected to what a thinker can reasonably be expected to take into account. The internalist emphasizes rational answerability, the possibility of revising beliefs by considering objections, and the difference between a fortunate belief and a belief supported by reasons.

The principal task is to specify the requisite access. Actual reflective awareness would exclude many ordinary stored beliefs and most unreflective perceptions. Potential access must identify a practicable range of cognitive capacities and a suitable time frame. Access under unlimited idealization would risk triviality: almost any truth could become accessible to an idealized omniscient agent. Access under excessively strict conditions would risk skepticism about mundane memory and perception.

A subject may also have a justifying mental state without recognizing that it is a justifying state. A visual appearance can rationally support a perceptual judgment even when the subject has no philosophical account of the evidential relation. Access to the evidence and access to the fact that the evidence justifies are distinct demands. Requiring the latter can generate an ascending series: one needs justification for believing that the first reason supports the belief, then justification for the higher-order judgment, and so on. The regress threatens especially strong forms of awareness internalism (Bergmann, 2006).

The strongest form of the access argument can be reconstructed in four steps. First, epistemic justification governs the rational appropriateness of belief. Second, assessment of rational appropriateness must respond to factors that belong to the thinker's reasonable cognitive perspective. Third, a feature that makes no difference to this perspective cannot, by itself, establish the rational propriety of her attitude. Fourth, justification therefore supervenes on the relevant perspective. The controversial step is the transition from a requirement on rational criticism to a complete account of justification. An externalist may agree that criticism must be fair while denying that all conditions contributing to knowledge-related justification are accessible.

Access internalism survives this objection when its target is clearly stated: the rational propriety of a perspective under its available considerations. It becomes substantially more controversial when it claims that the very same condition completely explains epistemic achievement or reliable belief formation.

Mentalism, Evidence, and Internal Supervenience

Mentalism identifies the subject's mental life as the base on which justification depends. Conee and Feldman's evidentialist program holds that epistemic justification is determined by the evidence possessed by a subject. The supervenience claim is simple in form: if the total evidential situations of two subjects are the same in the relevant respect, their justificatory status is the same. The view becomes internalist when evidence is characterized in a way that fixes it by mental conditions (Conee & Feldman, 2001, 2004).

The evidentialist can explain significant differences between people who share a proposition but believe it under different conditions. One person believes that a candidate will win because she has examined a credible survey. Another believes it because she admires the candidate. The corresponding belief may be true in both cases, but the evidence relates differently to the proposition. The rational standing of a belief can therefore be evaluated independently of its truth.

Mentalism is broader than a theory of conscious evidence. Suppose an agent has learned a fact, temporarily forgotten the original proof, and retains both the belief and supporting memories that are currently dormant. A view restricting justification to occurrent reflection may treat the belief very differently from a view that counts dispositional mental resources. Such cases show the importance of the subject's cognitive history and the difference between having evidence and currently rehearsing it.

A complication arises when evidence itself is characterized factively. If seeing that p counts as the subject's evidence, then possessing this evidence entails p and is partly world-involving. Mentalism about evidence is no longer automatically an internalist thesis when the mental includes knowledge or factive perceptual states. Williamson's knowledge-first epistemology explicitly challenges the assumption that mental states must be neutral between successful contact and deception. The boundary of the mental is therefore itself a philosophical issue (Williamson, 2000).

There are two independent questions: whether a person possesses evidence, and how that evidence supports the belief. Even if evidence is internally fixed, the support relation might depend on worldly features, such as objective probability or reliable correlations. A complete evidentialist internalism therefore requires an account of the evidence relation as well as a theory of evidence possession. Likewise, a theory can be externalist about the possession of evidence while preserving strong reflective roles for what evidence makes rational.

The value of mentalism lies in its capacity to explain rational differences through the subject's available and stored cognitive resources without demanding higher-order philosophical expertise. Its central challenge is to explain why an evidential situation carries epistemic authority, especially when its normal correlation with truth is absent.

Externalist Theories of Knowledge and Their Limits

Externalist approaches to knowledge often begin from an anti-luck requirement: a true belief may fail to be knowledge when its truth is accidental relative to how it was formed. Gettier's brief 1963 paper showed that justified true belief can fail to yield knowledge. The lesson is that a subject's possession of apparently good grounds can coexist with a defective connection between the belief and the truth. It does not establish any one particular externalist theory.

Goldman's causal approach to empirical knowledge proposes that the fact making the belief true be causally connected to the belief in a suitable way (Goldman, 1967). The project distinguishes a belief's truth from how it came to represent the fact. A correct inference from misleading premises might satisfy familiar conditions of justification while lack the relevant relation to the actual cause of the truth. A causal analysis must, however, explain abstract knowledge, general propositions, and the appropriate selection of causal chains.

Dretske's conclusive reasons account considers whether the subject's evidential basis would obtain in circumstances where the believed proposition is false (Dretske, 1971). Nozick's tracking account similarly uses counterfactual conditions to characterize a belief that is appropriately sensitive to changes in truth (Nozick, 1981). The general insight is modal: actual truth is insufficient when a method would readily deliver the same belief under relevant alternatives in which it would be mistaken.

Knowledge-first epistemology reverses the conventional order of explanatory priority. Williamson treats knowledge as fundamental and develops an account of evidence in which one's total evidence is one's total knowledge (Williamson, 2000, ch. 9). On such a view an agent's cognitive condition can include factive mental states whose individuation depends on the world. The proposal puts pressure on the idea that mental likeness must always be specified in a way neutral between veridical and deceptive experience.

These approaches should not be compressed into a single externalist doctrine. A causal condition, counterfactual sensitivity, safety, and cognitive achievement are distinct properties. They may assign different verdicts to specific cases and can be combined with different views about rational justification. The anti-luck condition concerns the success of knowledge; the demand for accessible reasons concerns the rational acceptability of believing. Whether the same epistemic property can satisfy both remains a substantive question.

Process Reliabilism and Cognitive Mechanisms

Process reliabilism explains justified belief through the reliability of the psychological processes that produce or sustain belief. The core idea is that a belief issued from a truth-conducive process is epistemically better positioned than a corresponding belief issued from an unreliable one. Normal perception, memory, competent inference, and certain forms of expertise are plausible sources of justified belief because of their systematic connection with truth. Goldman (1979) formulates a leading account of this kind.

A general reliability principle can be expressed as follows: a belief that p formed by method M is prima facie justified when M is a sufficiently reliable belief-forming process in the relevant domain and the case contains no defeating circumstances. This is a schematic reconstruction. Its application requires specifying a reference class of cases, a probability threshold, the method's individuation, the relevant environment, and whether the process was used normally.

Reliabilism explains epistemic competence in creatures that cannot deliver sophisticated justificatory arguments. A child might reliably identify familiar faces without knowing the neural machinery involved. A skilled reader can recognize words without analyzing every operation. An experienced observer can respond appropriately to patterns without articulating a rule. Requiring a second-order theory of each successful cognitive process would place excessive demands on ordinary knowledge.

The central difficulty is the generality problem. Every belief token instantiates indefinitely many process types: visual perception, visual perception in daylight, visual perception while tired, or visual perception of a particular object at a particular distance. Different type descriptions can yield different reliability rates. If the theory does not specify the epistemically relevant process type, a reliability judgment risks becoming arbitrary. A principled cognitive architecture may help individuate processes, but the resulting specification requires independent theoretical defense (Conee & Feldman, 1998; Lyons, 2009).

A second difficulty concerns strange but reliable faculties. Suppose a subject reliably receives accurate information through clairvoyance and has no evidence that such a faculty exists. If the bare process is reliable, the account appears to confer justification even where the subject's epistemic conduct seems unreasoned. The reliabilist can introduce no-defeater clauses or conditions concerning normal cognitive function, but must show why these additions are independently motivated.

A third difficulty is bootstrapping. A thinker may apparently confirm the reliability of a source by treating the very beliefs generated by that source as evidence of its reliability. Even if the process is reliable, this route to second-order assurance looks suspiciously circular. The distinction between possessing reliable first-order knowledge and acquiring reflective knowledge of one's own reliability can explain part of the problem. A credible externalist theory needs constraints on higher-order confirmation that do not make every method epistemically self-certifying.

Reliabilism remains a powerful theory because it recognizes the causal and dispositional dimensions of cognition. Its explanatory success depends on articulating a sufficiently precise relation among method, environment, defeat, and the norms governing a subject's response to reasons.

The New Evil Demon and the Argument from Internal Duplicates

The new evil demon objection presents two thinkers with the same relevant inner life but sharply different environments. One is located in the ordinary world, where the perceptual system usually connects appearance with reality. The other is deceived so systematically that the same experiences arise regardless of the external facts. Their belief-forming practices differ in reliability while their available evidential situations remain alike. The intuition is that the deceived subject remains as rational, or as justified, in relying on those appearances as the ordinary subject (Cohen, 1984).

The internalist argues from equal perspective to equal justification. If the subjects have the same experiences, background beliefs, inferential dispositions, and absence of defeaters, assigning one a superior justificatory standing appears to make epistemic propriety depend on a fact neither can rationally discriminate. This is more than an appeal to sympathy. It identifies a dimension of epistemic assessment that tracks what the subject's evidence renders reasonable.

The externalist response begins by disaggregating the epistemic evaluations at issue. The deceived subject can be internally rational while her belief-forming practice lacks the actual reliability necessary for some knowledge-oriented form of justification. A theorist may describe the shared state as blameless, rational, responsibly formed, or subjectively justified, while reserving another positive status for beliefs supported by a truth-conducive connection. The success of this response depends on showing that the statuses are independently intelligible rather than invented only to protect the theory.

The argument can be reconstructed as follows. Assume that equal total epistemic perspective is sufficient for equal justification. Establish, by stipulation, that the ordinary and deceived thinkers are internally identical. Conclude that their corresponding beliefs have equal justification. Finally, note that process reliabilism assigns different reliabilities to the relevant belief-forming methods. The argument refutes an uncompromising identification of justification with actual process reliability if its first premise is accepted.

Its limitation is that the key premise is precisely what an externalist disputes. The case strongly supports equality of perspectival rationality but cannot by itself demonstrate that all epistemic goods are fixed by perspective. A genuine resolution therefore requires a theory of the property assessed, not merely an assertion about intuitions. The case remains indispensable because it prevents the successful connection with the world from being mistaken for the entirety of rational standing.

Clairvoyance and the Challenge of Rational Trust

The clairvoyance problem moves in the opposite direction. Consider a person who accurately forms beliefs through a reliable but unusual capacity and lacks relevant evidence for trusting it. The externalist may infer positive epistemic status from the capacity's reliable results. The internalist emphasizes that, from the subject's perspective, there is no rational basis for treating these deliverances as authoritative. BonJour's 1980 discussion made such cases central to the case against simple externalist accounts.

The case must be designed carefully. A clairvoyant who knows that her faculty has repeatedly predicted events has ordinary experiential evidence for trusting it. A clairvoyant who has strong evidence against the reliability of the purported faculty is irrational to rely on it, regardless of actual success. The most instructive case places the subject in a neutral evidential condition: the faculty is genuinely reliable, but the person lacks accessible evidence favoring or disfavoring it. The central question is whether the reliability of a capacity suffices for justification under these conditions.

The internalist's strongest argument is that justification involves the propriety of accepting a proposition. Genuine reliability can explain successful belief formation without explaining why this believer is rationally entitled to trust the source. A person who believes whatever an unrecognized signal tells her may possess an epistemically successful mechanism while exercising little reasoned discrimination. This generates pressure to distinguish competent production from responsible acceptance.

Externalists can reply that many ordinary perceptual and mnemonic beliefs are similarly unsupported by higher-order evidence about the mechanisms that generate them. If the clairvoyant is denied justification solely for lacking a defense of the faculty, the same standard might disqualify much ordinary knowledge. To maintain the distinction, internalists may appeal to the phenomenological character of perception, the subject's broader evidential background, or the absence of a defeater in conventional cognitive practice.

The case therefore exposes a tension in the epistemology of basic belief. Which capacities can confer initial warrant without antecedent justification? If ordinary perception can, why could a reliable unconventional faculty not do so? If no faculty can, how can the regress of reasons terminate? Answers require a substantive account of basic epistemic trust, not simply the stipulation that usual faculties are acceptable and unusual ones suspect.

Defeat, Basing, and the Temporal Structure of Justification

Defeaters show that neither evidence nor reliability should be considered in isolation. A rebutting defeater provides support for the opposite proposition. An undercutting defeater weakens the connection between a purported ground and the proposition it supports. Suppose a subject sees what appears to be a red object but learns that the room is illuminated by a deceptive red light. The information may undercut the support of the visual appearance without establishing that the object is another color.

A defeater can be possessed by the agent or exist beyond her perspective. The distinction opens a further internalist–externalist dispute. If a subject has no reason to suspect that a thermometer is systematically defective, must the unknown malfunction undermine justification? A truth-oriented externalist tends to assign real epistemic significance to the malfunction. A perspective-oriented internalist may preserve the subject's rational status while denying knowledge. The example identifies a pair of evaluations rather than requiring an immediate choice of a single correct verdict.

Doxastic justification adds the basing question. A subject might have strong evidence for p while arriving at p through a horoscope. If the evidence plays no appropriate role in forming or retaining the belief, the belief may be propositionally supported but doxastically defective. The basing relation can be understood causally, counterfactually, or through the normative structure of reasoning. Each option generates difficult cases: causes can be irrational, counterfactual dependence can be accidental, and explicit reasoning may be unavailable to habitual cognizers.

Time further complicates the internal base. A belief can be acquired through excellent evidence, preserved in memory after the evidence is no longer occurrent, and later challenged by newly available information. The epistemic status of the retained belief may depend on its acquisition, current mental state, available defeaters, and the reliability of preservation. A strictly synchronic account risks ignoring how present beliefs inherit epistemic credit from their origins. A purely historical account risks overlooking present reasons to revise.

The central synthesis is that epistemic status has an acquisition dimension and a maintenance dimension. A subject can form a belief well and retain it poorly; form it through an unreliable accident and later discover excellent evidence; or retain a well-supported belief in an environment whose conditions have deteriorated. An adequate theory must specify whether it evaluates the belief token, the acquisition method, the continuing disposition, or the current act of endorsement.

Epistemic Normativity, Rational Guidance, and Responsibility

Epistemic justification is a normative concept. Its use distinguishes appropriate from inappropriate ways of believing. Internalists often connect this normativity to the agent's reasons and responsibilities. The strongest internalist argument holds that a genuine norm of belief must be capable of guiding a thinker through the resources available to her. A standard that depends entirely on inaccessible process facts seems poorly suited to direct rational deliberation.

The externalist can respond that many standards of good performance depend on features beyond a performer's knowledge. A person may drive skillfully without understanding the engineering of the vehicle. A thinker may exercise a reliable cognitive capacity without knowing its reliability. Evaluation of successful performance and advice about how to perform are different normative activities. The fact that a property cannot guide an agent directly does not show that it is devoid of epistemic value.

This reply raises the relation between justification and intellectual responsibility. A responsible thinker seeks reasons, checks defeaters, adjusts confidence, and remains open to correction. These activities can be carried out well under conditions in which the subject has systematically misleading evidence. If all epistemic assessment is reduced to actual success, the internal value of responsible belief management becomes difficult to express. If all assessment is reduced to responsibility, the distinction between an excellent but unlucky inquiry and a genuine discovery becomes equally difficult.

Bergmann (2006) challenges forms of internalism that require awareness of the positive status of one's grounds. Strong awareness can generate a regress of higher-order justifications; weak awareness may fail to explain why internal access was needed in the first place. The force of this dilemma varies with the target. A theory of explicit reflective responsibility is expected to require access to considerations; a theory of the justificatory standing of basic perceptual belief may not require reflective endorsement.

The resulting philosophical lesson is that normativity has at least two important forms within epistemology. A directive norm asks what the subject should believe given her perspective. An achievement-oriented norm assesses whether her belief manifests a competent connection to truth. A theory can take both seriously while denying that either exhausts the meaning of rational cognitive performance.

The Generality Problem and the Individuation of Methods

The reliability of a process depends on how the process is typed. One episode of seeing an object can belong to the general category of visual perception, the narrower category of face recognition under poor illumination, and the narrower still category of recognizing a particular face from a specific angle. If one type is highly reliable and another is less reliable, which type determines the epistemic status of the belief?

The generality problem is foundational because reliability cannot be assigned to a token independently of a reference class. Any externalist who claims that a belief is justified because its producing method is reliable must specify a nonarbitrary basis for identifying that method. The issue is especially pressing where a theory uses statistical or frequency-based truth ratios. A frequency is informative only in relation to a defined population of relevant cases.

One strategy appeals to cognitive science. Belief-forming systems may be individuated by their functional mechanisms, informational inputs, computational organization, or stable capacities. This approach promises a principled account of method-types and connects epistemology to psychological explanation. Lyons (2009) develops an externalist account of perceptual and basic beliefs through the cognitive modules responsible for their production.

The appeal to mechanisms does not eliminate philosophical judgment. Cognitive systems can be decomposed at several levels, and a particular belief may involve interacting perceptual, mnemonic, inferential, and affective processes. Whether the relevant process is an entire composite system or a selected component must be decided in relation to the explanatory question. A mechanically precise classification can still be epistemically inappropriate if it omits the operation that makes success attributable to ability.

Another strategy begins with performance norms. The relevant method is the competence exercised in producing the belief, and its reliability is evaluated over appropriate conditions for that competence. This brings the account closer to virtue epistemology. Yet it adds the problem of specifying normal conditions without stipulating that every actual failure occurred outside them.

The strongest generality response combines empirically grounded mechanisms with an independent account of what counts as the relevant epistemic task. The method must be identified before the desired verdict is assigned. Otherwise reliabilism risks using process descriptions selected retrospectively to validate beliefs already deemed justified.

Virtue Epistemology and Knowledge as Achievement

Virtue epistemology shifts attention from isolated beliefs to the epistemic agent or cognitive faculty responsible for their production. Its reliabilist strand examines the reliable exercise of faculties; its responsibilist strand studies cultivated intellectual traits such as conscientiousness, open-mindedness, and intellectual courage. These strands differ, but both illuminate the relation between the source of a belief and its normative standing (Sosa, 1980; Greco, 2010).

The central achievement claim holds that knowledge is true belief attributable in a suitable way to intellectual ability. In ordinary performance assessment, success by skill is different from success by accident. A musician's accurate performance is creditable when it results from competence. Similarly, a knower's true belief is an epistemic achievement when success manifests cognitive ability rather than favorable luck.

The proposal handles some Gettier-style cases by denying that the subject's true belief is sufficiently attributable to competence. An agent may reason competently from misleading evidence and reach a true conclusion through coincidence. Skill is present but does not appropriately explain the success. The central criterion is therefore not merely that the subject possesses an ability, or that the belief is true, but that the success occurs because the ability is exercised in a suitable manner.

Virtue approaches also enrich the internalist–externalist dispute. A person's reflective responsibility can contribute to one intellectual virtue, while accurate perception contributes to another. Excellent inquiry involves both cultivated attitudes and dependable faculties. A fully developed account needs to explain how these virtues are coordinated and how environmental obstacles affect their evaluation.

Greco (2010) develops the achievement conception of knowledge by examining epistemic normativity through successful agency. The appeal to agency raises a useful challenge for automated and distributed forms of cognition: what counts as the cognitive unit to which epistemic success is attributable? Attributing an achievement requires identifying the relevant capacity and its contribution. This is an analytical consequence of the account rather than a claim that every information-producing mechanism already qualifies as a responsible epistemic agent.

The limitation of achievement theories appears in cases where a thinker obtains knowledge through cooperation, testimony, or environmental support that exceeds the agent's individual skill. The theory must decide how much of the success belongs to the individual, a cognitive system, or a wider epistemic network. The contribution of virtue epistemology is to make the attribution of successful performance an explicit object of analysis.

Knowledge-First Epistemology and Factive Evidence

Knowledge-first epistemology places knowledge at the foundation of epistemic theory rather than treating it as a product analyzed through independent components. Williamson (2000) argues that knowing is a mental state and that evidence consists in knowledge. This challenges the assumption that all mental conditions are equally available in good and deceptive cases.

The knowledge-first move alters the internalism–externalism map. If mental states can be factive, then two agents with matching nonfactive appearances need not be mentally identical in the relevant sense. The ordinary perceiver can see that p while the deceived thinker merely seems to see that p. Both may undergo similar phenomenal episodes, but the world-involving state of seeing that p is possessed by only one.

The proposal makes a direct contribution to evidence theory. Instead of asking what experience provides independently of knowledge and then attempting to infer knowledge, it asks what an agent's existing knowledge makes evidentially available. This helps explain why evidence can directly include known facts. It also raises questions about the reflective accessibility of one's total evidence: a person may not always be in a position to know precisely what she knows.

Externalism about mental states does not by itself refute every internalist theory of justification. One might define the internal base through nonfactive phenomenal or representational states. Yet doing so becomes a substantive theoretical selection rather than an innocent use of the word internal. The debate must specify whether the comparison concerns physical duplicates, phenomenal duplicates, nonfactive psychological duplicates, or all mental facts including factive states.

The knowledge-first challenge is especially important for ordinary epistemic language. We often say that someone has evidence because she saw a relevant event or learned a fact. Such descriptions are relational and may entail that what was encountered was real. Replacing them with descriptions of neutral appearances changes the subject's evidential inventory. The question is whether epistemic theory should preserve ordinary factive evidence or reconstruct it from appearances plus success conditions.

The enduring contribution of knowledge-first epistemology is to dissolve the assumed alignment between mentalism and a purely world-neutral point of view. The theory requires a more exact analysis of the internal base and allows a rational subject's evidence itself to be connected constitutively to reality.

Epistemological Disjunctivism and Reflectively Accessible Facts

Epistemological disjunctivism proposes a striking combination: in paradigmatic cases of perceptual knowledge the subject may possess rational support that is both reflectively accessible and factive. Seeing that p can constitute a reason for believing p, and the state of seeing that p entails p. Pritchard (2012) develops this approach as a response to the assumption that rational support accessible to reflection must be identical across good and deceptive cases.

The disjunctivist distinguishes a veridical perceptual state from a matching deceptive appearance. The subjects may have experiences that are subjectively indistinguishable, but the rational support available to them need not be of the same kind. The successful perceiver can know the relevant fact through perception. The deceived subject may have a weaker, nonfactive appearance. The inference from identical appearance to identical evidence becomes contested.

This position challenges the internalism–externalism dichotomy when that dichotomy assumes accessibility and world-involvement to be mutually exclusive. Factive reasons can be accessible in the good case while remaining dependent upon the world. Thus accessibilism alone does not establish supervenience on nonfactive inner duplicates.

The difficulty is explaining how accessible factive support can be a reason from the subject's perspective when the deceptive subject cannot recognize the difference. If the subject cannot reliably determine whether she sees that p or merely appears to see it, how can the factive reason guide her cognitive practice? The disjunctivist may maintain that one can possess and respond to a reason without possessing an infallible method of identifying that possession.

A further problem concerns epistemic parity in evil-demon cases. The disjunctivist must allow that the deceived subject may be rational despite lacking the stronger factive support of the ordinary perceiver. This motivates a distinction between reasonable belief given deceptive appearances and knowledge supported by genuinely world-involving evidence.

Epistemological disjunctivism demonstrates the need for greater conceptual precision. A justification-making consideration can be epistemically accessible without being insulated from the environment. Accordingly, a theory's status as internalist or externalist depends on the exact supervenience condition and not merely on its use of the language of reasons.

The Social Environment of Belief and Epistemic Injustice

The internalist–externalist debate has important consequences for social epistemology. A person's evidence is acquired and interpreted within practices of testimony, education, institutional communication, cultural classification, and shared inquiry. These practices shape which possibilities appear salient and which sources are recognized as credible. The individual may reason impeccably from a perspective that has been systematically distorted.

Srinivasan's “Radical Externalism” (2020) challenges internalism through cases of damaging ideology. The central pressure is that a subject may possess a perspective apparently supported by the available local evidence while that perspective has been formed through oppressive social arrangements. Treating the belief as fully justified merely because it coheres with the individual's internal resources can understate the epistemic defect of the belief-forming environment.

The significance of these cases is different from the conventional evil demon. The demon case invites sympathy for a subject deceived despite responsible cognition. Ideology cases reveal situations where socially organized misinformation, selective evidence, and entrenched interpretive practices can make perspective-based endorsement seem too generous. The external world matters not only as an object of accurate representation but also as a source of epistemic structures that shape what counts as evidence.

An immediate objection is that the individual may be epistemically blameless in an ideologically distorted environment. Radical externalism need not entail indiscriminate blame. It can distinguish a belief's defective epistemic standing from the fairness of criticizing the particular believer. This recovers an important internalist insight about responsibility while allowing environmental relations to affect the epistemic quality of belief itself.

The discussion also complicates the conception of relevant environment in reliabilism. The reliability of an isolated cognitive mechanism may depend on institutional arrangements, testimonial networks, and social incentives. A person may be locally competent and systematically misled by the information ecology. An adequate account must evaluate the interaction between individual inference and social production of evidence.

This does not establish that every social epistemic problem reduces to an internalist–externalist choice. The distinctive contribution of the debate is to show why a theory limited to private cognitive states may overlook important epistemic causes, while a theory limited to outward success may overlook the standards of fair intellectual responsibility.

Perception, Cognitive Penetration, and the Scope of Experience

Perceptual experience is an important testing ground because it appears to supply immediate reasons for belief while also depending on sensory and computational processes. A subject can see what appears to be an approaching vehicle and respond before undertaking explicit reflection. The epistemologist must explain how perceptual information gains justificatory authority and whether that authority depends on the conditions under which the experience was produced.

A purely internal account may assign initial positive standing to an experience on the basis of how things perceptually appear. A process reliabilist may emphasize the dependable operation of sensory systems in suitable environments. These assessments can converge in normal conditions yet diverge under deceptive lighting, hallucination, unusual sensory abilities, or cognitively biased perception.

Siegel's The Rationality of Perception (2017) shows why the distinction between passive appearance and reasoned cognition can be unstable. Prior belief, fear, desire, or prejudice may influence perceptual experience. If an antecedent prejudice shapes the experience that subsequently appears to confirm the prejudice, the resulting evidential cycle may have an epistemic defect. The issue concerns the etiology and rational status of perceptual experience, not merely its momentary phenomenal content.

This result challenges accounts in which any given appearance carries an invariant justificatory force regardless of how it came about. A visually compelling experience produced by wishful thinking may differ epistemically from a comparable appearance arising through ordinary perception. Yet an externalist must explain what kind of etiological contamination matters; not every causal influence on perception is irrational.

A credible analysis distinguishes the content of experience, its phenomenal force, the reliability of the perceptual process, its causal origins, the subject's background evidence, and the belief's basing relation. These dimensions may yield separate positive and negative verdicts. The theory must state how they combine, whether some have priority, and whether the evaluation concerns the experience itself or the belief formed from it.

Perception thus reveals a broader problem: cognitive evidence has a history. A perspective at a moment can carry traces of prior inference, social training, and environmental contact. Evaluating only the immediate appearance may be insufficient for explaining its epistemic status, even if the appearance remains important in judging what the subject reasonably believes.

Testimony, Scientific Instruments, and Distributed Evidence

A substantial share of human knowledge depends on sources whose reliability the recipient cannot independently verify. Students accept the results of experiments they have not performed. Patients rely on medical instruments and professional expertise. Historians use archives and critical editions. Individuals depend on navigation systems, translation tools, and institutional databases. These cases sharpen the question of whether first-person access to a source's reliability is necessary for justified belief.

An internalist can describe the recipient's grounds in terms of credibility, coherence with other evidence, background information about expertise, and the absence of relevant defeaters. This approach respects the epistemic task actually available to the recipient. It also raises the regress of testimony: verifying each source may itself require another source. A complete reflective defense of every testimonial channel is generally unavailable.

An externalist can emphasize dependable informational transmission. The authority of an instrument may rest on calibration, validation, manufacturing quality, or the accuracy of its measurement process. The authority of a witness may depend on observational access and communicative competence. A recipient can acquire a true belief through a successful informational chain without reconstructing that chain in detail.

Scientific practice depends on both dimensions. Calibration and error controls address external dependability. Public reasoning, methodological documentation, and replicable criticism make evidential claims available for assessment. An accurate sensor whose measurements cannot be interpreted or audited has limited value for collective rational inquiry; an impeccable report about a defective sensor can remain rationally conscientious while epistemically unsuccessful.

The epistemic status of a distributed belief must therefore be analyzed across the network producing and transmitting it. A belief can fail because the original observation was unreliable, because the inference from observation was defective, because communication distorted the result, or because the recipient ignored relevant counterevidence. These are different explanatory locations for epistemic failure.

The same structure applies to artificially implemented information systems. Reliability of outputs, provenance of inputs, inferential traceability, environmental robustness, and human or institutional oversight are distinct criteria. Their relevance follows from the general structure of distributed evidence; it does not require assuming that every system possesses human-like consciousness, responsibility, or personhood.

Internalism and Externalism Across Neighboring Philosophical Debates

Several other controversies use the labels internalism and externalism, but their logical objects differ from epistemic justification. In philosophy of mind, content externalism holds that the contents of some mental states depend on environmental or social factors. Twin-Earth and social-linguistic arguments, associated with Putnam and Burge, concern the individuation of what is thought. Epistemic externalism, by contrast, concerns what gives a belief justificatory standing or knowledge-related status. One could accept content externalism and maintain internalism about the rationality of a subject's evidence, or accept content internalism and adopt an externalist theory of knowledge.

In the theory of practical reasons, Bernard Williams's internal-reasons position connects an agent's normative reasons to the motivational set and sound deliberation. The epistemic internalist does not thereby inherit a commitment that every rational belief must produce motivation. Questions about reasons for action and reasons for belief intersect but involve different types of normativity (Williams, 1981).

Moral judgment internalism is another independent thesis: sincere moral judgments are claimed to have some necessary relation to motivation. This relation differs from the epistemic supervenience of justification on mental states. A belief may be justified without motivating action, and a moral judgment may motivate action without being epistemically well supported.

The relevance of these comparisons is methodological. “Internal” and “external” are relational designations. They derive meaning from an explicitly identified boundary and a property being explained. Without specifying both, philosophical reasoning can move illegitimately from a thesis about content to one about justification, or from a thesis about motivation to one about knowledge.

The conceptual discipline is especially valuable when discussing cognitively advanced artificial systems. Whether a proposition's meaning depends on training or environmental context is separate from whether a particular output is evidentially supported, whether the method is reliable, and whether the system satisfies an account of knowledge or agency. Each question requires its own argument. In the philosophical horizon of the Artificial Era, this is a methodological implication for the analysis of nonbiological cognition, not a revision of any canonical Aisentica definition.

Comparative Evaluation: What Each Position Explains

Internalist approaches give a compelling account of epistemic parity under deception, of responsible response to evidence, and of the rational significance of rebutting and undercutting reasons. Their explanatory strength is greatest when the evaluative subject is the appropriateness of believing from a standpoint. Internalist theories also give a straightforward role to deliberation and public criticism: a thinker can attempt to articulate, test, and revise the considerations supporting a belief.

Their difficulties arise when a reflective-access condition becomes too demanding, when stored evidence is excluded, when truth-directed cognitive success is treated as irrelevant, or when environment-dependent distortions can render a perspective epistemically defective. Mentalism avoids some burdens of strong accessibilism but must explain what counts as evidence and how evidential support is determined. The internalist also needs an account of why a fully coherent but wholly detached system of beliefs possesses the kind of epistemic merit relevant to knowledge.

Externalist approaches explain how knowledge can depend on successful relations to the world and why ordinary cognition need not require explicit higher-order reasons. Reliability, appropriate causal connection, normal cognitive function, and intellectual achievement identify real epistemic accomplishments. Externalist theories fit naturally with the study of perception, memory, cognitive architecture, scientific measurement, and distributed information systems.

Their difficulties arise when the success of a process is mistaken for the full rational propriety of trusting it. Clairvoyance suggests that reliable production can occur without a subject's entitlement to accept a deliverance. The generality problem prevents reliability from being applied without an account of process individuation. Bootstrapping reveals defective paths from first-order reliability to second-order confidence. Ideology and structural deception raise problems concerning the interaction between local responsibility and wider informational conditions.

Neither set of strengths entails that epistemic evaluation must be partitioned into two unrelated vocabularies. The same cognitive episode can be analyzed for its evidential standing, its production history, its reliability, and its success. But combining evaluations is explanatory work. Simply calling a view “hybrid” does not tell us which conditions are necessary, which are sufficient, or how conflicting verdicts should be resolved.

A productive comparison therefore asks of every proposed theory: What is the evaluated object? Is the standard rational permissibility, justified belief, warranted acceptance, knowledge, or cognitive achievement? Which factors determine the standard? How are they identified without selecting them merely to obtain the desired verdict? What is the relation between the epistemic status of the belief and the responsibility of the agent? The value of the internalist–externalist debate lies in exposing the conceptual costs of incomplete answers.

An Integrated Analysis of Epistemic Standing

The analysis supports a structured distinction among three explanatory dimensions. First, perspectival propriety concerns whether the belief is reasonable given the considerations the subject can possess and appropriately use. Second, cognitive competence concerns whether the belief results from the reliable and suitably functioning capacities exercised in its production and maintenance. Third, epistemic success concerns whether the belief is true in the appropriate nonaccidental relation to the fact believed. These are analytic distinctions developed in this monograph, not additional established theories or canonical Aisentica categories.

The three dimensions can be defined without treating them as identical. Perspectival propriety is sensitive to evidence, defeaters, and rational response. Cognitive competence is sensitive to mechanisms, methodological reliability, and the conditions of operation. Epistemic success is sensitive to truth and the explanatory or modal relation that makes success attributable to cognition rather than luck. A subject can score differently across these dimensions.

An ordinary perceiver in suitable conditions may exhibit all three. A systematically deceived but conscientious subject may exhibit perspectival propriety while lacking environmental success. A reliably functioning unusual faculty may possess competence and success while raising questions about the subject's rational endorsement. A lucky guess may be true without manifesting competence or perspectival justification. A researcher using a properly calibrated instrument may demonstrate rational assessment and competence through an informational network whose individual components she cannot inspect directly.

This framework does not settle the definition of “justification” by decree. The term has been employed to track more than one epistemic function, and successful analysis requires making each claim explicit. If justification is defined as perspectival rationality, a strong internalist conclusion becomes plausible for that defined property. If justification names the quality needed to connect belief suitably with truth, external conditions appear indispensable. If it is meant to perform both functions, the theory must specify how distinct dimensions jointly constitute a single normative status.

The framework also avoids a common argumentative shortcut. From the premise that responsible subjects can rationally disagree under misleading conditions it does not follow that every successful belief-formation process is epistemically equivalent. From the premise that truth-directed reliability matters for knowledge it does not follow that a deceived person is culpable or irrational. These are independent inferences and must be defended separately.

The research result is a discipline of explanatory attribution: identify the target assessment, establish which conditions actually determine it, test the role of internal duplicates, and track the relation between the source of the belief and the truth of its content. The distinction clarifies a large body of scholarship without claiming to have resolved every outstanding metaphysical or normative dispute.

Open Questions and Contemporary Research Directions

The first enduring question concerns the unity of justification. Can there be one epistemic property satisfying both the demand for reasonable belief from the subject's standpoint and the demand for reliable connection with truth? Or do these demands define distinct properties that ordinary language groups together? The answer influences whether internalism and externalism are genuinely inconsistent views or sometimes competing explanations of different evaluative targets.

The second concerns evidential individuation. If evidence includes factive states such as seeing that p or knowing that p, some evidence is environmentally constituted. If evidence is limited to nonfactive experiential or mental states, the theory must explain how those states acquire epistemic force. Both strategies remain active and require precise accounts of mental content and the possession of evidence.

The third concerns cognitive history. Which features of acquisition and maintenance determine present justification? Stored beliefs, forgotten evidence, epistemically contaminated experience, reliable memory, and changes in environmental conditions challenge accounts that evaluate only a synchronic moment of awareness.

The fourth concerns the generality and environment problems for reliabilism. Process types must be individuated independently, and reliability must be assessed within principled domains. Cognitive science offers explanatory tools while leaving open which mechanisms count as epistemically relevant and what determines normal operating conditions.

The fifth concerns social epistemic structure. Individual responsibility may be evaluated differently from the quality of belief produced under organized deception or misinformation. Contemporary work, including Srinivasan (2020), broadens the debate beyond individual perceptual errors and forces more detailed analysis of institutional and environmental contributors to epistemic standing.

The sixth concerns the attribution of knowledge in extended and distributed systems. A cognitive achievement may depend on a network of witnesses, instruments, algorithms, and institutions. Philosophical theory must specify the unit of epistemic evaluation and the conditions under which warrant is transmitted, retained, or defeated. Applying these questions to artificial systems requires evaluation of functional performance and public evidence rather than inference from surface linguistic fluency.

The seventh concerns method. Formal supervenience theses make the dispute precise but remain dependent on nonformal judgments about what counts as relevantly internal and which epistemic property is evaluated. Philosophical cases, empirical cognitive research, historical interpretation, and normative argument must therefore be coordinated rather than treated as interchangeable forms of evidence.

Philosophical Synthesis

The historical and conceptual reconstruction establishes that internalism and externalism emerged from intersecting attempts to explain rational belief and knowledge. The demand for reasons emphasizes the position of the thinker. Causal, reliabilist, tracking, and virtue-theoretic approaches emphasize appropriate connections between cognitive activity and reality. The new evil demon and clairvoyance cases remain powerful because they isolate different dimensions of that relationship.

The internalist contribution is the insistence that epistemic assessment must account for the rational standing of a subject given her evidence and cognitive perspective. This insight is indispensable for evaluating inquiry, disagreement, reflection, and epistemic responsibility. Its strongest formulation is a supervenience thesis applied to a clearly specified internal base. It remains vulnerable when its account of access is excessively strong or when the defended epistemic property is assumed, without argument, to exhaust the conditions of knowledge.

The externalist contribution is the insistence that epistemic achievement depends on more than appearance or coherence. Actual relations between the belief-forming process and the world matter for knowledge and often for the status attributed to a belief. The insight is indispensable for explaining reliability, skill, perception, and the difference between correct judgment and fortunate accuracy. Its strength depends on solving the problems of process individuation, defeat, and rational trust.

Recent scholarship reveals further complexity. Knowledge-first epistemology questions whether the mental must be world-neutral. Epistemological disjunctivism shows how reasons can be accessible and factive. Studies of cognitive penetration demonstrate that evidential appearances have etiologies. Radical externalism shows why socially structured error can make an exclusively individual perspective an inadequate unit of epistemic evaluation. These developments deepen rather than merely repeat the original disagreement (Williamson, 2000; Pritchard, 2012; Siegel, 2017; Srinivasan, 2020).

The most defensible research conclusion is therefore methodological and substantive. Every proposed answer should identify the exact property under evaluation, state an explicit internality criterion, determine what role external conditions play, and distinguish epistemic failure from moralized blame. Once these conditions are satisfied, philosophical disagreement becomes more informative: rival theories can be assessed for the work they perform rather than for the label they carry.

Conclusion

Internalism and externalism are fundamental positions in the philosophy of epistemic justification and knowledge because they ask what makes belief epistemically acceptable and what connects cognitive judgment with truth. Access internalism, mentalism, evidentialism, process reliabilism, virtue epistemology, knowledge-first epistemology, and epistemological disjunctivism supply different answers because they assign different explanatory roles to reasons, mental states, faculties, history, evidence, and the environment.

The historical record yields no warrant for collapsing the dispute into a single question about whether a person's grounds are conscious. Some internalists require reflective access; others maintain a broader mental supervenience thesis. Some externalists analyze knowledge through causal or modal relations; others analyze justification through reliability or intellectual competence. These theories can overlap and disagree along more than one axis.

The decisive result of this monograph is an explicit differentiation of perspectival propriety, cognitive competence, and epistemic success. Each dimension contributes to a full account of epistemic life, and their relations constitute much of the ongoing philosophical problem. The resulting framework preserves the rational value of responsible inquiry while recognizing that knowledge is an achievement situated within the world. It clarifies the conceptual structure of the debate and identifies the unresolved work necessary for a comprehensive theory of justification.