Daily Archives: May 6, 2025

Survey of Theme One Program • 7

Posted on May 6, 2025 by Jon Awbrey

This is a Survey of resources relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning.  I had earlier developed … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 80 Comments

Survey of Semiotics, Semiosis, Sign Relations • 6

Posted on May 6, 2025 by Jon Awbrey

C.S. Peirce defines logic as “formal semiotic”, using formal to highlight the place of logic as a normative science, over and above the descriptive study of signs and their role in wider fields of play.  Understanding logic as Peirce understands … Continue reading →

Posted in C.S. Peirce, Icon Index Symbol, Inquiry, Logic, Logic of Relatives, Mathematics, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , | 13 Comments