LEWIS CLARENCE IRVING (1883-1964)

Ce sujet est traité dans les articles suivants :

1.  IMPLICATION, logique

Écrit par : Françoise ARMENGAUD

… *Comme tout concept exact, l'implication prend sens dans une théorie, ici la théorie des fonctions de vérité, et elle est solidaire des autres notions de cette théorie : notions de proposition et de valeur de vérité. L'implication s'exprime par la définition du foncteur conditionnel ; la notation p ⊃ q, ou p → q,… Lire la suite

2.  IMPLICATION, philosophie

Écrit par : Henry DUMÉRY

… *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 si cet autre résulte nécessairement du premier ; le premier… Lire la suite

3.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Logique modale"  : … moderne, la logique modale est née au début du xx^e siècle des écrits de C. I. *Lewis (Frege, à qui on doit indiscutablement la renaissance de la logique usuelle à l'époque moderne, estimait pour sa part que les notions de possibilité et de nécessité faisaient irrémédiablement référence à la connaissance humaine, et que leur… Lire la suite

4.  LOI, épistémologie

Écrit par : Pierre JACOB

Dans le chapitre "Lois, causalité, régularités et contrefactuels"  : … pour irréductibles à des propositions nomologiques. Elle est aussi rejetée par ceux qui, comme *Lewis (1973, 1986), préfèrent analyser la causalité au moyen du concept de dépendance contrefactuelle : « A est la cause de B » signifiant « Si A ne s'était pas produit, B ne se serait pas produit ». Si la dépendance contrefactuelle est présentée… Lire la suite

5.  MODALITÉS, logique

Écrit par : Pascal ENGEL

Dans le chapitre "Les logiques modales contemporaines"  : … divers systèmes axiomatiques 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… Lire la suite

6.  RUSSELL BERTRAND lord (1872-1970)

Écrit par : Philippe DEVAUX

Dans le chapitre "Implication stricte"  : … À *Clarence Irving Lewis (A Survey of Symbolic Logic, 1918) est due, par ailleurs, la symbolisation de l'implication stricte (p → q), introduite en vue de justifier la déduction et de rendre légitime, effectif et naturel le modus ponens. Cette modification réintègre le modal dans la logique, alors qu'il… Lire la suite