Monthly Archives: August 2022

Theme One Program • Motivation 3

Sometime around 1970 John B. Eulenberg came from Stanford to direct Michigan State’s Artificial Language Lab, where I would come to spend many interesting hours hanging out all through the 70s and 80s.  Along with its research program the lab … 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, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Theme One Program • Motivation 2

A side-effect of working on the Theme One program over the course of a decade was the measure of insight it gave me into the reasons why empiricists and rationalists have so much trouble understanding each other, even when those … 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, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Theme One Program • Motivation 1

The main idea behind the Theme One program is the efficient use of graph-theoretic data structures for the tasks of “learning” and “reasoning”. I am thinking of learning in the sense of learning about an environment, in essence, gaining information about … 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, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Higher Order Sign Relations • 6

Re: Higher Order Sign Relations • 4 Re: Relations, Types, Functions Re: Cybernetics • Cliff Joslyn Cliff Joslyn recommends the following books. Spivak, David I. (2014), Category Theory for the Sciences Fong, Brendan, and Spivak, David I. (2019), An Invitation … Continue reading

Posted in C.S. Peirce, Gödel Numbers, Higher Order Sign Relations, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Logic, Peirce, Quotation, Reflection, Reflective Interpretive Frameworks, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , , , , , , , | 2 Comments

Survey of Inquiry Driven Systems • 4

This is a Survey of blog and wiki resources on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject. An inquiry driven system is a system having among its state variables … Continue reading

Posted in Abduction, Action, Adaptive Systems, Aristotle, Artificial Intelligence, Automated Research Tools, Change, Cognitive Science, Communication, Cybernetics, Deduction, Descartes, Dewey, Discovery, Doubt, Education, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Invention, Kant, Knowledge, Learning, Learning Theory, Logic, Logic of Science, Mathematics, Mental Models, Peirce, Pragmatic Maxim, Pragmatism, Process Thinking, Scientific Inquiry, Semiotics, Sign Relations, Surveys, Teaching, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Inquiry Into Inquiry • Discussion 5

Re: Inquiry Into Inquiry • In Medias Res Re: Inquiry Into Inquiry • Flashback Re: Inquiry Into Inquiry • Discussion 4 A quick review of the highlights so far, and then I’ll continue from the standpoint I indicated last time.  As … Continue reading

Posted in Anthem, Initiative, Inquiry | Tagged , , | 2 Comments

Higher Order Sign Relations • 5

Re: Higher Order Sign Relations • 4 Re: Conceptual Graphs • Gary Zhu GZ: Is there any good contemporary reading of Peirce & James that you recommend?  Their original works have been quite challenging for me. Dear Gary, As fortune … Continue reading

Posted in C.S. Peirce, Gödel Numbers, Higher Order Sign Relations, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Logic, Peirce, Quotation, Reflection, Reflective Interpretive Frameworks, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , , , , , , , | 3 Comments

Higher Order Sign Relations • 4

Re: Higher Order Sign Relations • 3 Re: Relations, Types, Functions Re: Cybernetics • Cliff Joslyn CJ: Categorical approaches to systems theory have been very attractive to me for a long time.  My current work is categorically adjacent, and I’m … Continue reading

Posted in C.S. Peirce, Gödel Numbers, Higher Order Sign Relations, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Logic, Peirce, Quotation, Reflection, Reflective Interpretive Frameworks, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , , , , , , , | 5 Comments

Inquiry Into Inquiry • Discussion 4

Re: Inquiry Into Inquiry • In Medias Res Re: Inquiry Into Inquiry • Flashback Re: FB Comment • Daniel Everett Dan Everett commented on my post about Russell’s question, “How shall we describe the logical form of a belief?”, giving … Continue reading

Posted in Anthem, Initiative, Inquiry | Tagged , , | 3 Comments