FLORE (FLOrence REsearch) è il repository istituzionale ad accesso pieno e aperto dell'Università degli Studi di Firenze.
Raccoglie, documenta e conserva le informazioni sulla produzione scientifica dell'Università e costituisce l'Anagrafe della ricerca dell'Ateneo.
Dal 13 novembre è stata attivata la nuova funzionalità di Inserimento e riconoscimento della Stringa autori (step 3 del processo di inserimento di un prodotto). Viste le sostanziali novità, invitiamo a leggere le istruzioni disponibili [link al manuale]. Per ulteriore assistenza scrivere a flore@unifi.it
EnglishAn 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.
| Titolo: | THE THEORY OF DESCRIPTIONS REVISITED |
| Autori di Ateneo: | PERUZZI, ALBERTO (Corresponding) |
| Autori: | PERUZZI, ALBERTO |
| Anno di registrazione: | 1989 |
| Rivista: | NOTRE DAME JOURNAL OF FORMAL LOGIC |
| 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 |
Copyright © 2018