Ce cours partira d'une expérience partagée par tous les étudiants en ingénierie, celle de la programmation, afin d'en montrer l'articulation à des questionnements anciens et profonds de la philosophie de la connaissance, du langage et de l'esprit. 

Des problèmes émergeant naturellement dans la pratique de la programmation - comment traduire mon intuition dans un langage formel ? Comment être sûr que mon programme fasse bien ce que je veux qu'il fasse ? Comment concevoir les mérites comparés des langages de programmation ? Quel est le rapport entre l'esprit humain et l'ordinateur ? - renvoient en réalité à certains enjeux centraux de la philosophie moderne, en particulier, mais pas uniquement, aux réflexions forgées au contact de la logique mathématique.

Pour mieux comprendre cette relation entre des activités apparemment distinctes, nous prendrons d’abord un peu de hauteur en adoptant une perspective historique de temps long sur l’informatique. Nous emploierons le concept de « technique cognitive » créé par l’anthropologue Jack Goody pour décrire l’impact de l’écriture sur l’organisation des sociétés. Nous appliquerons ce concept aux techniques de calcul, et chercherons à voir comment et pourquoi les sociétés emploient le calcul, et comment cet emploi les modifie. Nous verrons ainsi comment l’informatique et la programmation modernes plongent leurs racines dans deux traditions intellectuelles anciennes. La première est la tradition des mathématiques appliquées, et la conception d’instruments mathématiques pour faciliter le calcul. La deuxième est la quête d'un langage logique "parfait", permettant l'analyse de la langue naturelle par un langage formalisé, et la modélisation du raisonnement.

Nous verrons enfin comment ces deux traditions se rencontrent dans la création moderne de l’ordinateur, et la conception des langages de programmation de haut niveau. Nous pourrons ainsi comprendre comment la pratique de la programmation réactive, souvent sans en avoir conscience, des questionnements philosophiques anciens sur l’analyse logique du langage et la théorisation de la signification.