sitting in caf’ enjoying sun, so just by the way:
Can “the company has 3 problems” be formalized in First Order language?
Picture the sentence in the context of a management presentation. My interpretation would be the following: our company has problems and 3 of them are relevant in our discussion today. Subsequently I would expect the problems to be lined up and explained. Especially I would be interested why there are 3 problems, not 2, 4 or 345. this would require the problems to be discriminated by properties. If it were not possible to discriminate them at all the “3” could not be explained and thus the sentence would make no sense.
Thus the sentence expresses the fact that there exists an expression s.t. the 3 problems can be characterized up to isomorphy, what makes it an expression about an expression and thus “the company has 3 problems” requires 2nd order language to be specified formally!(?)
So far so good/bad. I’m not yet quite sure about the above conclusion, so, any veto?
Take it easy