Category Archives: Inquiry Driven Systems

Differential Logic • 1

Introduction Differential logic is the component of logic whose object is the description of variation — for example, the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description.  A definition that broad naturally … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Differential Logic • Overview

The previous series of blog posts on Differential Propositional Calculus brought us to the threshold of the subject without quite stepping over but I wanted to lay out the necessary ingredients in the most concrete, intuitive, and visual way possible … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Survey of Cybernetics • 1

Again, in a ship, if a man were at liberty to do what he chose, but were devoid of mind and excellence in navigation (αρετης κυβερνητικης), do you perceive what must happen to him and his fellow sailors? Plato • … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 29

Re: Ontolog Forum • Michael DeBellis Questions about Abduction in AI and Computer Science raised in the Ontolog Forum prompted me to look up previous discussions tracing the integral relationship among information, inquiry, and the three types of inference.  Here’s … 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

Abduction, Deduction, Induction, Analogy, Inquiry • 28

Re: Ontolog Forum • Michael DeBellis • Adrian Walker MDB: I’m currently auditing a fascinating seminar at Berkeley on Semiotics and Information Theory.  Mostly we are focusing on C.S. Peirce although we’ve also explored other theories such as Shannon’s Information Theory.  … 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 Differential Logic • 2

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Logic • Introduction Differential Logic • Part 1 • Part 2 • Part 3 … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Cybernetics • Requisite Variety • Selection 13

Our venture into cybernetics, the study of systems whose time evolution signifies an object, brings us to the point of seeing how pragmatic, semiotic, and systems thinking all have triadic relations at their core. Recall the game between and determined by … Continue reading

Posted in Adaptive Systems, Ashby, C.S. Peirce, Communication, Control, Cybernetics, Evolution, Information, Inquiry Driven Systems, Learning, Logic, Mathematics, Peirce, Purpose, Regulation, Survival, Truth Theory, W. Ross Ashby | Tagged , , , , , , , , , , , , , , , , , | 9 Comments

Cybernetics • Requisite Variety • Selection 12

Ashby now invites us to consider a series of games, beginning as follows. Requisite Variety 11/3.   Play and outcome.  Let us therefore forget all about regulation and simply suppose that we are watching two players, and who are engaged … Continue reading

Posted in Adaptive Systems, Ashby, C.S. Peirce, Communication, Control, Cybernetics, Evolution, Information, Inquiry Driven Systems, Learning, Logic, Mathematics, Peirce, Purpose, Regulation, Survival, Truth Theory, W. Ross Ashby | Tagged , , , , , , , , , , , , , , , , , | 6 Comments

Differential Logic • Comment 4

Re: Cybernetic Communications • Stephen Paul King SPK: Is it possible that beliefs can propagate almost completely contrary to facts, seen by those that are not infected with those beliefs? Can we have complex waves in the domains of binary truth … Continue reading

Posted in Adaptive Systems, Amphecks, Belief Systems, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Discrete Dynamics, Fixation of Belief, Gradient Descent, Graph Theory, Hill Climbing, Hologrammautomaton, Inquiry, Inquiry Driven Systems, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Optimization, Painted Cacti, Peirce, Propositional Calculus, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Comments Off on Differential Logic • Comment 4

Cybernetics • Requisite Variety • Selection 11

Ashby now takes a few steps back from the picture of regulation in biological systems, setting out the framework he needs for a broader perspective on regulation in general. Requisite Variety 11/1.   In the previous chapter we considered regulation … Continue reading

Posted in Adaptive Systems, Ashby, C.S. Peirce, Communication, Control, Cybernetics, Evolution, Information, Inquiry Driven Systems, Learning, Logic, Mathematics, Peirce, Purpose, Regulation, Survival, Truth Theory, W. Ross Ashby | Tagged , , , , , , , , , , , , , , , , , | 6 Comments