Jon Awbrey 11:30 am on November 15, 2025
Tags: Amphecks ( 2 ), Animata ( 4 ), Boolean Algebra ( 2 ), Boolean Functions ( 3 ), C.S. Peirce ( 11 ), Cactus Graphs ( 3 ), Computational Complexity, Constraint Satisfaction Problems ( 2 ), Differential Logic ( 3 ), Equational Inference ( 3 ), Graph Theory ( 4 ), Group Theory ( 2 ), Laws of Form ( 2 ), logic ( 12 ), Logical Graphs ( 4 ), Mathematics ( 11 ), Minimal Negation Operators ( 3 ), Model Theory ( 2 ), Painted Cacti ( 2 ), Peirce, Proof Theory, Propositional Calculus ( 3 ), Propositional Equation Reasoning Systems ( 2 ), Spencer Brown ( 2 ), Theorem Proving, Visualization ( 8 )

Survey of Animated Logical Graphs • 8

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

Beginnings

Logical Graphs • First Impressions

Blog Series • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14)

Logical Graphs • Formal Development

Blog Series • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)

Elements

Examples

Double Negation • (1) • (2) • (3)

Peirce’s Law

This Blog • OEIS Wiki
Blog Series • (1) • (2) • (3) • (4) • (5) • (6) • (7)

Praeclarum Theorema

This Blog • OEIS Wiki
Blog Series • (1) • (2) • (3)

Proof Animations

Blog Series

Alpha Now, Omega Later • (1) • (2) • (3) • (4) • (5) • (6) • (7)

Animated Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17) • (18) • (19) • (20) • (21) • (22) • (23) • (24) • (25) • (26) • (27) • (28) • (29) • (30) • (31) • (32) • (33) • (34) • (35) • (36) • (37) • (38) • (39) • (40) • (41) • (42) • (43) • (44) • (45) • (46) • (47) • (48) • (49) • (50) • (51) • (52) • (53) • (54) • (55) • (56) • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (67) • (68) • (69) • (70) • (71) • (72) • (73) • (74) • (75) • (76) • (77) • (78) • (79) • (80) • (81)

Cactus Language

Overview • (1) • (2) • (3) • (4)
Preliminaries • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17)
Syntax • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12)
Generalities About Formal Grammars • (1) • (2) • (3)
Stylistics • (1) • (2) • (3) • (4) • (5) • (6)
Pragmatics • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16)
Mechanics • (1) • (2) • (3) • (4) • (5)
Semantics • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)
Discussions • (1) • (2) • (3)

Logic Syllabus

Discussions • (1) • (2)

Logical Graphs

Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11)

Logical Graphs • Interpretive Duality • (1) • (2) • (3) • (4)

Logical Graphs, Iconicity, Interpretation • (1) • (2)

Logical Graphs, Truth Tables, Venn Diagrams • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)

Minimal Negation Operators • (1) • (2) • (3) • (4)

Discussions • (1) • (2)

Genus, Species, Pie Charts, Radio Buttons • (1)

Discussions • (1) • (2) • (3) • (4) • (5)

Excursions

Futures Of Logical Graphs
Operator Variables in Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12)

Discussions • (1) • (2)

Interpretive Duality in Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)
Mathematical Duality in Logical Graphs • (1)

Discussions • (1) • (2)

Transformations of Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14)

Discussions • (1)

Applications

Anamnesis

CSP, GSB, & Me • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17) • (18) • (19) • (20)

cc: FB | Logical Graphs • Laws of Form • Ma^thstodon • Ontolog • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

#amphecks, #animata, #boolean-algebra, #boolean-functions, #c-s-peirce, #cactus-graphs, #computational-complexity, #constraint-satisfaction-problems, #differential-logic, #equational-inference, #graph-theory, #group-theory, #laws-of-form, #logic, #logical-graphs, #mathematics, #minimal-negation-operators, #model-theory, #painted-cacti, #peirce, #proof-theory, #propositional-calculus, #propositional-equation-reasoning-systems, #spencer-brown, #theorem-proving, #visualization

Jon Awbrey 12:12 pm on November 4, 2025
Tags: Abduction ( 4 ), C.S. Peirce ( 11 ), Communication ( 2 ), Control ( 2 ), cybernetics ( 14 ), Deduction ( 4 ), Determination ( 3 ), Discovery ( 3 ), Doubt ( 3 ), Epistemology ( 2 ), Fixation of Belief ( 4 ), Induction ( 4 ), Information ( 4 ), Information = Comprehension × Extension ( 3 ), Information Theory ( 3 ), inquiry ( 7 ), Inquiry Driven Systems ( 6 ), Inquiry Into Inquiry ( 3 ), Interpretation ( 3 ), Invention ( 3 ), knowledge ( 3 ), Learning Theory ( 3 ), logic ( 12 ), Logic of Relatives ( 4 ), Logic of Science ( 4 ), Mathematics ( 11 ), Peirce, philosophy ( 4 ), philosophy-of-science ( 3 ), Pragmatic Information ( 2 ), Probable Reasoning ( 2 ), Process Thinking ( 2 ), Relation Theory ( 5 ), Scientific Inquiry ( 3 ), Scientific Method ( 4 ), Semeiosis ( 2 ), Semiosis ( 3 ), Semiotic Information ( 2 ), Semiotics ( 8 ), Sign Relational Manifolds ( 3 ), Sign Relations ( 7 ), Surveys ( 3 ), Triadic Relations ( 6 ), Uncertainty ( 2 )

Survey of Cybernetics • 5

Again, in a ship, if a man were at liberty to do what he chose, but were devoid of mind and excellence in navigation (αρετης κυβερνητικης), do you perceive what must happen to him and his fellow sailors?

— Plato • Alcibiades • 135 A

This is a Survey of blog posts relating to Cybernetics. It includes the selections from Ashby’s Introduction and the comment on them I’ve posted so far, plus two series of reflections on the governance of social systems in light of cybernetic and semiotic principles.

Anthem

Ouch❢

Ashby’s Introduction to Cybernetics

Chapter 10 • Regulation In Biological Systems

Selections • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10)

Discussions • (1) • (2) • (3) • (4)

Chapter 11 • Requisite Variety

Selections • (11) • (12) • (13)

Blog Series

Basal Ingredients Of Society (BIOS)

Prologue • Prescription

Comments • (1) • (2) • (3) • (4) • (5) • (6) • (7)

Theory and Therapy of Representations • (1) • (2) • (3) • (4) • (5)

cc: FB | Inquiry Driven Systems • Laws of Form • Ma^thstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

#abduction, #c-s-peirce, #communication, #control, #cybernetics, #deduction, #determination, #discovery, #doubt, #epistemology, #fixation-of-belief, #induction, #information, #information-comprehension-x-extension, #information-theory, #inquiry, #inquiry-driven-systems, #inquiry-into-inquiry, #interpretation, #invention, #knowledge, #learning-theory, #logic, #logic-of-relatives, #logic-of-science, #mathematics, #peirce, #philosophy, #philosophy-of-science, #pragmatic-information, #probable-reasoning, #process-thinking, #relation-theory, #scientific-inquiry, #scientific-method, #semeiosis, #semiosis, #semiotic-information, #semiotics, #sign-relational-manifolds, #sign-relations, #surveys, #triadic-relations, #uncertainty

Jon Awbrey 11:00 am on November 2, 2025
Tags: Abduction ( 4 ), Aristotle ( 2 ), C.S. Peirce ( 11 ), Deduction ( 4 ), Dewey, Discovery ( 3 ), Doubt ( 3 ), Fixation of Belief ( 4 ), Functional Logic ( 2 ), Icon Index Symbol ( 2 ), Induction ( 4 ), Inference, Information ( 4 ), inquiry ( 7 ), Invention ( 3 ), logic ( 12 ), Logic of Science ( 4 ), Mathematics ( 11 ), Morphism, Paradigmata, Paradigms, Pattern Recognition, Peirce, philosophy ( 4 ), Pragmatic Maxim ( 2 ), Pragmatism, Scientific Inquiry ( 3 ), Scientific Method ( 4 ), Semiotics ( 8 ), Sign Relations ( 7 ), Surveys ( 3 ), Syllogism, Triadic Relations ( 6 ), Visualization ( 8 )

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 5

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce. Particular attention is paid to the way the inferential rudiments combine to form the more complex patterns of analogy and inquiry.

Anthem

Tenacity, Authority, Plausibility, Inquiry

Blog Dialogs

Abduction, Deduction, Induction, Analogy, Inquiry • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17) • (18) • (19) • (20) • (21) • (22) • (23) • (24) • (25) • (26) • (27) • (28) • (29) • (30) • (31)