Re: Richard J. Lipton • The Art Of Math
Re: Animated Logical Graphs • (30) • (45) • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (69) • (70) • (71) • (72)

Last time we took up the four singleton orbits in the action of on and saw each consists of a single logical graph which fixes, preserves, or transforms into itself.  On that account these four logical graphs are said to be self-dual or -invariant.

In general terms, it is useful to think of the entitative and existential interpretations as two formal languages which happen to use the same set of signs, each in its own way, to denote the same set of formal objects.  Then defines the translation between languages and the self-dual logical graphs are the points where the languages coincide, where the same signs denote the same objects in both.  Such constellations of “fixed stars” are indispensable to navigation between languages, as every argot-naut discovers in time.

Returning to the case at hand, where acts on a selection of 16 logical graphs for the 16 boolean functions on two variables, the following Table shows the values of the denoted boolean function for each of the self-dual logical graphs.

The functions indexed here as and are known as the coordinate projections and on the first and second coordinates, respectively, and the functions indexed as and are the negations and of those projections, respectively.

Resources

• Logic Syllabus
• C.S. Peirce • Logic and Signs
• C.S. Peirce • Logic as Semiotic
• Sign Relation • Triadic Relation
• Survey of Animated Logical Graphs
• Survey of Semiotics, Semiosis, Sign Relations

cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15)
cc: Structural Modeling (1) (2) • Systems Science (1) (2)
cc: Cybernetics (1) (2) • Ontolog Forum (1) (2)
cc: FB | Logical Graphs • Laws of Form