Category Archives: Cybernetics

Differential Logic • 4

Posted on November 3, 2024 by Jon Awbrey

Differential Expansions of Propositions Bird’s Eye View An efficient calculus for the realm of logic represented by boolean functions and elementary propositions makes it feasible to compute the finite differences and the differentials of those functions and propositions. For example, … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Differential Logic • 3

Posted on November 2, 2024 by Jon Awbrey

Cactus Language for Propositional Logic Table 1 shows the cactus graphs, the corresponding cactus expressions, their logical meanings under the so‑called existential interpretation, and their translations into conventional notations for a sample of basic propositional forms. Table 1. Syntax and … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Differential Logic • 2

Posted on October 31, 2024 by Jon Awbrey

Cactus Language for Propositional Logic The development of differential logic is facilitated by having a moderately efficient calculus in place at the level of boolean-valued functions and elementary logical propositions.  One very efficient calculus on both conceptual and computational grounds … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Differential Logic • 1

Posted on October 30, 2024 by Jon Awbrey

Introduction Differential logic is the component of logic whose object is the description of variation — focusing on the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description.  A definition that broad naturally … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Relations & Their Relatives • Discussion 25

Posted on July 30, 2024 by Jon Awbrey

Re: Daniel Everett • Polyunsaturated Predicates Re: Relations & Their Relatives • Discussion 24 Dear Daniel, I’ve been meaning to get back to this as it keeps coming up and it’s kind of important but it took me a while … Continue reading →

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Relation Theory, Rheme, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives • Discussion 24

Posted on July 28, 2024 by Jon Awbrey

Re: Daniel Everett • Polyunsaturated Predicates DE: Among the several ideas Peirce and Frege came up with was the idea of a predicate before and after it is linked to its arguments.  Frege called the unlinked predicate unsaturated.  But Peirce … Continue reading →

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Relation Theory, Rheme, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 5 Comments

Constraints and Indications • 2

Posted on July 4, 2024 by Jon Awbrey

Re: Constraints and Indications • 1 Re: Ontolog Forum • Joseph Simpson Coping with collaboration, communication, context, integration, interoperability, perspective, purpose, and the reality of the information dimension demands a transition from conceptual environments bounded by dyadic relations to those … Continue reading →

Posted in Adaptive Systems, Artificial Intelligence, Ashby, C.S. Peirce, Constraint, Control, Cybernetics, Determination, Error-Controlled Regulation, Feedback, Indication, Indicator Functions, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intentionality, Learning Theory, Semiotic Information, Semiotics, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Constraints and Indications • 1

Posted on July 2, 2024 by Jon Awbrey

Re: Peirce List • Kaina Stoicheia and the Symbol Grounding Problem Re: Jerry Chandler • Christophe Menant • Jon Awbrey • Christophe Menant The system‑theoretic concept of constraint is one that unifies a manifold of other notions — definition, determination, … Continue reading →

Posted in Adaptive Systems, Artificial Intelligence, Ashby, C.S. Peirce, Constraint, Control, Cybernetics, Determination, Error-Controlled Regulation, Feedback, Indication, Indicator Functions, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intentionality, Learning Theory, Semiotic Information, Semiotics, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Theme One Program • Motivation 6

Posted on June 8, 2024 by Jon Awbrey

Comments I made in reply to a correspondent’s questions about delimiters and tokenizing in the Learner module may be worth sharing here. In one of the projects I submitted toward a Master’s in psychology I used the Theme One program to … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Theme One Program • Motivation 5

Posted on June 7, 2024 by Jon Awbrey

Since I’m working from decades‑old memories of first inklings I thought I might peruse the web for current information about Zipf’s Law.  I see there is now something called the Zipf–Mandelbrot (and sometimes –Pareto) Law and that was interesting because … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Computation, Computational Complexity, Cybernetics, Data Structures, Differential Logic, Form, Formal Languages, Graph Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Learning, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pragmatics, Programming, Propositional Calculus, Propositional Equation Reasoning Systems, Reasoning, Semantics, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments