[CG] Relations & Their Relatives • Discussion

Relations & Their Relatives • Discussion 24 • https://inquiryintoinquiry.com/2024/07/28/relations-their-relatives-discuss… Re: Daniel Everett • June 20, 2024 • https://www.facebook.com/permalink.php?story_fbid=pfbid02oCRz4EYHAtbrJeAzzo… Daniel Everett remarks: ❝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 built this into a theory of valency. An unsaturated predicate in Frege's system is a generic term, a rheme, in Peirce's system. So in Peirce's theory all languages need generic terms (rhemes) to exist. Additionally, through his reduction thesis (a theorem proved separately by various logicians) Peirce set both the upper and lower bounds on valency which — even to this day — no other theory has done.❞ Dear Daniel, In using words like “predicate” or “relation” some people mean an item of syntax, say, a verbal form with blanks substituted for a number of subject terms, and other people mean a mathematical object, say, a function f from a set X to a set B = {0, 1} or a subset L of a cartesian product X₁ × … × Xₖ. It would be a great service to understanding if we had a way to negotiate the gap between the above two interpretations. To be continued … Resources — Relation Theory • https://oeis.org/wiki/Relation_theory Survey of Relation Theory • https://inquiryintoinquiry.com/2024/03/23/survey-of-relation-theory-8/ Regards, Jon cc: https://www.academia.edu/community/lzAqAe