Catalogue des carnets de recherche

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?

Responsable(s)
Liesbeth De Mol

Disciplines
Histoire et philosophie des sciences, Théorie du langage et linguistique

Thèmes
Histoire des sciences, Philosophie des sciences, Épistémologie

URL du carnet
https://calcul.hypotheses.org