Aspetti Epistemologici dell’Informatica Prof.ssa Stefania Bandini Dott. Gianluca Colombo Dott. Luca Mizar Federici Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano-Bicocca [email protected] [email protected] [email protected] tel. tel. tel. 02 6448 7835 02 6448 7879 02 6448 7857 Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Problema della Crescita della conoscenza Sul Falsificazionismo: Imre Lakatos Lakatos trova lontana dall’effettiva pratica scientifica una Ricostruzione Razionale per la quale: 1) Un controllo è una battaglia a due tra Teoria ed Esperimento 2) Il solo risultato interessante di un tale confronto è la falsificazione Al contrario la storia della scienza suggerisce che: 1) I controlli sono almeno a tre tra Teorie rivali e l’esperimento 2) Alcuni dei più interessanti esperimenti si risolvono, almeno in prima battuta, in una conferma che in una falsificazione Sul Falsificazionismo: Imre Lakatos I controlli Lakatos Realtà Teorie Scientifiche Osservazione Controllo sperimentale Il METODO SCIENTIFICO FALSIFICAZIONISMO Deduzione di conseguenze osservative Congetture Sul Falsificazionismo: Imre Lakatos Al contrario la storia della scienza suggerisce che: 1) I controlli sono almeno a tre tra Teorie rivali e l’esperimento 2) Alcuni dei più interessanti esperimenti si risolvono, almeno in prima battuta, in una conferma che in una falsificazione II Falsificazionismo Metodologico Ingenuo Una Teoria è falsificata da un’asserzione osservativa che la contraddice. Sofisticato Un Teoria T è falsificata sse è stata proposta un’altra Teoria T’ con le seguenti caratteristiche: 1) T’ ha un contenuto empirico addizionale rispetto a T, cioè essa predice nuovi fatti, ovvero fatti improbabili alla luce di T o addirittura vietati da quest’ultima 2) T’ spiega il precedente successo di T, cioè, tutto il contenuto non confutato di T è incluso nel contenuto di T’ 3) Parte del contenuto addzionale do T’ è corroborato Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos come Khun rileva che le Teorie scientifiche nascono e crescono in un oceano di anomalie Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos come Khun rileva che le Teorie scientifiche nascono e crescono in un oceano di anomalie Il principio falsificazionista non funziona come demarcazione tra scienza e non-scienza: gli scienziati (istanza Khniana) non abbandonano una Teoria solo perché alcuni fatti la contraddicono Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos come Khun rileva che le Teorie scientifiche nascono e crescono in un oceano di anomalie Il principio falsificazionista non funziona come demarcazione tra scienza e non-scienza: gli scienziati (istanza Khniana) non abbandonano una Teoria solo perché alcuni fatti la contraddicono Lakatos non pretende di fornire criteri che consentano di affermare istantaneamente che una Teoria è falsificata Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. 2) Una serie teoricamente progressiva è anche Empiricamente Progressiva (o costituisce uno slittamento di problema empiricamente progressivo) se parte di questo contenuto empirico addizionale è anche corroborato [...]. ”. Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. 2) Una serie teoricamente progressiva è anche Empiricamente Progressiva (o costituisce uno slittamento di problema empiricamente progressivo) se parte di questo contenuto empirico addizionale è anche corroborato [...]. ”. 3) Uno slittamento di problema è progressivo sse lo è sia teoricamente che empiricamente. Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. 2) Una serie teoricamente progressiva è anche Empiricamente Progressiva (o costituisce uno slittamento di problema empiricamente progressivo) se parte di questo contenuto empirico addizionale è anche corroborato [...]. ”. 3) Uno slittamento di problema è progressivo sse lo è sia teoricamente che empiricamente. a) Accettiamo uno slittamento di problema come ‘scientifico’ solo se è progressivo almeno teoricamente; Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. 2) Una serie teoricamente progressiva è anche Empiricamente Progressiva (o costituisce uno slittamento di problema empiricamente progressivo) se parte di questo contenuto empirico addizionale è anche corroborato [...]. ”. 3) Uno slittamento di problema è progressivo sse lo è sia teoricamente che empiricamente. a) Accettiamo uno slittamento di problema come ‘scientifico’ solo se è progressivo almeno teoricamente; b) Atrimenti lo ‘rifiutiamo’ come pseudo-scientifico. Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. 2) Una serie teoricamente progressiva è anche Empiricamente Progressiva (o costituisce uno slittamento di problema empiricamente progressivo) se parte di questo contenuto empirico addizionale è anche corroborato [...]. ”. 3) Uno slittamento di problema è progressivo sse lo è sia teoricamente che empiricamente. a) Accettiamo uno slittamento di problema come ‘scientifico’ solo se è progressivo almeno teoricamente; b) Atrimenti lo ‘rifiutiamo’ come pseudo-scientifico. c) Il progresso è misurato dal grado in cui uno slittamento di problema è progressivo [...] . Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. 2) Una serie teoricamente progressiva è anche Empiricamente Progressiva (o costituisce uno slittamento di problema empiricamente progressivo) se parte di questo contenuto empirico addizionale è anche corroborato [...]. ”. 3) Uno slittamento di problema è progressivo sse lo è sia teoricamente che empiricamente. a) Accettiamo uno slittamento di problema come ‘scientifico’ solo se è progressivo almeno teoricamente; b) Atrimenti lo ‘rifiutiamo’ come pseudo-scientifico. c) Il progresso è misurato dal grado in cui uno slittamento di problema è progressivo [...] . d) Consideriamo una serie di teorie falsificata quando è superata con maggiore contenuto corroborato Sul contenuto Empirico delle Teorie. Uno sguardo al passato... Teologia I concetti coinvolti nella definizione Teoretica Etica Estetica Epistemologia Cos’ il Vero Cos’ il Buono Cause Metafisica Cos’ il Bello Essere Antropologia & Psicologia Logica Uomo Mondo Soggetto Oggetto Quale criterio per la verità? Gnoseologia Filosofia del linguaggio conoscenza Certa Fisica Realtà Incerta Teorie scientifiche Epistemologia Scienza Opinione La conoscenza scientifica intesa come conoscenza certa è studiata nell’ambito delle discipline gnoseologiche che studiano le origini i limiti e la giustificazione della conoscenza in generale. Intesa invece come l’insieme di conoscenze che costituiscono un sapere scientifico (la fisica, la medicina, la biologia, etc.) è studiata dalla filosofia della scienza (o epistemologia propriamente detta) che si occupa dello studio delle origini, dei limiti e della giustificazione della Scienza Approccio Metafisico al concetto di Realtà Cause Metafisica Essere Uomo Mondo Soggetto Oggetto conoscenza Certa Realtà Incerta Teorie scientifiche Scienza Opinione Senza la Realtà Testimoniata dall’osservazione e frutto del processo astrattivo chiamato Induzione, non è data la possibilità per l’innesco del metodo sceintifico Modello Platonico Realtà Intelliggibile = VERITA’ La dimensione della Scienza Idea del Bene Modello della Realtà Verità delle cose Oggetti intelliggibili Non ha a che fare con oggetti concreti ma solo con astrazioni Ragionamento Matematica Dialettica Fisica “Matematica” Filosofia La dimensione dell’opinione Parvenze Oggetti sensibili sensazioni Modello del Mondo Fisico Realtà Sensibile = FALSITA’ Platone riteneva che la matematica fosse la scienza prima e il suo orientamento verso questa scienza determina anche i tentativi dell’ultimo periodo di tracciare i confini della fisica, esposti nel suo ultimo dialogo, il Timeo. In quest’opera Platone stabilisce le premesse della fisica matematica. Approccio Verificazionista I al concetto di Realtà Cause Metafisica Essere Uomo Mondo Soggetto Oggetto conoscenza Certa Osservazione - Induzione Realtà Incerta Teorie scientifiche Scienza Opinione Senza la Realtà Testimoniata dall’osservazione e frutto del processo astrattivo chiamato Induzione, non è data la possibilità per l’innesco del metodo sceintifico La dimensione della Filosofia La dimensione del ragionamento puro Metafisica (Qual è il contenuto di verità delle proposizioni) Logica formale Teoria del sillogismo = Come generare ragionamenti veri a partire da premesse vere Teoria delle Categorie = la Struttura della Verità Teoria delle Forme DEDUZIONE Teoria delle Cause Estensione delle proposizioni vere sul Mondo proposizioni Principi generali dell’Essere Mobile (Realtà) esperienza Scienza del movimento INDUZIONE Mondo La dimensione dell’opinione La dimensione della Scienza memoria Principi generali dell’Essere Mobile sensazioni Parvenze Osservazione Le Cause dell’Essere Mobile Oggetti sensibili Realtà Sensibile = FALSITA’ Concetto di “Natura” Fisica Qualitativa Approccio Verificazionista al concetto di Realtà Cause Metafisica Essere Uomo Mondo Soggetto Oggetto conoscenza Certa Osservazione - Induzione Realtà Incerta Teorie scientifiche Scienza Opinione Approccio Verificazionista al concetto di Realtà Cause Metafisica Essere Uomo Mondo Soggetto Oggetto Osservazione - Induzione conoscenza Certa Realtà Esperimento Misura Incerta Teorie scientifiche Scienza Opinione Metodo Ipotetico-Deduttivo Approccio Verificazionista al concetto di Realtà Realtà Il linguaggio parla di cose sensate solo quando si riferisce a cose osservabili Osservazione Asserto osservativo Verifica sperimentale Il METODO SCIENTIFICO VERIFICAZIONISMO Linguaggio (il Luogo del senso) Induzione Criterio di Verificabilità Ipotesi Il senso di una proposizione sta nel metodo della sua verificazione Deduzione di conseguenze osservative Le proposizioni della metafisica non sono scientifiche perché non hanno senso, e non hanno senso perché non possono essere verificate Approccio Falsificazionista al concetto di Realtà Cause Metafisica Essere Uomo Mondo Soggetto Oggetto Osservazione - Induzione Contenuto Empirico conoscenza Certa Incerta Teorie scientifiche Scienza Opinione Metodologia della Ricerca scientifica Approccio Falsificazionista al concetto di Realtà Cause Metafisica Popper Essere Uomo Mondo Soggetto Oggetto Osservazione - Induzione conoscenza Khun Contenuto Empirico Lakatos Certa Incerta Teorie scientifiche Scienza Opinione Metodologia della Ricerca scientifica Torniamo a Imre Lakatos Si è detto che.... Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Lakatos intende fornire criteri per analizzare una serie di Teorie e per suggerire che: “Una serie di teorie è 1) Teoricamente Progressiva (o costituisce uno slittamento di problema teoricamente progressivo) se ciascuna nuova teoria ha contenuto empirico addizionale rispetto a quella che la precede [...]. 2) Una serie teoricamente progressiva è anche Empiricamente Progressiva (o costituisce uno slittamento di problema empiricamente progressivo) se parte di questo contenuto empirico addizionale è anche corroborato [...]. ”. 3) Uno slittamento di problema è progressivo sse lo è sia teoricamente che empiricamente. a) Accettiamo uno slittamento di problema come ‘scientifico’ solo se è progressivo almeno teoricamente; b) Atrimenti lo ‘rifiutiamo’ come pseudo-scientifico. c) Il progresso è misurato dal grado in cui uno slittamento di problema è progressivo [...] . d) Consideriamo una serie di teorie falsificata quando è superata con maggiore contenuto corroborato Teoricamente Progressivo REALTA’ SERIE DI TEORIE SERIE DI TEORIE Contenuto empirico Piano del Metodo Scientifico Contenuto empirico Empiricamente Progressivo REALTA’ SERIE DI TEORIE SERIE DI TEORIE ContenutoCORROBORATO empirico Piano del Metodo Scientifico Sul Falsificazionismo: Imre Lakatos Falsificazionismo Metodologico Sofisticato Non esiste una razionalità istantanea, ovvero, non si abbattono le teorie con un colpo di pistola. La razionalità della scienza è piuttosto un processo di lungo periodo (Khun) e i cosiddetti esperimenti cruciali sono ‘cruciali’solo retrospettivamente, col senno di poi. “Il comportamento anomalo del perielio di Mercurio venne considerato per decenni una delle tante difficoltà non risolte del programma di Newton; fu solo il fatto che la teoria di Einstein ne diede una spiegazione migliore a far sì che una noiosa anomalia diventasse una brillante confutazione del programma di ricerca di Newton. [...]. L’anomalia, che era nota da decenni, ricevette il titolo onorifico di confutazione e l’esperimento quello di esperimento cruciale solo dopo un lungo periodo di sviluppo ineguale dei due programmi rivali” Sul Falsificazionismo: Imre Lakatos Dai programmi di ricerca “metafisici” (Popper) Ai programmi di ricerca “scientifici” (Lakatos) La demarcazione tra programmi progressivi e regressivi ha un problema serio, analogo a quello già incontrato a proposito del falsificazionismo metodologico ingenuo, ovvero: Ipotesi di basso livello completamente sconnesse possono produrre ancora uno slittamento progressivo Cioè possono comportare un aumento del contenuto empirico corroborato Il modo in cui Lakatos precisa il tipo di continuità che dovrebbe saldare gli elementi di una data serie di teorie rimette in gioco la metafisica La continuità si sviluppa a partire da un PROGRAMMA DI RICERCA ovvero, un insieme di istruzioni o REGOLE EURISTICHE Sul Falsificazionismo: Imre Lakatos Dai programmi di ricerca “metafisici” (Popper) Ai programmi di ricerca “scientifici” (Lakatos) La teoria cartesiana meccanicistica dell’universo, secondo cui l’universo è un enorme meccanismo in cui l’urto è la sola causa del movimento – funziona come un potente principio euristico. Esso sconsiglia il lavoro su teorie scientifiche – come la teoria dell’azione a distanza di Newton – che erano incompatibili con essa (Euritica Negativa). D’altra parte incoraggia il lavoro su ipotesi ausiliari che avrebbero potuto salvarla da apparenti evidenze contrarie (Euristica Positiva) Dai programmi di ricerca “metafisici” (Popper) Sono Programmi che incorporano: 1) Una visione dei problemi più urgenti 2) Un’idea generale di quella che potrebbe apparire una soluzione soddisfacente per essi Sono metafisici perché: Soggiacciono all’influsso di idee metafisiche cioè non controllabili Per Popper dunque le situazione problematiche sono orginate da tre fattori: 1) La scoperta di una incoerenza all’interno di una teoria 2) La scoperta di una contraddizione fra teoria ed esperimento 3) Il rapporto fra teoria e il programma di ricerca metafisico E’ il paradigma di Khun: ma per Khun è interno alla Scienza Normale, per Popper esterno alla scienza Dai programmi di ricerca “metafisici” (Popper) Realtà 2) L’osservazione è carica di Teoria Teorie Scientifiche Osservazione Demarcazione Metafisica Controllo sperimentale Il METODO SCIENTIFICO FALSIFICAZIONISMO Deduzione di conseguenze osservative Congetture La posizione di Gillies Il principio del Surplus Esplicativo Realtà Linguaggio Teorie Scientifiche Livello 0 Livello 1 Osservazione Controllo sperimentale Corroborabile e Falsificabile Livello 2 Corroborabile ma non Falsificabile Metafisica Livello 3 Il METODO SCIENTIFICO FALSIFICAZIONISMO Congetture Prima Legge di Keplero Prima Legge di Newton Non corroborabile Deduzione di conseguenze osservative Surplus Esplicativo Aumento del contenuto empirico della Teoria Sul Falsificazionismo: Imre Lakatos I programmi di ricerca “scientifici” (Lakatos) L’idea forte di Khun rispetto a Popper: la metafisica non stimola la ricerca scientifica dal cielo come in Popper, ma è in certo modo incarnata nelle procedure usualmente ritenute scientifiche Sul Falsificazionismo: Imre Lakatos Realtà Programma di Ricerca Osservazione Il METODO SCIENTIFICO FALSIFICAZIONISMO Fallimento Controllo sperimentale Metafisica Congetture T T Deduzione di conseguenze osservative CINTURA PROTETTIVA popperiana Nucleo Khuniano Sul Falsificazionismo: Imre Lakatos Realtà Programma di Ricerca Il METODO SCIENTIFICO FALSIFICAZIONISMO Osservazione T* Ipotesi Ausiliaria Fallimento Controllo sperimentale Metafisica Congetture Deduzione di conseguenze osservative CINTURA PROTETTIVA popperiana Sul Falsificazionismo: Imre Lakatos Realtà Programma di Ricerca Il METODO SCIENTIFICO FALSIFICAZIONISMO Osservazione T* T* Ipotesi Ausiliaria Corroborazione Controllo sperimentale T* Metafisica Deduzione di Congetture T* conseguenze osservative CINTURA PROTETTIVA popperiana Sul Falsificazionismo: Imre Lakatos Realtà Programma di Ricerca Osservazione Il METODO SCIENTIFICO FALSIFICAZIONISMO Serie di Teorie Scientifiche T Ipotesi Ausiliaria T* Corroborazione Tn Controllo sperimentale Metafisica Congetture Deduzione di conseguenze osservative CINTURA PROTETTIVA popperiana I Programmi di Ricerca Metafisica Il metodo del Programma Il contenuto del Programma Osservazione Verifica sperimentale Ogni qualvolta che difendo un programma di ricerca ne aumento il contenuto empirico Criterio di falsificabilità Deduzione Ipotesi Sul Falsificazionismo: Imre Lakatos CUORE KHUNIANO CINTURA Programma di Ricerca Contenuto empirico Sfondo metafisico: la Ragione scientifica Contenuto empirico Sul Falsificazionismo: Imre Lakatos Realtà Quando cambiare Programma di ricerca? Teorie Scientifiche Osservazione Il METODO SCIENTIFICO FALSIFICAZIONISMO Ipotesi Ausiliaria Corroborazione Controllo sperimentale Metafisica Congetture Deduzione di conseguenze osservative CINTURA PROTETTIVA Sul Falsificazionismo: Imre Lakatos Realtà Lakatos: quando è regressivo Teorie Scientifiche Osservazione Il METODO SCIENTIFICO FALSIFICAZIONISMO Ipotesi Ausiliaria Corroborazione Controllo sperimentale Metafisica Congetture Deduzione di conseguenze osservative CINTURA PROTETTIVA Sul Falsificazionismo: Imre Lakatos CUORE KHUNIANO CINTURA Programma di Ricerca ContenutoCORROBORATO empirico Sfondo metafisico: la Ragione scientifica Contenuto empirico La crescità della Scienza: Programmi progressivi e Programmi regressivi ... a parità di contenuto empirico corroborato dei programmi, è progressivo il più semplice Rincorrere i fatti: capacità predittiva dei programmi La crescità della Scienza: Programmi progressivi e Programmi regressivi Un fatto non può essere usato due volte, prima nella costruzione della teoria e poi, ancora, in suo sostegno Versione lakatosiana del surplus esplicativo Sul Falsificazionismo: Imre Lakatos CUORE KHUNIANO CINTURA Fatto Programma di Ricerca ContenutoCORROBORATO empirico Sfondo metafisico: la Ragione scientifica Contenuto empirico