BARCAN RUTH CHARLOTTE
Article
-
MODALITÉS, logique
- Écrit par Pascal ENGEL
- 7 573 mots
- 1 média
... qui est F ; car, même si tout ce qui existe est nécessairement F, cela n'empêche pas qu'il puisse y avoir des objets (possibles) qui ne soient pas F. Le conditionnel formé par (a) et (b) est néanmoins l'une des règles du premier système de logique modale quantifiée formulé en 1940 par R. M. Barcan.