Category Archives: Peirce

Precursors Of Category Theory • 3

Posted on January 3, 2014 by Jon Awbrey

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

Precursors Of Category Theory • 2

Posted on December 30, 2013 by Jon Awbrey

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

Precursors Of Category Theory • 1

Posted on December 20, 2013 by Jon Awbrey

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

Objects, Models, Theories : 4

Posted on November 27, 2013 by Jon Awbrey

I need to stay with this problem a while … What are objects, models, theories, and how do they relate to one another? In contemplating this problem I always find it helpful to ruminate on the diagram shown above — … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Information Theory, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Paradigms, Peirce, Pragmata, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Objects, Models, Theories : 3

Posted on November 21, 2013 by Jon Awbrey

Re: Peirce List Discussion • Tom Gollier Here my task is to build bridges between several different classical and contemporary uses of the word model, so I don’t have the luxury of complete control over the words in play but … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Peirce, Pragmata, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Objects, Models, Theories : 2

Posted on November 20, 2013 by Jon Awbrey

Re: K.W. Regan • The Graph Of Math Re: Artem Kaznatcheev • Three Types Of Mathematical Models What — if anything — is the common sense that connects the different senses of the word model, as it has been used … Continue reading →

Posted in Adaptive Systems, Analogy, Aristotle, Artificial Intelligence, Biological Systems, C.S. Peirce, Computational Complexity, Evolution, Gödel, Information, Inquiry, Inquiry Driven Systems, Learning Theory, Logic, Logic of Science, Mathematical Models, Mental Models, Model Theory, Natural Intelligence, Peirce, Pragmata, Semiotics | Tagged , , , , , , , , , , , , , , , , , , , , , | 8 Comments

“What we’ve got here is (a) failure to communicate” • 6

Posted on November 15, 2013 by Jon Awbrey

Excerpt from Warren S. McCulloch, “What Is a Number, that a Man May Know It, and a Man, that He May Know a Number?” (1960) Please remember that we are not now concerned with the physics and chemistry, the anatomy … Continue reading →

Posted in Abduction, Amphecks, Aristotle, Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Combinatorics, Deduction, Duns Scotus, Induction, Leibniz, Logic, Logic of Relatives, Mathematics, Neural Models, Ockham, Peirce, Propositional Logic, Psychons, Relation Theory, Sources, Triadic Relations, Warren S. McCulloch, William James | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

“What we’ve got here is (a) failure to communicate” • 5

Posted on November 12, 2013 by Jon Awbrey

Excerpt from C.S. Peirce, “Minute Logic” (1902), CP 2.144–148 2.2. Why Study Logic? 2.2.5. Reasoning and Expectation 144.   But since you propose to study logic, you have more or less faith in reasoning, as affording knowledge of the truth. Now … Continue reading →

Posted in Anthem, C.S. Peirce, Communication, Meditation, Peirce, References, Sources | Tagged , , , , , , | 2 Comments

Architectonics of Inquiry • 1

Posted on October 23, 2013 by Jon Awbrey

Re: R.J. Lipton • Teaching Helps Research Along these lines, if somewhat tangentially, are some questions that I’ve wondered about for many years. How do research and teaching interact, and how might they act to catalyze one another in the … Continue reading →

Posted in Artificial Intelligence, Automated Research Tools, C.S. Peirce, Discovery, Educational Systems Design, Educational Technology, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Instruction, Peirce, Research Technology | Tagged , , , , , , , , , , , | 3 Comments

Differential Analytic Turing Automata • Discussion 1

Posted on October 14, 2013 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Proving Cook’s Theorem Synchronicity Rules❢ I just started reworking an old exposition of mine on Cook’s Theorem, where I borrowed the Parity Function example from Wilf (1986), Algorithms and Complexity, and translated it … Continue reading →

Posted in Algorithms, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Analytic Turing Automata, Differential Logic, Logic, Logical Graphs, Peirce, Propositional Calculus, Turing Machines | Tagged , , , , , , , , , , , | 2 Comments