Category Archives: Category Theory

Semiotics, Semiosis, Sign Relations • 3

Posted on December 11, 2018 by Jon Awbrey

For ease of reference, here are two variants of Peirce’s 1902 definition of a sign, which he gives in the process of defining logic. Selections from C.S. Peirce, “Carnegie Application” (1902) No. 12.  On the Definition of Logic Logic will … Continue reading →

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 24 Comments

Semiotics, Semiosis, Sign Relations • 2

Posted on December 10, 2018 by Jon Awbrey

Here are links to more complete discussions of semiotics. Sign Relations • OEIS Wiki • Wikiversity The approach described here develops from what I regard as the core definition of triadic sign relations, one explicit enough to support a consequential … Continue reading →

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 24 Comments

Semiotics, Semiosis, Sign Relations • 1

Posted on December 9, 2018 by Jon Awbrey

A first mention of semiotics (and cybersemiotics) in a discussion group gave me a chance to begin a fresh introduction to the subject.  I thought it might be useful to share that here. Here’s the intro to Semiotics I wrote … Continue reading →

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 25 Comments

Indicator Functions • Discussion 1

Posted on October 10, 2018 by Jon Awbrey

Peter Smith, on his Logic Matters blog, asks the question, “What Is A Predicate?”, and considers a number of answers. There are of course other possible answers, and one I learned quite early on, arising very naturally in applying mathematical … Continue reading →

Posted in Boole, Boolean Functions, C.S. Peirce, Category Theory, Indication, Indicator Functions, Logic, Mathematics, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Set Theory, Venn Diagrams | Tagged , , , , , , , , , , , , | 1 Comment

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 2

Posted on October 5, 2018 by Jon Awbrey

Re: Cybernetic Communications • SU One thing that interests me here is the relation between narratives and navigation.  Navigation has to do with how we move through actual state spaces while narratives are the tales we tell about past adventures … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 11 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 1

Posted on October 1, 2018 by Jon Awbrey

Re: Cybernetics • Stuart Umpleby Susan and I just returned from our annual dramatic immersion in Stratford Ontario and the last play we saw was a playfully dramatic rendition of Milton’s Paradise Lost. That and the spectacular immorality play currently … 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

Differential Logic, Dynamic Systems, Tangent Functors • 1

Posted on September 5, 2018 by Jon Awbrey

People interested in category theory as applied to systems may wish to check out the following article, reporting work I carried out while engaged in a systems engineering program at Oakland University. The problem addressed is a longstanding one, that … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 14 Comments

The Difference That Makes A Difference That Peirce Makes • 18

Posted on July 24, 2017 by Jon Awbrey

Re: Peter Smith • Which Is The Quantifier? From a functional logic point of view logicians slipped a step backward when they passed from Peirce’s and to the current convention of using and for logical quantifiers.  There’s a rough indication … Continue reading →

Posted in C.S. Peirce, Category Theory, Complementarity, Duality, Formal Languages, Higher Order Propositions, Indicator Functions, Inquiry, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Pragmatism, Predicate Calculus, Propositional Calculus, Propositions, Quantifiers, Relation Theory, Semiotics, Type Theory, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 17

Posted on June 26, 2017 by Jon Awbrey

Re: Peirce List • JA • GF • JFS • JLRC • JA • JFS • GF A rather amusing, if slightly ominous illustration of the point I am trying to make here has just popped up in the daily … Continue reading →

Posted in Automata, C.S. Peirce, Category Theory, Chomsky, Complementarity, Dewey, Formal Languages, Inquiry, Laws of Form, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relation Theory, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 16

Posted on June 25, 2017 by Jon Awbrey

Re: Peirce List • JA • JFS JFS: For those of us who are trying to convince modern students to study Peirce, we need to become bilingual.  We need to show how his terminology and notations map to and from … Continue reading →

Posted in Automata, C.S. Peirce, Category Theory, Chomsky, Complementarity, Dewey, Formal Languages, Inquiry, Laws of Form, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Peirce, Philosophy, Physics, Pragmatism, Quantum Mechanics, Relation Theory, Relativity, Science, Scientific Method, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment