Combining Texts

Ideas for 'Topics', 'Presidential Address of Am. Math. Soc' and 'On Virtue Ethics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / A. Overview of Logic / 2. History of Logic

10247	We have no adequate logic at the moment, so mathematicians must create one [Veblen]
	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.
	From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics
	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.