Pour savoir si le mot "mot" dans le dictionnaire est valable au sens de Godel il faut que l'ensemble des postulats et definitons sur lequel il s'appuie soient valables aussi.
Est-ce que le mot "mot" lui-même ne serait pas un axiome du langage ?
Et d'ailleurs, question subsidiaire : quelle différence feriez-vous entre axiome et postulat ?
D'après la Rousse :
Postulat : Principe premier, indémontrable ou indémontré.
Axiome : Vérité non démontrable qui s'impose avec évidence.
D'après ce qu'il me semble avoir compris (pas que des définitions), dire qu'un postulat est valable n'a pas de sens, étant donné que l'on construit tout le système sur la validité de celui-ci.
<sans intéret majeur>
Ca me parait un peu illusoire d'associer un système d'axiomes à un langage (même, à l'extrème, le langage mathématique, dans son aspect "expression de la réalité mathématique), dans le sens ou un langage n'est qu'une "traduction" de ce qu'il cherche à exprimer. D'ailleurs, j'ai du mal à le dire. Mais bon, ce sont sans doute mes préjugés de scientifique
</sans intéret majeur>
[^] # Re: Pour les experts en logique
Posté par Xavier Lepaul . En réponse au journal Pour les experts en logique. Évalué à 3.
Est-ce que le mot "mot" lui-même ne serait pas un axiome du langage ?
Et d'ailleurs, question subsidiaire : quelle différence feriez-vous entre axiome et postulat ?
D'après la Rousse :
Postulat : Principe premier, indémontrable ou indémontré.
Axiome : Vérité non démontrable qui s'impose avec évidence.
D'après ce qu'il me semble avoir compris (pas que des définitions), dire qu'un postulat est valable n'a pas de sens, étant donné que l'on construit tout le système sur la validité de celui-ci.
<sans intéret majeur>
Ca me parait un peu illusoire d'associer un système d'axiomes à un langage (même, à l'extrème, le langage mathématique, dans son aspect "expression de la réalité mathématique), dans le sens ou un langage n'est qu'une "traduction" de ce qu'il cherche à exprimer. D'ailleurs, j'ai du mal à le dire. Mais bon, ce sont sans doute mes préjugés de scientifique
</sans intéret majeur>