Notes Dictated to G.E. Moore in Norway: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 48: Line 48:
Logical propositions ''shew'' something, ''because'' the language in which they are expressed can ''say'' everything that can be ''said''.
Logical propositions ''shew'' something, ''because'' the language in which they are expressed can ''say'' everything that can be ''said''.


This same distinction between what can be ''shewn'' by the language but not ''said'', explains the difficulty that is felt about types-e.g., as to [the] difference between things, facts, properties, relations. That M is a ''thing'' can't be ''said''; it is nonsense: but ''something'' is ''shewn'' by the symbol "M". In [the] same way, that a ''proposition'' is a subject-predicate proposition can't be said: but it is ''shown'' by the symbol.
This same distinction between what can be ''shewn'' by the language but not ''said'', explains the difficulty that is felt about types—e.g., as to [the] difference between things, facts, properties, relations. That M is a ''thing'' can't be ''said''; it is nonsense: but ''something'' is ''shewn'' by the symbol "M". In [the] same way, that a ''proposition'' is a subject-predicate proposition can't be said: but it is ''shown'' by the symbol.


Therefore a {{small caps|theory}} ''of types'' is impossible. It tries to say something about the types, when you can only talk about the symbols. But ''what'' you say about the symbols is not that this symbol has that type, which would be nonsense for [the] same reason: but you say simply: ''This'' is the symbol, to prevent a misunderstanding. E.g., in "aRb", "R" is ''not'' a symbol, but ''that'' "R" is between one name and another symbolizes. Here we have ''not'' said: this symbol is not of this type but of that, but only: ''This'' symbolizes and not that. This seems again to make the same mistake, because "symbolizes" is "typically ambiguous". The true analysis is: "R" is no proper name, and, that "R" stands between "a" and "b" expresses a ''relation''. Here are two propositions ''of different type'' connected by "and".
Therefore a {{small caps|theory}} ''of types'' is impossible. It tries to say something about the types, when you can only talk about the symbols. But ''what'' you say about the symbols is not that this symbol has that type, which would be nonsense for [the] same reason: but you say simply: ''This'' is the symbol, to prevent a misunderstanding. E.g., in "aRb", "R" is ''not'' a symbol, but ''that'' "R" is between one name and another symbolizes. Here we have ''not'' said: this symbol is not of this type but of that, but only: ''This'' symbolizes and not that. This seems again to make the same mistake, because "symbolizes" is "typically ambiguous". The true analysis is: "R" is no proper name, and, that "R" stands between "a" and "b" expresses a ''relation''. Here are two propositions ''of different type'' connected by "and".