Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Depuis les travaux de J. van Benthem (1984) sur les énoncés conditionnels dans la perspective de la théorie des quantificateurs généralisés, nous connaissons trois quantificateurs conditionnels: TOUT, TOUT OU AU MOINS UN et AU MOINS LA MOITIÉ, lesquels déterminent respectivement les logiques conditionnelles C ("pour presque tous"), E ("pour au moins un") et G ("pour démocratique"). Nous savions que chacun de ces trois systèmes logiques est conservatif sur les logiques classiques. Les principes conditionnels de base, propriétés fondamentales de la conservativité, et la formalisation de ces systèmes, C, E et G, admettent trois quantificateurs. Mais nous ne connaissions pas très …
