From the introduction: [...] Alla luce dello straordinario interesse sollevato dalle opere e dalle riflessioni del logico moravo, ci è sembrato sensato tentare di dare una presentazione di alcuni aspetti fondamentali dei suoi contributi logici, matematici e filosofici tenendo conto innanzitutto dell’immagine che di tali lavori è emersa dalla lettura degli inediti. Abbiamo quindi pensato di illustrare l’opera logico-matematica e fondazionale di Gödel secondo uno schema tripartito: una prima parte dedicata alla logica, una seconda sulla teoria degli insiemi ed infine un’ultima sulla filosofia della matematica. [...] Nella prima parte, relativa alla logica, abbiamo presentato i classici risultati di completezza (capitolo 1) e incompletezza (capitolo 2) utilizzando in particolare due conferenze inedite sui due argomenti ed evidenziando le strategie dimostrative in esse utilizzate. Abbiamo poi affrontato le “incursioni gödeliane” nell’ambito della logica intuizionista e della matematica costruttiva (capitolo 3) ed in quello della logica modale e di ordine superiore (capitolo 4). Nella seconda parte, la pi`u importante dal punto di vista dello specifico approccio interpretativo da noi scelto, abbiamo cercato di ricostruire il percorso di studio, scoperta e riflessione fatto da Gödel nell’ambito della teoria degli insiemi (capitolo 5). In questo senso abbiamo prestato particolare attenzione alla formalizzazione della teoria degli insiemi proposta dall’autore (capitolo 7), ai modelli da lui ideati nell’ambito dei suoi risultati di noncontraddittorietà relativa (capitoli 8 e 9) ed alle sue proposte per una soluzione definitiva del problema del continuo di Cantor (capitoli 10 e 11). Nella terza ed ultima parte, ideale punto di arrivo delle due precedenti, abbiamo tentato una ricostruzione cronologica, ancora una volta basata in gran parte sugli inediti, dei principali momenti della riflessione filosofica gödeliana.

Teoria degli insiemi, logica e filosofia nei Collected works di Kurt Gödel / Galvagni, Marco; relatore: Casari, Ettore; Scuola Normale Superiore, 2005.

Teoria degli insiemi, logica e filosofia nei Collected works di Kurt Gödel

Galvagni, Marco
2005

Abstract

From the introduction: [...] Alla luce dello straordinario interesse sollevato dalle opere e dalle riflessioni del logico moravo, ci è sembrato sensato tentare di dare una presentazione di alcuni aspetti fondamentali dei suoi contributi logici, matematici e filosofici tenendo conto innanzitutto dell’immagine che di tali lavori è emersa dalla lettura degli inediti. Abbiamo quindi pensato di illustrare l’opera logico-matematica e fondazionale di Gödel secondo uno schema tripartito: una prima parte dedicata alla logica, una seconda sulla teoria degli insiemi ed infine un’ultima sulla filosofia della matematica. [...] Nella prima parte, relativa alla logica, abbiamo presentato i classici risultati di completezza (capitolo 1) e incompletezza (capitolo 2) utilizzando in particolare due conferenze inedite sui due argomenti ed evidenziando le strategie dimostrative in esse utilizzate. Abbiamo poi affrontato le “incursioni gödeliane” nell’ambito della logica intuizionista e della matematica costruttiva (capitolo 3) ed in quello della logica modale e di ordine superiore (capitolo 4). Nella seconda parte, la pi`u importante dal punto di vista dello specifico approccio interpretativo da noi scelto, abbiamo cercato di ricostruire il percorso di studio, scoperta e riflessione fatto da Gödel nell’ambito della teoria degli insiemi (capitolo 5). In questo senso abbiamo prestato particolare attenzione alla formalizzazione della teoria degli insiemi proposta dall’autore (capitolo 7), ai modelli da lui ideati nell’ambito dei suoi risultati di noncontraddittorietà relativa (capitoli 8 e 9) ed alle sue proposte per una soluzione definitiva del problema del continuo di Cantor (capitoli 10 e 11). Nella terza ed ultima parte, ideale punto di arrivo delle due precedenti, abbiamo tentato una ricostruzione cronologica, ancora una volta basata in gran parte sugli inediti, dei principali momenti della riflessione filosofica gödeliana.
2005
M-FIL/02 LOGICA E FILOSOFIA DELLA SCIENZA
Filosofia
Gödel, Kurt (1906-1978, Austrian logician, mathematician, and philosopher). Collected works
Logic
Philosophy
Set theory
Scuola Normale Superiore
Casari, Ettore
File in questo prodotto:
File Dimensione Formato  
Galvagni_Marco.pdf

accesso aperto

Descrizione: doctoral thesis full text
Tipologia: Tesi PhD
Licenza: Solo Lettura
Dimensione 1.34 MB
Formato Adobe PDF
1.34 MB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11384/86140
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact