Is it useful to say that “2+3=5” is our shorthand for referring to the infinite number of statements of this form:
2 sheep and 3 sheep make 5 sheep 2 rocks and 3 rocks make 5 rocks 2 dinis and 3 dinis make 5 dinis
and so forth? And that the external truth of the statement depends in principle on all these various testable sub-statements?
Is it useful to say that “2+3=5” is our shorthand for referring to the infinite number of statements of this form:
2 sheep and 3 sheep make 5 sheep 2 rocks and 3 rocks make 5 rocks 2 dinis and 3 dinis make 5 dinis
and so forth? And that the external truth of the statement depends in principle on all these various testable sub-statements?