Logique de l'action
L’inventeur de la logique de l’action (« logic of 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 ?
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Importance de la logique de l’action modifier
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.
Analyse de l’action dans la logique de l’action modifier
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 »).
Présentation de la logique de l’action modifier
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.
Le langage de la logique de l’action modifier
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 : .
- Laisser quelque chose avoir lieu : [ ] x.
![{\displaystyle \lnot [p]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ebf32ac849db76da775a1f3d0688a3101c9194a)
Les axiomes et règles d’inférence modifier
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 :
![{\displaystyle [\lnot p]\to \lnot [p]x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffeb7c84b23543dd85240d1e1c6e2c31c657ae93)
A2 :
![{\displaystyle [\lnot \lnot p]x\equiv [p]x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ec43606cfbb0aeda5a1cd4b1ada3a96c68ae895)
A3 :
![{\displaystyle [p\land q]x\equiv [p]x\land [q]x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f28edbc74a56505207f32c0a7b5e0a9b34e9121)
A4 : .
![{\displaystyle [\lnot (p\land q)]x\equiv [p\land \lnot q]x\wedge [\lnot p\wedge q]x\land [\lnot p\wedge \lnot q]x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e0f488996a658a53504a6db3ee2f298bbffcd26)
La logique de l’action après von Wright modifier
Parmi ceux qui ont donné une nouvelle vigueur à la logique de l’action on peut citer Lennart Åqvist (en) ou bien Franz von Kustschera.
Notes et références modifier
Liens externes modifier
- Georg Henrik von Wright, Practical Reason,sur Persée
