# Timeline for "v = 1 m/s": predicate or relation? Any literature?

### Current License: CC BY-SA 4.0

8 events
when toggle format what by license comment
Jun 2 '20 at 11:40 comment I would agree that the sheer use of "=" does not guarantee identity. "=" could be used contextually and in a certain context not mean identity.
Jun 2 '20 at 10:44 comment The question comes actually from a discussion I've had about "random variables" in probability theory, which typically has statements of the form "X = x". Someone said that this is an equality, as shown by the "=" sign. I tend to disagree, but I'd like to read more literature about this.
Jun 2 '20 at 10:40 comment The problem is that some mathematical or physical statements do not make sense depending on the intepretation. From the statements "v1 = 300 km/s" and "v2 = 300 km/s", where v1 and v2 refer to velocities in completely different physical contexts (say, an instantaneous velocity vs a mean velocity), I could deduce "v1 = v2", which from some interpretation does not make sense: an instantaneous velocity is not a mean velocity – they have different definitions.
Jun 2 '20 at 10:33 comment I understand that it's up to us how to model such a statement. That is, I could consider it within propositional logic and avoid speaking of predicates and functions; or within some first-order logic considering it as a predicate among many or as a relation or as a function; or within some second-order logic so that I can take "300 km/s" an an argument and quantify over it...
Jun 2 '20 at 9:35 history edited