Tag Archives: Graph Theory

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

Relations & Their Relatives : 15

Re: Peirce List Discussion • Helmut Raulien Definitions and examples for relation composition and the two types of relation reduction that commonly arise can be found in the following articles: Relation Composition Relation Reduction A previous post on this thread … Continue reading

Posted in Combinatorics, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Relation Theory, Semiotics, Sign Relations, Tertium Quid, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives : 14

Re: Peirce List Discussion • Helmut Raulien Cf: Relation Reduction : Examples of Projectively Reducible Relations I constructed the “Ann and Bob” examples of sign relations back when I was enrolled in a Systems Engineering program and had to explain … Continue reading

Posted in Combinatorics, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Relation Theory, Semiotics, Sign Relations, Tertium Quid, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives : 13

Re: Peirce List Discussion • Helmut Raulien The facts about relational reducibility are relatively easy to understand and I included links to relevant discussions in my earlier survey of relation theory. The following article discusses relational reducibility and irreducibility in … Continue reading

Posted in Combinatorics, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Relation Theory, Semiotics, Sign Relations, Tertium Quid, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives : 12

Re: Peirce List Discussion • Jeffrey Brian Downard In viewing the structures of relation spaces, even the smallest dyadic cases we’ve been exploring so far, no one need feel nonplussed at the lack of obviousness in this domain.  Anyone who … Continue reading

Posted in Combinatorics, Dyadic Relations, Graph Theory, Group Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Relation Theory, Semiotics, Sign Relations, Tertium Quid, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives : 11

Re: Peirce List Discussion • Jeffrey Brian Downard In discussing the “combinatorial explosion” of dyadic relations that takes off in passing from a universe of two elements to a universe of three elements, I made the following observation: Looking back … Continue reading

Posted in Combinatorics, Graph Theory, Group Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Relation Theory, Semiotics, Sign Relations, Tertium Quid, Thirdness, Triadic Relations, Triadicity | Tagged , , , , , , , , , , , , , , | 3 Comments

Animated Logical Graphs : 9

Re: Ken Regan • The Shapes of Computations The insight that it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet refractory to computational attack, … Continue reading

Posted in Amphecks, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Diagrammatic Reasoning, Graph Theory, Inquiry Driven Education, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment