Category Archives: Computation

Theme One Program • Exposition 2

Posted on June 16, 2022 by Jon Awbrey

The previous post described the elementary data structure used to represent nodes of graphs in the Theme One program.  This post describes the specific family of graphs employed by the program. Painted And Rooted Cacti Figure 1 shows a typical example … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, 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, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Theme One Program • Exposition 1

Posted on June 15, 2022 by Jon Awbrey

Theme One is a program for constructing and transforming a particular species of graph‑theoretic data structures, forms designed to support a variety of fundamental learning and reasoning tasks. The program evolved over the course of an exploration into the integration of … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, 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, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Survey of Theme One Program • 4

Posted on June 12, 2022 by Jon Awbrey

This is a Survey of blog and wiki posts 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 … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, 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, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 22 Comments

Theme One Program • Discussion 6

Posted on October 19, 2021 by Jon Awbrey

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 , , , , , , , , , , , , , | 6 Comments

Theme One Program • Discussion 5

Posted on October 15, 2021 by Jon Awbrey

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 , , , , , , , , , , , , , | 6 Comments

Icon Index Symbol • 20

Posted on January 11, 2021 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: FB | Semiotics, Books, Links, News • Jon Awbrey • Dalibor Lošťák JA: Icon, Index, Symbol and all other classifications are ideal types abstracted from concrete signs and there are no pure … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Icon Index Symbol • 19

Posted on January 10, 2021 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List • Steven Skaggs SS: As far as visual semiotics is concerned, it is helpful to think of a “terrain” or map of a semantic mode territory in which of icon-index-symbol form … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Icon Index Symbol • 18

Posted on January 8, 2021 by Jon Awbrey

Questions Concerning Certain Faculties Claimed For Signs Re: FB | Semiotics, Books, Links, News • Muntadher Almahdawi Another one of those recurring questions just came up in a Facebook group devoted to Semiotics and I thought it would be useful … Continue reading →

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Theme One • A Program Of Inquiry 20

Posted on October 24, 2020 by Jon Awbrey

Re: Richard J. Lipton • Vaccines Are Not Developing Back in the day when I was making The Big Bucks (inflation-adjusted dollars) consulting on research statistics in bioscience-medical-nursing-public-health settings, I noticed a certain analogy between propositional calculus research (PCR0) and … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, 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, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Theme One • A Program Of Inquiry 19

Posted on October 7, 2020 by Jon Awbrey

Re: Richard J. Lipton • Knowledge Is Good It’s the usual thing to say scientific inquiry involves a combination of deductive and inductive reasoning.  A slightly different, 3-phase model, going back to Aristotle and revived by Charles S. Peirce, analyzes … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, 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, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments