Comment on Software tools for community truth-seeking

Wed, 11 Mar 2009 17:17:14 GMT

A syllogism is three lines, each containing a quantifier, a subject, and a possibly negated predicate. It is a really rigid form of argument, and not tree-like at all. You may be thinking of a sorites, which is a bunch of syllogisms put together. Tree structured arguments are incredibly common in all kinds of logic, proof theory, and argumentation theory. Leaping from "tree-shaped" to "sorites" is like leaping from "flattish" to "flat-earthers".

Regardless of my nitpicking, I agree with you: we need progeny of these experiments. I may disagree about the details (predicate logic? lojban?!).

Discuss