Mikel Iromaka·Oct 27A Programmer’s Guide to Formal Logic — Part 1This is the first in a three-part introduction to formal logic for programmers. Whether you’re just getting into programming, studying…
InLaw and Logic LabbyAnindito Subagyo·Sep 11Course 1: 30 Days of Formal Logic and Legal Knowledge RepresentationFrom legal language to formal reasoning, ontology, and a simple legal knowledge model
Tebo Steele·Feb 15The Smile Wheel: A Formal Model of Emotional Transition(This article was written with the assistance of ChatGPT.)
Raynier van Egmond·Jan 22From ePaper to Proof: The Role of Logic in the Hallucination EconomySeries: The Trust Horizon: Reclaiming Truth in the Age of Synthetic Intelligence, Article 01
Songhai Institute of Systemics and Systemology·Jan 7Mungu Proof TheoryA Proof Theory of Existence, Closure, and Survival
Harsel Givesh·Oct 5, 2025GPT-5’s Groundbreaking Achievement: First AI to Pass the Gödel Test and Solve Three Major…Witness the historic moment AI transitioned from pattern matching to true logical reasoning and discovery.
JR DeLaney | AI Enthusiast | Podcaster | Novelist·Sep 5, 2025History of AI: Part 1 — The Golem’s Ghost: A Brief Overview of the History of AI
InPhilosophy of ComputingbyHaniel Ulises Vásquez Morales·Jul 10, 2025Sketches around Talmudic LogicOn the Root of Faith (I)
Dwight Modiwirijo·Jun 8, 2025Super AI — an eternal entity🚀 Spoiler alert: This essay includes a formal mathematical proof.
