Generality is, indeed, an indispensable ingredient of reality; for mere individual existence or actuality without any regularity whatever is a nullity. Chaos is pure nothing.
Thirty years ago, we used to ask: Can a computer simulate all processes of logic? The answer was yes, but the question was surely wrong. We should have asked: Can logic simulate all sequences of cause and effect? And the answer would have been no.
The truth is, that common-sense, or thought as it first emerges above the level of the narrowly practical, is deeply imbued with that bad logical quality to which the epithet metaphysical is commonly applied; and nothing can clear it up but a severe course of logic.
Earlier fundamental work of Whitehead, Russell, Wittgenstein, Carnap, Whorf, etc., as well as my own attempt to use this earlier thinking as an epistemological base for psychiatric theory, led to a series of generalizations: That human verbal communication can operate and always does operate at many contrasting levels of abstraction. These range in two directions from the seemingly simple denotative level (“The cat is on the mat”). One range or set of these more abstract levels includes those explicit or implicit messages where the subject of discourse is the language. We will call these metalinguistic (for example, “The verbal sound ‘cat’ stands for any member of such and such class of objects”, or “The word, ‘cat’ has no fur and cannot scratch”). The other set of levels of abstraction we will call metacommunicative (e. g., “My telling you where to ?nd the cat was friendly”, or “This is play”). In these, the subject of discourse is the relationship between the speakers. It will be noted that the vast majority of both metalinguistic and metacommunicative messages remain implicit; and also that, especially in the psychiatric interview, there occurs a further class of implicit messages about how metacommunicative messages of friendship and hostility are to be interpreted.
A true proposition is a proposition belief which would never lead to such disappointment so long as the proposition is not understood otherwise than it was intended.
All numbers in logic must be capable of justification. Or rather it must become plain that there are no numbers in logic. There are no pre-eminent numbers.