Category Archives: Carnap

Survey of Precursors Of Category Theory • 1

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. This post is … Continue reading

Posted in Abstraction, Ackermann, Analogy, Aristotle, Carnap, Category Theory, Diagrammatic Reasoning, Diagrams, Dyadic Relations, Equational Inference, Form, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Iconicity, Kant, Logic, Mathematics, Mental Models, Peirce, Propositions As Types Analogy, Saunders Mac Lane, Surveys, Triadic Relations, Type Theory, Universals, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Precursors of Category Theory : 3

Act only according to that maxim by which you can at the same time will that it should become a universal law. Immanuel Kant (1785) Precursors of Category Theory Peirce Cued by Kant’s idea on the function of concepts in … Continue reading

Posted in Ackermann, Aristotle, Carnap, Category Theory, Hilbert, Kant, Logic, Mathematics, Peirce, Peirce List, Proust, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory | Tagged , , , , , , , , , , , , , , | 2 Comments

Precursors of Category Theory : 2

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 Precursors of Category Theory When … Continue reading

Posted in Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Mathematics, Peirce, Peirce List, Proust, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory | Tagged , , , , , , , , , , , , , , , | 1 Comment

Precursors of Category Theory : 1

A few years back I began a sketch on the Precursors of Category Theory, aiming to trace the continuities of the category concept from Aristotle, thorough Kant and Peirce, Hilbert and Ackermann, to contemporary mathematical use.  Perhaps a few will … Continue reading

Posted in Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Mathematics, Peirce, Peirce List, Relation Theory, Saunders Mac Lane, Semiotics, Type Theory | Tagged , , , , , , , , , , , , , , | 5 Comments