Category Archives: Category Theory

Peirce’s 1870 “Logic of Relatives” • Discussion 3

Posted on December 10, 2021 by Jon Awbrey

All other sciences without exception depend upon the principles of mathematics;  and mathematics borrows nothing from them but hints. C.S. Peirce • “Logic of Number” A principal intention of this essay is to separate what are known as algebras of … 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

Triadic Relations • Discussion 3

Posted on December 6, 2021 by Jon Awbrey

Re: Triadic Relations • (1) • (2) • (3) Re: Conceptual Graphs • Edwina Taborsky ET: A few comments on your outline of the Sign.  I think one has to be careful not to set up a Saussurian linguistic dyad.  … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 6 Comments

Survey of Relation Theory • 5

Posted on November 8, 2021 by Jon Awbrey

In this Survey of blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many of … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Triadic Relations • 3

Posted on November 8, 2021 by Jon Awbrey

Triadic Relations • Examples from Semiotics The study of signs — the full variety of significant forms of expression — in relation to all the affairs signs are significant of, and in relation to all the beings signs are significant … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 10 Comments

Triadic Relations • 2

Posted on November 8, 2021 by Jon Awbrey

Triadic Relations • Examples from Mathematics For the sake of topics to be taken up later, it is useful to examine a pair of triadic relations in tandem.  We will construct two triadic relations, and each of which is a … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 9 Comments

Triadic Relations • 1

Posted on November 7, 2021 by Jon Awbrey

Of triadic Being the multitude of forms is so terrific that I have usually shrunk from the task of enumerating them;  and for the present purpose such an enumeration would be worse than superfluous:  it would be a great inconvenience. … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 9 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Comment 2

Posted on November 6, 2021 by Jon Awbrey

Re: Differential Logic, Dynamic Systems, Tangent Functors • 1 Seeing as how quasi-neural models and the recurring issues of symbolic vs. connectionist paradigms have come round again, I thought I might revisit work I began initially in that context, investigating … Continue reading →

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Information & Control, Inquiry Driven Systems, Intelligent Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Relation Theory • 6

Posted on November 4, 2021 by Jon Awbrey

Relation Theory • Species of Dyadic Relations Returning to 2‑adic relations, it is useful to describe several familiar classes of objects in terms of their local and numerical incidence properties.  Let be an arbitrary 2‑adic relation.  The following properties of … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 9 Comments

Relation Theory • Discussion 3

Posted on November 3, 2021 by Jon Awbrey

Re: Relation Theory • (1) • (2) • (3) • (4) • (5) Re: Laws of Form • James Bowery JB: Thanks for that very rigorous definition of “relation theory”. Its “trick” of including the name of the -relation in … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Relation Theory • Discussion 2

Posted on November 1, 2021 by Jon Awbrey

Re: Relation Theory • (1) • (2) • (3) • (4) Re: FB | Charles S. Peirce Society • Joseph Harry JH: These are iconic representations dealing with logical symbolic relations, and so of course are semiotic in Peirce’s sense, … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 9 Comments