Category Archives: Learning Theory

Theme One • A Program Of Inquiry 10

Lexical, Literal, Logical Theme One puts cactus graphs to work in three distinct but related ways, called lexical, literal, and logical applications.  The three modes of operation employ three distinct but overlapping subsets of the broader species of cacti.  Accordingly we … 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 • A Program Of Inquiry 9

We have seen how to take an abstract logical graph of a sort a person might have in mind to represent a logical state of affairs and translate it into a string of characters a computer can translate into a … 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 • A Program Of Inquiry 8

Coding Logical Graphs My earliest experiments coding logical graphs as dynamic “pointer” data structures taught me that conceptual and computational efficiencies of a critical sort could be achieved by generalizing their abstract graphs from trees to the variety graph theorists … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Theme One • A Program Of Inquiry 7

Re: Peirce List • (1) • (2) Discussion arose in the Laws Of Form Group about computational explorations of George Spencer Brown’s calculus of indications. Readers of Peirce are generally aware Spencer Brown revived certain aspects of Peirce’s logical graphs, focusing on … 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 • A Program Of Inquiry 6

Programs are algorithms operating on data structures (Niklaus Wirth).  How do we turn abstract graphs like those used by Charles S. Peirce and G. Spencer Brown into concrete data structures algorithms can manipulate?  There are many ways to do this, but one … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Theme One • A Program Of Inquiry 5

I started learning programming about the same time I first ran across C.S. Peirce’s Logical Graphs and Spencer Brown’s Laws of Form in the late 1960s and naturally tried each new language and each new set of skills I learned on writing … 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, Peirce, Semiotics | Tagged , , , , , , , , , , , , , | 9 Comments

Survey of Theme One Program • 2

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 to support an integrated learning and reasoning interface, … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 20 Comments

Pragmatic Traction • 7

Re: Peirce List • John Sowa It’s good to remember that observation, perception itself, has an abductive character in Peirce’s analysis and induction for him is more a final testing than initial conception stage.  Yes, it’s wheels upon wheels but … Continue reading

Posted in Abduction, Action, C.S. Peirce, Control, Cybernetics, Deduction, Definition, Determination, Fixation of Belief, Induction, Inference, Information, Inquiry, Inquiry Driven Systems, Learning, Learning Theory, Logic, Logic of Science, Mathematics, Metaphysics, Normative Science, Observation, Peirce, Peirce's Categories, Perception, Phenomenology, Philosophy, Pragmatic Maxim, Pragmatism, Recursion, Scientific Method, Semiotics, Volition | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Pragmatic Traction • 5

☯   TAO   ☯ Trials And Outcomes Expression | Impression Effectors | Receptors Exertion | Reaction Conduct | Bearing Control | Observe Effect | Detect Poke | Peek Note | Note Pat | Apt | Tap Pragmatism makes thinking … Continue reading

Posted in Abduction, C.S. Peirce, Control, Cybernetics, Deduction, Error, Error-Controlled Regulation, Feedback, Fixation of Belief, Hypothesis, Induction, Inference, Information, Information Theory, Inquiry, Inquiry Driven Systems, Knowledge, Knowledge Representation, Learning, Learning Theory, Likelihood, Logic, Logic of Science, Logical Graphs, Peirce, Philosophy, Philosophy of Science, Pragmatic Information, Pragmatic Maxim, Pragmatism, Probability, Probable Reasoning, Scientific Inquiry, Scientific Method, Semiotics, Statistical Inference, Statistics, Uncertainty, Volition | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Pragmatic Traction • 4

Re: Oliver Maclaren • Statistics Without True Models Or Hypothesis Testing I once wrote a “pure empiricist” sequential learning program that took this sort of approach to the data in its input stream. Here is the manual, that will give … Continue reading

Posted in Abduction, C.S. Peirce, Control, Cybernetics, Deduction, Error, Error-Controlled Regulation, Feedback, Fixation of Belief, Hypothesis, Induction, Inference, Information, Information Theory, Inquiry, Inquiry Driven Systems, Knowledge, Knowledge Representation, Learning, Learning Theory, Likelihood, Logic, Logic of Science, Logical Graphs, Peirce, Philosophy, Philosophy of Science, Pragmatic Information, Pragmatic Maxim, Pragmatism, Probability, Probable Reasoning, Scientific Inquiry, Scientific Method, Semiotics, Statistical Inference, Statistics, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment