BARCAN RUTH CHARLOTTE

Ce sujet est traité dans les articles suivants :

1.  MODALITÉS, logique

Écrit par : Pascal ENGEL

…  l'une des règles du premier système de logique modale quantifiée formulé en 1940 par R. M. *Barcan. Cette règle (« formule de Barcan ») suppose que tous les objets qui peuvent exister dans des « mondes possibles » sont nécessairement ceux qui existent dans le monde réel. Mais l'intuition inverse, qu'il pourrait y avoir des objets possibles… Lire la suite