Tag Archives: Cybernetics

Differential Logic • Discussion 16

Re: Survey of Differential Logic • 3 Re: Laws of Form • Lyle Anderson LA: Thanks for posting this.  Particularly the Differential Logic and Dynamic Systems. It appears this is part of the trail to connecting Forms with Tensors.  Heim … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic and Dynamic Systems • Discussion 7

Re: Differential Logic and Dynamic Systems • Intentional Propositions Re: FB | Differential Logic • Marius V. Constantin Marius Constantin asks about the logical value of an intention which is not carried out. MVC: I have in my intention to … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Charles Sanders Peirce, George Spencer Brown, and Me • 16

Re: Conceptual Graphs • Gary Zhu GZ: I’m quite confused on why people are interested in Laws of Form. What is LOF trying to do? Is it just rewriting logic or is there something more fundamental. e.g. a universal algebraic … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic, Dynamic Systems, Tangent Functors • Comment 2

Re: Differential Logic, Dynamic Systems, Tangent Functors • 1 Seeing as how quasi-neural models and the recurring issues of symbolic vs. connectionist paradigms have come round again, I thought I might revisit work I began initially in that context, investigating … Continue reading

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Information & Control, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Theme One Program • Discussion 5

Re: Peirce List • Jerry Chandler JC: This post [Theme One Program • Motivation 1] is so muddled that I gave up on a meaningful scientific interpretation of it. Dear Jerry, Thanks for the response. I heartily agree with the … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | 1 Comment

Theme One Program • Discussion 4

I’ve been going back and looking again at the problems and questions which nudged me into the computational sphere as a way of building our human capacities for inquiry, learning, and reasoning. One critical issue, you might even say bifurcation … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | 1 Comment

Relations & Their Relatives • Discussion 23

Re: Ontolog Forum • Roberto Rovetto • Alex Shkotin Having lost my concentration to another round of home reconstruction disruption, let me loop back to the texts from Roberto and Alex which drew me into this discussion last week. RR: … Continue reading

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

Differential Logic • Discussion 15

Re: Differential Logic • Comment 7 Re: Laws of Form • Lyle Anderson LA: Differentials and partial differentials over the real numbers work because one can pick two real numbers that are arbitrarily close to one another.  The difference between … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic • Comment 7

Re: John Baez • Cyclic Identity for Partial Derivatives • Maxwell’s Relations (1) (2) (3) Much fun can be had by trying to do differentials and partial differentials over the boolean domain instead of the reals I took a first whack … Continue reading

Posted in Adaptive Systems, Amphecks, Belief Systems, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Discrete Dynamics, Fixation of Belief, Gradient Descent, Graph Theory, Hill Climbing, Hologrammautomaton, Inquiry, Inquiry Driven Systems, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Optimization, Painted Cacti, Peirce, Propositional Calculus, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Comments Off on Differential Logic • Comment 7

Relations & Their Relatives • Discussion 22

Re: Ontolog Forum • Roberto Rovetto (1) (2) RR: What’s your view on: When to create a greater-than-binary relation rather than a binary relation? Consider:  You want to represent some information, statement, or knowledge, without necessarily being forced to limit … Continue reading

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