Workshop on History of Logics, Types and Rewriting

Heriot-Watt University, Edinburgh

Tuesday 5 December 2000

Mathematics and symbolic logics: an uneasy relationship of the 20th century


Symbolic logics tend to be too mathematical for the philosophers and too philosophical for the mathematicians. I shall consider this unease as it has manifested during the century, with some emphasis upon Principia mathematica (1910-1913) of Whitehead and Russell.