2009 | OriginalPaper | Chapter
Ludics and Its Applications to Natural Language Semantics
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.
