Template:Individual-TLP-paragraph-fr-4.126

4.126 Dans le même sens où nous parlons de propriétés formelles, nous pouvons aussi maintenant parler de concepts formels.

(J'introduis cette expression afin de rendre claire la raison de la confusion des concepts formels et des concepts proprement dits, qui pénètre toute l'ancienne logique.)

Que quelque chose tombe sous un concept formel comme l'un de ses objets ne peut être exprimé par une proposition. Mais cela se montre dans le signe même de cet objet. (Le nom montre qu'il dénote un objet, le chiffre montre qu'il dénote un nombre, etc.)

Les concepts formels ne peuvent, comme les concepts propres, être présentés au moyen d'une fonction.

Car leurs caractères, les propriétés formelles, ne sont pas exprimés par des fonctions.

L'expression de la propriété formelle est un trait de certains symboles.

Le signe des caractères d'un concept formel est donc un trait caractéristique de tous les symboles dont les significations tombent sous ce concept.

L'expression du concept formel est donc une variable propositionnelle dans laquelle seul est constant ce trait caractéristique.