Tag Archives: Inquiry Driven Systems

Abduction, Deduction, Induction, Analogy, Inquiry • 30

Posted on December 15, 2020 by Jon Awbrey

Re: Richard J. Lipton • The Future Of Mathematics? • Is The End Near? Re: “Proofs Are Not As Important As Discoveries” (PANAIAD). Conjecture and Discovery fall under the heading of Abductive Inference (AI’s missing grape). About which more when I pull … Continue reading →

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 5 Comments

Survey of Pragmatic Semiotic Information • 5

Posted on November 1, 2020 by Jon Awbrey

This is a Survey of previous blog and wiki posts on the Semiotic Theory Of Information.  All my projects are exploratory in essence but this line of inquiry is more open-ended than most.  The question is: What is information and how … Continue reading →

Posted in Abduction, C.S. Peirce, Communication, Control, Cybernetics, Deduction, Determination, Discovery, Doubt, Epistemology, Fixation of Belief, Induction, Information, Information = Comprehension × Extension, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretation, Invention, Knowledge, Learning Theory, Logic, Logic of Relatives, Logic of Science, Mathematics, Peirce, Philosophy, Philosophy of Science, Pragmatic Information, Probable Reasoning, Process Thinking, Relation Theory, Scientific Inquiry, Scientific Method, Semeiosis, Semiosis, Semiotic Information, Semiotics, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 10 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

Sign Relations, Triadic Relations, Relation Theory • Discussion 2

Posted on October 12, 2020 by Jon Awbrey

Re: Peirce List • Edwina Taborsky Dear Edwina, Analytic frameworks, our various theories of categories, sets, sorts, and types, have their uses but they tend to become à priori, autonomous, top-down, and top-heavy unless they are supported by a robust population … Continue reading →

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 16 Comments

Sign Relations, Triadic Relations, Relation Theory • Discussion 1

Posted on October 11, 2020 by Jon Awbrey

Re: Peirce List • Edwina Taborsky ET: I particularly like your comment that “signhood is a role in a triadic relation, a role that a thing bears or plays in a given context of relationships — it is not an … Continue reading →

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 15 Comments

Sign Relations, Triadic Relations, Relation Theory • 1

Posted on October 10, 2020 by Jon Awbrey

To understand how signs work in Peirce’s theory of triadic sign relations, or “semiotics”, we have to understand, in order of increasing generality, sign relations, triadic relations, and relations in general, each as conceived in Peirce’s logic of relative terms … Continue reading →

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 12 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

Theme One • A Program Of Inquiry 18

Posted on September 1, 2020 by Jon Awbrey

Re: Michael Harris • The Inevitable Questions About Automated Theorem Proving MH:  Even if computers understand, they don’t understand in a human way. I like the simple-mindedness of that. (A simple mind is one with no proper normal submind.) Fifty-plus … 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

Survey of Theme One Program • 3

Posted on August 28, 2020 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 42 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 9

Posted on July 19, 2020 by Jon Awbrey

Re: FB | Systems Sciences • Kenneth Lloyd Dear Kenneth, Mulling over recent discussions put me in a pensive frame of mind and my thoughts led me back to my first encounter with category theory.  I came across the term … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments