Category Archives: Indicator Functions

Differential Logic and Dynamic Systems • Overview

In modeling intelligent systems, whether we are trying to understand a natural system or engineer an artificial system, there has long been a tension or trade-off between dynamic paradigms and symbolic paradigms.  Dynamic models take their cue from physics, using … 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, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Indicator Functions • Discussion 1

Peter Smith, on his Logic Matters blog, asks the question, “What Is A Predicate?”, and considers a number of answers. There are of course other possible answers, and one I learned quite early on, arising very naturally in applying mathematical … Continue reading

Posted in Boole, Boolean Functions, C.S. Peirce, Category Theory, Indication, Indicator Functions, Logic, Mathematics, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Set Theory, Venn Diagrams | Tagged , , , , , , , , , , , , | 1 Comment

Constraints and Indications : 2

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 informed by triadic relations, especially the … 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, Peirce, Semiotic Information, Semiotics, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Survey of Theme One Program • 2

This is a Survey of previous blog and wiki posts on the Theme One Program that I developed all through the 1980s.  The aim of the project was to develop fundamental algorithms and data structures to support an integrated learning … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognitive Science, Computation, Computational Complexity, Computer Science, Computing, Constraint Satisfaction Problems, Cybernetics, Data Structures, Diagrammatic Reasoning, Diagrams, Differential Analytic Turing Automata, Education, Educational Systems Design, Educational Technology, Equational Inference, Functional Logic, Graph Theory, Indicator Functions, Inquiry, Inquiry Driven Education, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge, Learning, Learning Theory, Logic, Logical Graphs, Machine Learning, Mathematics, Mental Models, Minimal Negation Operators, Painted Cacti, Peirce, Programming, Programming Languages, Propositional Calculus, Propositional Equation Reasoning Systems, Propositions, Research Technology, Semeiosis, Semiosis, Semiotics, Sign Relations, Surveys, Teaching, Theorem Proving, Triadic Relations, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

The Difference That Makes A Difference That Peirce Makes : 18

Re: Peter Smith • Which Is The Quantifier? From a functional point of view it was a step backward when we passed from Peirce’s and to the current convention of and for logical quantifiers.  There’s a rough indication of what … Continue reading

Posted in C.S. Peirce, Category Theory, Complementarity, Duality, Formal Languages, Higher Order Propositions, Indicator Functions, Inquiry, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Pragmatism, Predicate Calculus, Propositional Calculus, Propositions, Quantifiers, Relation Theory, Semiotics, Type Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Theme One Program • 1

This is a Survey of previous blog and wiki posts on the Theme One Program that I developed all through the 1980s.  The aim of the project was to develop fundamental algorithms and data structures to support an integrated learning … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognitive Science, Computation, Computational Complexity, Computer Science, Computing, Constraint Satisfaction Problems, Cybernetics, Data Structures, Diagrammatic Reasoning, Diagrams, Differential Analytic Turing Automata, Education, Educational Systems Design, Educational Technology, Equational Inference, Functional Logic, Graph Theory, Indicator Functions, Inquiry, Inquiry Driven Education, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge, Learning, Learning Theory, Logic, Logical Graphs, Machine Learning, Mathematics, Mental Models, Minimal Negation Operators, Painted Cacti, Peirce, Programming, Programming Languages, Propositional Calculus, Propositional Equation Reasoning Systems, Propositions, Research Technology, Semeiosis, Semiosis, Semiotics, Sign Relations, Surveys, Teaching, Theorem Proving, Triadic Relations, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Differential Logic • 1

This is a Survey of previous blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Logic • Introduction Differential Propositional Calculus Architectonics Minimal Negation Operator Cactus Language Applications … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Equational Inference, Frankl Conjecture, Functional Logic, Graph Theory, Hill Climbing, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Surveys, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment