Portal de Periódicos da CAPES

Ludics and Its Applications to Natural Language Semantics

2009; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-02261-6_20

1611-3349

Alain Lecomte, Myriam Quatrini,

Advanced Algebra and Logic

Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. In this aim, we shall develop many concepts of Ludics like designs (which generalize proofs), cut-nets, orthogonality and behaviours (that is sets of designs which are equal to their bi-orthogonal). Behaviours give statements their interactive meaning. Such a conception may be viewed at the intersection between proof-theoretic and game-theoretical accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes instead of getting stuck to an atomic level when decomposing a formula.