Category Archives: Hilbert

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

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.  A Survey of … Continue reading

Posted in Abstraction, Ackermann, Analogy, Aristotle, C.S. Peirce, Carnap, Category Theory, Diagrams, Dyadic Relations, Equational Inference, Form, Foundations of Mathematics, Functional Logic, Hilbert, History of Mathematics, Hypostatic Abstraction, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Propositions As Types Analogy, Relation Theory, Saunders Mac Lane, Semiotics, Sign Relations, Surveys, Triadic Relations, Type Theory, Universals | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 17 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 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 , , , , , , , , , , , , , , , , | 5 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 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 , , , , , , , , , , , , , , , , | 3 Comments

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