Tag Archives: Inquiry Driven Systems

Survey of Differential Logic • 8

Posted on May 3, 2025 by Jon Awbrey

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment. Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, … 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, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 39 Comments

Survey of Definition and Determination • 4

Posted on May 3, 2025 by Jon Awbrey

In the early 1990s, “in the middle of life’s journey” as the saying goes, I returned to grad school in a systems engineering program with the idea of taking a more systems-theoretic approach to my development of Peircean themes, from … Continue reading →

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Extension, Form, Indication, Information, Information = Comprehension × Extension, Inquiry Driven Systems, Logic, Mathematics, Scientific Method, Semiotics, Sign Relations, Structure, Systems Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Cybernetics • 5

Posted on May 2, 2025 by Jon Awbrey

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Higher Order Sign Relations • Discussion 1

Posted on March 27, 2025 by Jon Awbrey

Re: FB | Charles S. Peirce Society • John Corcoran Questions about the proper treatment of use and mention from the standpoint of Peirce’s theory of signs came up recently in discussions on Facebook.  In pragmatic semiotics the trade‑off between … Continue reading →

Posted in Arithmetization, C.S. Peirce, Gödel Numbers, Higher Order Sign Relations, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Logic, Mathematics, Quotation, Reflection, Reflective Interpretive Frameworks, Semiotics, Sign Relations, Triadic Relations, Use and Mention, Visualization | Tagged , , , , , , , , , , , , , , , , | 6 Comments

Basal Ingredients Of Society • ℞

Posted on February 20, 2025 by Jon Awbrey

THE SOCIAL COMPACT If then we discard from the social compact what is not of its essence, we shall find that it reduces itself to the following terms: “Each of us puts his person and all his power in common … Continue reading →

Posted in Adaptive Systems, Cybernetics, Democracy, Education, Governance, Inquiry, Inquiry Driven Systems, Learning Organizations, Politics, Reciprocity, Rousseau, Social Compact, Sustainability | Tagged , , , , , , , , , , , , | 3 Comments

Basal Ingredients Of Society • Prologue

Posted on February 18, 2025 by Jon Awbrey

I settled on the acronym BIOS to suggest the vital elements of life in society, a life in association with others, and not just any association but one whose flickers of life are sustained for more than a few vicissitudes of … Continue reading →

Posted in Adaptive Systems, Cybernetics, Democracy, Education, Governance, Inquiry, Inquiry Driven Systems, Learning Organizations, Politics, Reciprocity, Rousseau, Social Compact, Sustainability | Tagged , , , , , , , , , , , , | 3 Comments

Differential Propositional Calculus • 37

Posted on December 31, 2024 by Jon Awbrey

Foreshadowing Transformations • Extensions and Projections of Discourse And, despite the care which she took to look behind her at every moment, she failed to see a shadow which followed her like her own shadow, which stopped when she stopped, … 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, Functional Logic, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Differential Propositional Calculus • 36

Posted on December 30, 2024 by Jon Awbrey

Transformations of Discourse It is understandable that an engineer should be completely absorbed in his speciality, instead of pouring himself out into the freedom and vastness of the world of thought, even though his machines are being sent off to … 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, Functional Logic, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Differential Propositional Calculus • 35

Posted on December 29, 2024 by Jon Awbrey

Example 2. Drives and Their Vicissitudes (concl.) Applied to the example of ‑gear curves, the indexing scheme results in the data of the next two Tables, showing one period for each orbit. The states in each orbit are listed as … 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, Functional Logic, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Differential Propositional Calculus • 34

Posted on December 29, 2024 by Jon Awbrey

Example 2. Drives and Their Vicissitudes (cont.) With a little thought it is possible to devise a canonical indexing scheme for the states in differential logical systems.  A scheme of that order allows for comparing changes of state in universes … 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, Functional Logic, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments