Category Archives: Relation Theory

Peircean Semiotics and Triadic Sign Relations • 1

Posted on August 20, 2024 by Jon Awbrey

As a “guide for the perplexed”, at least when it comes to semiotics, I’ll use this thread to collect a budget of resources I think have served to clarify the topic in the past. By way of a first offering, … Continue reading →

Posted in C.S. Peirce, Inquiry, Logic, Logic of Relatives, Relation Theory, Semiotics, Sign Relations | Tagged , , , , , , | 4 Comments

Logic of Relatives

Posted on August 5, 2024 by Jon Awbrey

The logic of relatives, more precisely, the logic of relative terms, is the study of relations as represented in symbolic forms known as “rhemes”, “rhemata”, or “relative terms”. Continue reading →

Posted in C.S. Peirce, Logic, Logic of Relatives, Mathematical Logic, Mathematics, Relation Theory, Semiotics | Tagged , , , , , , | 3 Comments

Relations & Their Relatives • 4

Posted on August 3, 2024 by Jon Awbrey

From Dyadic to Triadic to Sign Relations Peirce’s notation for elementary relatives was illustrated earlier by a dyadic relation from number theory, namely, the relation written for Table 1 shows the first few ordered pairs of the relation on positive … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives • 3

Posted on August 2, 2024 by Jon Awbrey

Here are two ways of looking at the divisibility relation, a dyadic relation of fundamental importance in number theory. Table 1 shows the first few ordered pairs of the relation on positive integers corresponding to the relative term, “divisor of”.  Thus, … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives • 2

Posted on August 1, 2024 by Jon Awbrey

What is the relationship between “logical relatives” and “mathematical relations”?  The word relative used as a noun in logic is short for relative term — as such it refers to an item of language used to denote a formal object. … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives • 1

Posted on July 31, 2024 by Jon Awbrey

Sign relations are special cases of triadic relations in much the same way binary operations in mathematics are special cases of triadic relations.  It amounts to a minor complication that we participate in sign relations whenever we talk or think … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives • Discussion 25

Posted on July 30, 2024 by Jon Awbrey

Re: Daniel Everett • Polyunsaturated Predicates Re: Relations & Their Relatives • Discussion 24 Dear Daniel, I’ve been meaning to get back to this as it keeps coming up and it’s kind of important but it took me a while … Continue reading →

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Relation Theory, Rheme, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Relations & Their Relatives • Discussion 24

Posted on July 28, 2024 by Jon Awbrey

Re: Daniel Everett • Polyunsaturated Predicates DE: Among the several ideas Peirce and Frege came up with was the idea of a predicate before and after it is linked to its arguments.  Frege called the unlinked predicate unsaturated.  But Peirce … Continue reading →

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Relation Theory, Rheme, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 5 Comments

Precursors Of Category Theory • 6

Posted on May 30, 2024 by Jon Awbrey

Hilbert and Ackermann • Principles of Mathematical Logic (1928) For the intuitive interpretation on which we have hitherto based the predicate calculus, it was essential that the sentences and predicates should be sharply differentiated from the individuals, which occur as … 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 , , , , , , , , , , , , , , , , | 3 Comments

Precursors Of Category Theory • 5

Posted on May 29, 2024 by Jon Awbrey

A demonstration rests in a finite number of steps. G. Spencer Brown • Laws of Form David Hilbert • “On the Infinite” (1925) Finally, let us recall our real subject and, so far as the infinite is concerned, draw the … 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 , , , , , , , , , , , , , , , , | 3 Comments