Temi filosofici dell ingegneria e della scienza/informatica B[1] Politecnico di Milano, II Facoltà di ingegneria, a.a. 2009-10 Che cos è una teoria scientifica? Viola Schiaffonati Dipartimento di elettronica e informazione Nel rispondere a questo quesito affronteremo due possibili macro-risposte, quella fornita dal neopositivismo nell ambito del metodo induttivo, e quella fornita da Karl Popper nell ambito del metodo ipotetico-deduttivo. Per cercare di capire che cosa è tipico ed essenziale della conoscenza scientifica, e quindi la natura delle teorie scientifiche, è opportuno partire dal tentativo di distinguere queste ultime da quelle non scientifiche o pseudoscientifiche (criterio di demarcazione). Logica ed empirismo Logica ed empirismo Come funziona la scienza? La risposta della tradizione empirista - Esperienza come unica fonte di vera conoscenza - Conoscenza in generale e non solo conoscenza scientifica - Problema: test empirici diretti non sono garanzia di successo - Non si nega il ragionamento, ma si afferma che alla base del ragionamento vi è comunque l esperienza Una forma radicale di empirismo: logica ed empirismo: varietà di problemi e loro evoluzione storica - Il Circolo di Vienna e il positivismo logico - L empirismo logico dopo la seconda guerra mondiale Il Circolo di Vienna (dal 1907, ma forte negli anni 20, dissolvimento e assassinio di Schlick nel 1936, emigrazione negli Stati Uniti) - Gruppo di filosofi scientificamente orientati (ma anche storici, scienziati, economisti) - Schlick, Neurath, Carnap, Hahn - Figure di riferimento: Einstein (rivoluzione in fisica), Wittgenstein (teoria del significato) e Russell (analisi logica e induzione) Il manifesto (1929): La concezione scientifica del mondo - Come è possibile rendere scientifica la filosofia? - Come è possibile evitare le ambiguità del linguaggio? - Centralità di una corretta analisi del linguaggio Idee centrali del positivismo logico: alla base vi è una teoria generale del linguaggio (derivata dal Tractatus di Wittgenstein 1921) - Distinzione analitico e sintetico (proposizioni che sono vere o false in virtù del loro significato e proposizioni che lo sono invece in virtù del loro significato e del modo in cui è effettivamente il mondo). La matematica e la logica sono analitiche: le proposizioni matematiche non descrivono il mondo, ma registrano esclusivamente la nostra decisione
Viola Schiaffonati Teorie scientifiche 2 convenzionale di usare i simboli in un modo particolare: infatti affermazioni sintetiche sul mondo possono essere fatte usando il linguaggio matematico, come quando per esempio si dice che ci sono nove pianeti nel sistema solare; ma le dimostrazioni e le investigazioni nella matematica sono esclusivamente analitiche. Ciò naturalmente suona strano perché alcune dimostrazioni nella matematica possono essere molto sorprendenti. Gli unici fatti che possono essere conosciuti a priori senza il ricorso all esperienza sono fatti analitici e quindi vuoti di contenuto effettivo. - Principio di verificabilità: il significato di una frase consiste nel metodo della sua verifica e la verificazione è l osservazione o la testabilità. Verificazionismo è il nome che descrive questo approccio La teoria del significato di Wittgenstein - Problema della demarcazione è uno dei temi del primo lavoro di Wittgenstein: il Tractatus logico-philosophicus (1921): all interno di quest opera la distinzione fra scienza e metafisica è condotta nella prospettiva della distinzione fra ciò che può essere detto e ciò che può essere soltanto mostrato. In sostanza per Wittgenstein le teorie metafisiche sono prive di significato: questa convizione si basa proprio sulla teoria del significato che Wittgenstein propone nel Tractatus. - Proposizioni atomiche e proposizioni molecolari; le proposizioni atomiche asseriscono il sussistere di uno stato di cose: la proposizione La neve è bianca è vera se e solo se la neve è bianca; il procedimento tramite il quale le proposizioni molecolari sono costruite a partire da quelle atomiche è noto come composizione vero-funzionale: la funzione di verità delle proposizioni molecolari è data dalle funzioni di verità delle proposizioni atomiche che la compongono. - Sulla base di questa teoria del significato le proposizioni metafisiche e, per quanto sorprendente, quelle matematiche sono pseudoproposizioni perché non possono essere verificate nella realtà. Infatti le proposizioni dotate di significato sono considerate funzioni di verità delle proposizioni elementari, e le proposizioni elementari sono identificate con gli asserti osservativi semplici. - Distinzione fra diversi tipi di enunciati. Asserto osservativo semplice: asserto il cui valore di verità può essere controllato da osservazioni fatte in un tempo e in un luogo particolare (per es.: La mela sulla mia scrivania è verde ). Asserto osservativo complesso: asserto il cui valore di verità può essere accertato da osservazioni tali da dover essere effettuate in tempi e/o luoghi differenti (per es.: La mela sulla mia scrivania è verde e la mela sul tavolo della cucina non è rossa ). - Tutte le proposizioni significanti sono funzioni di verità di asserti osservativi semplici. Verificazionismo - Le proposizioni fattuali vengono tradotte in proposizioni osservative atomiche e osservative; le proposizioni osservative si riferiscono solo alle sensazioni e ai collegamenti fra queste. - Da ciò deriva che se una proposizione dotata di significato è vera, ciò può essere verificato tramite osservazione. In sostanza, se si adotta il criterio di verificabilità i valori di verità di asserti osservativi semplici possono essere determinati tramite osservazione, mentre il valore di verità di quelli complessi può essere costruito a partire da quelli semplici. - Conseguenza: rifiuto della filosofia tradizionale che non può essere verificata perché non ha significato fattuale - Il verificazionismo è un principio empirista assai forte: l esperienza è la sola fonte di significato, nonché la sola fonte di conoscenza. Un aspetto importante da considerare è che la verificabilità è qualcosa a cui il Circolo di Vienna si riferisce in principio. Essi sono ben consci, infatti, che davvero poche asserzioni nella pratica sono così verificabili. Ciò non toglie che esso valga piuttosto come principio regolativo a cui nella pratica si debba tendere. Per il
Viola Schiaffonati Teorie scientifiche 3 positivismo logico lo scopo della scienza è di riconoscere delle regolarità nell esperienza in modo da costruire, a partire da queste, la conoscenza scientifica. Il ruolo della logica per la filosofia - La logica è per i neopositivisti logici lo strumento principale per la filosofia, includendo con questa la discussione filosofica sulla scienza: la filosofia diventa così l analisi logica di come il linguaggio, la matematica e la scienza funzionano e lavorano. - Per capire bene questa posizione occorre qui distinguere fra due tipi di logica, partendo dal presupposto che la logica in generale sia il tentativo di dare una teoria astratta di che cosa rende un argomentazione valida. - Logica deduttiva: è il tipo più familiare di logica e riguarda argomentazioni che trasmettono la verità con certezza (se le premesse sono vere la conclusione deve essere necessariamente vera). Esempio - Logica induttiva: non dà lo stesso tipo di garanzia che dovrebbe dare quella deduttiva, ma è essenziale per il punto di vista del positivismo logico. Nella pratica anche il miglior tipo di evidenza non è così decisivo come in un argomentazione deduttiva; del resto questa possibilità di errore non ferma il fatto che certe affermazioni nella scienza si dicono supportate dall evidenza. Distinzione fra contesto della scoperta e contesto della giustificazione - Contesto della scoperta: storia e psicologia (come si realizza una scoperta scientifica) - Contesto della giustificazione: logica (come si determina se una scoperta è scientifica) - Una forma radicale di empirismo - Scopo della scienza: lo scopo della scienza, così come del pensiero quotidiano, è di trovare e anticipare regolarità nell esperienza. Come afferma Schlick: ciò che ogni scienziato cerca, e cerca solo, sono le regole che governano le connessioni dell esperienza - Naturalmente esiste sempre la possibilità dell errore, ma non c è strada alternativa alla conoscenza oltre all esperienza: ogniqualvolta la filosofia ha cercato di trovare strade alternative è collassata in forme di pensiero privo di senso. Popper, il killer del nepositivismo Problemi dell induttivismo - Selettività dell osservazione: come si fa a partire dalle osservazioni? Quali osservazioni si devono considerare, come è possibile selezionarle? L osservazione è sempre selettiva e c è sempre una teoria di background (o almeno alcune ipotesi) che muovono l osservazione. - Hanson 1959 Patterns of Discovery: introduzione del termine theory-loaded, ogni termine osservativo porta con sé un carico di teoria. - Attenzione: differenza fra avere delle credenze e delle teorie! Debolezza delle inferenze induttive: come è possibile giustificarle. Anche se si interpreta l induttivismo in chiave probabilistica rimangono i problemi principali come teoria del metodo scientifico - Come è possibile giustificare in particolare il principio di induzione? Se cerchiamo di giustificarlo induttivamente tramite l esperienza ci troveremo in una situazione di circolarità, dal momento che ogni induzione dall esperienza presuppone il principio di induzione. Si potrebbe allora cercare di giustificare il principio di induzione tramite un altro principio di ordine superiore, ma in questo caso si cadrebbe in un regresso all infinito. Di fatto - Popper sostiene - il principio di induzione viene giustificato indipendentemente dall esperienza, con una scelta a priori. Già Russell aveva considerato questi problemi, ma aveva poi accettato i
Viola Schiaffonati Teorie scientifiche 4 due principi (sebbene nella versione probabilistica indebolita) come necessari e intrinseci al fare scienza; Popper al contrario ritiene che si posssa essere scienziati e fare scienza adeguata e corretta anche senza ricorrere ad alcuna inferenza induttiva. Dalla scoperta alla giustificazione: la filosofia della scienza non può pensare di capire come le scoperte vengono fatte (quello è compito della psicologia della scienza) ma solo come possono essere rigorosamente controllate (quali sono i criteri per determinare se una conoscenza è scientifica). Non c è una logica della scoperta scientifica ma solo una logica del controllo. - Non esiste alcun metodo logico per avere nuove idee e nessuna ricostruzione logica di questo processo che può essere analizzato invece solo in ambito psicologico. - L analisi epistemologica può avvenire solo nel contesto della giustificazione. Come funziona la scienza? Invece di partire dall induttivismo si può proporre una teoria del cambiamento e della crescita della conoscenza scientifica basata su congetture e confutazioni (Popper Logica della scoperta 1934-1959). - Sebbene non sia possibile inferire la verità di una generalizzazione partendo dalle osservazioni e avvalendosi della logica deduttiva, Popper ritiene tuttavia che le osservazioni e la logica deduttiva possono stabilire la falsità di una generalizzazione scientifica (anche se non la sua verità). Dall osservazione Questo cigno è nero è possibile inferire deduttivamente che la generalizzazione Tutti i cigni sono bianchi è falsa; è possibile quindi confutare o falsificare una generalizzazione scientifica: esiste quindi un asimmetria fra falsificazione e verificazione. - Metodo delle congetture e confutazioni o falsificazionismo: la scienza non inizia con le osservazioni, come vorrebbero gli induttivisti, ma con delle congetture, ossia delle ipotesi, che lo scienziato cerca in seguito di confutare attraverso la critica e il controllo (in particolare l esperimento e l osservazione). Una congettura che ha resistito a una serie di controlli severi può essere accettata, ma solo provvisoriamente. Non è infatti mai possibile affermare con certezza la verità di una teoria, legge o generalizzazione che sia, perché ognuna di queste potrebbe crollare al prossimo controllo e alla prossima osservazione. - Le idee sono rifinite e modificata attraverso vari cicli di congetture e confutazioni. Passaggio 1: proposta di ipotesi che spiegano una porzione della realtà. Passaggio 2: tentativo di confutazione, ossia tentativo di controllare il più severamente possibile questa ipotesi. Fallibilismo: in generale quindi le teorie possono essere solo falsificate, ma mai verificate dall esperienza. La conferma intesa in un senso esclusivamente positivo è un mito, così come è un mito l induzione stessa. La conoscenza si accresce proprio a partire dagli errori; le congetture non sono mai suscettibili di giustificazione positiva, ma sono soggette al controllo della critica, cioè ai tentativi di confutazione. Le anticipazioni non sono mai sostenute dogmaticamente ma sono ipotesi provvisoriamente accettate ma non considerate vere. Nella prospettiva falsificazionista la scienza è un continuo processo di critica e l evoluzione della scienza una rivoluzione permanente. - Problemi: questa è una teoria descrittiva o solo normativa (contrasta con il modo in cui le cose hanno funzionato nella storia della scienza); e anche se fosse solo normativa la scienza può crescere in uno stato di rivoluzione permamente? Problema della demarcazione - Falsificazionismo e criterio di falsificabilità come criterio di demarcazione (cosa distingue la scienza dalla pseudoscienza?) ma non di significato. Contro il metodo della ricerca delle verifiche. Un ipotesi è scientifica solo se può essere falsificata da possibili osservazioni. Scientifico è solo qualcosa che possa essere controllato dall esperienza. Esempio della teoria dell interpretazione dei sogni di Freud (sogno come appagamento di un desiderio) che non può essere falsificata. Freud cerca di mostrare che ciò sembra un sogno di angoscia è in realtà l appagamento di un desiderio. Controllo e giustificazione
Viola Schiaffonati Teorie scientifiche 5 - Dalla teoria alla predizione osservativa e tentativo di confutazione. o Se la predizione fallisce, la teoria è falsificata e rifiutata. o Se la predizione resiste ai tentativi di confutazione, la teoria non è stata ancora falsificata e può essere accettata, almeno temporaneamente.