Nominalization and Scott's domains. II (Q1068077)

In Part I [Linguist. Philos. 6, 259-288 (1983; Zbl 0522.03016)] we developed a semantics for nominalized predicates within the general framework of Montague grammar. We offered an extension of Montague's PTQ which sanctioned the occurrence of nominalized verb-phrases and sentences. The actual semantics was furnished by the semantic domains of Scott's theory of computation. One issue of some importance was given scant attention in that presentation, namely, the role of a comprehension schema in the theory. In this paper we investigate this issue in some detail. Our more general objective is to examine the logical foundations of the enterprise in more depth than was possible in the earlier paper. In particular, we here provide a more general model-theoretic setting for the analysis of nominalization.