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?
Editor(s)
Liesbeth De Mol
Subjects
History & Philosophy Of Science, Language & Linguistics Theory
Themes
History of science, Philosophy of science, Epistemology
Blog URL
https://calcul.hypotheses.org
For more information
Publication inactive since May 2021
Information
Editor(s)
Liesbeth De Mol
Date created
2015
Online since
09 February 2015
ISSN electronic edition
2493-0024
Language of publication
Français
Contact
Address
Calcul, logique, linguistique
UMR 8163 Savoirs, textes, langage (STL)
Bureau B1.182
B.P. 60149
59653 Villeneuve d'Ascq
France
Place of publication
Villeneuve d'Ascq