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.
THE THEORY OF DESCRIPTIONS REVISITED / A. PERUZZI. - In: NOTRE DAME JOURNAL OF FORMAL LOGIC. - ISSN 0029-4527. - STAMPA. - 30:(1989), pp. 91-104.
THE THEORY OF DESCRIPTIONS REVISITED
PERUZZI, ALBERTO
1989
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
euclid.ndjfl.1093634997.pdf
accesso aperto
Descrizione: Versione pdf dell'articolo pubblicato sulla rivista NDJFL (1989)
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Open Access
Dimensione
1.68 MB
Formato
Adobe PDF
|
1.68 MB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.