← back to the checkmethod & sources
What the check does, and what it doesn't.
Web of Belief reports relationships among exact statements you mark as true. It does not infer a complete worldview or assign a consistency score. The aim is fewer claims, better defended.
how the engine reasons
A small, inspectable rule engine in your browser.
- i.Your selections are held in browser memory for this page only. Only “I believe this” is used as a premise; rejection, uncertainty, and qualification are not treated as belief in the opposite sentence.
- ii.Explicit rules in custom TypeScript check the statements marked “I believe this” against reviewed relationships — every edge in the diagram on the home page.
- iii.Each finding names the beliefs it used, the bridge premise if any, the question it leaves you, and one or more SEP sources.
No LLM call, no database, no account, no server-side scoring.
classification standard
The four kinds of finding.
⊥Direct conflict
As worded, both claims can't be true at once.
example — Affirming both that at least one moral fact is independent of approval and that every moral truth depends only on approval.
rule — Reported only where the precise affirmed sentences negate one another or cannot both hold under their stated definitions.
⊢Conditional implication
Each claim is fine alone; together, with one added premise, they entail a further conclusion.
example — Affirming both that no deity exists and that every moral obligation is true solely because God commands it — which together entail that nothing is obligatory.
rule — Surfaced when affirmed statements, sometimes under an explicitly stated added premise, entail a further conclusion you may not have meant to accept. It is not a contradiction, and the added premise is open to rejection.
‡Live argument
No outright clash — the two beliefs sit in real tension, and the step that connects them is one people genuinely argue over.
example — Affirming both a perfectly loving personal God and nonresistant nonbelief.
rule — The result states the additional bridge premise needed to infer an incompatibility and treats its truth as open for examination.
≈Coherent combination
Often called incompatible in debate, yet a recognized position holds them together.
example — Affirming both atheism and objective meaning through finite worthwhile activity.
rule — Surfaced when the pairing is often rhetorically challenged but is represented by a recognized philosophical position.
why no Z3 verdict
Why automatic solvers do not suffice here.
A SAT or SMT tool such as Z3 can find inconsistency once propositions and implications have been formalized. The hard part here is whether a natural-language commitment entails a bridge premise: for example, whether perfect love entails unmistakable divine availability, or whether responsibility requires alternate possibilities. Those are disputed philosophical questions, not solver failures. This app therefore keeps a small inspectable rule set and exposes each premise instead of disguising interpretation as proof.
topic selection
Survey-led scope, explicit limits.
The initial domains come from the official PhilPapers 2020 Survey, which asked philosophers 100 questions, including God, meta-ethics, meaning of life, mind, other minds, free will, and eating animals. Public importance of religious-worldview questions is checked against Pew Research Center's 2023–24 Religious Landscape Study. These sources justify salience; they do not determine which answer is correct.
source library
Every finding cites at least one Stanford entry.
Source review completed 2 June 2026. Position summaries in the checker are paraphrases; follow the original entries and linked research for full arguments and bibliographies.
- [01]
The 2020 PhilPapers SurveyPhilPeople / PhilPapers
Topic selection: its 100 questions include God, meta-ethics, meaning, mind, other minds, free will, trolley cases, and eating animals.
- [02]
- [03]
Atheism and AgnosticismStanford Encyclopedia of Philosophy
Distinguishes lacking belief, asserting that no gods exist, and suspension of judgment.
- [04]
Cosmological ArgumentStanford Encyclopedia of Philosophy
Surveys arguments from contingency, explanation, and beginnings to a necessary or divine cause, with objections.
- [05]
- [06]
The Problem of EvilStanford Encyclopedia of Philosophy
Maps logical and evidential arguments from suffering and theistic defenses or theodicies.
- [07]
Hiddenness of GodStanford Encyclopedia of Philosophy
Presents the argument from nonresistant nonbelief and theistic responses.
- [08]
Theological VoluntarismStanford Encyclopedia of Philosophy
Examines divine-command accounts of obligation and Euthyphro-style concerns.
- [09]
Moral Anti-RealismStanford Encyclopedia of Philosophy
Defines mind-independent moral realism and several ways of denying it.
- [10]
The Meaning of LifeStanford Encyclopedia of Philosophy
Surveys supernaturalist, objective naturalist, subjective, hybrid, and nihilist views of meaning.
- [11]
Free WillStanford Encyclopedia of Philosophy
Introduces alternative-possibilities, sourcehood, responsibility, and theological issues.
- [12]
CompatibilismStanford Encyclopedia of Philosophy
Defends and challenges accounts on which determinism and responsible agency can coexist.
- [13]
- [14]
PhysicalismStanford Encyclopedia of Philosophy
Defines physicalist completeness and addresses consciousness objections.
- [15]
DualismStanford Encyclopedia of Philosophy
Covers mental/physical distinction and arguments from consciousness.
- [16]
The Computational Theory of MindStanford Encyclopedia of Philosophy
Surveys views on which mental processes are computational and could be implemented in different physical systems.
- [17]
ConsciousnessStanford Encyclopedia of Philosophy
Frames phenomenal consciousness, its explanation, functional role, and zombie-style debates.
- [18]
The Chinese Room ArgumentStanford Encyclopedia of Philosophy
Presents Searle's argument, replies, and later discussion of artificial understanding and consciousness.
- [19]
- [20]
- [21]
- [22]
ConsequentialismStanford Encyclopedia of Philosophy
Defines the view that rightness depends only on outcomes, and its main objections.
- [23]
Deontological EthicsStanford Encyclopedia of Philosophy
Presents agent-relative constraints on which some acts are wrong even when they maximize the good.
- [24]
Virtue EthicsStanford Encyclopedia of Philosophy
Presents character-based accounts of right action in contrast to duty-based and outcome-based approaches, with the main objections.
- [25]
Process TheismStanford Encyclopedia of Philosophy
Covers conceptions of God as persuasive rather than all-controlling, with genuinely limited power, and how they answer the problem of evil.
- [26]
Mind in Indian Buddhist PhilosophyStanford Encyclopedia of Philosophy
Presents the not-self doctrine: persons as streams of connected physical and mental events without an enduring substantial self.
- [27]
Epistemology of ReligionStanford Encyclopedia of Philosophy
Covers evidentialism (Locke, Clifford) and reformed-epistemology replies about belief in God.
- [28]
Religious ExperienceStanford Encyclopedia of Philosophy
Surveys experience-based arguments for spiritual or religious reality and naturalistic explanations of those experiences.
- [29]
Constructivism in MetaethicsStanford Encyclopedia of Philosophy
Explains constructivist views on which moral truths are fixed by rational or practical procedures rather than by bare approval or stance-independent facts.
- [30]
SkepticismStanford Encyclopedia of Philosophy
Frames radical skeptical hypotheses, closure principles, and ordinary-knowledge replies.
- [31]
Personal IdentityStanford Encyclopedia of Philosophy
Surveys psychological-continuity, bodily-continuity, animalist, and soul-based accounts of persistence over time.
privacy & wellbeing
Your answers stay in browser memory for the current page and are not sent to any server. The share action only emits counts and the structural shape of your affirmations — never your individual stances. The image is rendered in your browser, not uploaded.
The only outbound signal is anonymous, cookieless usage data via Vercel Web Analytics: pageviews (URL path, country, device class) and a few progress events — whether the check was started, roughly which step was reached, and whether results were viewed or shared. There is no IP storage, no fingerprinting, and crucially no record of which statements you affirmed. Full detail is on the privacy page.
A result just sends you back to the reasons behind a belief. It says nothing about your intelligence, your character, or who you are.