back to idea for this text


Single Idea 10247

[from 'Presidential Address of Am. Math. Soc' by Oswald Veblen, in 5. Theory of Logic / A. Overview of Logic / 2. History of Logic ]

Full Idea

Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so.

Gist of Idea

We have no adequate logic at the moment, so mathematicians must create one

Source

Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics

Book Reference

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.161


A Reaction

This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic.