Tag Archives: Universals

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

Oracles

Computing, in its way, and science, in its broader way, both involve the relation between what appears limited and what appears not. Whether you believe in divinity or not, and whether you believe that humanity contains a spark of divinity … Continue reading

Posted in Communication, Computability, Computing, Inquiry, Oracles, Relative Computability, Science, Universals | Tagged , , , , , , , | 2 Comments