Logique
Plan
Haut de pageTexte intégral
Bernard Jaulin, directeur d’études
Quelques applications de la théorie intuitionniste des types à la linguistique
1L’application sur laquelle on s’est appesanti concerne la référence des descriptions définies et des propositions subordonnées relatives considérées comme des objets de type Σ. De cette façon on évite la conclusion (chère à Frege) de l’argument du lance-pierres de Godel suivant lequel la référence des phrases affirmatives est le vrai ou le faux et on évite l’analyse de Russell de ces expressions qui, par certains aspects, apparaît comme superficielle.
2Cette façon de faire rend compte de façon satisfaisante d’un certain nombre d’exemples qui posaient problème et en outre conduit à ne plus considérer comme obliques ou opaques les contextes introduits par des verbes d’attitude propositionnelle. Elle permet également de préciser la notion de sens fregeen.
Publications
- « Sens et poésie », dans Frime et mesure. Cercle Polivanov : pour Jacques Roubaud/Mélanges, Paris, Publications de l’INaLCO, 2001.
- « Note sur l’argument du lance-pierres », juin 2001, ms.
Pour citer cet article
Référence papier
Bernard Jaulin, « Logique », Annuaire de l’EHESS, | 2002, 108-109.
Référence électronique
Bernard Jaulin, « Logique », Annuaire de l’EHESS [En ligne], | 2002, mis en ligne le 01 février 2015, consulté le 18 avril 2024. URL : http://journals.openedition.org/annuaire-ehess/15103
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page