Discuter:Logique classique

Un article de Wikipédia, l'encyclopédie libre.

[modifier] Raisonnement par l'absurde

Absolument pas d'accord avec l'exemple proposé. J'aurais plutôt mis "si une porte n'est pas ouverte, c'est qu'elle est fermée". Et le propos devient généralisable à des domaines beaucoup plus larges que les mathématiques. Léna 10 mai 2006 à 15:01 (CEST)

Tout à fait d'accord, le but d'une encyclopédie est d'expliquer — si possible simplement — les principes qu'elle expose. Dom 30 juin 2006 à 23:41 (CEST)

Tout à fait pas d'accord. L'exemple de la porte est très bien, mais le but de l'exemple des ennemis est précisément d'aider à ne pas propager l'idée profondément réductrice que la logique mathématique (ce dont il est question dans l'article) se généralise telle quelle et sans réflexion en dehors des mathématiques. Il suffit de discuter 3 s avec un spécialiste d'intelligence artificielle pour que celui-ci vous explique les insuffisances de la logique classique pour modéliser presque n'importe quel domaine de la pensée humaine (hors les mathématiques).

D'autre part, je ne vois pas en quoi l'exemple des ennemis est moins simple que celui de la porte. Et pour finir, le propos de cet article n'est pas d'expliquer des principes logiques (chacun d'entre eux fait l'objet d'un article pour ça), mais d'énumérer les principes valides en logique classique.

Laurent de Marseille 16 septembre 2006 à 09:44 (CEST)

L'exemple des ennemis n'est pas pertinent. Il y a quelques milliards d'individus qui ne sont pas mes ennemis sans que ce soient particulièrement des amis (à qui je confierais n'importe quoi). Et d'ailleurs en mathématiques il y a des multiples de 2 qui ne sont pas des multiples de 3. Faut-il en déduire que la logique mathématique ne s'applique pas aux mathématiques ? - Michel421 18 novembre 2007 à 10:57 (CET)

[modifier] Principe du tiers exclu

Ne devrait-il pas s'écrire :  : A ou son contraire est vrai. Dom 30 juin 2006 à 23:35 (CEST)

[modifier] philosophe

Le terme la philosophie m'interpèle dans cette article. La philosophie utilise plus l'argumentation cohérente ou pas que la logique surtout dans un article de ce style. .melusin 22 août 2006 à 14:06 (CEST) M:)

Absolument d'accord, la logique classique est une théorie mathématique datant de la fin du 19ème et visant à formaliser le langage des mathématiques ; elle hérite directement de la logique philosophique, discipline remontant à l'antiquité, mais c'est une erreur... de logique que de renverser les rôles et de dire que la philosophie utilise la logique classique.

Laurent de Marseille 16 septembre 2006 à 09:28 (CEST)