Reading of "φ(αj, ..., αk" (Grice in Davidson/Hintikka, p. 125)

by J. L. Speranza
for the Grice Club.

The second point in the glossary for the Natural Deduction System that Grice introduces concerns the reading of

φ(α_j, ..., α_k

as:

"a formula φ containing occurrences of a constant

[of an individual]α, each such occurrence

being either an occurrence of

α_j,

or of ...,

or of α_k"


(Grice, p. 125).