Menu
Accueil
Forums
Nouveaux messages
En ce moment
Nouveaux messages
Nouveaux messages de profil
Connexion
S'inscrire
Quoi de neuf
Nouveaux messages
Menu
Connexion
S'inscrire
Forums
Catégorie Principale
Philosophie, spiritualité et autres religions
Théorie de la connaissance / epistémologie
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="AncienMembre, post: 16221830"] Bonjour Ebion : On va bifurquer un peu vers quelques anomalies de la logique : :) Oui, ''Si dans un discours je dis A, c'est que non-A n'est pas vrai'' est le fameux principe de non contradiction en logique classique. Certains courants autres que les courants classiques comme les intuitionnistes rejettent ce principe de non contradiction et s'accordent que : non ( non (A) ) est différent de A. La logique intuitionniste est un type de logique mathématique qui ne se trouve pas etre pas valide dans la nature ou dans la réalité physique, mais reste quant meme une logique sophistiquée utilisée par exemple pour organiser certains flux d'informations et de données dans le fonctionnement des ordinateurs : Lambda - calcul. Donc, ce principe qui relève de l'intuitionnisme est plus un outil considéré inventé qu'une vérité. Mais, il ne colle pas à la notion de vérité. Dans l'intuitionnisme, on ne vérifie pas des vérités. Mais, on crée des théorèmes qui sont cohérents avec des axiomes d'une théorie.basée sur ce principe intuitionniste. [/QUOTE]
Insérer les messages sélectionnés…
Vérification
Répondre
Forums
Catégorie Principale
Philosophie, spiritualité et autres religions
Théorie de la connaissance / epistémologie
Haut