Abstract

The author addresses the question as to whether russell and whitehead "provide an explication of the idea that arithmetical truths are tautologies." he thinks their achievement was in developing an axiomatic system in which the "interpreted propositions are tautologies," but not in proving this of mathematics. He thinks the real problem here is the attempt to explicate ordinary language via formally constructed languages. (staff)