| 1 |
Dialogical Logic
|
|
|
|
In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
Abstract:
This thesis is situated at the intersection of several disciplines:on the one hand, mathematical logic and theoretical computer science, onthe other hand, natural language processing and formal semantics ofnatural language. The thread tying these topics together is the constant use of tools and methodologies of proof theory and by the philosophical problem that motivated our thesis: what are the links between the notion of proof and that of linguisticmeaning?More concretely, we study formal proofs systems. in these systemsproofs are seen as winning strategies for two-player games. In thegames one player, called the Proponent, tries to construct ajustification for a certain statement while the other, the Opponent,tries to refute this statement.Our thesis is composed of three parts, each part containing a maximum ofthree chapters.The first part is preparatory. In the two chapters that compose it wepresent the mathematical tools used in our thesis as well as thephilosophical question that underlie our research.The second part consists of two long chapters and presents the centralproof-theoretical results of our thesis.n the first chapter of this part we present a dialogical logic systemfor classical first order logic. We show that, given a formula A, A isa logical theorem if and only if there is a proponent winning strategy for A.Dialogical logic systems for classical first-order logic have existedsince the 1960's. However there is no convincing proof of this result inthe literature.In the second chapter of this second part we present a denotationalsemantics for the constructive variant of the modal logic K. Ourdenotational semantics is a game semantics: the proofs of modal logicare interpreted by winning strategies for two-player games. We show thatour game semantics has a remarkable property; it is 'fully complete':every winning strategy is the interpretation of a proof of modal logic.The third and last part of our thesis consists of three chapters. Eachchapter is devoted to an application of proof theory to the semanticsof natural language.In the first chapter, we study the relationship between the categoricalsyntactic analyses of a sentence and the logical representations of thesentence. We show that, when certain conditions are met, the functionthat transforms syntactic analyses of a sentence into logicalrepresentations is injective.In the second chapter of this third part, we use our dialogical logicsystem, together with type logical grammars, to solve textualentailment problems.In the last chapter of this section we present a formal system for theresolution of anaphora and ellipsis. This problem is usually addressedby model-theoretic methods. We, on the contrary, present a solutionbased on proof theory. We develop a dialogical logic system in whichanaphora and ellipsis can be solved in a simple way.In the conclusion, we sketch possible future developments ofour research. Both from a mathematical and logical point of view andfrom the point of view of natural language applications ; Notre travail de thèse se situe au carrefour de plusieurs disciplines :d'une part, la logique mathématique et l'informatique théorique, d'autre part le traitement automatique du langage naturel et plus particulièrement la sémantique formelle du langage naturel. Le fil conducteur est la présence constante des méthodes logiques issues de la théorie de la preuve et par le problème philosophique qui a motivé notre thèse : quels sont les liens entre la notion de preuve et celle de signification linguistique ou logique ?Plus concrètement, nous étudions des systèmes formels dont les preuves sont vues comme des stratégies gagnantes pour des jeux à deux joueurs. Dans ces jeux, un jouer, appelé Proposant, essaye de construire une justification pour un certain énoncé tandis que l'autre, l'Opposant, essaye de construire une réfutation de cet énoncé.La thèse est composée de trois parties, chaque partie contenant deux ou trois chapitres.La première partie est propédeutique. Dans les deux chapitres qui la composent nous présentons les outils mathématiques utilisés dans notre thèse ainsi que les principes logiques et philosophiques qui ont guidés nos travaux, notamment la sémantique inférentialiste.La deuxième partie de notre thèse contient deux longs chapitres, lesquels présentent les résultats de théorie de la démonstration qui constituent le cœur de notre thèse.En particulier, dans le premier chapitre de cette partie, nous définissons précisément un système de logique dialogique pour la logique classique du premier ordre avec termes. Nous montrons que, pour une formule A, l'existence d'une stratégie gagnante pour A équivaut au fait que A est une théorème logique. Bien que des systèmes de logique dialogique pour la logique classique du premier ordre existent depuis les années 1960 il n'existait pas à ce jour de preuve convaincante publiée de ce résultat, notamment en présence de termes. Dans le deuxième chapitre de cette deuxième partie, nous présentons une sémantique dénotationnelle pour la variante constructive de la logique modale K. En particulier notre sémantique dénotationnelle est une sémantique des jeux dans laquelle les preuves de la logique modale sont interprétées par des stratégies gagnantes pour des jeux à deux jouer. Nous montrons que notre sémantique possède une propriété remarquable : elle est 'totalement adéquate' (fully complete) c'est-à-dire que toute stratégie gagnante est l'interprétation d'au moins une preuve de la logique modale.La troisième et dernière partie se compose de trois chapitres, chacun étant consacré à une application de nos travaux en théorie de la démonstration à la sémantique du langage naturel.Dans le premier chapitre, nous étudions le rapport entre les analyses syntaxiques catégorielles d'une même phrase et les représentations sémantiques logiques de la phrase analysée. Nous montrons que, lorsque certaines conditions sont respectées, la fonction qui transforme analyses syntaxiques d'une phrase en représentations sémantique logiques est injective.Dans le deuxième chapitre de cette troisième partie nous appliquons notre système de logique dialogique à la résolution au problème de la reconnaissance d'inférences en langage naturel en utilisant un analyseur syntaxique et sémantique catégoriel.Dans le dernier chapitre de cette partie, nous présentons une système formel pour la résolution d'anaphore et ellipses, problème généralement abordé par des méthodes de théorie des modèles. Nous, au contraire, présentons une solution basée sur la théorie de la démonstration, en développant un système de logique dialogique qui permet de résoudre simplement les anaphores et les ellipses.Dans la conclusion, nous faisons le bilan de notre travail de thèse et essayons de décrire les développements futurs possibles de notre recherche, tant du point de vue mathématique et logique que du point de vue des applications au langage naturel.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; Dialogical semantics; Game semantics; Logique mathématique; Mathematical logic; Natural language processing; Proof theory; Sémantique des jeux; Sémantique dialogique; Théorie de la démonstration; Traitement automatique des langues
|
|
URL: https://tel.archives-ouvertes.fr/tel-03588308/document
https://tel.archives-ouvertes.fr/tel-03588308
https://tel.archives-ouvertes.fr/tel-03588308/file/CATTA_2021_archivage.pdf
|
|
BASE
|
|
Hide details
|
|
|
| 4 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Analyse des retombées intermédiaires d’un dispositif de développement professionnel sur le soutien du développement langagier en centre de la petite enfance
|
|
|
|
BASE
|
|
Show details
|
|
|
| 6 |
« Elle te plaît pas ma sœur ? »
|
|
|
|
In: Communication & langages, N 207, 1, 2021-03-22, pp.3-23 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Une pragmatique sans implicatures? Approches lexicales du vouloir dire dans la philosophie médiévale
|
|
|
|
In: Les implicatures. Au-delà du sens littéral. ; https://halshs.archives-ouvertes.fr/halshs-02554315 ; Claire Beyssade. Les implicatures. Au-delà du sens littéral., ISTE éditions, 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Le fā’ al-sababiyya vu par Raḍī l-Dīn al-Astarābāḏī : logique et pragmatique
|
|
|
|
In: ISSN: 0570-5398 ; EISSN: 1570-0585 ; Arabica ; https://halshs.archives-ouvertes.fr/halshs-03087269 ; Arabica, Brill Academic Publishers, 2020, 67 (5-6), pp.593-610. ⟨10.1163/15700585-12341571⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Reasoning with separation logics : complexity, expressive power, proof systems ; Logiques de séparation : complexité, expressivité, calculs
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03094373 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG050⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
« ‟Et Allah apprit à Adam tous les noms…” (Cor. 2, 31). L’origine du langage dans la pensée islamique »
|
|
|
|
In: The Origin and Nature of Language and Logic. Perspectives in Medieval Islamic, Jewish, and Christian Thought. Acts of the XX International Colloquium of the Société Internationale pour l’Étude de la Philosophie Médiévale, Freiburg im Brisgau, 20-22 August 2014 ; https://halshs.archives-ouvertes.fr/halshs-02514464 ; N. Germann et S. Harvey. The Origin and Nature of Language and Logic. Perspectives in Medieval Islamic, Jewish, and Christian Thought. Acts of the XX International Colloquium of the Société Internationale pour l’Étude de la Philosophie Médiévale, Freiburg im Brisgau, 20-22 August 2014, Brepols, pp.3-27, 2020, Rencontres de Philosophie Médiévale, 978-2-503-58892-6 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Sur le Coran. Nouvelles approches linguistiques
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02949765 ; Lambert-Lucas, pp.232, 2020, 978-2-35935-313-6 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
La littérature dans une perspective actionnelle : une approche intégrative des différentes logiques documentaires
|
|
|
|
In: ISSN: 2729-3130 ; Cahiers FoReLLIS - Formes et Représentations en Linguistique, Littérature et dans les arts de l'Image et de la Scène ; https://halshs.archives-ouvertes.fr/halshs-03105392 ; Cahiers FoReLLIS - Formes et Représentations en Linguistique, Littérature et dans les arts de l'Image et de la Scène, Université de Poitiers, 2020, Quelle littérature aujourd’hui en classe de FLE ? Enjeux didactiques de la littérature en classe de FLE ; https://cahiersforell.edel.univ-poitiers.fr/index.php?id=780 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Interoperability between proof systems using the logical framework Dedukti ; Interopérabilité entre systèmes de preuves en utilisant le cadre logique Dedukti
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03224039 ; Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Comment traiter la linguistique dans l’Encyclopédie ... : Le rôle de César Chesneau Du Marsais ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Mais que vient donc faire Yaḥyā al-naḥwī ici ? Sur une citation du Lisān al-‘Arab d’Ibn Manẓūr
|
|
|
|
In: Re-defining a Space of Encounter. Islam and Mediterranean: Identity, Alterity and Interactions. Proceedings of the 28th Congress of the Union Européenne des Arabisants et Islamisants, Palermo 2016 ; https://halshs.archives-ouvertes.fr/halshs-02375387 ; Antonino Pellitteri, Maria Grazia Sciortino, Daniele Sicari and Nessma Elsakaan. Re-defining a Space of Encounter. Islam and Mediterranean: Identity, Alterity and Interactions. Proceedings of the 28th Congress of the Union Européenne des Arabisants et Islamisants, Palermo 2016, 283, Peeters, pp.279-282, 2019, Orientalia Lovaniensia Analecta (2019)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Kalām et ǧumla : proposition, phrase, énoncé dans la tradition linguistique arabe
|
|
|
|
In: Proposition, phrase, énoncé. Linguistique et philosophie ; https://halshs.archives-ouvertes.fr/halshs-02274551 ; Franck Neveu. Proposition, phrase, énoncé. Linguistique et philosophie, 6, ISTE, pp.45-72, 2019, Les concepts fondateurs de la philosophie du langage (2019)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Ne vous moquez pas de l'oiseau moqueur : un aperçu de la logique combinatoire
|
|
|
|
In: ISSN: 1142-2785 ; EISSN: 1760-4826 ; Quadrature ; https://hal.archives-ouvertes.fr/hal-02009937 ; Quadrature, EDP Sciences, 2019, 113, pp.22--34 ; https://www.quadrature.info/produit/numero-113/ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Disagreeing about fiction ; Désaccord sur la fiction
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03137346 ; Philosophy. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE064⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Language and logic : the cases of negative polarity items and scalar implicatures ; Langage et logique : les cas des éléments à polarité négative et des implicatures scalaires
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03008045 ; Linguistique. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEE045⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
|
|
