Epistemology Tools
Browse all available epistemology tools.
Available tools
- Assertion Confidence Interval Width Tool Report one supplied probabilistic-claim interval width without deriving statistical confidence or validating the assertion.
- Assertion Evidence Date Order Tool Compare explicit assertion and evidence calendar dates without inferring whether evidence was available or considered.
- Assertion Support Path Count Tool Count supplied support-path records, without assessing truth or logical validity.
- Bayesian Confirmation Prior Posterior Gap Tool Difference confirmation P(H|E)-P(H) and change relative to a nonzero prior, not a likelihood ratio.
- Belief Consistency Probability Bound Gap Tool Fréchet bounds on one supplied conjunction probability, not a complete logical belief-system consistency check.
- Belief Priority Rank Gap Tool Calculate belief priority rank gap from explicit caller-supplied inputs.
- Belief Retraction Priority Gap Tool Select an explicitly marked retraction by supplied priority, with stable first-index ties.
- Belief Revision Explicit Priority Tag Tool Record an explicit belief-revision priority and ordering source without selecting an epistemic entrenchment relation.
- Belief Scope Hypothesis Token Tool Retain an explicitly annotated hypothesis scope rather than inferring a belief or evidence relation.
- Citation Independent Source Count Pair Count explicitly assigned citation-origin groups without inferring factual or statistical independence.
- Claim Confidence Source Label Label an explicitly reported confidence fraction and source without estimating truth or warranted belief.
- Claim Source Support Count Tool Count distinct supplied source IDs under explicit support/opposition annotations; source independence is not inferred.
- Confidence Scale Verbal Anchor Pair Tool Preserve explicitly supplied lower and upper verbal confidence anchors without assigning numeric probabilities.
- Counterexample Witness Proposition Link Tool Link an explicitly supplied proposition and witness relation without checking whether a counterexample is valid.
- Credence Log Odds One Update Term Tool Stable binary Bayesian update from finite log odds and log likelihood ratio.
- Defeater Retraction Event Token Tool Associate an explicit belief, defeater and retraction event without performing belief revision.
- Defeater Scope Overlap Bit Tool Calculate defeater scope overlap bit from explicit caller-supplied inputs.
- Epistemic Modal Scope Bracket Tool Wrap an explicit proposition text in a supplied epistemic modal token without parsing logic or evaluating truth.
- Epistemic Possibility Empty Access Case Tool Kripke existential possibility and universal necessity over an explicit accessibility set, including vacuous universal truth for empty access.
- Epistemic Possibility World Tag Qualify an explicitly identified proposition/world pair by its epistemic model without evaluating possibility.
- Evidence Access Permission Status Tag Tool Label an explicitly supplied evidence-access status without granting access or establishing rights.
- Evidence Chain Depth Tool Inspect one caller-supplied evidence-reference chain without inferring evidential reliability.
- Evidence Entailment Single Countermodel Tool Classical material implication at one valuation; absence of this one countermodel does not prove entailment.
- Evidence Logweight Term Tool Return a supplied weighted log likelihood ratio without establishing evidential independence.
- Evidence Order Dependence Flag Tool Audit two supplied posterior results; no independence assumption or updating algorithm is inferred.
- Evidence Quote Entailment Caller Label Tool Preserve an explicitly supplied evidence-quotation relation without performing semantic entailment or fact verification.
- Explanation Coverage One Observation Term Tool Descriptive caller-coded explanation coverage contribution, without a probabilistic explanatory-power claim.
- Inference Rule Premise Slot Match Tool Compare exact supplied premise identifiers for one explicit inference-rule slot without validating an argument.
- Justification Chain Circular Reference Witness Tool Follow a single-premise justification chain from the first node, returning an explicit reachable cycle or terminating path.
- Likelihood Evidence Direction One Pair Tool Binary likelihood evidence direction for two explicitly supplied hypotheses.
- Premise Support Single Link Tag Record a directed premise-to-conclusion support assertion and attribution without validating the inference.
- Prior Credence Rounding Envelope Tool Supplied credence precision envelope clipped to probability bounds; no prior is selected.
- Proposition Credence Interval Membership Test a stated credence against an explicit interval with caller-selected endpoint inclusion.
- Source Weight Zero Support Case Tool Calculate source weight zero support case from explicit caller-supplied inputs.
- Testimonial Dependence Source Pair Tool Record a supplied source pair and dependence-evidence reference without estimating independence or credibility.
- Testimonial Source Dependence Discount Term Tool Caller-defined power-likelihood discount, not an estimate of source dependence or a general theorem about testimony.
- Testimony Common Origin Pair Flag Compare explicit testimony-origin identifiers only when both origins are recorded as known.