Les sciences formelles — logique, mathématiques, informatique —, étant indépendantes de l'état du monde, révèlent aux philosophes qui les analysent certains modes de pensée à l'état pur et en toute généralité : c'est ainsi que Jean Cavaillès étudiait les mathématiques pour savoir ce que c'est que connaître. De même, l'informatique révèle à l'état pur ce que c'est qu'agir rationnellement, si l'on entend par là concevoir des méthodes universellement adéquates à des buts fixés. Pour étudier la pensée informatique, il est nécessaire, comme en histoire de la logique et des mathématiques, de se pencher sur des textes ; or ceux-ci sont écrits dans des langages spécifiques, appelés langages de programmation. Nous analyserons quelques propriétés surprenantes de ces langages qui montrent qu'ils ne sont pas tant pensés en vue de la machine qu'à destination de leurs locutrices et locuteurs humains. Nous mobiliserons à cette fin des concepts « littéraires » comme ceux de la linguistique comparée, de la linguistique historique et de la stylistique.