Category Archives: Abstraction

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

Indicator Functions • 1

Posted on March 13, 2013 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • Who Invented Boolean Functions? One of the things it helps to understand about 19th Century mathematicians, and those who built the bridge to the 20th, is that they were capable of high abstraction … Continue reading →

Posted in Abstraction, Boole, Boolean Functions, C.S. Peirce, Category Theory, Characteristic Functions, Euler, Indicator Functions, John Venn, Logic, Mathematics, Peirce, Propositional Calculus, Set Theory, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , | Leave a comment

Notes On Categories • 1

Posted on February 22, 2013 by Jon Awbrey

Continued from “Notes On Categories” (14 Jul 2003) • Inquiry List • Ontology List NB.  This page is a work in progress.  I will have to dig up some still older notes from the days of pen and paper before … Continue reading →

Posted in Abstraction, Category Theory, Computing, Graph Theory, Logic, Mathematics, Relation Theory, Type Theory | Tagged , , , , , , , | 8 Comments

Duality Indicating Unity • 1

Posted on January 31, 2013 by Jon Awbrey

Re: R.J. Lipton • Mathematical Tricks A formal duality points to a higher unity — a calculus of forms whose expressions can be read in two different ways by switching the meanings assigned to a pair of primitive terms. I … Continue reading →

Posted in Abstraction, C.S. Peirce, Duality, Form, Indication, Interpretation, Peirce, Unity | Tagged , , , , , , , | 19 Comments

C.S. Peirce • Logic of Number (MS 229)

Posted on September 1, 2012 by Jon Awbrey

Selections from C.S. Peirce, [Logic of Number] (MS 229) I printed a paper on the Logic of Number in 1866, and it was not made up out of the first thoughts that came into my head about it, by any … Continue reading →

Posted in Abduction, Abstraction, C.S. Peirce, Deduction, Foundations of Mathematics, Logic, Mathematics, Peirce | Tagged , , , , , , , | 5 Comments

C.S. Peirce • Relatives of Second Intention

Posted on April 7, 2012 by Jon Awbrey

Selections from C.S. Peirce, “The Logic of Relatives”, CP 3.456–552 488.   The general method of graphical representation of propositions has now been given in all its essential elements, except, of course, that we have not, as yet, studied any truths … Continue reading →

Posted in Abstraction, Amphecks, C.S. Peirce, Cognition, Experience, Inquiry, Logic, Logic of Relatives, Logical Graphs, Logical Reflexion, Mathematics, Peirce, Relation Theory, Second Intentions, Semiotics, Sign Relations, Truth Theory | Tagged , , , , , , , , , , , , , , , , | 7 Comments

Praeclarum Theorema

Posted on October 5, 2008 by Jon Awbrey

The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus that was noted and named by G.W. Leibniz. Continue reading →

Posted in Abstraction, Animata, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Form, Graph Theory, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Painted Cacti, Peirce, Praeclarum Theorema, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , | 17 Comments

Hypostatic Abstraction

Posted on August 8, 2008 by Jon Awbrey

Hypostatic Abstraction (HA) is a formal operation on a subject–predicate form that preserves its information while introducing a new subject and upping the “arity” of its predicate. To cite a notorious example, HA turns “Opium is drowsifying” into “Opium has dormitive virtue”. Continue reading →

Posted in Abstraction, Article, C.S. Peirce, Hypostatic Abstraction, Logic, Logic of Relatives, Logical Graphs, Mathematics, Molière, Peirce, Reification, Relation Theory | Tagged , , , , , , , , , , , | 5 Comments