Rennie, M. K.2026-04-242026-04-240708106404991003755669707631b10790433https://hdl.handle.net/1885/733808668Bibliography: p. 159-166.In this monograph, Church’s formulation of the simple theory of types is applied to two areas of current concern in logic, namely the theory of predicate modifiers and the logic of intensional discourse. In such a formulation, the theory of predicate modifiers becomes both more general and more ramified than in previous formulations, and the notation and theory provided for intensional logics has considerable generality and utility in philosophical applications. A number of problems are posed throughout the monograph: in these cases the system used allows formal presentation of philosophical problems and should aid in their solution166 p. illus. 29 cm.application/pdfen©1974 The authors© Dept. of Philosophy, Research School of Social Sciences, Australian National University, 1974Language and languages |--Philosophy.1974