Φ

STEM to Humanities Formal Logic Sandbox

Epistemology, Modal Kripke Worlds & Compositional Semantics for Engineers
Interactive Causal Belief Graph
Drag nodes to reorient graph | Click nodes to inspect parameters
Epistemic Status NOT KNOWLEDGE
Proposition (P) True TRUE
Agent Believes (P) TRUE
Justification Valid TRUE
JTB Tripartite Holds TRUE
Causal Connection DECOUPLED
Nozick Safety Tracking FAILED
Epistemic Luck Detected: Agent holds a true belief with valid justification, but the justification is casually decoupled from the actual fact. (Gettier Defeater active).
Interactive Edge / Defeater Controls
Clock Functioning (Causal)
Active Defeater Present
Counterfactual Safety Check
LaTeX Formal Spec
\mathcal{K}_{Agent}(p) \iff T(p) \land B(p) \land J(p) \land \neg \exists d (Defeater(d))

Compositional Natural Language AST Compiler

Expression: "Alice knows that it is 3:00 PM" compiled into Type-Driven Lambda Calculus:

S : t (Truth Value = 0)
NP : e
Alice
VP : <e, t>
$\lambda x. \text{Knows}(x, p)$
CP : t
It is 3:00 PM
Type Reduction Evaluation
(($\lambda x_{\mathbf{e}} . \lambda p_{\mathbf{t}} . \mathbf{Knows}(x, p))(\mathbf{Alice}))(\mathbf{Time} = 3:00) \Rightarrow \mathbf{Knows}(\mathbf{Alice}, \mathbf{Time} = 3:00) Result: FALSE (Defeater present in causal chain)
Enjoy this tool? Build your own with Super