raisonnement par logique de Kripke
Morpho:withmaj, Morpho:withspace
Définitions
raisonnement par logique de Kripke : méthode de raisonnement formelle qui utilise des modalités et des mondes possibles pour évaluer la vérité des propositions, développée par le logicien Saul Kripke.
Dans un raisonnement par logique de Kripke, on peut établir que si quelque chose est vrai dans un monde possible, cela peut influencer sa vérité dans un autre monde.
Cette approche permet de mieux comprendre les notions de nécessité et de possibilité dans les arguments logiques.
Les systèmes de logique modale basés sur les travaux de Kripke sont largement utilisés en philosophie et en informatique.
