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.
1989
30
91
104
A. PERUZZI
File in questo prodotto:
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/18283
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact