La tesi presenta un trattamento innovativo delle espressioni indicali (come `io`, `qui`, `ora`) nel linguaggio naturale basato sulla Local Models Semantics presentata da C. Ghidini e F. Giunchiglia. Tale trattamento, di tipo prettamente cognitivo, è contrapposto al trattamento standard degli indicali in filosofia del linguaggio (la cui versione più nota è quella di D. Kaplan) basata su formalismi modali e fondata su presupposti metafisici (non cognitivi). Il principale risultato tecnico della tesi è un teorema di equivalenza tra la logica dei dimostrativi di Kaplan e una classe di sistemi multi-contesto chiamata LMSi
Una logica cognitiva degli indicali
2001-01-01
Abstract
La tesi presenta un trattamento innovativo delle espressioni indicali (come `io`, `qui`, `ora`) nel linguaggio naturale basato sulla Local Models Semantics presentata da C. Ghidini e F. Giunchiglia. Tale trattamento, di tipo prettamente cognitivo, è contrapposto al trattamento standard degli indicali in filosofia del linguaggio (la cui versione più nota è quella di D. Kaplan) basata su formalismi modali e fondata su presupposti metafisici (non cognitivi). Il principale risultato tecnico della tesi è un teorema di equivalenza tra la logica dei dimostrativi di Kaplan e una classe di sistemi multi-contesto chiamata LMSiFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
