Re: Animated Logical Graphs • (14) • (15) • (16) • (17) • (18) • (19) • (20) • (21)
Re: Ontolog Forum • Mauro Bertani
Dear Mauro,
Let’s take a another look at the Table we reached at the end of Episode 21.
I call it a Formal Operation Table — rather than, say, a Truth Table — because it describes the operation of mathematical forms preceding the stage of logical interpretation. I know the word formal tends to get overworked past the point of semantic fatigue but I can still hope to revive it a little. We’ll use other labels for Table entries at other times but I tried this time to mitigate interpretive bias by choosing a mix of senses from both Peirce and Spencer Brown.
Entering the stage of logical interpretation, we arrive at the following two options.
- The entitative interpretation of
produces the truth table for logical equality.
- The existential interpretation of
produces the truth table for logical inequality, also known as exclusive disjunction.
Resource
cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form
I’m still thinking of which comes first, logic or math. Isn’t it like the chicken and egg?
I see them as more like Yggdrasill (math) and Ratatoskr (logic).
Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry