On logic an existence.
Karel Lambert · Notre Dame Journal of Formal Logic · 1965
I. A device often used to help explain the intended (conventional) sense of the quantifiers is that of quantifier expansion in a finite, non-empty universe of objects.As Quine puts it: 1 If we think of the universe as limited to a finite set of objects a, b, ... , h, we can expand existential quantifications into alternations and universal quantifications into conjunctions; '(3*)^*' and '(x)Fx' become respectively: Fa v Fb ... v Fh, Fa.Fb ....Fh