Abstract

Ontologically minimal truth law semantics are provided for various branches of formal logic (classical propositional logic, S5 modal propositional logic, intuitionistic propositional logic, classical elementary predicate logic, free logic, and elementary arithmetic). For all of them logical validity/truth is defined in an ontologically minimal way, that is, not via truth value assignments or interpretations. Semantical soundness and completeness are proved (in an ontologically minimal way) for a calculus of classical elementary predicate logic