CONSÉQUENCES, logique

Articles

• IMPLICATION, philosophie

  • Écrit par Henry DUMÉRY
  • 559 mots

  Il y a implication, au sens usuel, lorsqu'une chose en contient une autre, de manière non apparente mais réelle, de sorte que la chose contenue, d'abord inaperçue, peut être rendue manifeste.

  En philosophie, la définition est plus stricte : un objet de connaissance en implique un autre...

• LOGIQUE

  • Écrit par Robert BLANCHÉ et Jan SEBESTIK
  • 12 977 mots
  • 3 médias
  Les deux théories les plus originales de la logique médiévale sont celle des suppositions et celle des conséquences. La première, liée à la hiérarchie des « intentions », remplissait en partie l'office que nous demandons aujourd'hui à la distinction des niveaux du langage. La « supposition » d'un...

• MODALITÉS, logique

  • Écrit par Pascal ENGEL
  • 7 574 mots
  • 1 média
  ...des modalités. Le fondateur de cette approche syntaxique, C. I. Lewis (1918), cherche à définir la notion d'implication stricte des Anciens ou celle de conséquence (consequentia) des médiévaux : « p implique strictement q » = non M (p et non q), afin notamment d'éviter les « paradoxes » de l'implication...

• RAISONNEMENT

  • Écrit par Robert BLANCHÉ
  • 5 011 mots
  ...justifie l'inférence, et qu'on peut donc appeler, à la suite de C. S. Peirce, la relation illative, est celle par laquelle une certaine proposition, appelée conséquence, s'ensuit logiquement de certaines autres qui jouent, par rapport à elle, le rôle de principes. Elle se distingue radicalement d'une...

• TARSKI ALFRED (1902-1983)

  • Écrit par Jan SEBESTIK
  • 1 075 mots
  Après le concept de vérité, Tarski a précisé un autre concept sémantique essentiel, celui deconséquence logique, qui avait été défini pour la première fois par Bolzano, en 1837, pour la langue usuelle. Pour Tarski, en effet, l'« énoncé X suit logiquement des énoncés de la classe K si et seulement...