possible states of affairs expresses itself in language by an internal relation between the propositions presenting them.
4.1251 Now this settles the disputed question “whether all relations are internal or external”.
4.1252 Series which are ordered by internal relations I call formal series.
The series of numbers is ordered not by an external, but by an internal relation.
Similarly the series of propositions “aRb”,
- “(∃x):aRx.xRb”,
- “(∃x,y):aRx.xRy.yRb”, etc.
(If b stands in one of these relations to a, I call b a successor of a.)
4.126 In the sense in which we speak of formal properties we can now speak also of formal concepts.
(I introduce this expression in order to make clear the confusion of formal concepts with proper concepts which runs through the whole of the old logic.)
That anything falls under a formal concept as an object belonging to it, cannot be expressed by a proposition. But it is shown in the symbol for the object itself. (The name shows that it signifies an object, the numerical sign that it signifies a number, etc.)
Formal concepts, cannot, like proper concepts, be presented by a function.
For their characteristics, the formal properties, are not expressed by the functions.
The expression of a formal property is a feature of certain symbols.
The sign that signifies the characteristics of a formal concept is, therefore, a characteristic feature of all symbols, whose meanings fall under the concept.