Template:Individual-TLP-paragraph-fr-4.1273: Difference between revisions
Bot: Automated import of articles |
No edit summary |
||
| Line 7: | Line 7: | ||
:(∃ x,y) : aRx . xRy . yRb... | :(∃ x,y) : aRx . xRy . yRb... | ||
Le terme général d'une série de formes ne peut être exprimé que par une variable, car le concept de terme de cette série de formes est un concept ''formel''. (Ce qui a échappé à Frege et Russell; la manière dont ils veulent exprimer des propositions générales comme celles de l'exemple ci-dessus est par conséquent fausse; elle renferme un cercle vicieux.) | Le terme général d'une série de formes ne peut être exprimé que par une variable, car le concept de terme de cette série de formes est un concept ''formel''. (Ce qui a échappé à Frege et Russell ; la manière dont ils veulent exprimer des propositions générales comme celles de l'exemple ci-dessus est par conséquent fausse ; elle renferme un cercle vicieux.) | ||
Nous pouvons déterminer le terme général d'une série de formes en donnant son premier terme et la forme générale de l'opération qui produit le terme suivant à partir de la proposition précédente. | Nous pouvons déterminer le terme général d'une série de formes en donnant son premier terme et la forme générale de l'opération qui produit le terme suivant à partir de la proposition précédente. | ||
}} | }} | ||
Latest revision as of 09:38, 11 February 2023
4.1273 Si nous voulons exprimer dans l'idéographie la proposition générale : « b est un successeur de a », nous avons alors besoin d'une expression pour le terme général de la série de formes :
- aRb,
- (∃x) : aRx . xRb,
- (∃ x,y) : aRx . xRy . yRb...
Le terme général d'une série de formes ne peut être exprimé que par une variable, car le concept de terme de cette série de formes est un concept formel. (Ce qui a échappé à Frege et Russell ; la manière dont ils veulent exprimer des propositions générales comme celles de l'exemple ci-dessus est par conséquent fausse ; elle renferme un cercle vicieux.)
Nous pouvons déterminer le terme général d'une série de formes en donnant son premier terme et la forme générale de l'opération qui produit le terme suivant à partir de la proposition précédente.