"Logicism in Formalizing Common Sense and in Lexical Semantics."
Argues for a more general conception of logicism,
discusses John McCarthy's program of formalizing common
sense, and illustrates the ideas with a project
concerning word meaning.
"Logicism: Exact Philosophy, Linguistics, and Artificial Intelligence."
A similar paper, presented in Calgary, 1995.