The Logos is grounded in rigorous academic research in hyperintensional logic, truthmaker semantics, and formal philosophy.
Peer-reviewed work establishing the theoretical foundations of the Logos.
Benjamin Brast-McKie
Journal of Philosophical Logic, 2025
Develops a hyperintensional semantics for counterfactual conditionals using bilateral propositions and exact verification, providing a foundation for the Logos dynamical layer.
Benjamin Brast-McKie
Journal of Philosophical Logic, 2021
Explores the relationship between propositional identity and subject matter, contributing to the constitutive foundation of the Logos formal system.
The intellectual lineage of the Logos system.
Building on Kit Fine's work, the Logos uses bilateral propositions -- pairs of verifiers and falsifiers -- as its semantic foundation. This hyperintensional approach distinguishes between logically equivalent but conceptually distinct propositions.
Formal operators in the Logos are refined from natural language concepts through a "sand-to-glass" process: natural language intuitions are the raw material, and formal semantics is the precision instrument that shapes them into exact definitions.
The Logos extends beyond standard modal logic to capture fine-grained causal structure. Its counterfactual operators distinguish between different causal pathways that standard possible-worlds semantics would conflate.
AGI will emerge from multiple technologies interacting, not from scaling any single approach. The Logos provides the formal reasoning infrastructure that complements neural learning capabilities.