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
Substitutional quantification is just a variant of Tarski's account [Baldwin]