Bonjour, cliquez-ici pour vous inscrire et participer au forum.
  • Login:



Discussion fermée
Page 1 sur 5 12 3 4 DernièreDernière
Affichage des résultats 1 à 15 sur 66

qu'est ce que LA logique ?

  1. ansset

    Date d'inscription
    novembre 2009
    Localisation
    Fresnes
    Âge
    57
    Messages
    21 729

    qu'est ce que LA logique ?

    cette question vient après une remarque qui m'a laissé perplexe :
    Citation Envoyé par Médiat Voir le message
    Ce qui me laisse à penser que, hors de la logique pure, point de salut !
    pourtant, mes qcq lectures font apparaître ( en autre )
    -la logique du premier ordre
    -la logique du second ordre monadique
    -la logique du second ordre
    -la logique du troisième ordre..........

    cette question s'inscrit bien sur dans le champ de la logique mathématique, tout
    ce qui s'en écarterait serait pour moi HS.

    merci pour vos éclairages.

    -----

    Dernière modification par ansset ; 19/12/2016 à 16h13.
    y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
     


    • Publicité



  2. Noress

    Date d'inscription
    avril 2016
    Localisation
    Marseille
    Messages
    208

    Re : qu'est ce que LA logique ?

    Salut,
    Sacrée question Ansset !!
    Avant les superbes récits des grands logiciens, je me permet de donner une vision certes peu précise et peu conventionnelle.
    Je comprends la logique comme des formes, des schémas, qui se combinent et forment un tout cohérent et sous-jacent à la réalité qui devient compréhensible.
    Cdt.
     

  3. ansset

    Date d'inscription
    novembre 2009
    Localisation
    Fresnes
    Âge
    57
    Messages
    21 729

    Re : qu'est ce que LA logique ?

    effectivement, tu mets justement ( au pluriel ) différents points.
    alors qu'on me parle de "logique pure". ( au singulier )
    il y a t il un logicien dans la salle pour m'éclairer ?
    Dernière modification par ansset ; 19/12/2016 à 19h48.
    y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
     

  4. lou_ibmix_xi

    Date d'inscription
    juin 2006
    Localisation
    Toulon
    Âge
    38
    Messages
    2 227

    Re : qu'est ce que LA logique ?

    pourtant, mes qcq lectures font apparaître ( en autre )
    -la logique du premier ordre
    -la logique du second ordre monadique
    -la logique du second ordre
    -la logique du troisième ordre..........
    Je ne suis pas logicien, mais il me semble bien que c'est la même "logique" qui est à l'oeuvre, les quantificateurs "quelque soit", "il existe" pouvant s'exprimer en terme de logique du 1er ordre, etc... l'ordre au-dessus n'étant qu'une construction logique à partir des éléments du dessous.

    La seule logique "différente" dont j'ai entendu parler est l'intuitionniste, qui se passe du tiers exclu.
    certains adhèrent principe tiers exclu, d'autres pas, moi c'est aucun des deux.
     

  5. pelkin

    Date d'inscription
    septembre 2009
    Âge
    64
    Messages
    2 936

    Re : qu'est ce que LA logique ?

    Bonsoir,

    Peut être faire un petit tour chez Husserl ... sans oublier Descartes.
    Et tu en as oublié, la logique floue, la logique intuitive, ... la logique des prédicats ...
    Mais je suis et reste d'accord avec Mediat.
    Dernière modification par pelkin ; 19/12/2016 à 20h22.
    Spécialisé en sadanthropomicrobitubulabibaquophtalmologie
     


    • Publicité



  6. ansset

    Date d'inscription
    novembre 2009
    Localisation
    Fresnes
    Âge
    57
    Messages
    21 729

    Re : qu'est ce que LA logique ?

    cela ne répond pas vraiment à ma question.
    y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
     

  7. ansset

    Date d'inscription
    novembre 2009
    Localisation
    Fresnes
    Âge
    57
    Messages
    21 729

    Re : qu'est ce que LA logique ?

    je veux dire que tout le monde peut être "d'accord" avec un propos flou" !
    sauf que la(les) logiques revendiquent une exigence formaliste , ce qui me semble contradictoire.
    y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
     

  8. pelkin

    Date d'inscription
    septembre 2009
    Âge
    64
    Messages
    2 936

    Re : qu'est ce que LA logique ?

    Fectivement, tout le monde peut être d'accord avec : "Demain, il pleuvra où il ne pleuvra pas" (remarque que d'un point de vue formel, c'est imparable)

    Et l'on reproche aux météorologues d'être dans le flou
    Dernière modification par pelkin ; 19/12/2016 à 20h42.
    Spécialisé en sadanthropomicrobitubulabibaquophtalmologie
     

  9. LeMulet

    Date d'inscription
    septembre 2016
    Âge
    49
    Messages
    692

    Re : qu'est ce que LA logique ?

    Citation Envoyé par ansset Voir le message
    cette question s'inscrit bien sur dans le champ de la logique mathématique, tout
    ce qui s'en écarterait serait pour moi HS.
    D'après ce que je crois savoir (et dans l'attente d'un avis peut-être plus éclairé sur la question) :
    Dans le cas de figure évoqué, la logique mathématique n'est pas à prendre comme étant en relation avec la pensée rationnelle, mais comme étant en relation avec un but.
    La logique pure n'est en relation qu'avec un but précis, le but choisi (arbitrairement et en toute liberté) détermine alors complètement ce dont doit être constituée la logique de manière à parvenir au but.
     

  10. ansset

    Date d'inscription
    novembre 2009
    Localisation
    Fresnes
    Âge
    57
    Messages
    21 729

    Re : qu'est ce que LA logique ?

    @lou_ibmix_xi
    Citation Envoyé par lou_ibmix_xi Voir le message
    La seule logique "différente" dont j'ai entendu parler est l'intuitionniste, qui se passe du tiers exclu.
    je ne sais pas si c'est la seule, mais effectivement il semble qu'il y est eu débat "épistémologique" au sens propre :
    http://poincare.univ-lorraine.fr/fr/...ientifiques-et

    quand aux subtiles différences entre les 3 ou 4 que j'ai cité, je vais aussi prendre le temps de lire.
    ( pas certain de voir cela simplement comme des "couches" ...)

    @LeMulet:
    comprend pas du tout ton lien avec la notion de "but".
    y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
     

  11. lou_ibmix_xi

    Date d'inscription
    juin 2006
    Localisation
    Toulon
    Âge
    38
    Messages
    2 227

    Re : qu'est ce que LA logique ?

    je ne sais pas si c'est la seule, mais effectivement il semble qu'il y est eu débat "épistémologique" au sens propre :
    Quelqu'un à cité également la "logique floue", mais mon sentiment est que ce n'est pas une "logique différente", ça ne se place pas sur le même plan épistémologique mais plus un mélange de proba et d'hystérésis que réellement un formalisme logique à part entière, ceci dit je ne connais que de nom.

    quand aux subtiles différences entre les 3 ou 4 que j'ai cité, je vais aussi prendre le temps de lire.
    ( pas certain de voir cela simplement comme des "couches" ...)
    Attention je fais appel à mes vieux souvenirs de math sup (l'émerveillement de la découverte de la logique mathématique), et 1er ou second ordre, modal ou non modal je ne sais plus exactement où s'arrête l'une et où commence l'autre mais si tu prends le quantificateur logique du 2nd ordre (je crois), "quelque soit", tu peux l'écrire (le définir) avec l'opérateur du premier ordre ET en parcourant ton ensemble:
    [CODE] quelque soit x élément de G, p(x) est vraie[CODE] s'écrie aussi sous forme
    Code:
    ET(x,G) p(x)
    Vois le ET(x,G) comme le symbole sigma de la somme de tous les x de l'ensemble G par exemple (désolé je ne sais plus faire de LaTeX), sauf que ce n'est pas la somme mais bien le ET. De la même manière le "il existe" c'est l'opérateur "OU". Donc si je ne dis pas de bêtise le 2nd ordre exprime bien "la même chose" que le 1er ordre mais de manière plus concise.
    certains adhèrent principe tiers exclu, d'autres pas, moi c'est aucun des deux.
     

  12. ansset

    Date d'inscription
    novembre 2009
    Localisation
    Fresnes
    Âge
    57
    Messages
    21 729

    Re : qu'est ce que LA logique ?

    merci pour ta réponse , mais je reste sur ma faim concernant ce qu'on peut nommer "LA logique pure"
    y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
     

  13. Matmat

    Date d'inscription
    mai 2005
    Messages
    995

    Re : qu'est ce que LA logique ?

    Ansset , les termes ( la logique pure ) sur lesquels tu demande explication sont les tiens et non ceux de Médiat ( puisque tu cites un message de médiat qui reprend tes termes )
     

  14. lou_ibmix_xi

    Date d'inscription
    juin 2006
    Localisation
    Toulon
    Âge
    38
    Messages
    2 227

    Re : qu'est ce que LA logique ?

    Peut-être une (encore plus grosse connerie): ce que tu appelles "la logique pure" ne serait-t'il pas le paquet qui englobe toutes lois isomorphes à l'algèbre de Boole ? Quelques chose plus ou moins en rapport avec Curry-Howard ?
    certains adhèrent principe tiers exclu, d'autres pas, moi c'est aucun des deux.
     

  15. ansset

    Date d'inscription
    novembre 2009
    Localisation
    Fresnes
    Âge
    57
    Messages
    21 729

    Re : qu'est ce que LA logique ?

    Citation Envoyé par Matmat Voir le message
    Ansset , les termes ( la logique pure ) sur lesquels tu demande explication sont les tiens et non ceux de Médiat ( puisque tu cites un message de médiat qui reprend tes termes )
    Oui, oui, en tout état de cause j'aurai du mettre la suite des deux interventions car j'ai bien utilisé cette expression avant.
    j'ai gardé celle de Médiat (qui reprend exactement mes termes sans les amender) , parce que lui est logicien et pas moi.
    de fait, pour être plus précis, cet échange faisait suite à la "blague" sur le mouton noir.

    je me demande si , dans la blague ; le logicien qui répond n'a pas une réponse de l'ordre de logique dite classique , contrairement par exemple avec une logique intuitionniste par exemple.
    en poussant le bouchon,
    une logique classique ne pourrait se prononcer sur l'existence ( ou pas ) d'un nounours vert au centre des étoiles. ( ou bien fais je erreur ? )

    dans ce sens, j'associerai "logique pure" terme repris par un logicien avec "logique classique". ( evt au pluriel )
    ce qui m'intéresse ici , ce sont les interfaces entre "monde de la logique" et "monde du physicien".

    mais je connais trop peu la logique intuitionniste, par exemple.

    du fait, je pense que le fil tel qu'il est présenté peut prêter à confusion, car il ne se veut pas polémique.
    cela étant : la remarque "point de salut" m'a fait réfléchir.
    Cdt

    @lou_:
    je pense que tu regroupe là toutes les logiques dites "classiques".
    Dernière modification par ansset ; 20/12/2016 à 18h31.
    y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
     


    • Publicité




Poursuivez votre recherche :




Sur le même thème :




 

Discussions similaires

  1. Les différences entre logique classique et logique quantique ?
    Par Mihal-Genie_du_monde dans le forum Epistémologie et Logique
    Réponses: 30
    Dernier message: 20/03/2016, 14h05
  2. Quelles sont les divergences entre la logique classique et la logique quantique ?
    Par Mihal-Genie_du_monde dans le forum Débats scientifiques
    Réponses: 3
    Dernier message: 27/02/2016, 06h55
  3. la logique des etres bete et la logique des etre intelients Paradoxe?
    Par extrazlove dans le forum Epistémologie et Logique
    Réponses: 0
    Dernier message: 28/06/2013, 16h12
  4. Le divin est-il logique ? Et si oui, quel en est la logique : « Dieu » ou « dieux » ?
    Par artefact_Heisenberg dans le forum Epistémologie et Logique
    Réponses: 1
    Dernier message: 10/10/2012, 00h05
  5. Logique Système - Logique Causale - Implications Cosmologiques
    Par Mumyo dans le forum Epistémologie et Logique
    Réponses: 6
    Dernier message: 06/11/2007, 11h57