Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'The Statesman' and 'On the Frame of Reference'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

10009	Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin]
	Full Idea: In a famous paper, Wallace argued that all interpretations of quantifiers (including the substitutional interpretation) are, in the end, variants of that proposed by Tarski (in 1936).
	From: report of Wallace, J (On the Frame of Reference [1970]) by Thomas Baldwin - Interpretations of Quantifiers
	A reaction: A significant-looking pointer. We must look elsewhere for Tarski's account, which will presumably subsume the objectual interpretation as well. The ontology of Tarski's account of truth is an enduring controversy.

5. Theory of Logic / K. Features of Logics / 5. Incompleteness

17894	We have no argument to show a statement is absolutely undecidable [Koellner]
	Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable.
	From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3)