Theme One Program • Discussion 1

Re: Laws Of Form DiscussionAM

AM:  Why do you need XOR in your inquiry system?

Clearly we need a way to represent exclusive disjunction, along with its dual, logical equivalence, in any calculus capable of covering propositional logic, so I assume this is a question about why I chose to represent those two operations more compactly with cactus graphs instead of using trees and defining them in terms of conjunctions and negations.

The generalization from trees to cacti presented itself at the point where multiple lines of problem-solving effort converged.  Some of the problems were conceptual, arising from a desire to include the types of operator-variables that Peirce considered.  Other problems were computational, provoked by a need to avoid combinatorial explosions in the evaluation of logical formulas.

But, as I remarked earlier, “the genesis of that generalization is a tale worth telling another time …”, after we have gotten a better handle on the basic logical issues.



This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Spencer Brown, Syntax, Theorem Proving and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.