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 of which arise quite naturally in applications.  This approach to relation theory, or the theory of relations, is distinguished from, though closely related to, its study from the perspectives of abstract algebra on the one hand and formal logic on the other.


Relational Concepts

Relation Construction Relation Composition Relation Reduction
Relative Term Sign Relation Triadic Relation
Logic of Relatives Hypostatic Abstraction Continuous Predicate


Peirce’s 1880 “Algebra of Logic” Chapter 3

Blog Dialogs


This entry was 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 and tagged , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

3 Responses to Survey of Relation Theory • 2

  1. Pingback: Relations & Their Relatives : 16 | Inquiry Into Inquiry

  2. Pingback: Abduction, Deduction, Induction, Analogy, Inquiry : 12 | Inquiry Into Inquiry

  3. Pingback: Definition and Determination : 13 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.