On the Representation of Context
Journal of Logic, Language and Information
Designs, Disputes and Strategies
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)
LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Ludics and natural language: first approaches
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Hi-index | 0.00 |
In this paper, we attempt to show that recent developments in proof theory, especially with ludics, are relevant for the study and the formalization of speech acts. This logical framework does not deal with truth values but with proofs, and this opens a new way for taking in charge the performative part of linguistic utterances. After having presented two models of speech acts and what theoretical elements we will hold as relevant for our own model, we introruce the ludical point of view by defining a speech acting conceptualization which renders some determinations not presented in the former models. We end by giving some examples of speech acts, presented in their ludical embedding, and we discuss what features the model provides.