Tag Archives: Change

Differential Propositional Calculus • Discussion 3

Posted on March 15, 2021 by Jon Awbrey

That mathematics, in common with other art forms, can lead us beyond ordinary existence, and can show us something of the structure in which all creation hangs together, is no new idea.  But mathematical texts generally begin the story somewhere in … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 11 Comments

All Process, No Paradox • 7

Posted on March 13, 2021 by Jon Awbrey

Unlike more superficial forms of expertise, mathematics is a way of saying less and less about more and more.  A mathematical text is thus not an end in itself, but a key to a world beyond the compass of ordinary … Continue reading →

Posted in Animata, C.S. Peirce, Change, Cybernetics, Differential Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Paradox, Peirce, Process, Process Thinking, Spencer Brown, Systems Theory, Time, Tolkien | Tagged , , , , , , , , , , , , , , , , , | 8 Comments

Survey of Inquiry Driven Systems • 3

Posted on December 27, 2020 by Jon Awbrey

This is a Survey of blog and wiki posts 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 18 Comments

Survey of Inquiry Driven Systems • 2

Posted on June 26, 2020 by Jon Awbrey

This is a Survey of blog and wiki posts 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic • Discussion 3

Posted on June 17, 2020 by Jon Awbrey

Re: R.J. Lipton • P<NP Instead of boolean circuit complexity I would look at logical graph complexity, where those logical graphs are constructed from minimal negation operators. Physics once had a frame problem (complexity of dynamic updating) long before AI … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic • 10

Posted on April 25, 2020 by Jon Awbrey

It’s been a while, so let’s review … Tables A1 and A2 showed two ways of organizing the sixteen boolean functions or propositional forms on two variables, as expressed in several notations.  For ease of reference, here are fresh copies … 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 • Discussion 2

Posted on April 14, 2020 by Jon Awbrey

Re: Peirce List • Edwina Taborsky I first encountered Peirce’s Collected Papers sometime during my freshman year in one of the quieter corners of the Michigan State Math Library where I used to hide out to study and shortly after … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic • 9

Posted on April 11, 2020 by Jon Awbrey

Propositional Forms on Two Variables Table A2 arranges the propositional forms on two variables according to another plan, sorting propositions with similar shapes into seven subclasses.  Thereby hangs many a tale, to be told in time. Table A2.  Propositional Forms … 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 • Discussion 1

Posted on April 9, 2020 by Jon Awbrey

Re: Structural Modeling • Joseph Simpson Thanks, Joe, glad you liked the table, I’ve got a million of ’em!  I’ll be setting another mess of tables directly as we continue studying the effects of differential operators on families of propositional … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic • 8

Posted on April 8, 2020 by Jon Awbrey

Propositional Forms on Two Variables To broaden our experience with simple examples, let’s examine the sixteen functions of concrete type and abstract type   Our inquiry into the differential aspects of logical conjunction will pay dividends as we study the … 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