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. - STAMPA. - 30(1989), pp. 91-104.
Titolo: | THE THEORY OF DESCRIPTIONS REVISITED |
Autori di Ateneo: | PERUZZI, ALBERTO (Corresponding) |
Autori: | PERUZZI, ALBERTO |
Anno di registrazione: | 1989 |
Rivista: | |
Volume: | 30 |
Pagina iniziale: | 91 |
Pagina finale: | 104 |
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. |
Handle: | http://hdl.handle.net/2158/18283 |
Appare nelle tipologie: | 1a - Articolo su rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
euclid.ndjfl.1093634997.pdf | Versione pdf dell'articolo pubblicato sulla rivista NDJFL (1989) | PDF editoriale | Open Access | Accesso pubblicoVisualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.