Category Archives: Type Theory

Peirce’s Categories • 9

Posted on October 7, 2019 by Jon Awbrey

Re: FB | Systems Sciences • Kenneth Lloyd Scanning the spectrum of sources I sampled in my Precursors of Category Theory, there are many differences in the categorical paradigms different observers developed over the centuries.  Just for starters, the numbers … 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 , , , , , , , , , , , , , , , | 9 Comments

Peirce’s Categories • 8

Posted on October 6, 2019 by Jon Awbrey

Re: Peirce Society Facebook Page • Ricardo Bibi Tamtam Durski The best way to get clear about Peirce’s categories is to look to their origin in Aristotle’s concept of a category, in effect nothing more mysterious than a grammatical device … 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 , , , , , , , , , , , , , , , | 8 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

Survey of Relation Theory • 3

Posted on January 17, 2017 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 , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 7

Posted on May 13, 2016 by Jon Awbrey

Re: Peirce List Discussion • Ben Udell The week before last my home office got tossed like a salad into the middle of our bedroom floor while workmen worked on various things that needed re-working.  There’s probably a metaphor of … Continue reading →

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 6

Posted on May 12, 2016 by Jon Awbrey

Re: Peirce List Discussion • Ben Udell I read Peirce primarily for his insights into logic, mathematics, and science, which are considerable enough to occupy several lifetimes, and I read him the same way I read other thinkers in those … Continue reading →

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 5

Posted on May 12, 2016 by Jon Awbrey

Re: Peirce List Discussion • Ben Udell For my part, I see a distinctive paradigm of thought and practice immanent in Peirce’s work and all I’ve been trying to do for many years now has been to nudge it a … Continue reading →

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 4

Posted on May 11, 2016 by Jon Awbrey

Re: Peirce List Discussions • (1) • (2) • (3) • (4) • (5) Let me state a few principles that have guided me in my efforts to read and understand Peirce for the past fifty years. There is a … Continue reading →

Posted in Abstraction, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , | 8 Comments

Survey of Relation Theory • 2

Posted on November 30, 2015 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 , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Peirce’s Categories • 3

Posted on November 4, 2015 by Jon Awbrey

Re: Peirce List Recent travels and other travails (dental work) have scattered my thoughts to the four winds, so let me just document a few bits from my current state of mind in case I can get back to it … Continue reading →

Posted in Abstraction, Analogy, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 11 Comments