Category Archives: Type Theory

Peirce’s Categories • 21

Re: Peirce List • Robert Marty Re: Peirce List • Robert Marty Dear Robert, Let’s go back to a point where paths diverged in the yarrow wood and a lot of synchronicity was lost … Variant understandings of words like … 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 , , , , , , , , , , , , , , , | Leave a comment

Relation Theory • Discussion 1

Re: Cybernetics • Arthur Phillips Responding to what I’ll abductively interpret as a plea for relevance from the cybernetic galley, let me give a quick review of where we are in this many-oared expedition. Our reading of Ashby (see Survey … 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

Survey of Relation Theory • 4

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

Peirce’s Categories • 20

Re: Peirce’s Categories • 15 Understanding another person’s thought can be difficult.  Understanding the way another understands a third person’s thought, all the more so, even if that third person is not so formidable a thinker as Charles Sanders Peirce.  Measures of … 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 , , , , , , , , , , , , , , , | Leave a comment

Peirce’s Categories • 19

Re: Peirce’s Categories • 15 Another point where the onrush of discussion and the impact of worldly distractions caused my train of thought to jump the track is here: Peirce List (1) (2) • RM • JA RM: First I … 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 , , , , , , , , , , , , , , , | 1 Comment

Peirce’s Categories • 18

Re: Peirce’s Categories • 15 In These Uncertain Times, as people keep saying, it’s become even harder to concentrate than usual and I keep losing track of tricky points coming up in discussion which cry out for further discussion but … 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 , , , , , , , , , , , , , , , | Leave a comment

Peirce’s Categories • 17

I’ve been too immersed in the Peirce List discussion of Robert Marty’s “Podium” paper to write much here — before I lose track of what I’ve been thinking the last several days I’ll need to ravel up my off-the-cuff remarks … 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 , , , , , , , , , , , , , , , | Leave a comment

Peirce’s Categories • 16

Re: Peirce’s Categories • 15 Cf: Robert Marty • The Podium of the Universal Categories of C.S. Peirce A feature of particular interest to me in Robert Marty’s paper is the resonance he finds between category theory, as it’s known in … 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 , , , , , , , , , , , , , , , | Leave a comment

Peirce’s Categories • 15

Re: Peirce List • Robert Marty RM: I submit for your review this preprint which is awaiting publication: The Podium of the Universal Categories of C.S. Peirce Abstract This article organizes Peirce’s universal categories and their degenerate forms from their presupposition … 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 , , , , , , , , , , , , , , , | 6 Comments

Peirce’s Categories • 14

Re: Peirce List • Robert Marty RM: What do you think of the presuppositions between the levels? Do they make sense to you? At this point I have mostly questions, which would take further research to answer, not to mention … 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 , , , , , , , , , , , , , , , | 1 Comment