What do you mean by a property as opposed to a relation. I see no difference unless your notion of properties includes the supposition that universe was waiting there with its demand to be sorted according wavelengths in the visible spectrum before there were any human beings who have found it useful for their particular purposes to do so
That you don’t see a difference between properties and relations is precisely the source of all this confusion. You need to at least get the
syntactical structure distinguished between monadic and multi-place predicates used to give them expression.
A relation relates 2 or more objects as in “A is above B” or “A is between B and C,” and is expressed with relational multi-placed predicates like xRy and Rxyz. Properties are monadic features of objects as in “a is red,” and are expressed with 1-place predicates like Rx. Relations can be intrinsic or extrinsic to the object. Properties can only be intrinsic.
The **metaphysical **question of whether or not properties and relations actually exist is a separate issue. I’ve already said “red” is still an objective property of qualititative ***mental states ***that represent the world, not of the “outiside”
world itself. But there are still other other objective properties in the world like having-mass, having-charge, having-virtue, having-goodness. But can we please stay on the topic of numbers? I suspect you are avoiding this issue and will assert that everything is “composed of relations all the way down”–which I see no evidence for yet. You just stipulate it.
There are many ways that something can resemble something else. Redness is one of those ways.
Sure, but “resembles” is a 2-place predicate. “Red” is a 1-place predicate. And the resembling relation with respect to redness would not hold for two things unless both things were already red. This should be obvious.
Sure they exist. Types are sorts of relations between tokens, and tokens are sets of relations with other tokens.
I’ve already extensively refuted this view in posts #107, #125, #131 in your “Demanding Evidence” thread. If types are related to
sets of tokens, then either a type’s relation to the set of tokens is one of
identity or
non-identity. The first is an absurdity, so the second
must be true. And if the second is true, then types are something
other than their token instantiatons of them. So the relation between type and token is an
instantiation relation, just like Plato and other moderns say,
not an
identity relation. So types exist independently of their tokens.