• Aide
  • Eurêkoi Eurêkoi

Article

Logique

dans EHESS - École des hautes études en sciences sociales

Auteur(s) : Jaulin, Bernard

  • Éditeur(s)
  • Date
    • 2015-09-23T02:00:00Z
  • Notes
    • Bernard Jaulin, directeur d’étudesIntuitionnisme et linguistiqueLe 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 plup...
  • Langues
    • Français
  • Droits
    • info:eu-repo/semantics/openAccess .
    • All rights reserved
  • Résultat de :