Répondre à la discussion
Affichage des résultats 1 à 13 sur 13

Existence de contradiction



  1. #1
    julien_4230

    Existence de contradiction

    Bonjour.

    Le principe de non-contradiction est admis en mathématiques.
    Existe-t-il une logique "plus générale" ou le principe de contradiction est rejeté, ou, plus précisément, il peut exister une assertion et son contraire ?

    Merci !

    -----


  2. Publicité
  3. #2
    gg0

    Re : Existence de contradiction

    Bonjour.

    Avec les autres règles de la logique, la présence d'une assertion et de son contraire permet de tout démontrer, donc ne sert à rien.

    Cordialement.

  4. #3
    julien_4230

    Re : Existence de contradiction

    Oui, dans une logique "traditionnelle"... Et je ne parle pas de ce genre de logique.

  5. #4
    acx01b

    Re : Existence de contradiction

    je pense qu'il y a la logique floue (où on a ( A est vrai) avec une certaine probabilité)

    où le principe de contraction : A ou (non A) est vrai

    devient

    p(A) + p(non A) = 1

    ça n'est pas une grosse révolution pour le principe de contradiction
    Dernière modification par acx01b ; 20/12/2013 à 19h05.

  6. #5
    julien_4230

    Re : Existence de contradiction

    Non mais je me rends compte que ma question posée ainsi n'a pas de sens. Car la poser ainsi, c'est la poser dans le code "logique traditionnel".
    La bonne question serait sous un autre code, donc quitter ce monde "logique traditionnel".
    Tout ce que je raconte là n'a aucun sens tant que je reste dans cette institution traditionnelle.

    Pourtant on parle bien de "principe" de non-contradiction. Ça ne peut pas être un principe, ce serait plutôt un axiome de la logique traditionnelle. Car presque tout raisonnement est basé sur la non-contradiction.

  7. A voir en vidéo sur Futura
  8. #6
    acx01b

    Re : Existence de contradiction

    wikipedia/Logique_ternaire : La logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant en plus des états VRAI et FAUX l'état INCONNU.

    ça suggère qu'une logique doit être basée sur une algèbre ? ça restreindrait ce que tu appelles logiques non traditionnelles

  9. Publicité
  10. #7
    Médiat

    Re : Existence de contradiction

    Bonsoir,

    Vous pouvez regarder les travaux de Stéphane Lupasco.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  11. #8
    julien_4230

    Re : Existence de contradiction

    Bonjour,
    Auriez-vous une source, un pdf?

  12. #9
    toothpick-charlie

    Re : Existence de contradiction

    Citation Envoyé par acx01b Voir le message
    wikipedia/Logique_ternaire : La logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant en plus des états VRAI et FAUX l'état INCONNU.
    cette logique trivaluée est mise en oeuvre dans le langage informatique S (implémenté par exemple dans le logiciel R)

  13. #10
    Médiat

    Re : Existence de contradiction

    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  14. #11
    julien_4230

    Re : Existence de contradiction

    Bonjour,
    Merci pour les liens.
    Concernant R il me semble véritablement que cela n'a rien à voir. Car en effet le "NA" ne concerne pas le troisième élément d'une algèbre booléenne généralisée à trois éléments, mais simplement ce "NA" est associé à un problème numérique (typiquement un divisé par 0).
    Sincèrement,

  15. #12
    toothpick-charlie

    Re : Existence de contradiction

    et pourtant si, NA est bien une valeur logique.

    tu as par exemple les règles NA&&TRUE -> NA, NA&&FALSE -> NA, etc.

  16. Publicité
  17. #13
    julien_4230

    Re : Existence de contradiction

    N'est-ce pas plutôt l'interprétation du matheux qui est mis en question ici ?
    Bon... Cela prête tout de même à réflexion. Je ne suis pas certain que les informaticiens ayant mis au point ce genre de loi aient pensé à une structure algébrique...

Sur le même thème :

Discussions similaires

  1. Contradiction.
    Par Linkounet dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 25/05/2011, 15h35
  2. contradiction? incompréhension (tle)
    Par Marsmallow91 dans le forum Chimie
    Réponses: 2
    Dernier message: 10/02/2009, 06h56
  3. Contradiction
    Par laplace23 dans le forum Discussions scientifiques
    Réponses: 13
    Dernier message: 11/04/2008, 12h37
  4. Contradiction
    Par ALEX15000 dans le forum Physique
    Réponses: 30
    Dernier message: 28/12/2007, 23h15
  5. Contradiction
    Par pilet14 dans le forum Environnement, développement durable et écologie
    Réponses: 18
    Dernier message: 19/10/2004, 20h04