The theory of descriptions revisited

Alberto Peruzzi
1988 Notre Dame Journal of Formal Logic  
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 important 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 formulation of TD in topos theory, starting from M. Fourman and D. Scott, is presented with reference to sheaves.
doi:10.1305/ndjfl/1093634997 fatcat:ehi3lr73fbhr7aiwzy3tmtugdu