Affichage des résultats 1 à 3 sur 3

logique archaïque



  1. #1
    metacarambar

    logique archaïque


    ------

    Bonsoir à tous,

    Quelque soit le type de logique (pris au sens très général) que l'on souhaite manipuler, sa formalisation doit passer par un autre langage (par le langage naturel ou une table de vérité décrivant l'implication par exemple) qui lui même admet une "logique archaïque" (celle qui est admise avant même de procéder à lecture du formalisme en question) i.e. au moins un modèle d'inférence qui provient des entrailles de notre raisonnement.
    Ceci me fait dire que cette logique primitive n'est pas constructible sans l'admettre comme pré-requis.

    Y'a-t-il des textes de grands logiciens traitant spécifiquement de cette problématique ?

    Merci.

    -----

  2. 📣 Nouveau projet éditorial de Futura
    🔥🧠 Le Mag Futura est lancé, découvrez notre 1er magazine papier

    Une belle revue de plus de 200 pages et 4 dossiers scientifiques pour tout comprendre à la science qui fera le futur. Nous avons besoin de vous 🙏 pour nous aider à le lancer...

    👉 Je découvre le projet

    Quatre questions à explorer en 2022 :
    → Quels mystères nous cache encore la Lune 🌙 ?
    → Pourra-t-on bientôt tout guérir grâce aux gènes 👩‍⚕️?
    → Comment nourrir le monde sans le détruire 🌍 ?
    → L’intelligence artificielle peut-elle devenir vraiment intelligente 🤖 ?
  3. #2
    Invité

    Re : logique archaïque

    Bonjour metacarambar

    L'axiomatique de Robert Blanché... il y explique que le projet d'axiomatisation radicale de Hilbert se heurte à la nécessité de faire appel à l'intuition (ce que tu appelle "logique archaïque") au moins pour comprendre les définitions premières.

  4. #3
    metacarambar

    Re : logique archaïque

    super. je vais regarder de ce côté. merci.

Discussions similaires

  1. 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, 12h57
  2. logique
    Par piiwuus dans le forum Science ludique : la science en s'amusant
    Réponses: 2
    Dernier message: 13/01/2007, 13h53
  3. logique ?
    Par TWISTER dans le forum Science ludique : la science en s'amusant
    Réponses: 6
    Dernier message: 20/07/2005, 21h03
  4. logique
    Par lealea dans le forum Mathématiques du supérieur
    Réponses: 18
    Dernier message: 02/05/2005, 21h53