Informatique et philosophie S3 - 2026-2027

Ce cours vise à introduire les étudiantes à des notions fondamentales de l’informatique, dans un double but : d’une part, montrer qu’il est possible d’adopter une réflexion philosophique sur l’informatique (d’un point de vue épistémologique, mais aussi social et politique) ; d’autre part, mettre en évidence les liens étroits entre informatique et logique. Pour cela, nous commencerons par examiner la notion de « calcul » en relation avec la notion de « raisonnement ». Nous chercherons d’abord à comprendre ce que nous faisons lorsque nous effectuons un calcul numérique, en montrant que les procédures que nous mettons en place pour effectuer un calcul dépendent des notations numériques employées. Nous porterons notre attention sur la notation binaire, ce qui nous permettra d’introduire des questions de codage, ainsi que des concepts relatifs au traitement de l’information. Le calcul binaire nous permettra ensuite de faire un lien avec le calcul logique et notamment le calcul propositionnel. Nous regarderons ainsi de plus près certaines thèses défendant l’idée que raisonner revient à calculer, ce qui nous mènera aux origines conceptuelles de l’informatique dans les années 1930. Enfin, cela nous amènera à introduire les notions de programmes et d’algorithmes et à esquisser les relations entre ces notions, qui sont au cœur de la pratique informatique et des débats actuels sur l’intelligence artificielle.