CONSÉQUENCES, logique

Ce sujet est traité dans les articles suivants :

1.  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

2.  LOGIQUE

Écrit par : Robert BLANCHÉ, Jan SEBESTIK

Dans le chapitre "conséquences"  : … Suppositions et *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 terme, c'est, au… Lire la suite

3.  MODALITÉS, logique

Écrit par : Pascal ENGEL

Dans le chapitre "Les logiques modales contemporaines"  : … 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 matérielle (par exemple : « non p ↦ (p… Lire la suite

4.  RAISONNEMENT

Écrit par : Robert BLANCHÉ

Dans le chapitre "Nature"  : … 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 simple relation empirique de consécution : il ne faut pas dire que la conséquence vient… Lire la suite

5.  TARSKI ALFRED (1902-1983)

Écrit par : Jan SEBESTIK

Dans le chapitre "De la « définissabilité » aux modèles et à la décision"  : … Après le concept de vérité, Tarski a précisé un autre concept sémantique essentiel, celui de *consé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 si tout modèle de la classe K est aussi un… Lire la suite