Category Archives: Peirce’s Categories

Precursors Of Category Theory • 2

Posted on May 26, 2024 by Jon Awbrey

Thanks to art, instead of seeing one world only, our own, we see that world multiply itself and we have at our disposal as many worlds as there are original artists … ☙ Marcel Proust When it comes to looking … Continue reading →

Posted in Abstraction, Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Relation Theory, Saunders Mac Lane, Sign Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , | 4 Comments

Precursors Of Category Theory • 1

Posted on May 25, 2024 by Jon Awbrey

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice.  My notes on the project … Continue reading →

Posted in Abstraction, Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Relation Theory, Saunders Mac Lane, Sign Relations, Type Theory | Tagged , , , , , , , , , , , , , , , , | 3 Comments

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

Posted on February 3, 2022 by Jon Awbrey

In passing to more complex combinations of relative terms and the extensional relations they denote, as we began to do in Comments 10.6 and 10.7, I used words like composite and composition along with the usual composition sign to describe … 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” • Discussion 5

Posted on January 8, 2022 by Jon Awbrey

Re: Conceptual Graphs • Peiyuan Zhu PZ: I’m studying imprecise probabilities which initially works as an extension in Boole’s Laws of Thoughts.  It seems like Boole was solving a set of algebraic equations for probabilities where some of the probabilities … 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” • Discussion 4

Posted on December 15, 2021 by Jon Awbrey

Re: Peirce’s 1870 “Logic of Relatives” • Proto-Graphical Syntax Re: FB | Ancient Logic • Henning Engebretsen HE: What’s your point, it’s obviously too graphical, but perhaps you are driving at something else.  Explain? Dear Henning, My aim here is … 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” • 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

C.S. Peirce and Category Theory • 8

Posted on July 2, 2021 by Jon Awbrey

Re: Category Theory • Henry Story Re: Laws of Form • Lyle Anderson LA: As I am trying to get “frame sync” on this discussion, as the satellite communications people say, I am taking clues from the introduction to the … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 3 Comments

C.S. Peirce and Category Theory • 7

Posted on July 1, 2021 by Jon Awbrey

Re: Category Theory • Henry Story HS: I’d be very interested in the comments of people who know about Peirce on the two chapters in the book Diagrammatic Immanence I linked to above on “3. Peirce” and “4. Diagrams of Variation : … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 3 Comments

C.S. Peirce and Category Theory • 6

Posted on June 30, 2021 by Jon Awbrey

Re: Category Theory • Henry Story HS: I’d love it of course if all of Peirce’s graphs could be mapped to CT.  That would help me integrate that work a lot faster.  Or alternatively, if one could work out exactly … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 3 Comments

C.S. Peirce and Category Theory • 5

Posted on June 29, 2021 by Jon Awbrey

Re: C.S. Peirce and Category Theory • 2 Re: Category Theory • Henry Story • Avi Craimer • Henry Story Dear Avi, Henry, Diagrams are a mixed bag, a complex and polymorphic species, in Peircean semiotics.  All diagrams in common use, … Continue reading →

Posted in Abstraction, Aristotle, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatic Maxim, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 3 Comments