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

Logique intuitionniste, modele de kripke



  1. #1
    killwin

    Logique intuitionniste, modele de kripke


    ------

    Bonjour, je ne comprends pas comment on construit un arbre suivant le modele de kripke en logie intuitionniste :

    J'aimerais avoir deux exemples où on réfute ces deux expression par exemple :

    non non P implique P
    (P implique Q) ou (Q implique P)

    Je ne veux pas avoir la solution, je veux comprendre.

    Merci

    -----

  2. #2
    Taar

    Re : Logique intuitionniste, modele de kripke

    Bonsoir.

    Je te fais part de ma façon de voir les choses, forcément imparfaite.

    On peut faire une analogie temporelle avec des "états". Tu peux être dans un état P ou pas. Mais tous les états sont définitifs : si tu es dans un état P, tu l'es pour toujours (dans la branche temporelle où tu te trouves).

    Je dirai que l'état P "s'est produit antérieurement (au sens large)" à l'état Q s'il se produit avant ou au même moment que Q.

    Deuxième expression.

    "P implique Q" signifie que si jamais P se produit, Q est "déjà là". Autrement, si P se produit, alors Q s'est produit antérieurement (au sens large) à P.

    De même, "Q implique P" signifie que lorsque Q se produit, alors P s'est produit antérieurement (au sens large) à P.

    Pour réfuter "(P implique Q) ou (Q implique P)", il suffit de construire un arbre où tu as à la fois :
    - une apparition de P sans que Q soit antérieur au sens large (qui nie P->Q)
    - une apparition de Q sans que P soit antérieur au sens large (qui nie Q->P)

    Première expression.

    Pour réfuter la première expression, il faut comprendre la différence entre non non P et P.

    u |= P signifie que P s'est produit antérieurement (au sens large) à l'instant u (et c'est définitif)

    u |= non P signifie que P ne se produira jamais.

    u |= non non P signifie que non P ne se produira jamais, autrement dit, que P se produira forcément un jour dans toutes les sous-branches

    Je te laisse mariner dans tout ça, et j'espère que tu réussiras à en tirer des arbres... Sinon, je peux encore t'aider mais ce sera avec le même jargon, donc si tu es allergique...

    Taar.

Discussions similaires

  1. Logique intuitionniste ou logiques intuitionnistes ?
    Par invite7863222222222 dans le forum Epistémologie et Logique (archives)
    Réponses: 2
    Dernier message: 13/04/2010, 15h01
  2. Réponses: 0
    Dernier message: 02/04/2010, 13h06
  3. Pensée formaliste et intuitionniste
    Par Shamir88 dans le forum Epistémologie et Logique (archives)
    Réponses: 5
    Dernier message: 03/09/2009, 14h07
  4. Logique Système - Logique Causale - Implications Cosmologiques
    Par Mumyo dans le forum Epistémologie et Logique (archives)
    Réponses: 6
    Dernier message: 06/11/2007, 11h57
  5. Saul Kripke
    Par GottferDamnt dans le forum Lectures scientifiques
    Réponses: 1
    Dernier message: 18/03/2006, 13h12