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.
|
10243
|
My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine]
|
|
Full Idea:
My tentative ontology continues to consist of quarks and their compounds, also classes of such things, classes of such classes, and so on.
|
|
From:
Willard Quine (Structure and Nature [1992], p.9), quoted by Stewart Shapiro - Philosophy of Mathematics 4.9
|
|
A reaction:
I would call this the Hierarchy of Abstraction (just coined it - what do you think?). Unlike Quine, I don't see why its ontology should include things called 'sets' in addition to the things that make them up.
|