Vrai ou faux.

[titijoy3]

En fait, c'est la notion de personnage fictif qui vous échappe.

qui est fictif ?
-----

[Médiat]

Là je ne peux plus rien ....

[titijoy3]

Là je ne peux plus rien ....

ah, ah ,ah

[pm42]

Là je ne peux plus rien ....

Parfois les dieux eux-mêmes luttent en vain

[ThM55]

J'ai une question. Comme dans le livre de Quine, il y a des énoncés vrais parce qu'ils se situent dans un cadre avec une sémantique. Quine donnait l'exemple de l'énoncé "la neige est blanche", qui est vrai parce qu'il y a un truc au Groenland qui s'appelle la neige et dont la couleur s'appelle blanche. De même en logique mathématique, pour les modèles. Mais ne peut-on pas dire il existe aussi une vérité nécessaire, indépendante de toute sémantique? En logique mathématique, est-ce que cela se réduit aux seules tautologie?

[Médiat]

Les théorèmes démontrés dans le cadre d'une théorie sont totalement indépendants de toutes sémantiques.