Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andréoli, J.-M.: Logic Programming with Focusing Proofs in Linear Logic. The Journal of Logic and Computation 2, 3, 297–347 (1992)
Curien, P.-L.: Introduction to linear logic and ludics, part I and II, to appear, http://www.pps.jussieu.fr/~curien/LL-ludintroI.pdf
Ducrot, O.: Le dire et le dit, Editions de Minuit, Paris (1984)
Fleury, M.-R., Quatrini, M.: First order in Ludics. Mathematical Structures in Computer Science 14(2), 189–213
Girard, J.-Y.: On the Meaning of Logical Rules-I in Computational Logic. In: Berger, U., Schwichtenberg, H. (eds.). Springer, Heidelberg (1999)
Girard, J.-Y.: Locus Solum Mathematical Structures in Computer. Science 11, 301–506 (2001)
Girard, J.-Y.: From Foundations to Ludics. Bulletin of Symbolic Logic 09, 131–168 (2003)
Girard, J.-Y.: Le Point Aveugle, vol. I, II. Hermann, Paris (2006)
Hamblin Fallacies, C.-L.: Vale Press, Newport News (republished, 2004)
Hintikka, J., Kulas, J.: The Game of Language: Studies in Game Theoretical Semantics and its Applications. D. Reidel (1983)
Hintikka, J., Sandu, G.: Game Theoretical Semantics. In: Van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, ch. 6, Elsevier, Amsterdam (1997)
Martin-Löf, P.: Intuitionistic Type Theory, Bibliopolis, Naples (1984)
Pietarinen, A.-V.: Game Theory and Linguistic Meaning. Elsevier, Amsterdam (2007)
Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)
Schopenhauer, A.: The Art of Always Being Right
Sundholm, G.: Proof Theory and Meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 471–506. D. Reidel, Dordrechtz (1986)
Tronçon, S.: Dynamique des démonstrations et théorie de l’interaction, PhD thesis, Université d’Aix-Marseille (2006)
Wittgenstein, L.: Philosophische Untersuchungen. Blackwell, Malden (1953)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lecomte, A., Quatrini, M. (2009). Ludics and Its Applications to Natural Language Semantics. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2009. Lecture Notes in Computer Science(), vol 5514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02261-6_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-02261-6_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02260-9
Online ISBN: 978-3-642-02261-6
eBook Packages: Computer ScienceComputer Science (R0)