display all the ideas for this combination of texts
2 ideas
10620 | 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. |
19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
Full Idea: An object satisfies an open sentence if and only if it possesses the property expressed by the predicate of the open sentence. | |
From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
A reaction: This applies to atomic sentence, of the form Fx or Fa (that is, some variable is F, or some object is F). So strictly, only the world can decide whether some open sentence is satisfied. And it all depends on things called 'properties'. |