5,963
edits
Template:Individual-TLP-paragraph-fr-4.1273: Difference between revisions
Template:Individual-TLP-paragraph-fr-4.1273 (view source)
Revision as of 09:38, 11 February 2023
, 1 year agono edit summary
(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. | ||
}} | }} | ||