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

Question

This question is partially related to How does "is" work? and What is the difference between the "is" of predication and the "is" of identity?, but more specifically it concerns statements about physical quantities and measurements.

[Question heavily re-edited because unclear]

Consider the statement "the instantaneous velocity of body B is 1 m/s". This is usually expressed in a mathematical form like "v = 1 m/s" or similar.

The "=" in that form seems to suggest that this statement expresses a relation. But is this really the case? or does that statement express a predicate?

The question is also related to the fact that we can consider the statements

"the instantaneous velocity of body B is 1 m/s"

and

"the mean velocity of body A is 1 m/s"

and deduce

"the instantaneous velocity of body B is the same as the mean velocity of body A

All three statements – which are perfectly fine – can be expressed in deceivingly similar mathematical forms: "v = 1 m/s", "u = 1 m/s", and "v = u".

The last expression is particularly nasty, because "=" or "is the same as" really means "has the same value as", and not "is the same (thing) as". The latter would obviously be false, because mean and instantaneous velocity are different notions, and moreover they refer to different bodies.

By the same token, "the instantaneous velocity of body B is 1 m/s" seems to really mean "the instantaneous velocity of body B has the value 1 m/s".

Clearly(?) the statement "v = u" expresses a relation ("has the same value as"), and the relation is symmetric, reflexive, and transitive; an equivalence relation.

But does "v = 1 m/s" also express a relation? It seems to me that it doesn't. The chain of reasoning {"v = 1 m/s", "u = 1 m/s", "v = u"} seems to use transitivity and symmetry, and suggests that "=" is the same along the chain, and it's therefore a relation.

And yet I think that "=" denotes different things in the chain. It's mixing apples and oranges. And yet, graphically at least, it seems to work.

My questions are:

• Does the statement "v = 1 m/s" (or "the instantaneous velocity of body B has the value 1 m/s") express a predicate? Or a relation? Or something else? Or is the intepretation arbitrary? (I would be inclined to see it as a predicate, but in a second-order logic with an infinity of such predicates, over which we can use quantifiers.)

• How does an inference chain such as {"v = 1 m/s", "u = 1 m/s", "v = u"} work, if the "=" has different meanings in it? (eg if it expresses a predicate in the first two statements and a relation in the last.)

• Can you suggest any literature on this issue, in relation to measurement statements in science?

I can add that a similar question arises in probability theory, which typically has statements about "random variables" of the form "X = x". This would mean "the quantity X has value x". But such an interpretation has lead to a great debate about causality and correlation. The problem is that more precisely "X = x" can mean two things: "X has been observed to have the value x" and "X has been set to the value x". These two very different statements have hugely different consequences, for example if they appear in the conditional of the probability of another statement.

[Note: I'm a physicist and this question is very important for my field, so I'd like to keep some science- or physics-related tag for this question.]

Answer 1

The statement "The ball is red" can be rewritten with subject-predicate form: "Red(ball)" where "Red( )" is a predicate (a property predicated of something) and "ball" is the subject (an object of which the "redness" is predicated).

In this form, there is no "is". This is the background for the assertion that, in statements like that above, "is" is not a predicate.

But "is" means also equality: a logical binary relation.

We use it ubiquitously in mathematics and physiscs: for example in equations, like e.g. 1+1=2 and F=ma (see e.g. the post What exactly is an equation?).

When we say that "the velocity of body B is 300 km/s" we are asserting that the magnitude velocity has a certain value.

Thus, when we write the mathematical formula "v = 300 km/s" we are asserting the same fact: the value of the "function" velocity (space/time) for a given body.

This means that, IMO; "v = 300 km/s" is not an equation (an identity between e.g. numbers or functions).

The formula "v = 300 km/s" is like an assignment in logical programming: "let the value of v be..." that we use in describing a physical problem, or the result of an operation of measurement.

---

Some useful references:

• Patrick Suppes, Studies in the Methodology and Foundations of Science: Selected Papers from 1951 to 1969 (Springer, 1969),

and:

• Joseph Sneed, The Logical Structure of Mathematical Physics (Reidel, 1971).

Answer 2

The question seems to have both a logical aspect and an ontological one.

---

But first , let me try to explain how I see the reasoning that is behind the question.

(1) You are not willing to accept that instantaneous velocity and mean velocity are the same thing ( with sameness = identity). (In particular , you are not willing to admit that the instantaneous velocity of an object A be the same thing as the mean velocity of an object B).

(2) But you encounter this perfectly possible case : v = 1 m/s and u = 1 m/s with v denoting the instantaneous velocity of object A and u denoting the mean velocity of object B

(3) And here, a problem arises, because identity is symmetric transtitive. So , if you admit (2) , you are forced to say that : v = 1 m/s and 1 m/s = u , in such a way that : v = u

(4) Since the final step of (3) is apparently incompatible with your principle (1) , you want to escape this situation in the following way :

in (2) the assertions should not be expressed as equalities, but as subject - predicates sentences. The subject - predicate relation is not symmetric and transitive, so in that case, the undesired result at (3) is avoided.

---

What I would like to show is that there si no contradiction betweeen (1) and (2)-(3) .

ONTOLOGICAL ASPECT

• You can first say that you do not identity a physical reality ( a force, a quantity) with its measure, its value. ( after all, a measure is only a number, but physics is not ultimately about numbers, abstract entities ; it is about concrete znd causally efficient reality)

• But your symbols " v " and " u" denote the values of the physical realities " instantaneous velocity" and " mean velocity" . ( Meaning : the two symbols do not denote the physical realities themselves).

• So, saying that v = 1 m/s ( identity) and that u = 1 m/s ( identity) , implying that v = u ( identity) is perfectly OK and harmless.

• The two velocities ( physical realities) are simply equivalent in values ( as you pointed out) , while their values are really and unproblematically identical ( one and the same number).

LOGICO-SEMANTICAL ASPECT.

Note : here , one can make use of a distinction that we owe to Frege between the denotation of a symbol and its sense ( the concept that it expresses).

• For example : " the morning star" and " the evening star" denote the same object, but do not express the same concept.

• The statement "v = u" becomes harmless when we consider it in a purely extensional way. In its extensional reading ( the one that mathematical science favours) it simply means

the number denoted by v is the same number as the number denoted by u

• But that does not make your principle (1) false ; because your principle is still valuable at the intensional level :

in spite of the identity v = u , there is no identity between the concept of v ( that is, the concept of instantaneous velocity ) and the concept of u ( the concept of mean velocity)

Answer 3

A few thoughts:

-do all of these conceptual questions still cause difficulties if everything is expressed purely in mathematical terms and in full without abbreviations? I don't have the right typeset on my computer but, for example, I think that if you typed out the formula for mean velocity in full it would be quite clear what is meant by saying that it some case a given mean velocity is equal to a given instantaneous velocity.

-talking about whether motion is a property or a relation seems to me to be closely related to the general discussion about substantivalism vs relationism in respect of space and time; if you haven't already read it John Earman's World Enough and Spacetime is a great book on this

-re the notion of equality vs equivalence in mathmatics; I believe that there is a whole area of research on this at present, with Jacob Lurie at IAS playing a leading role. See this popular article at Quanta https://www.quantamagazine.org/with-category-theory-mathematics-escapes-from-equality-20191010/ - This sounds fascinating, but Lurie's 944 page book 'Higher Topos Theory', however, sounds a very long way further into the domain of hardcore pure mathematics than I am ever likely to venture!