Monthly Archives: February 2018

Theme One • A Program Of Inquiry : 6

Re: Laws Of Form Discussions • (1) • (2) • (3) Programs are algorithms that operate on data structures (Wirth).  How do we turn abstract graphs like those used by C.S. Peirce and Spencer Brown into concrete data structures that algorithms can … 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, Spencer Brown, Syntax, Theorem Proving | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Theme One • A Program Of Inquiry : 5

Re: Laws Of Form Discussion • BL 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 60s and naturally tried each new language and each new … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Computation, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning, Logic, Peirce, Programming, Reasoning, Semiotics, Systems Theory | Tagged , , , , , , , , , , , , , , , | 2 Comments

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

Inquiry Driven Systems • Comment 2

I just got reminded of an earlier blog post that more or less fits here.  It links to the bibliography I had in hand and mind when I went back to graduate school in systems engineering to synthesize all the … Continue reading

Posted in C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge Bases, Knowledge Representation, Learning, Logic, Peirce, Reasoning, Semiotics, Sign Relations, Systems Theory | Tagged , , , , , , , , , , , , , , | Leave a comment

Inquiry Driven Systems • Comment 1

Re: Peirce List Discussion • DE • ET The role of acquired knowledge bases in inquiry, learning, and reasoning is discussed in the following article and sections. Introduction to Inquiry Driven Systems Inquiry Learning Transfer Testing

Posted in C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Knowledge Bases, Knowledge Representation, Learning, Logic, Peirce, Reasoning, Semiotics, Sign Relations, Systems Theory | Tagged , , , , , , , , , , , , , , | Leave a comment

Sign Relations • Comment 12

Re: Ontolog Discussion • HP In the Peirce universe “the role that human institutions play in establishing grounding and associated frames of reference and standards” (Hans Polzer) is articulated by reference to “communities of inquiry” and “communities of interpretation”.  Invoking … Continue reading

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | Leave a comment

Sign Relations • Comment 11

Re: Peirce List Discussion • JAS When you ask a question about what something is, you are asking a question about its ontology.  But signhood is not a matter of ontology, it is a form of relation. Re: Peirce List … Continue reading

Posted in C.S. Peirce, Inquiry, Logic of Relatives, Peirce, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | Leave a comment