The Black Vault

I may be making a mistake in thinking that you are using the word relation the same way I would.

To me, a relation is a set of pairs where a pair (x,y) is a member of the relation if x is related to y. For example, the relation could be "is a parent of" and so (son, son's father) is a member of the relation while (nephew, cousin's father) is not.

All kinds of relations exist without quantification. Or perhaps you can tell me what you mean by relation and maybe then I will understand how quantification is always involved in relations.

All referenceables are numerable. Numeric designations are essentially tags for relational valuation. You are arbitrarily narrowing relation to set-pair correspondence, but numeration is still implicit. Numeration is always going to be implicit, because it is an essential feature of any relation example you could give.

DIss0n80r wrote:All referenceables are numerable. Numeric designations are essentially tags for relational valuation. You are arbitrarily narrowing relation to set-pair correspondence, but numeration is still implicit. Numeration is always going to be implicit, because it is an essential feature of any relation example you could give.

How is numeration an essential feature of the relation example I gave?

Any referenceable is inherently a count for one. Relation is both singular and pluralistic.

What do you mean?

A count for one?

Never mind.

Music explains most things to me.

May I offer this to add flavor to
the discussion?

Music and math are closely connected... Perhaps numbers can be "visualized" as notes or melodies or chords.

"Abstraction consists essentially in the creation and utilization of ambiguity."

"Logic moves in one direction, the direction of clarity, coherence and structure. Ambiguity moves in the other direction, that of fluidity, openness, and release. Mathematics moves back and forth between these two poles. [...] It is the interaction between these different aspects that gives mathematics its power." - William Byers How Mathematicians Think

Reminds me of the set concept. I haven't come across a definition of the word set that depends on more primary notions. In what I've seen, sets are defined in ways that are ambiguous or not defined at all.