Combining Philosophers

Ideas for Marga Reimer, B Russell/AN Whitehead and Kurt Gdel

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

display all the ideas for this combination of philosophers


1 idea

5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel]
     Full Idea: At that time (c.1930) a concept of objective mathematical truth as opposed to demonstrability was viewed with greatest suspicion and widely rejected as meaningless.
     From: Kurt Gödel (works [1930]), quoted by Peter Smith - Intro to Gödel's Theorems 28.2
     A reaction: [quoted from a letter] This is the time of Ramsey's redundancy account, and before Tarski's famous paper of 1933. It is also the high point of Formalism, associated with Hilbert.