[CG] Re: Relations & Their Relatives

Relations & Their Relatives • 2 • https://inquiryintoinquiry.com/2024/08/01/relations-their-relatives-2-a/ All, 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. What kind of object is that? The way things work in mathematics we are free to make up a formal object corresponding directly to the term, so long as we can form a consistent theory of it, but it's probably easier and more practical in the long run to relate the relative term to the kinds of relations ordinarily treated in mathematics and universally applied in relational databases. In those contexts a relation is just a set of ordered tuples and for those of us who are fans of what is called “strong typing” in computer science, such a set is always set in a specific setting, namely, it’s a subset of a specified cartesian product. Peirce wrote k‑tuples like (x₁, x₂, …, xₖ₋₁, xₖ) in the form x₁ : x₂ : … : xₖ₋₁ : xₖ and referred to them as “elementary k‑adic relatives”. He treated a collection of k‑tuples as a “logical aggregate” or “logical sum” and regarded them as being arranged in k‑dimensional arrays. Time for some concrete examples, which I will give in the next post. Resources — Relation Theory • https://oeis.org/wiki/Relation_theory Triadic Relations • https://oeis.org/wiki/Triadic_relation Sign Relations • https://oeis.org/wiki/Sign_relation Survey of Relation Theory • https://inquiryintoinquiry.com/2024/03/23/survey-of-relation-theory-8/ Peirce's 1870 Logic Of Relatives • https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Overview Regards, Jon cc: https://www.academia.edu/community/LmW23m