Category Archives: Type Theory

Precursors Of Category Theory • Discussion 3

Take your place on The Great Mandala As it moves through your brief moment of time. Win or lose now you must choose now And if you lose you’re only losing your life. Peter Yarrow Re: Ontolog Forum • Alex … 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 , , , , , , , , , , , , , , , , | 1 Comment

Precursors Of Category Theory • Discussion 2

Re: Ontolog Forum • Alex Shkotin AS: Looking at “categories, or types” in Precursors Of Category Theory • Hilbert and Ackermann what do you think of to say “Precursors Of Type Theory” as Category Theory is a math discipline?   … 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 , , , , , , , , , , , , , , , , | 1 Comment

Survey of Precursors Of Category Theory • 2

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

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Precursors Of Category Theory • Discussion 1

Re: FB | Medieval Logic • EB • JA • JA • EB • JA • EB • JA • JA • EB JA:  In the logic of Aristotle categories are adjuncts to reasoning designed to resolve ambiguities and thus … 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 , , , , , , , , , , , , , , , , | 1 Comment

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 , , , , , , , , , , , , , , , | 1 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 , , , , , , , , , , , , , , , , , , , , , , | 1 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 , , , , , , , , , , , , , , , | 1 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 , , , , , , , , , , , , , , , | 2 Comments

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