Non-contradiction

"non-contradiction" dans l'encyclopédie

• PROPOSITIONNEL CALCUL

  • Écrit par Françoise ARMENGAUD
  • 1 503 mots

  Elle présente les propriétés de non-contradiction, de décidabilité et de complétude. Historiquement, les stoïciens sont à l'origine de l'étude des lois qui régissent les rapports des propositions entre elles. Le conditionnel matériel remonte à Philon de Mégare. Ces lois étaient connues des logiciens du Moyen Âge, mais c'est à la fin du xixe siècle que leur étude fut reprise et renouvelée.

• PROLÉGOMÈNES À UNE THÉORIE DU LANGAGE, Louis Trolle Hjelmslev Fiche de lecture

  • Écrit par Gabriel BERGOUNIOUX
  • 2 531 mots
  • 1 média

   » La formulation réflexive de la théorie aboutit à l'élaboration de principes qui respectent les deux principes de l'induction : exhaustivité (il n'y a pas de reste à l'analyse linguistique d'un texte) et non-contradiction (deux principes simultanément vrais à propos du même terme traité au même niveau sont équivalents : dans ce cas, le plus simple des deux est retenu, à l'exclusion de l'autre).

• MÉTALOGIQUE

  • Écrit par Françoise ARMENGAUD
  • 2 318 mots

  Si un système est assez puissant pour formaliser l'arithmétique, il est impossible de démontrer sa non-contradiction avec les seules ressources de ce système : il faut recourir à des procédés extérieurs de démonstration. Dans son ouvrage, Les Limitations internes des formalismes (1957), Jean Ladrière montre qu'il ne s'agit pas d'un échec du formalisme, mais de la limitation de son champ d'application.

• GORGIAS (env. 483-env. 374 av. J.-C.)

  • Écrit par Barbara CASSIN
  • 2 404 mots

  Gorgias utilise la force de l'identité et la contrainte logique de la non-contradiction pour rendre impossible toute identité, toute identification d'un sujet du verbe être, et finalement toute structure prédicative. Il substitue l'acte autonome du discours à la parole de Parménide. Avec cette audace culmine la puissance de la sophistique.

• ANALYTIQUE PROPOSITION

  • Écrit par Françoise ARMENGAUD
  • 2 518 mots

  Selon Leibniz et Kant, une proposition analytique est une tautologie, un exemple de la loi de non-contradiction, sa négation constituant une contradiction explicite. Mais, si pour Leibniz toute vérité est analytique et se laisse ramener à l'identité (aussi bien les vérités de fait que les vérités de raison), Kant distingue, parmi les jugements susceptibles de vérité, les jugements analytiques et les jugements synthétiques : « Les jugements sont analytiques quand la liaison du prédicat au sujet y est pensée par identité [.