Tag Archives: Abstraction

Charles Sanders Peirce, George Spencer Brown, and Me • 1

It’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown’s Laws of Form in … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me

James Bowery left a comment on my blog and opened a thread in the Yahoo! group devoted to discussing the mathematics of George Spencer Brown’s Laws of Form.  I’ve been meaning to join that discussion as soon as I could work … Continue reading

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Analytic Turing Automata, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Peirce’s Categories • 7

Re: Peirce List Discussion • Ben Udell The week before last my home office got tossed like a salad into the middle of our bedroom floor while workmen worked on various things that needed re-working.  There’s probably a metaphor of … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 6

Re: Peirce List Discussion • Ben Udell I read Peirce primarily for his insights into logic, mathematics, and science, which are considerable enough to occupy several lifetimes, and I read him the same way I read other thinkers in those … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 5

Re: Peirce List Discussion • Ben Udell For my part, I see a distinctive paradigm of thought and practice immanent in Peirce’s work and all I’ve been trying to do for many years now has been to nudge it a … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 4

Re: Peirce List Discussions • (1) • (2) • (3) • (4) • (5) Let me state a few principles that have guided me in my efforts to read and understand Peirce for the past fifty years. There is a … Continue reading

Posted in Abstraction, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 3

Re: Peirce List Recent travels and other travails (dental work) have scattered my thoughts to the four winds, so let me just document a few bits from my current state of mind in case I can get back to it … Continue reading

Posted in Abstraction, Analogy, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 11 Comments

Peirce’s Categories • 2

Re: Peirce List • Jeffrey Brian Downard • Gary Richmond • John Collier According to Peirce, it is logic that draws on both mathematics and phenomenology. At any rate, Peirce takes the distinctive position that normative science, which includes logic, … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Dimensionality, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , | 12 Comments

Peirce’s Categories • 1

Re: Peirce List • Jeffrey Brian Downard Just from my experience, the best first approach to questions of firstness, secondness, thirdness, and so on is to regard k-ness as the property that all k-adic relations possess in common.  There is … Continue reading

Posted in Abstraction, C.S. Peirce, Category Theory, Dimensionality, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Triadic Relations, Type Theory | Tagged , , , , , , , , , , , , , , | 10 Comments

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