Abstract

This essay considers arguments for and against syntactical constraints on the proper formalization of definitions, originally owing to Alfred Tarski. It discusses and refutes an application of the constraints generalized to include a prohibition against not only object-place but also predicate-place variables in higher-order logic in a criticism of a recent effort to define the concept of heterologicality in a strengthened derivation of Grelling's paradox within type theory requirements. If the objections were correct, they would offer a more general moral for the proper formal definition of terms in philosophical logic. The criticism nevertheless seems mistaken both in the substance and specific application with respect to legitimate synctactical constraints on definitions of key concepts in the case of Grelling's paradox. As such, the critique provides no justification for overturning previous conclusions concerning the possibility of resurrecting a type-observant version of Grelling's heterologicality paradox