Logique de l'action

L’inventeur de la logique de l’action est le finlandais Georg Henrik von Wright. Elle se comprend comme un calcul opérant avec des propositions désignant des actions. De façon très générale elle détermine les rapports logiques entre les différentes propositions désignant des actions : dans quel cas peut-on conclure d’une proposition p qu’elle est induite par une proposition q ou bien qu’une proposition r est vraie si et seulement si une proposition s est vraie ?

Texte : extrait de l'article Wikipédia « Logique de l'action », sous licence CC BY-SA 4.0.