The theory of descriptions revisited.
Alberto Peruzzi · Notre Dame Journal of Formal Logic · 1988
An excursus is carried out through the principal steps in the development of the theory of descriptions (TD) from B. Russell until now, and its most im portant advantages and disadvantages are sketched. TD is studied in the context of model theory (in A. Robinson's style), taking preservation and classification theorems based on normal forms into consideration. Finally, the categorical for mulation of TD in topos theory, starting from M. Fourman and D. Scott, is pre sented with reference to sheaves.