Logique modale

Le carré modal : relations entre les modalités de la logique aristotélicienne

(Crédit : Guillaume Piolle)

Agrandir l'image

La logique modale est une logique à laquelle on a ajouté des modificateurs, qu'on pourrait comprendre en grammaire comme des adverbes.

Par exemple, on peut modifier la proposition « Il pleut » comme ceci :

• Il est possible qu'il pleuve,
• Il est démontré qu'il est faux qu'il pleuve,
• Il n'est pas permis qu'il pleuve,
• Alice sait qu'il pleut.

Cette proposition peut donc être respectivement modifiée avec les modes possible, démontré que ne pas, n'est pas permis, Alice sait.

Cet article écrit par ces auteurs est issu de Wikipédia et est conforme aux termes de la GFDL.

Catégorie : Logique modale

Page imprimée jeudi 17 mai 2012 à partir de l'url :
« http://www.science-et-vie.net/definition-logique-modale-1066.html »

Site déclaré à la Commission Nationale de l'Informatique et des Libertés (CNIL) sous le n°871314

© 2002-2012 www.science-et-vie.net