Category Archives: Type Theory

Survey of Relation Theory • 3

In this Survey of previous 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 … Continue reading

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

Peirce’s Categories • 7

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, 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 , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 6

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 List, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 5

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, 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 , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 4

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 , , , , , , , , , , , , , , , , | 1 Comment

Survey of Relation Theory • 2

In this Survey of previous 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 … Continue reading

Posted in Algebra, C.S. Peirce, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Logic, Logic of Relatives, Mathematics, Model Theory, Peirce, Proof Theory, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Teridentity, Thirdness, Triadic Relations, Triadicity, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Peirce’s Categories • 3

Re: Peirce List Discussion 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 … 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 , , , , , , , , , , , , , , , , | 2 Comments