Ludique : une logique sans axiome d'identité

Alain Lecomte (1, 2)

1 SFL - Structures Formelles du Langage
2 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language

In Logic, non reflexivity translates into the absence of the identity axiom. This opens the field to the treatment of many language phenomena, like fallacies. Ludics, a frame invented by J-Y Girard, because it is founded on loci (adresses) and not on formulae, allows such a treatment.

En logique, la non réflexivité signifie l'absence de l'axiome d'identité. La ludique, un cadre logique inventé par J.Y Girard, est justement un système sans identité (de formules), étant basé sur les lieux (loci). de ce fait, elle permet le traitement de phénomènes langagiers comme les "fallacies".

Mots clés: Ludics; resource sensitive logics; Linear Logic; fallacies

Mots clés: Ludique; logique de ressources; Logique linéaire

Domaines: Linguistique; Logique [math.LO]; Philosophie

Alain Lecomte. Ludique : une logique sans axiome d'identité. 2008. ⟨hal-00422691⟩