Category Archives: Algebra

Survey of Relation Theory • 3

In this Survey of previous blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many … Continue reading

Posted in Algebra, C.S. Peirce, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Logic, Logic of Relatives, Mathematics, Model Theory, Peirce, Proof Theory, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Teridentity, Thirdness, Triadic Relations, Triadicity, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Riffs and Rotes : 3

Re: R.J. Lipton • Failure Of Unique Factorization My favorite question in this realm is how much of the linear ordering of the natural numbers is purely combinatorial, where we eliminate all the structure that isn’t purely combinatorial via the … Continue reading

Posted in Algebra, Combinatorics, Graph Theory, Group Theory, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , | Leave a comment

Survey of Relation Theory • 2

In this Survey of previous blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many … Continue reading

Posted in Algebra, C.S. Peirce, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Logic, Logic of Relatives, Mathematics, Model Theory, Peirce, Proof Theory, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Teridentity, Thirdness, Triadic Relations, Triadicity, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Survey of Relation Theory • 1

In this Survey of previous blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set-theoretic constructions, many … Continue reading

Posted in Algebra, C.S. Peirce, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Logic, Logic of Relatives, Mathematics, Model Theory, Peirce, Proof Theory, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Teridentity, Thirdness, Triadic Relations, Triadicity, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Peirce’s 1880 “Algebra Of Logic” Chapter 3 • Preliminaries

Recurring questions about relations, especially triadic relations and sign relations, prompt a return to Peirce’s core papers on the logic of relative terms and the mathematics of relations in general.  I began a study of his 1870 “Logic of Relatives” … Continue reading

Posted in Algebra, Algebra of Logic, Boolean Algebra, C.S. Peirce, Dyadic Relations, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Relational Algebra, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , , , , , , , | 3 Comments

Forest Primeval → Riffs & Rotes

Re: Shifting Paradigms? • (1) • (2) • (3) • (4) • (5) • (6) Prompted by the discussion of Catalan numbers on the Foundations Of Math List, I dug up a few pieces of early correspondence and later discussions that … Continue reading

Posted in Algebra, Arithmetic, Combinatorics, Forest Primeval, Graph Theory, Group Theory, Integer Sequences, Lambda Calculus, Logic, Mathematics, Model Theory, Number Theory, Paradigms, Peirce, Programming, Proof Theory, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 2

Re: Timothy Chow • Shifting Paradigms? 2014 Jul 31 I can’t remember when I first started playing with Gödel codings of graph-theoretic structures, which arose in logical and computational settings, but I remember being egged on in that direction by … Continue reading

Posted in Algebra, Arithmetic, Combinatorics, Foundations of Mathematics, Graph Theory, Group Theory, Inquiry, Logic, Mathematics, Model Theory, Number Theory, Paradigms, Peirce, Programming, Proof Theory, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , | Leave a comment