Implication

"implication" dans l'encyclopédie

• IMPLICATION, logique

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

  (Noter que l'usage de l'implication formelle est réservé à la logique des prédicats.)

• IMPLICATION, philosophie

  • Écrit par Henry DUMÉRY
  • 3 071 mots

  L'implication matérielle de B. Russell se vérifie de deux propositions qui sont vraies l'une et l'autre sans qu'elles enveloppent aucune nécessité (exemple : « César a franchi le Rubicon » et « Socrate a bu la ciguë »). L'implication formelle de C. I. Lewis (qu'il nomme implication stricte) repose sur la théorie des variables distribuées de part et d'autre : si deux propositions contiennent des variables qui leur sont communes, leur implication est vérifiée pour n'importe quelle valeur de ces variables (exemple : « X est homme » implique « X est mortel », quel que soit X) ; la liaison est celle de la communauté des variables, mais la nécessité qui devrait commander l'appartenance des variables n'est pas manifestée.

• MARKET AND HIERARCHIES. ANALYSIS AND ANTITRUST IMPLICATIONS, Oliver E. Williamson Fiche de lecture

  • Écrit par Carine STAROPOLI
  • 6 473 mots
  • 1 média

  Lorsqu'il publie, en 1975, son premier ouvrage, Market and Hierarchies, Oliver Williamson (né en 1932) a déjà un riche parcours. Après des études d'ingénieur au M.I.T., il s'est orienté vers la gestion, d'abord à Stanford auprès de Kenneth Arrow, puis à Carnegie-Mellon auprès d'Herbert Simon pour étudier le comportement managérial dans la firme. Un passage à la division antitrust du Département de la Justice américain précède sa carrière universitaire.

• RUSSELL BERTRAND lord (1872-1970)

  • Écrit par Philippe DEVAUX
  • 33 478 mots
  • 1 média

  Les Principia utilisent cependant deux implications distinctes : l'implication matérielle et l'implication formelle. Implication matérielle S'agissant d'un rapport entre propositions prises matériellement comme des objets, le symbolisme utilisé (p ⊃ q) caractérise, à l'aide d'un connectif logique du type : « Si... alors... », l'énoncé complexe d'une liaison globale entre p et q, énoncé qui n'est vrai que si p est vrai et si q n'est pas faux.

• CONVERSION, logique

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

  Enfin, la copule « est » disparaît comme telle : elle est remplacée par la fonction propositionnelle, d'une part, et, d'autre part, par la conjonction ou par l'implication de deux fonctions propositionnelles. Au lieu d'une proposition simple, on a une proposition complexe ; au lieu d'une proposition catégorique, une proposition hypothétique.