Tag Archives: Inquiry Driven Systems

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

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 Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 8 Comments

Inquiry Driven Systems • Comment 1

Re: Peirce List • Daniel Everett • Edwina Taborsky 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 cc: Peirce List … Continue reading

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Knowledge Bases, Learning, Logic, Peirce, Reasoning, Semiotics, Sign Relations, Systems Theory, Visualization | Tagged , , , , , , , , , , , , , , , | 8 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

Ask Meno Questions • Discussion 4

Re: FB | Foundations of Mathematics • Oguzhan Kosar The questions raised under the heading of “Foundations of Mathematics” are generally considered to fall under the “Philosophy of Mathematics”, in particular, critical reflection on the possibility of mathematical knowledge and … Continue reading

Posted in Anamnesis, Arete, C.S. Peirce, Descartes, Education, Epistemology, Eternal Return, Foundations of Mathematics, Infinity, Innate Idea, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Knowledge, Learning, Locke, Logic, Mathematics, Medium = Message, Meno, Peirce, Philosophy of Mathematics, Plato, Pragmata, Pragmatism, Pythagoras, Recollection, Semiotics, Sign Relations, Socrates, Tabula Rasa, Teaching, Triadic Relations, Turing Test, Virtue | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Pragmatic Traction • 6

Re: Peirce List Discussion • GF • JFS When it comes to the relative contributions of phenomenology and mathematics to logic, I always find myself returning to the picture I drew once before from Peirce’s Syllabus, on the relationship of phenomenology and … Continue reading

Posted in C.S. Peirce, Control, Cybernetics, Definition, Determination, Fixation of Belief, Information, Inquiry, Inquiry Driven Systems, Logic, Logic of Science, Mathematics, Metaphysics, Normative Science, Peirce, Peirce's Categories, Phenomenology, Philosophy, Pragmatic Maxim, Pragmatism, Scientific Method, Semiotics, Volition | Tagged , , , , , , , , , , , , , , , , , , , , , , | 2 Comments