LOGIQUE MODALE

Ce sujet est traité dans les articles suivants :

1.  KRIPKE SAUL (1940- )

Écrit par : Scott SOAMES,  Universalis

… américain né le 13 novembre 1940 à Bay Shore, New York. Saul Aaron Kripke commence à travailler sur *la sémantique de la logique modale dès le lycée (à Omaha, Nebraska). Il écrit à cette époque un article révolutionnaire, « A Completeness Theorem for Modal Logic », qui sera publié dans le Journal of Symbolic Logic en 1959, alors qu'il entre… Lire la suite

2.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Logique modale"  : … *D'une proposition, on peut chercher à savoir si elle est vraie ou fausse. Mais on peut en outre vouloir déterminer sa manière d'être vraie, si elle l'est. Est-elle vraie en vertu de sa forme, comme c'est le cas avec « P implique P » (quel que soit l'énoncé que l'on met à la place de X dans la forme propositionnelle « X implique X… Lire la suite

3.  MODALITÉS, logique

Écrit par : Pascal ENGEL

Dans le chapitre "La logique modale traditionnelle"  : … *La logique modale est née de l'intérêt qu'ont manifesté les philosophes, dès l'Antiquité, pour les notions de nécessité et de possibilité, et pour une élucidation de leurs fonctions dans le discours. Le fondateur de la logique modale proprement dite est Aristote, qui l'aborde dans le De interpretatione (paragr. 12 et 13) et dans les … Lire la suite