Logique

Résumé 0

Bernard Jaulin, directeur d’études Quelques applications de la théorie intuitionniste des types à la linguistique L’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 ...

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en