Survey of Precursors Of Category Theory • 6

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice.  A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.

Background

Blog Series

Categories à la Peirce

cc: FB | Peirce MattersLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

#abstraction, #ackermann, #analogy, #aristotle, #c-s-peirce, #carnap, #category-theory, #foundations-of-mathematics, #hilbert, #hypostatic-abstraction, #kant, #logic, #mathematics, #propositions-as-types-analogy, #relation-theory, #saunders-mac-lane, #semiotics, #type-theory, #universals

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 5

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention is paid to the way the inferential rudiments combine to form the more complex patterns of analogy and inquiry.

Anthem

Blog Dialogs

Blog Series

Blog Surveys

OEIS Wiki

Ontolog Forum

cc: FB | Inquiry Driven SystemsLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

#abduction, #aristotle, #c-s-peirce, #deduction, #dewey, #discovery, #doubt, #fixation-of-belief, #functional-logic, #icon-index-symbol, #induction, #inference, #information, #inquiry, #invention, #logic, #logic-of-science, #mathematics, #morphism, #paradigmata, #paradigms, #pattern-recognition, #peirce, #philosophy, #pragmatic-maxim, #pragmatism, #scientific-inquiry, #scientific-method, #semiotics, #sign-relations, #surveys, #syllogism, #triadic-relations, #visualization