But, you might say, "none of this shakes my belief that 2 and 2 are 4." You are quite right, except in marginal cases -- and it is only in marginal cases that you are doubtful whether a certain animal is a dog or a certain length is less than a meter. Two must be two of something, and the proposition "2 and 2 are 4" is useless unless it can be applied. Two dogs and two dogs are certainly four dogs, but cases arise in which you are doubtful whether two of them are dogs. "Well, at any rate there are four animals," you may say. But there are microorganisms concerning which it is doubtful whether they are animals or plants. "Well, then living organisms," you say. But there are things of which it is doubtful whether they are living organisms or not. You will be driven into saying: "Two entities and two entities are four entities." When you have told me what you mean by "entity," we will resume the argument.
In N. Rose Mathematical Maxims and Minims, Raleigh NC:Rome Press Inc., 1988.
