23 septembre 2015
Ce document est lié à :
info:eu-repo/semantics/reference/issn/0398-2025
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2431-8698
All rights reserved , info:eu-repo/semantics/openAccess
Bernard Jaulin, « Logique », Annuaire de l'EHESS, ID : 10670/1.grbyr7
Bernard Jaulin, directeur d’études Intuitionnisme et linguistique Le séminaire a débuté, cette année, par l’analyse, d’un point de vue linguistique, des jugements classiques de la théorie constructive des types : « A prop », « A prop si Β vrai », etc. L’écart entre les applications à la linguistique et la théorie formelle est évidemment très important : par exemple l’aspect inductif disparaît, mais cela n’est pas très important. Si A est une phrase affirmative, on arrive cependant, dans la pl...