FormalBlog

[gusl]

It seems Ed Zalta is also interested in formalizing argumentation / reasoning. And I can even understand his theory afterall.

Further Explanation of the Objectives of the Theory

1. To describe the logic underlying thought and reasoning by extending classical propositional, predicate, and modal logic. No matter whether we are natural scientists or literary critics, mathematicians or theologians, our thoughts have a common logical structure and, despite the differences in subject matter, proper reasoning takes the same form across disciplines.

Comments coming...