When logic meets engineering: introduction to logical issues in the history and philosophy of computer science

Liesbeth de Mol (1) , Giuseppe Primiero (2)

1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
2 Middlesex University

This paper introduces how logic is connected to computer science and gives an overview of some of the main sources. It is intended as an introduction a to a journal special issue on the history and philosophy of logic in computer science.

Mots clés: formal methods; mathematical logic; history and philosophy of computing

Domaines: Ordinateur et société [cs.CY]; Histoire, Philosophie et Sociologie des sciences; Logique [math.LO]

Liesbeth de Mol, Giuseppe Primiero. When logic meets engineering: introduction to logical issues in the history and philosophy of computer science. History and Philosophy of Logic, 2015, 36 (3), pp.195-204. ⟨10.1080/01445340.2015.1084183⟩. ⟨hal-01358879⟩