Menu
Accueil
Forums
Liste des forums
En ce moment
Nouveaux messages
Nouveaux messages de profil
Connexion
S'inscrire
Quoi de neuf
Liste des forums
Menu
Connexion
S'inscrire
Forums
Société
Histoires de coeur
Mari radin
JavaScript est désactivé. Pour une meilleure expérience, veuillez activer JavaScript dans votre navigateur avant de continuer.
Vous utilisez un navigateur obsolète. Il se peut que ce site ou d'autres sites Web ne s'affichent pas correctement.
Vous devez le mettre à jour ou utiliser un
navigateur alternatif
.
Répondre à la discussion
Message
[QUOTE="Hibou57, post: 14950871, member: 82014"] On peut, en logique, faire un raisonnement sur des affirmations, sans se soucier de savoir si les affirmations sont vraies ou fausses, pour conclure par des caractéristiques de ces affirmations en elles‑mêmes. C’est comme ça que par exemple on peut dire qu’un axiome est paradoxale ou cohérent (un exemple parmi d’autres), sans même se soucier de savoir s’il est toujours vrai (dans le cas où il n’est pas paradoxal). Pour aller plus loin, toujours dans des termes classiques de la logique, on pourrait dire qu’elle teste une affirmation dans ce qui est supposé être un modèle de la logique en œuvre ici (un modèle, c’est comme un monde abstrait dans lequel une logique est valable). Une autre analogie, pourrait être les commentaires de texte, on peut commenter un texte sans croire à ce qu’il dit, ce ne sont pas les profs de français qui diront le contraire. [/QUOTE]
Insérer les messages sélectionnés…
Vérification
Répondre
Forums
Société
Histoires de coeur
Mari radin
Haut