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.