Workshop on History of Logics, Types and Rewriting

Heriot-Watt University, Edinburgh

Tuesday 5 December 2000

http://www.cedar-forest.org/forest/events/history/

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

I. GRATTAN-GUINNESS

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.