Ludique : une logique sans axiome d'identit\'e

TL;DR

This paper explores Ludics, a logic framework based on loci instead of formulas, which enables novel approaches to language phenomena like fallacies by removing the identity axiom.

Contribution

It introduces Ludics as a logic system that operates without the identity axiom, expanding the scope of logical analysis to language phenomena.

Findings

Ludics allows treatment of fallacies and language phenomena.

It is founded on loci (addresses) rather than formulas.

Enables new logical approaches without the identity axiom.

Abstract

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.