Ludics and its Applications to natural Language Semantics
Alain Lecomte (INRIA Futurs, SFLTAMP), Myriam Quatrini (IML)

TL;DR
This paper explores a novel approach to natural language semantics using Ludics, where sentence meanings are understood through dialectical interactions with counter-meanings, integrating proof-theoretic and game-theoretic perspectives.
Contribution
It introduces a new semantic framework based on Ludics that handles infinite processes and dialectical interactions, extending existing proof and game-theoretic models.
Findings
Proposes a Ludics-based model for sentence semantics.
Enables handling of infinite semantic processes.
Bridges proof-theoretic and game-theoretic approaches.
Abstract
Proofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. The conception is at the intersection of a proof-theoretic and a game-theoretic accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Philosophy and Theoretical Science · Logic, Reasoning, and Knowledge
