Logique de l'action
Un article de Wikipédia, l'encyclopédie libre.
L’inventeur de la logique de l’action (« logic of action ») est l’américain 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 rapportes 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 ?
Sommaire |
[modifier] Importance de la logique de l’action
La logique de l’action était aux yeux de son inventeur von Wright un élément indispensable à la constitution d’une logique déontique. Cette dernière analyse en effet quelles actions sont interdites, permises ou obligatoires. Or, un tel calcul exigeait au préalable un calcul déterminant le statut des propositions désignant une action.
Néanmoins la logique de l’action, même indépendamment de la logique déontique, est d’une importance fondamentale pour toute théorie de l’action (et tout particulièrement pour la philosophie de l'action contemporaine) qui veut formaliser ses résultats par un calcul logique adéquat et rigoureux.
[modifier] Analyse de l’action dans la logique de l’action
La logique de l’action repose sur une tripartition des différents types d’action :
- une action consiste à effectuer quelque chose (« to bring about ») ;
- ou bien une action consiste à ne rien faire (« to leave something unchanged ») ;
- ou bien une action consiste à laisser quelque chose avoir lieu (« to let something happen »).
[modifier] Présentation de la logique de l’action
Conformément à la présentation axiomatique de la logique des propositions (sur laquelle est axé le formalisme de la logique de l’action), la logique de l’action possède un langage ainsi qu’une syntaxe (ou théorie de la preuve) composée d’un système d’axiome et de règles d’inférence.
[modifier] Le langage de la logique de l’action
Le langage de la logique de l’action repose sur les symboles fondamentaux suivants :
- symboles de propositions désignant des actions : p, q, r… ;
- connecteurs :
; - symbole désignant l’agent : x, y, z… ;
- symboles auxiliaires : (,),[,],{,}… .
- Effectuer une action s’écrit alors : [p] x. Par exemple Xavier (x) parle (p).
- Ne rien faire :
![\lnot[p]](../../../math/b/5/6/b5682de17ab08756065cb9dce25c84f0.png)
. - Laisser quelque chose avoir lieu : [
] x.
[modifier] Les axiomes et règles d’inférence
Les règles d’inférence de la logique de l’action sont au nombre de deux : il s’agit du modus ponens et de plus de la règle de substitution.
Les axiomes sont au nombre de quatre :
A1 : ![[\lnot p] \to \lnot [p] x](../../../math/c/d/5/cd56cd348f91b5b19edc905e81631244.png)
A2 : ![[\lnot \lnot p] x \equiv [p] x](../../../math/f/7/0/f70deb77754d78e74779ba482b219af8.png)
A3 : ![[p \land q] x \equiv [p] x\land [q] x](../../../math/f/e/7/fe7c159764273e53414a22f097a33a57.png)
A4 : ![[\lnot (p \land q)] x \equiv [p\land \lnot q] x \wedge [\lnot p \wedge q] x \land [\lnot p \wedge \lnot q] x](../../../math/b/2/6/b26bd02ef0a007f8068357dee04a9f7f.png)
.
[modifier] La logique de l’action après von Wright
Parmi ceux qui ont donné une nouvelle vigueur à la logique de l’action on peut citer Lennart Åqvist ou bien Franz von Kustschera.
|
|
|
