The Philosophical Computer by Patrick Grim, And Formal Semantic Logic & Group for Logic and Formal Semantics