Logical Graphs, Truth Tables, Venn Diagrams • 3

Re: Laws of FormJohn MingersLyle Anderson

Dear John, Lyle,

There is nothing simple about the interpretation of If-Then-Else constructions in ordinary language as they combine the equivocation between formal and material implication at the outset with the vacillation between exclusive and inclusive disjunction at the final Or-Else.

Nor is there anything straightforward about the implementation of If-Then-Else clauses in half-functional half-procedural programming languages like Pascal.  In settings like that they do not render as pure boolean expressions but as boolean tests determining a choice between procedural branches.  Multiply that by the diversity of evaluation strategies for boolean expressions, (complete | partial), (eager | greedy | lazy), etc., and the possibilities are legion.  That is all well and good, those are just the choices that are out there, and we can work with anyone’s understanding of If-Then-Else as a boolean function so long as they give us their intended truth table so we don’t have to guess what they have in mind.

I’ll touch on If-Then-Else again when we turn to what I regard as the proper handling of Case Analysis in the systems of logical graphs evolving from the work of C.S. Peirce and Spencer Brown.

As it happens, I did once write out all 256 boolean functions on three variables in cactus syntax several years ago — pursuant to discussions in Stephen Wolfram’s New Kind of Science (NKS) Forum regarding Elementary Cellular Automaton Rules (ECARs), which are in effect just that set of boolean functions.  I’ll have to dig up a passel of ancient links from the WayBack Machine, but see the following archive page for a hint of how it went.

To be continued …

Jon

References

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science
cc: FB | Logical GraphsLaws of Form

This entry was posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization and tagged , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Logical Graphs, Truth Tables, Venn Diagrams • 3

  1. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

  2. Pingback: Logical Graphs, Truth Tables, Venn Diagrams • 8 | Inquiry Into Inquiry

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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.