Logique de l´action

Logique de l´action

Logique de l'action

Linventeur de la logique de laction (« 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 rapportes logiques entre les différentes propositions désignant des actions : dans quel cas peut-on conclure dune proposition p quelle est induite par une proposition q ou bien quune proposition r est vraie si et seulement si une proposition s est vraie ?

Sommaire

Importance de la logique de laction

La logique de laction était aux yeux de son inventeur von Wright un élément indispensable à la constitution dune 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 laction, même indépendamment de la logique déontique, est dune importance fondamentale pour toute théorie de laction (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 laction dans la logique de laction

La logique de laction repose sur une tripartition des différents types daction :

  1. une action consiste à effectuer quelque chose (« to bring about ») ;
  2. ou bien une action consiste à ne rien faire (« to leave something unchanged ») ;
  3. ou bien une action consiste à laisser quelque chose avoir lieu (« to let something happen »).

Présentation de la logique de laction

Conformément à la présentation axiomatique de la logique des propositions (sur laquelle est axé le formalisme de la logique de laction), la logique de laction possède un langage ainsi quune syntaxe (ou théorie de la preuve) composée dun système daxiome et de règles dinférence.

Le langage de la logique de laction

Le langage de la logique de laction repose sur les symboles fondamentaux suivants :

  • symboles de propositions désignant des actions : p, q, r… ;
  • connecteurs :  \lnot  ;
  • symbole désignant lagent : x, y, z… ;
  • symboles auxiliaires : (,),[,],{,}… .
  • Effectuer une action sécrit alors : [p] x. Par exemple Xavier (x) parle (p).
  • Ne rien faire :  \lnot[p] .
  • Laisser quelque chose avoir lieu : [\lnot p ] x.

Les axiomes et règles dinférence

Les règles dinférence de la logique de laction sont au nombre de deux : il sagit 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

A2 :  [\lnot \lnot p] x \equiv [p] x

A3 :  [p \land q] x \equiv [p] x\land [q] x

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  .

La logique de laction après von Wright

Parmi ceux qui ont donné une nouvelle vigueur à la logique de laction on peut citer Lennart Åqvist ou bien Franz von Kustschera.

  • Portail de la logique Portail de la logique
  • Portail de la philosophie Portail de la philosophie
  • Portail de la philosophie analytique Portail de la philosophie analytique
Ce document provient de « Logique de l%27action ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Logique de l´action de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Logique de l'action collective — Mancur Olson Mancur Olson (22 janvier 1932, Grand Forks, Dakota du Nord 19 février 1998) est un économiste et un sociologue américain. Connu principalement pour ses deux ouvrages La Logique de l action collective (1966,… …   Wikipédia en Français

  • Logique Déontique — La logique déontique (du grec déon, déontos : devoir, ce qu il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre alternatives d une loi : l obligation, l interdiction, la permission et le facultatif.… …   Wikipédia en Français

  • Logique deontique — Logique déontique La logique déontique (du grec déon, déontos : devoir, ce qu il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre alternatives d une loi : l obligation, l interdiction, la permission… …   Wikipédia en Français

  • Logique déontique — La logique déontique (du grec déon, déontos : devoir, ce qu il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre alternatives d une loi : l obligation, l interdiction, la permission et le facultatif.… …   Wikipédia en Français

  • logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …   Encyclopédie Universelle

  • Logique interne — (EPS) Cette notion théorique particulière au champ de éducation physique et sportive a pour but de caractériser une Activité physique, sportive et artistique (APSA) et ses spécificités. La logique interne « intègre les règles constitutives,… …   Wikipédia en Français

  • Logique interne (eps) — Cette notion théorique particulière au champ de éducation physique et sportive a pour but de caractériser une Activité physique, sportive et artistique (APSA) et ses spécificités. La logique interne « intègre les règles constitutives,… …   Wikipédia en Français

  • Logique interne en EPS — Logique interne (EPS) Cette notion théorique particulière au champ de éducation physique et sportive a pour but de caractériser une Activité physique, sportive et artistique (APSA) et ses spécificités. La logique interne « intègre les règles …   Wikipédia en Français

Share the article and excerpts

Direct link
https://fr-academic.com/dic.nsf/frwiki/1068123 Do a right-click on the link above
and select “Copy Link”