Tag Archives: Visualization

Differential Propositional Calculus • Overview

Posted on February 16, 2020 by Jon Awbrey

The most fundamental concept in cybernetics is that of “difference”, either that two things are recognisably different or that one thing has changed with time. W. Ross Ashby • An Introduction to Cybernetics Here’s the outline of a sketch I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Survey of Differential Logic • 2

Posted on February 8, 2020 by Jon Awbrey

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

Higher Order Sign Relations • Discussion 1

Posted on December 4, 2019 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 , , , , , , , , , , , , , , , , | 10 Comments

Peirce’s 1870 “Logic Of Relatives” • Discussion 2

Posted on October 24, 2019 by Jon Awbrey

Re: Ecology of Systems Thinking • RS • TM My previous comment summed up my observations of a general drift toward “absolutist and dyadic ways of thinking” in various communities of inquiry of interest to me over the past 20 … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Peirce’s 1870 “Logic Of Relatives” • Comment 2

Posted on October 22, 2019 by Jon Awbrey

In a recent post on a related topic I gave this assessment of our present situation: One of the more disconcerting developments, I might say “devolutions”, I’ve observed over the past 20 years has been the general slippage back to … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 1

Posted on October 22, 2019 by Jon Awbrey

Peirce often stressed his Logic of Relatives as the key to unlocking many puzzles.  As I read him, it was Peirce’s drive to understand the Logic of Science that required the grounding of logic in the mathematical forms of triadic … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 6 Comments

The Difference That Makes A Difference That Peirce Makes • 27

Posted on October 14, 2019 by Jon Awbrey

Re: Peirce List • John Sowa It’s been my observation over many decades that people invoke the “ethics of terminology” mainly to inveigh against everyone’s innovations but their own, so these days I’ve shifted my attention to the “pragmatics of … Continue reading →

Posted in C.S. Peirce, Descriptive Science, Fixation of Belief, Formal Systems, Information, Inquiry, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Normative Science, Pragmatic Maxim, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 26

Posted on October 14, 2019 by Jon Awbrey

Re: Peirce List • John Sowa Questions about Peirce’s use of “formal” and “normative” in relation to logic and semiotic have arisen on the Peirce List once again, but I have to run off to another appointment, so for now I’ll … Continue reading →

Posted in C.S. Peirce, Descriptive Science, Fixation of Belief, Formal Systems, Information, Inquiry, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Normative Science, Pragmatic Maxim, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 25

Posted on October 13, 2019 by Jon Awbrey

I’ve been detecting something approaching a mini-zeitgeist lately.  Ideas and issues popping up in recent discussions and readings keep reminding me of themes I first encountered in Peirce’s early work, especially the Lectures on the Logic of Science (1865–1866) and … Continue reading →

Posted in C.S. Peirce, Fixation of Belief, Formal Systems, Information, Inquiry, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Paradigms, Pragmatic Maxim, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | Leave a comment

Peirce’s 1870 “Logic Of Relatives” • Discussion 1

Posted on September 30, 2019 by Jon Awbrey

Re: Ontolog Forum • John Bottoms Re: History View Blog • A Yukaghir Girl Writes A Love Letter Re: Peirce’s 1870 “Logic Of Relatives” • Proto-Graphical Syntax John Bottoms, writing in the Ontolog Forum, compared the graphic I drew for … Continue reading →

Posted in C.S. Peirce, Category Theory, Differential Logic, Duality, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Logical Graphs, Logical Matrices, Mathematics, Peirce, Peirce's Categories, Predicate Calculus, Propositional Calculus, Relation Theory, Semiotics, Sign Relations, Teridentity, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments