Calcul, logique, linguistique

Le but de ce séminaire est de penser les relations diverses entre la logique, l'informatique et la linguistique. Pourquoi est-ce qu'on a besoin de la logique pour l'avancement de l'informatique et quel est le rôle de la linguistique ici ? Pourquoi un informaticien s'occupe t-il de la conformité desprogrammes ? Quelle est la nature de la communication entre humains et machines ? Comment penser l'interface entre sémantique et forme logique dans l'informatique ?

The aim of this research seminar is to reflect on the multiple relations between computer science, logic and linguistics from a historical and or philosophical perspective. Why do we need logic to advance computer science and what is the role played by language in this context? What is the nature of the communication betwen humans and machines? How can we think the interface between semantics and logical form in computer science?

Éditeur

OpenEdition

OpenEdition est une infrastructure complète d’édition électronique au service de la communication scientifique en sciences humaines et sociales.

En savoir plus

Informations bibliographiques

Rédacteur(s) en chef

Liesbeth De Mol

Année de création

2015

Date de mise en ligne

09 février 2015

ISSN format électronique

2493-0024

Langue de la publication

Français

Coordonnées

Courriel

liesbeth.demol@univ-lille3.fr

Adresse postale

Calcul, logique, linguistique
UMR 8163 Savoirs, textes, langage (STL)
Bureau B1.182
B.P. 60149
59653 Villeneuve d'Ascq
France

Ville de production

Villeneuve d'Ascq

Actualités

Nouveaux billets