School of Mathematical Sciences
Queen Mary and Westfield College
Mile End Road
London E1 4NS, England
w.hodges@qmw.ac.uk
http://www.maths.qmw.ac.uk/~wilfrid/
Contrary to what I and other people have said in print, the phrase `formal logic' has no traditional meaning. Kant very occasionally used the term. But it first came into regular use in the second half of the 19th century in Britain and New England, and it meant various things to various people. Appeals to `tradition' in logic have a habit of being built on sand.