EPISTEMOLOGY · TERMS AND NOTATION
Epistemology, Skepticism, and Interpretation
The vocabulary of knowing, doubting, interpreting, and building shared knowledge from within finite perspectives.
I begin with something no act of inquiry can remove: an occurrence. From there, I ask what supports a belief, how evidence reaches a finite knower, and how different knowers can test the structure they share. The terms below let us follow that progression without confusing certainty about occurrence with certainty about every interpretation.
This reference keeps established philosophical meanings distinct from the specialized roles they have in Existential Logicism, Finite Mind, Finite God, and Existential Ground. Each entry gives an explanation, a source location, and a route to the fuller argument. A definition clarifies a claim; it does not substitute for the argument that supports it.
All 25 definitions remain visible. Use Find in page, open a lookup panel, or browse the five groups. The numbers 150–174 identify reference entries, not theorem numbers. Entry titles are direct links to their definitions.
Browse terms and aliases A–Z
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Browse notation and its source meanings
CanTok_A(S)
Capacity to token a state; not its actual performance
Tok_A(S)
An actual tokening of a representational state
S_skeptic
The state presenting a skeptical scenario
Occ(x), ∃x Occ(x)
Occurrence and the assertion that some occurrence obtains
⇒
The token-to-occurrence implication, not truth of the token’s content
𝓕_A = {S | CanTok_A(S)}
Engine: the tokenable-state component of an interface
H(s) ∈ I(s)
FMFG: a selected interpretation within the admissible set
𝓕_G
The frame attributed to a hypothesized maximally informed agent
B_𝓒
EG: the finite blueprint assembled from warranted shared relations
These expressions belong to the definitions linked here. The same letter need not have the same role in another source. The Engine’s frame is a tokenable-state component; EG’s epistemic-cell language addresses the bounded access structure more broadly.
Knowledge and justification
What it means to know, what supports belief, and why those questions are not settled by confidence alone.
- 150Epistemology
Established field
Lookup: Theory of knowledge · Knowledge, evidence, and rational belief
Epistemology studies knowledge, evidence, justification, and rational belief. It asks what counts as knowing, what supports a belief, and what could defeat that support. These are questions about our relation to reality, not simply a list of things that exist.
In my work, the first task is to identify what an actual attempt at inquiry already requires. ERP secures occurrence. Tripp’s Prison then locates knowing within finite interfaces, and the shared-structure account explains how comparison and correction can warrant more than one person’s unsupported impression. Those are connected tasks with different premises. The starting point does not spare a later claim the work of earning its support.
OpenStax, §7.1, “What Epistemology Studies”EL Engine, §§2.5 and 2.11, printed pp. 19–27 and 43–52Read Tripp’s Prison
- 151Knowledge
Established term; competing analyses
Lookup: Knowing that · Propositional knowledge · True belief · Justified true belief · JTB
In the propositional sense used here, knowledge is successful knowing that something is the case. It is not merely holding a belief strongly. Truth and an appropriate relation between the belief and its support matter, although philosophers disagree about a complete analysis. The familiar account of justified true belief is a starting point for that debate, not an uncontested final definition.
I distinguish the certainty of occurrence from the further knowledge we seek about its source and structure. An actual mistaken judgment still occurs, but its occurrence does not make the judgment correct. Shared structural knowledge requires appropriate evidence of the relations claimed, including independent comparison and correction. It does not require that a finite knower already possess a complete account of reality’s ultimate carrier.
OpenStax, §7.2, “Knowledge”EG, Chapter 3, “What occurrence proves and what remains open”; Appendix A.6.2Read Tripp’s Prison
- 152Epistemic justification
Established term; support rather than mere conviction
Lookup: Justification · Reasons for belief · Evidential support · Warrant
Epistemic justification is the status a belief has when it is appropriately supported by reasons, evidence, or a suitable belief-forming method. Accounts differ over which kinds of support count and whether they must be accessible to the believer. Justification is therefore not identical with confidence, agreement, or a belief’s useful consequences. Fallible justification can support a belief that later turns out to be false.
When I use warrant for shared structural claims, I specify the evidence doing the work: independent access, reciprocal comparison, repeatable results, successful prediction, causal resistance, and correction. That is a defeasible evidential standard. It is not the same kind of support as the performative argument that a denial of all occurrence must itself occur. Keeping the support type explicit prevents a strong result in one role from being borrowed as certainty in another.
OpenStax, §7.3, “Justification”EG, Criterion A.20 and the scope statement following Proposition A.21, printed pp. 413–415Read Explanatory Cartography
Skepticism and its scenarios
Doubt tests claims. A skeptical scenario changes what may be happening without erasing the occurrence of the inquiry.
- 153Skepticism
Established family of positions and methods
Lookup: Methodological skepticism · Local skepticism · Doubt · Suspension of judgment
Skepticism questions whether a claim, or a kind of claim, can be known or adequately justified. It can be a method of testing a particular belief, a suspension of judgment, or a wider position about the limits of knowledge. Those uses need to be distinguished before an argument against skepticism has a clear target.
I retain doubt as a tool of inquiry. A perception may be misleading, a memory unreliable, or an interpretation unsupported. ERP does not answer those questions merely by establishing that the questioning occurs. Its decisive target is the attempted global denial of occurrence. Tripp’s Prison carries inquiry forward by asking how finite agents can compare evidence without pretending that they have escaped every condition of access. Criticism and correction belong within that account; they are not defeated by it.
OpenStax, §7.4, “Skepticism”EG, Chapter 3, “Why radical skepticism fails”Read the Epistemic Refutation Paradox
- 154Radical skepticism
Established term; distinguish the target
Lookup: Global skepticism · External-world skepticism · Total skepticism · Global denial of occurrence
Radical skepticism extends doubt to a very broad domain, such as all external-world knowledge. That is not yet the same proposition as “no occurrence obtains.” A skeptical position may challenge our knowledge of a source while leaving the occurrence of the challenge untouched.
My ERP argument defeats the global denial that includes its own obtaining context: the denial is an occurrence, so it cannot truthfully erase every occurrence. A claim to have established that nothing can be known also has to account for its own claimed knowledge. Merely suspending judgment does not make that claim.
The result is a secure beginning, not automatic certification of perception, memory, another mind, or a complete worldview. Questions about those things remain answerable only through the further arguments and evidence appropriate to them.
EL Engine, Theorem 2.4 and Corollary 2.8, printed pp. 22–24EG, Chapter 3, “Why radical skepticism fails”Read the Epistemic Refutation Paradox
- 155Solipsism
Established term; epistemic use here
Lookup: Epistemological solipsism · Only my mind · Self-privileging skepticism
In the epistemic use relevant here, solipsism gives one’s own mind a uniquely secure standing while withholding knowledge of other minds or the external world. A stronger claim that only one mind actually exists must not be inferred simply from uncertainty about other minds.
I do not answer solipsism by pretending that a represented peer is directly given in the same way as an actual token of doubt. Peer recognition is a fallible judgment. My frame-symmetry argument is conditional: when a stated evidential principle supports a claim using features relevantly present in both cases, a different verdict needs a relevant difference. “It is mine” is not that difference.
A recording, misidentification, or other evidential asymmetry may defeat a particular peer attribution. What the argument blocks is an unsupported privilege within the same accepted evidential standard, not every possible doubt about another system.
EL Engine, Definition 2.21, Lemma 2.11, and Corollary 2.22, printed pp. 49–50EG, Definition A.16 and Proposition A.18, printed pp. 412–413Read Tripp’s Prison
- 156Skeptical scenario
Established device; EL formal definition
Lookup: Skeptical hypothesis · S_skeptic · Tokenable scenario · Actual tokening
A skeptical scenario is a hypothesis intended to challenge the reliability of an experience, belief, or supposed source of knowledge. A dream, a simulated environment, and a deceiving agent are different scenarios, not interchangeable explanations.
In the EL formal account, the scenario must be a state the agent can entertain. Actually entertaining it is a further fact. I write for capacity and for an actual tokening. The occurrence implication applies to the latter:
The scenario may require rejecting a belief or reclassifying its supposed referent. It cannot erase the occurrence of its own token in the context where it is actually entertained. This does not make the scenario true, prove that its imagined source exists, or turn every unused representational capacity into a performed act.
EL Engine, Definitions 2.4 and 2.15; Corollary 2.19, printed pp. 20, 44–45, and 47Read Tripp’s Prison
- 157Brain in a vat
Established skeptical scenario
Lookup: Brain-in-a-vat hypothesis · BIV · Envatted brain
The brain-in-a-vat scenario imagines a brain whose apparent world is supplied through artificial stimulation rather than the ordinary environment it seems to encounter. Its epistemic challenge is whether the available experience could distinguish those sources.
The proposed brain, apparatus, and stimulation do not amount to absolute nonbeing. In my argument, even an artificially generated experience remains an occurrence. What is unsettled is its source and the truth of the world-picture built from it.
There is also a difference between presenting the scenario and using a theory of reference to argue against it. My discussion of Putnam in EG keeps that semantic response distinct from ERP. ERP does not first need to decide what an envatted speaker’s words refer to; its minimal conclusion follows from the occurrence of the questioning itself.
OpenStax, §7.4, “Skepticism”EG, Chapter 3, “Why radical skepticism fails,” including the Putnam discussionRead the Epistemic Refutation Paradox
- 158Simulation hypothesis
Hypothesis; distinguish it from a particular argument
Lookup: Computer simulation · Simulated world · Simulation argument · Carrier hypothesis
The simulation hypothesis proposes that the world we experience is implemented through a simulating process rather than through the source we ordinarily suppose. A claim that such a process is possible, an argument that it is probable, and evidence that it is actual are different things.
Bostrom’s simulation argument is a particular conditional argument involving simulated observers and assumptions about civilizations and computation. It is not simply the statement that simulations are imaginable, nor an observation establishing that this world is simulated.
For my occurrence argument, either proposed implementation still requires actuality. For shared structural inquiry, a simulation could preserve stable relations that different agents measure, predict, and navigate. Those relations may be warranted while the deeper carrier remains underdetermined. An alternative carrier story does not automatically erase the structure being successfully investigated, but it also is not established merely by describing it.
Bostrom, “Are You Living in a Computer Simulation?” (2003), abstract and §§I–IIEG, Chapter 3; Proposition A.21, printed pp. 414–415Read Tripp’s Prison
- 159Evil demon hypothesis
Cartesian skeptical scenario
Lookup: Evil deceiver · Cartesian deceiver · Malicious demon
Descartes’ evil-demon hypothesis imagines a powerful deceiver who systematically misleads the thinker. It intensifies methodological doubt by putting apparently secure experience and reasoning under challenge. The scenario is a device for examining certainty, not evidence that such a being exists.
The next question is what the deception itself leaves in place. Descartes uses doubt to reach the thinker’s existence. I make the minimum step explicit before assigning that occurrence a richer identity: a deceptive experience, a mistaken inference, or a tokened skeptical hypothesis still occurs. ERP therefore does not depend on proving the deceiver absent.
This is not a guarantee that every act of reasoning is reliable. It identifies the actuality that an attempted denial already requires, while leaving the truth of the denial’s content and the nature of its source to further examination.
Descartes, Meditations I–IIEL Engine, §2.5, especially Lemmas 2.1–2.2 and Theorem 2.4, printed pp. 21–23Read the Epistemic Refutation Paradox
- 160Cogito (Cogito ergo sum)
Historical argument; distinct from ERP
Lookup: Cogito ergo sum · I think, therefore I am · Cartesian cogito · Thinking subject
The cogito is Descartes’ certainty that thinking or doubting cannot occur while the thinker does not exist. The familiar wording, “I think, therefore I am,” belongs to the Discourse on the Method; the related certainty is developed in Meditation II. Establishing the thinker’s existence is not, by itself, a complete account of that thinker’s nature or the external world.
I preserve the insight that an attempted denial can depend on what it denies, but ERP begins with a smaller requirement. Its minimum result is that some occurrence obtains. It does not first need a distinguished “I,” self-awareness, or a rich phenomenal consciousness predicate.
Lived doubt is a direct case of experience occurring. A tokened sentence supplies the narrower occurrence result without automatically establishing its host’s phenomenology. That difference is why I do not treat ERP as merely a renamed cogito.
Descartes, Discourse on the Method, Part IV; Meditation IIEL Engine, Lemma 2.5 and Remark 2.9, printed pp. 24–25Read the Epistemic Refutation Paradox
Access, testimony, and interpretation
Evidence has a route into a finite life. Entailment, access, transmission, and interpretation are distinct parts of that route.
- 161Epistemic closure (closure principle)
Established principle; not the EL frame-closure theorem
Lookup: Closure principle · Known entailment · Deductive closure · Frame closure · Epistemic-cell closure · CanTok · F_A
The standard epistemic closure principle concerns the preservation of knowledge through known entailment. In its familiar use, a person who knows a premise can come to know a consequence by competently deducing it while retaining the relevant knowledge. Formulations differ; the principle is not a claim that finite people already know every consequence of everything they know.
That is not what I mean by frame closure in Tripp’s Prison. Frame closure concerns the realization of an agent’s epistemic acts within its own available representational structure. The Engine defines the tokenable-state component by
An actual evaluation is realized by an actual token within that frame. This does not assert that the frame contains every logical consequence, that its contents are true, or that represented objects must be inside the agent. The standard entailment principle and my interface result share a word, not one theorem.
Goldstein and Hawthorne, “Safety, Closure, and Extended Methods” (2024), abstractEL Engine, Definition 2.13 and Theorem 2.8, printed pp. 43–47Read Tripp’s Prison
- 162Epistemic access
Established term; FMFG responsibility use
Lookup: Access to evidence · Access Condition · Normative capacity · Access is not assent
Epistemic access concerns an agent’s opportunity or ability to obtain evidence, understand a claim, or reach an appropriately supported judgment. What counts as access depends on the task. The mere existence of a text somewhere is not the same as a person’s realistic access to its meaning.
In FMFG Definition 3.1, the term concerns a putative requirement. The content must be available in a form the person could realistically encounter and understand such that ignorance is not reasonably excusing. Definition 3.2 separately concerns the ability and opportunity to comply.
Access, capacity, and belief are therefore distinct. A person may encounter and understand a proposition without finding it credible. The fairness argument examines the actual access and capacity conditions; it does not treat exposure as proof of assent, or treat every disagreement as either culpable refusal or an automatic excuse.
FMFG, Definitions 3.1–3.2, printed p. 41; Lemma 4.9, printed pp. 60–61Read the Fairness Clause
- 163Testimony
Established source of belief; FMFG formal use
Lookup: Report · Testimonial evidence · Transmission chain · Public revelation
Testimony is what another person reports or presents as true, used as part of a recipient’s basis for belief. It can be communicated directly or through an artifact such as a text, recording, or recitation.
FMFG Definition 2.3 makes the relation explicit: a source presents a proposition to a recipient, and that presentation contributes to the recipient’s evidence for it. Definition 2.4 follows the finite transmission chain through which the report reaches the recipient.
I do not treat mediation as a reason to discard testimony wholesale. I ask what supports the report, how it was transmitted, and whether apparently different reports are genuinely independent. For a person who did not experience an alleged revelation, adding an upstream intermediary does not remove that person’s dependence on testimony and interpretation. The occurrence of a report and the truth of what it reports remain separate questions.
FMFG, §2.4; Definitions 2.3–2.4 and Lemmas 2.8–2.9, printed pp. 19–20 and 27–29EG, Criterion A.20, printed pp. 413–414Read the Human Interface Thesis
- 164Hermeneutics
Established field; FMFG application
Lookup: Interpretation · Interpretive method · Meaning in context
Hermeneutics is the theory and practice of interpretation, especially the interpretation of texts, language, and meaning in context. It examines how wording, use, background assumptions, and a wider body of material contribute to understanding.
In FMFG, interpretation is part of the human interface through which a claim becomes available. A text does not supply its public meaning independently of readers, languages, and interpretive practices. Calling a reading literal does not remove those conditions.
This is not permission to make a text say anything. A reading still has to answer to the text, its context, and the standards under which it is being offered. I use that distinction to examine claims of authority: an interpretation may be coherent or well supported, but its status as an interpretation cannot be removed simply by calling the text sacred or its meaning obvious.
FMFG, §2.6, printed pp. 21–22; §6.2, printed pp. 84–85Read the Human Interface Thesis
- 165Hermeneutic circle
Established interpretive structure
Lookup: Parts and whole · Interpretive circle · Prior understanding
The hermeneutic circle is the reciprocal relation between understanding a part and understanding the whole to which it belongs. The meaning assigned to a passage depends on a broader understanding of the text, while that broader understanding is revised through the passages.
FMFG uses the term to locate interpretation within a living practice. Readers do not arrive without language, assumptions, or prior expectations. Those starting conditions help make understanding possible, and they can also need correction.
The circle is therefore not simply a fallacy of assuming a conclusion as its own proof. It describes how interpretation proceeds. It becomes a problem for a particular claim when the reading is insulated from correction and its preferred whole is allowed to override every troublesome part without a defensible reason.
FMFG, §2.6, printed pp. 21–22; §6.2, printed pp. 84–85Read Smartest Reading
- 166Principle of charity
Established norm; distinguish FMFG’s specialized policy
Lookup: Interpretive charity · Charitable interpretation · Steelman · Steelman Hermeneutic · H(s) ∈ I(s)
The principle of charity favors a rational, coherent interpretation of an ambiguous statement when that interpretation remains consistent with the available evidence. Charity requires understanding the strongest defensible claim, not replacing the speaker’s claim with whatever would be easiest to defend.
My Steelman Hermeneutic is a more specific interpretive policy for the religious translation layers examined in FMFG. Definition 6.1 selects , an interpretation from the admissible readings of an utterance. Its constraints include coherence, the intended ultimacy role, qualification of creaturely predicates, the tradition’s own justice commitments, and the human interface.
The admissible set matters. A favorable reading must still belong to the sources and interpretive standards being examined. Charity can reveal the costs of preserving a claim; it cannot make those costs disappear or make every interpretation equally warranted.
FMFG, §6.2 and Definition 6.1, printed pp. 84–85 and 94Read Smartest Reading
- 167Special pleading
Established fallacy; EL applications
Lookup: Unsupported exception · Self-exemption · Frame symmetry · Relevant asymmetry
Special pleading occurs when a favored case is exempted from an otherwise relevant rule without a principled justification. A genuine difference can justify different treatment. The problem is the unsupported exception, not difference itself.
ERP supplies one precise application. A claim that no occurrence obtains cannot exempt the actual act of making that claim while still presenting itself as global. The exemption would withdraw what “global” was supposed to cover.
Tripp’s Prison applies the same discipline to evidential treatment. When a principle supports a claim using features attributed on relevant evidence to both oneself and a recognized peer, a differing verdict needs a claim-relevant asymmetry or a revision of the principle. This does not establish that every apparent peer exists or has identical experience. It requires consistency about the evidence one has agreed to count.
EL Engine, Lemma 2.3, printed p. 22; Lemma 2.11 and Corollary 2.22, printed pp. 49–50Read Tripp’s Prison
Perspective and shared knowledge
Finite viewpoints can compare real constraints without turning agreement into infallibility or a blueprint into its ultimate carrier.
- 168View from nowhere
Established phrase; narrower EL target
Lookup: Objective standpoint · Naïve external view · No operative view from nowhere · Frame-free access
A view from nowhere names the ideal of describing reality without privileging one particular perspective. The phrase is associated with Thomas Nagel’s book of that name. The aspiration to greater objectivity must be distinguished from a literal presentation that somehow functions outside every epistemic frame.
The latter is the target of my naïve external view definition. If a presentation actually contributes to an agent’s reasoning, a representational state realizes it within a frame. If it has no operative realization in any reasoning, it cannot supply the promised access.
The conclusion limits how a presentation functions. It does not place every represented object inside someone’s mind, deny objective truth, or make every viewpoint equally accurate. Objectivity can be pursued through wider evidence and correction without demanding a presentation whose use has no conditions of use.
EL Engine, Definition 2.16, Lemma 2.9, and Theorem 2.10, printed pp. 45 and 48EG, Theorem A.17 and its proof, printed pp. 412–413Read Tripp’s Prison
- 169God’s-eye view
Hypothetical perspective; EL source use
Lookup: God's-eye view · Perfect perspective · Maximally informed agent · F_G
A God’s-eye view is an imagined perspective that sees reality without the limitations ordinarily attributed to human knowing. It may be used to suggest complete information, freedom from bias, or direct access to things as they are. Those proposed advantages do not all mean the same thing.
My point is structural. Even a hypothesized maximally informed agent would have a frame insofar as a view functions for that agent. Calling the agent divine, simulated, or superintelligent does not make its operative representation cease to be a representation. Human discussion of that view likewise occurs through a human interface.
This argument does not establish that such an agent exists, or decide its information capacity. Nor does it by itself complete the separate arguments about personhood and totality. It blocks the claim that a name supplies an epistemic bypass.
EL Engine, Remark 2.20, printed pp. 48–49FMFG, §1.4, printed pp. 5–6; §2.5, printed pp. 20–21Read Tripp’s Prison
- 170Intersubjectivity
Established term; agreement is not yet warrant
Lookup: Shared meaning · Cross-subjective agreement · Peer comparison · Intersubjective convergence
Intersubjectivity concerns relations among subjects: shared meanings, communication, comparison, or agreement. It does not require identical private experience, and it is not automatically a guarantee that an agreed claim is true.
I distinguish the existence of shared representations from the evidence for what they represent. People can inherit the same error, repeat one report, or conform under the same pressure. Many repetitions of a single source do not become many independent observations.
The constructive question is how different finite interfaces encounter and test common constraints. Intersubjective convergence becomes evidentially significant when independence, reciprocal comparison, prediction, resistance, and correction do real work. That is how agreement can contribute to a shared blueprint without being promoted into majority-rule truth. The social reality of a belief or institution also does not automatically establish every external referent named by it.
EG, Chapter 3, “From the cell to the prison”; Appendix B.3; Proposition A.21, printed pp. 414–415Read Tripp’s Prison
- 171Intersubjective realism
EL and EG use; conditional structural warrant
Lookup: Shared structural reality · Cross-Frame Structural Warrant · Cross-frame invariant · Intersubjective blueprint · Blueprint–carrier boundary · B_C
In my account, intersubjective realism recognizes real shared relations and constraints that finite knowers can investigate together. It does not require a literal view from nowhere. It also does not follow from agreement alone.
Recognized peers first have to be treated under consistent evidential standards. The further Cross-Frame Structural Warrant criterion then asks for sufficiently independent access, reciprocal comparison, repeatable measurement or report, successful prediction or action, stable causal resistance or intervention response, and correction under changed conditions. The standard must be appropriate to the stated domain.
Relations that survive those tests become cross-frame invariants. Their finite shared model is an intersubjective blueprint, . Its warrant is defeasible: new evidence can correct it.
The blueprint–carrier boundary keeps the achievement exact. A well-supported blueprint can map common structure without uniquely identifying its ultimate substrate or another system’s private phenomenology. The boundedness of knowing does not make that structural knowledge unreal.
EL Engine, §2.11, printed pp. 49–52EG, Definitions A.16 and A.19, Proposition A.18, Criterion A.20, and Proposition A.21, printed pp. 412–415Read Tripp’s Prison
Belief, control, and luck
What a person believes, what the person professes, and what the person can influence must be assessed separately.
- 172Doxastic voluntarism
Established thesis; direct and indirect senses distinguished
Lookup: Voluntary belief · Direct doxastic control · Indirect influence on belief · Belief choice
Doxastic voluntarism concerns voluntary control over belief. In the direct sense used by FMFG Definition 4.5, an agent can form or abandon a belief by an act of will across a broad class of cases. Indirect influence is different: a person can seek evidence, change an information environment, or cultivate habits that affect what later seems credible.
I do not treat those two forms of influence as equivalent. Deciding to investigate is not the same act as deciding to find a proposition true while its credibility remains unchanged. Likewise, choosing to profess a belief does not establish sincere belief.
The distinction matters for responsibility. A system cannot simply assume that someone who has heard a claim can believe it on command. The person’s actual opportunities for inquiry and response still belong in the assessment.
FMFG, §§4.3.1–4.3.2 and Definition 4.5, printed pp. 50–51 and 59–60Read the Salvation Paradox
- 173Doxastic involuntarism
Established thesis; FMFG’s modest claim
Lookup: Involuntary belief · At-will test · Belief and profession · Nonculpable nonbelief
Doxastic involuntarism holds that belief is not generally produced by a direct decision in the way an ordinary voluntary action can be. In FMFG, belief responds to what appears true given a person’s evidence and cognitive condition. That does not make every belief rational or immune to change.
The at-will test asks whether someone can sincerely form a belief merely by deciding to, while the relevant proposition continues to appear unconvincing. Saying the words, pretending, and changing the evidence are not the same accomplishment.
My argument needs the modest claim that direct belief control fails in relevant cases, including cases of sincere, nonculpable nonbelief. It does not require that no belief is ever voluntarily influenced in any sense. Nor does nonbelief alone establish innocence: the assessment retains the conditions concerning culpable refusal, negligence, access, and capacity.
FMFG, §4.3; Definitions 4.5 and 4.7, Lemmas 4.8–4.9, printed pp. 50–51 and 59–61Read the Salvation Paradox
- 174Doxastic luck
Two related uses; source context matters
Lookup: Epistemic luck · Belief-formation luck · Truth by luck · Doxastic state
Two different questions can be raised under the language of luck in belief.
Luck in getting the truth concerns a belief that happens to be true through an accidental connection between its support and the fact. Such cases can challenge whether the person knows, even when the belief is true and appears justified. That is the knowledge-focused concern retained here.
FMFG’s belief-formation use is broader in a different direction. Definition 4.6 concerns influences on a person’s doxastic state that are not fully under rational control, including inherited information, educational access, language, and the surrounding credibility environment. The definition does not require that the resulting belief be true.
These uses must not be substituted for one another. In FMFG, the question is how those formation conditions bear on a belief requirement and fault-sensitive judgment. A causally influenced belief is not thereby false, and an accurate belief is not thereby free of formative circumstances.
OpenStax, §7.2, “Knowledge,” on truth by luckFMFG, §4.3.3 and Definition 4.6, printed pp. 52 and 60Read the Salvation Paradox
Sources and reading
The book references below identify the meanings I use and the premises their arguments require. Printed page numbers refer to the numbered pages in those editions, not the page counter of a PDF viewer. These entries are explanatory summaries. Their source arguments retain the fuller definitions, proofs, and scope statements.
Existential Logicism
Matthew Tripp Zejda, Existential Logicism: A Logic-Based Engine for Navigating Reality, second edition. The principal sources here are Chapter 2’s ERP formal section (§2.5, printed pp. 19–27) and Tripp’s Prison (§2.11, printed pp. 43–52). The latter distinguishes tokening capacity, actual tokening, the frame as a component of an interface, conditional peer symmetry, and the additional evidential criterion for shared structure.
The companion Logic-Based Tool presents the prose route without the Engine’s formal sections. Its Chapter 2 supplies the connected reading on skepticism, Tripp’s Prison, experience, and the cogito.
Finite Mind, Finite God
Matthew Zejda, Finite Mind, Finite God (2026). References identify the edition whose Chapter 11 is “Terminology, Notation, and Conventions,” printed pp. 167–180. Chapter 2 supplies testimony, transmission, and interpretation; Chapters 3–4 distinguish access, capacity, belief, and formative luck; Chapter 6 defines the Steelman Hermeneutic.
In particular, Definition 4.6 concerns the circumstances of belief formation. That is not identical to the question of whether a belief happens to be true by luck. I keep both questions explicit in entry 174.
Existential Ground
Matthew Tripp Zejda, Existential Ground: The Undeniable Foundation Beneath Reality, Time, God, and Life (2026). Chapter 3, “The One Place Reality Cannot Be Denied,” develops occurrence, finite knowing, and the movement from epistemic cells to a shared blueprint. Chapter 19 develops the wider explanatory audit.
Appendix A.6.2, printed pp. 412–415, states the epistemic-cell and peer definitions, frame closure, frame symmetry, Cross-Frame Structural Warrant, and the Blueprint–Carrier Boundary. Appendix B supplies the related glossary. Shared structural warrant is explicitly defeasible rather than another performative certainty.
Established epistemological vocabulary
Introduction to Philosophy, OpenStax, Chapter 7, provides an introductory comparison of knowledge, justification, and skeptical arguments. I use it for the established vocabulary, not as authority for EL’s conclusions. The individual entries identify where my own application begins.
Knowledge under competent deduction
Simon Goldstein and John Hawthorne, “Safety, Closure, and Extended Methods,” The Journal of Philosophy 121(1), 2024, pp. 26–54. DOI: 10.5840/jphil202412112. Their stated closure principle concerns knowledge preserved by competent deduction. That identifies the standard epistemological use distinguished from EL’s frame closure in entry 161; I do not import their theory as a premise of Tripp’s Prison.
Descartes and the cogito
René Descartes, Discourse on the Method (1637), Part IV, and Meditations on First Philosophy (1641), Meditations I–II. The first supplies the familiar cogito formulation; the second develops methodological doubt, the deceiver hypothesis, and the thinker’s certainty. Early Modern Texts provides Jonathan Bennett’s modernized presentations; the linked texts are not the translation editions cited in the books.
Perspective and objectivity
Thomas Nagel’s The View from Nowhere (Oxford University Press, 1986) is the historical book associated with the phrase in entry 168. My formal target is the explicitly defined claim to operative, frame-free access, not every philosophical attempt to develop a more objective perspective.
The simulation argument
Nick Bostrom, “Are You Living in a Computer Simulation?” The Philosophical Quarterly 53(211), 2003, pp. 243–255. The paper’s conditional argument and its assumptions should be distinguished from the bare simulation hypothesis, and both from evidence establishing a particular implementation of our world.

