Ideas from 'On the Frame of Reference' by Wallace, J [1970], by Theme Structure
[found in 'Synthese' (ed/tr -) [- ,]].
green numbers give full details |
back to texts
|
expand this idea
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
|
10009
|
Substitutional quantification is just a variant of Tarski's account [Baldwin]
|