Logique modale moderne

Articles

LOGIQUES NON CLASSIQUES

Écrit par :  Jacques-Paul DUBUCS, Universalis

Dans le chapitre Logique modaleD'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

MODALITÉS, logique

Écrit par :  Pascal ENGEL

La notion logico-linguistique de modalité désigne, au sens classique, toutes les modifications du sens d'une proposition par des expressions permettant d'asserter cette proposition comme nécessaire, possible, impossible ou contingente. Elle est alors dite aléthique et a été étudiée, depuis Aristote, par les philosophes et les logiciens da ...  Lire la suite