Les limites de la logique.
Affichage des résultats 1 à 13 sur 13

Les limites de la logique.



  1. #1
    contrexemple

    Les limites de la logique.


    ------

    Salut,

    Voilà déjà trois limite de la logique (mathématiques) :

    1/Limite 1 : la logique prétend couvrir l'ensemble des possibles à l'aide d'une conjonction de cas fini et définit, en dehors des mathématiques c'est quasiment impossible. (principe du tiers-exclus).

    2/Limite 2 : la logique n'a pas de règles immuables mais régulièrement ses règles sont révisés ( dernière en date)

    3/Limite 3 : les logiciens seraient incapable de définir clairement ce qu'est une preuve mathématiques, dans la pratique régulière des mathématiques et non pas d'une manière formelle avec laquelle seule les machines sont à l'aise. (J'ai utiliser le conditionnelle car je ne suis pas sur de ce point, si ce n'est pas le cas un lien ou des explications seraient les bienvenus).


    Qui en connaît d'autre ?

    Merci.

    -----

  2. #2
    Médiat

    Re : Les limites de la logique.

    Une limite connue de la logique mathématique : elle n'est pas comprise par tout le monde !
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  3. #3
    contrexemple

    Re : Les limites de la logique.

    Bonjour
    Ta réponse me laisse croire qu'il y a des limites (que j'ai donné) que tu contestes, lesquels et pourquoi ?
    Sinon, j'ai juste mal interprétè ta réponse.
    Dernière modification par vep ; 06/07/2015 à 13h38. Motif: inutile et provoc

  4. #4
    Médiat

    Re : Les limites de la logique.

    Pour ne donner qu'un exemple (je n'ai pas de temps à perdre) :

    la logique prétend couvrir l'ensemble des possibles à l'aide d'une conjonction de cas fini et définit, en dehors des mathématiques c'est quasiment impossible. (principe du tiers-exclus).
    la logique prétend couvrir l'ensemble des possibles : FAUX
    à l'aide d'une conjonction de cas fini : FAUX
    et définit, en dehors des mathématiques c'est quasiment impossible : incompréhensible
    (principe du tiers-exclus) : rien à voir avec le début de la phrase, pour un principe, de toute façon non obligatoire ...
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  5. A voir en vidéo sur Futura
  6. #5
    contrexemple

    Re : Les limites de la logique.

    Citation Envoyé par Médiat Voir le message
    Pour ne donner qu'un exemple (je n'ai pas de temps à perdre) :



    1/la logique prétend couvrir l'ensemble des possibles : FAUX
    à l'aide d'une conjonction de cas fini : FAUX
    2/et définit, en dehors des mathématiques c'est quasiment impossible : incompréhensible
    (principe du tiers-exclus) : rien à voir avec le début de la phrase, pour un principe, de toute façon non obligatoire ...
    1/
    Je me place dans la logique classique mathématiques avec le tiers-exclus, où [A ou non(A)] décrit tous les possibles (donc ici on a bien 2 cas parfaitement définit qui permettent de couvrir tous les possibles)...

    2/Tu as du raté une virgule.


    Bonne journée.
    Dernière modification par vep ; 06/07/2015 à 14h55.

  7. #6
    karlp

    Re : Les limites de la logique.

    Citation Envoyé par contrexemple Voir le message
    2/Limite 2 : la logique n'a pas de règles immuables mais régulièrement ses règles sont révisés ( dernière en date)
    Vous laissez entendre qu'il n'existerait qu'une seule logique ????

    Cette affirmation (il n'y a pas de règle immuable) n'a pour moi aucun sens ! On peut construire autant de systèmes logiques que l'on voudra en fonction de règles qui auront été choisies !

  8. #7
    contrexemple

    Re : Les limites de la logique.

    Tu as dû oublier de lire cela :
    Citation Envoyé par contrexemple Voir le message
    Salut,

    Voilà déjà trois limite de la logique (mathématiques)
    Bonne journée à toi aussi.

  9. #8
    karlp

    Re : Les limites de la logique.

    Il n'existe pas qu'une seule logique mathématique.

  10. #9
    contrexemple

    Re : Les limites de la logique.

    logique mathématique
    C'est celle qui est utilisé, par les mathématiciens classique, en théorie des ensembles par exemple.

  11. #10
    contrexemple

    Re : Les limites de la logique.

    Bonjour,

    4/Limite 4 : Elle utilise les entiers pour définir des entiers (méta-entier).

  12. #11
    contrexemple

    Re : Les limites de la logique.

    Dans la veine :

    Limite 5 : les logiciens utilisent une méta-logique (dis méta-langage) pour définir la logique.

  13. #12
    Médiat

    Re : Les limites de la logique.

    Je ne vais pas passer mon temps à rectifier vos nombreuses erreurs, mais pour que le lecteur de passage ne soit pas abusé, je donne néanmoins cet exemple : L'ensemble des entiers est le modèle premier de l'arithmétique de Péano (théorie n'utilisant qu'un seul symbole de constante (0) donc aucun entier préalable à cette définition n'est utile dans cet définition (qu'il soit méta ou pas méta).
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  14. #13
    vep
    Responsable des forums

    Re : Les limites de la logique.

    Fermeture du fil suite à la réponse de Médiat.

Discussions similaires

  1. la logique des etres bete et la logique des etre intelients Paradoxe?
    Par extrazlove dans le forum Epistémologie et Logique (archives)
    Réponses: 0
    Dernier message: 28/06/2013, 17h12
  2. Le divin est-il logique ? Et si oui, quel en est la logique : « Dieu » ou « dieux » ?
    Par invite5e9012f3 dans le forum Epistémologie et Logique (archives)
    Réponses: 1
    Dernier message: 10/10/2012, 01h05
  3. Les limites de la prédiction et preuve logique
    Par invite64661282 dans le forum Discussions scientifiques
    Réponses: 5
    Dernier message: 05/06/2010, 23h08
  4. Problème de logique sur les limites indéterminables
    Par invitef8661968 dans le forum Mathématiques du collège et du lycée
    Réponses: 4
    Dernier message: 30/04/2009, 23h30
  5. Logique Système - Logique Causale - Implications Cosmologiques
    Par invite1ab59cc3 dans le forum Epistémologie et Logique (archives)
    Réponses: 6
    Dernier message: 06/11/2007, 12h57