CLAUDIO PIZZI LEZIONI DI FILOSOFIA DELLA SCIENZA a. a. 20102011

More documents

Recommendations

Info

verifica. Quando venne fondato il Circolo di Vienna non c’era la possibilità tecnica di mandare una sonda sulla Luna, ma nessuno dubitava della sensatezza dell’enunciato “ci sono montagne dall’altra parte della luna”, per quanto avrebbe potuto risultare , a sorpresa, falso. La risposta era che esso risulta sensato “in linea di principio”, e cioè, nei limiti in cui possiamo descrivere senza contraddizione delle tecniche che consentirebbero la verifica. Ma il problema più grave, come si vide immediatamente, era un altro. Prendiamo una legge di natura come “Tutti i corvi sono neri”. è ovvio che la legge non asserisce qualcosa sui corvi effettivamente osservati, che sono in numero finito, ma su tutti i corvi presenti, passati e futuri che sono in numero infinito; anzi, come vedremo meglio, su tutti i possibili corvi, che sono pure infiniti . Secondo una teoria suggerita dallo stesso Wittgenstein nel Tractatus, un asserto come questo, che i logici simbolizzano nella forma ∀x (Nx ⊃ Cx) equivale a una congiunzione infinita di enunciati del tipo “a è un corvo solo se a è nero”, “b è un corvo solo se b è nero”, “c è un corvo solo se c è nero “ ecc.. In questa analisi vediamo all’opera il ruolo della logica formale, che ciò porta a evidenziare ciò che il senso comune e la logica del senso comune non rendono trasparente. Per verificare la legge dovremmo quindi verificare infiniti enunciati, e quindi compiere infinite verifiche. Ma questo non è possibile nemmeno in linea di principio: ammesso e non concesso che si disponga di un nome per tutti gli oggetti dell'universo, dobbiamof are i conti con il fatto che il tempo disponibile per le verifiche è un tempo finito. Conclusione: le leggi scientifiche, che sono gli enunciati che rendono possibile la ricerca scientifica, sono prive di senso. Gli anni ’30 furono caratterizzati dai tentativi di emendare il criterio empirico di significanza salvando almeno la significatività delle leggi scientifiche. In Testability and Meaning Carnap propose di sostituire la verificabilità con la controllabilità (che presuppone l’ esistenza di strumenti di controllo) e poi con la confermabilità. Il criterio di significanza liberalizzato asserirà dunque che un enunciato è significante se e solo se è confermabile. Che vuol dire confermabile? Per capirlo dobbiamo renderci conto fatto che il neopositivismo è l’erede dell’empirismo classico, cioè dell’ idea secondo cui ogni conoscenza non a priori deriva in ultima analisi dall’esperienza. (il sintetico a priori per un empirista è puramente contraddittorio). Ma l’ esperienza ci dà solo approssimazioni alla certezza, e cioè gradi probabilità. Il probabilismo quindi è l’esito naturale dell’empirismo. Assegnare a un enunciato un grado di
conferma sulla base dell’esperienza equivale ad assegnargli un grado di probabilità. Se a un enunciato (p.es. una legge) siamo in grado assegnare un grado di probabilità sulla base dell’esperienza questo enunciato è significante, altrimenti no. La nuova riformulazione di Carnap poneva su basi più soddisfacenti il criterio di significanza, ma guadagnava un problema nuovo, che era quello di proporre un’analisi logica della stessa nozione di probabilità. Come vedremo più avanti, Carnap produsse uno sforzo matematicamente poderoso per ricostruire il calcolo delle probabilità come ramo specifico (assiomatico) della logica. Nella sua prospettiva logica della conferma, logica induttiva e calcolo della probabilità costituiscono un’unica teoria. Non erano idee completamente nuove, dato che Keynes le aveva già espresse in “Treatise on Probability”. Ma la differenza sostanziale è che Carnap usa come strumento di indagine non la matematica ma la logica simbolica. Per tutti i neopositivisti è la logica, non la matematica, che diventa strumento per la rigorizzazione del linguaggio scientifico. Secondo Carnap che da questo punto di vista proseguiva l’insegnamento di Frege e Russell la matematica si può ricostruire come un ramo della logica (logicismo). Come vedremo, oggi questa posizione è difficilmente sostenibile, ma l' idea guida del logicismo ha avuto un’ enorme suggestione e ha dato slancio alle ricerche del Circolo di Vienna. §3. Torniamo per un momento alle vicende del Circolo, che dopo il 1925 nel giro di pochi anni si trasformava in un vero e proprio movimento organizzato. Nel 1929 compariva il manifesto del gruppo Wissenschaftliche Weltauffassung: der Wiener Kreis, un opuscolo di 60 pagine firmato da Hahn, Neurath, Carnap. Nel 1935 Neurath in una breve monografia enucleava quattro caposaldi che erano condivisi da quanti aderivano al movimento: 1) antimetafisica 2) empirismo di carattere generale 3) intervento metodico della logica 4) matematizzazione di tutte le scienze. Tra i precursori delle nuove idee venivano indicati (a parte Mach, che era il modello di scienziatofilosofo più vicino al circolo) Comte,
Page 1 and 2: CLAUDIO PIZZI LEZIONI DI FILOSOFIA
Page 3 and 4: molto animate. I filosofi nel senso
Page 5 and 6: 2. Ciò che accade, il fatto è il
Page 7: onnipotente ha creato il mondo” e
Page 11 and 12: di personalità come Dewey e C.I.Le
Page 13 and 14: elementi della realtà) le quali po
Page 15 and 16: migliore perché connette due propr
Page 17 and 18: II. LA SVOLTA RELATIVISTICA E IL PR
Page 19 and 20: evisionata in modo da riprendere la
Page 21 and 22: alla verità, verità che resta un
Page 23 and 24: presi dai suoi studenti nel corso d
Page 25 and 26: mappe, cioè rappresentazioni non
Page 27 and 28: discipline. è chiara in particolar
Page 29 and 30: deregulation che si affermava in qu
Page 31 and 32: l’alternativa vera. Certo il cons
Page 33 and 34: non è in conoscibile, ma conoscibi
Page 35 and 36: III. LOGICA E FILOSOFIA DELLE SCIEN
Page 37 and 38: infiniti fatti atomici. Per questo
Page 39 and 40: la teoria degli insiemi fregeana, p
Page 41 and 42: metodi “finitisti”, trattando l
Page 43 and 44: Gödel- che la esprime. Dato quel n
Page 45 and 46: IV. Il PROBLEMA DELL’INDUZIONE E
Page 47 and 48: §2. Il problema dell’induzione.
Page 49 and 50: eventualmente incompatibili. Il pro
Page 51 and 52: fattore logico (λ dipendente dal n
Page 53 and 54: contengono, purchè siano coerenti:
Page 55 and 56: consiste essenzialmente nel chieder
Page 57 and 58: Reichenbach la probabilità di A en
Page 59 and 60:
ad esso assegnato. Tutte le scommes
Page 61 and 62:
probabilità della generalizzazione
Page 63 and 64:
avanzata il linguaggio causale era
Page 65 and 66:
formulazione delle leggi, sembra ch
Page 67 and 68:
Supponiamo di dire che il digiuno d
Page 69 and 70:
egolarmente seguita dalla seconda,
Page 71 and 72:
quelle luminose. La velocità altis
Page 73 and 74:
cause sono una via dimezzo tra caus
Page 75 and 76:
capace di tracciare distinzioni mol
Page 77 and 78:
formazione, anche se forse la più
Page 79 and 80:
la ricerca in un modo enormemente p
Page 81 and 82:
che pretendono di prevedere,e quest
Page 83 and 84:
mosse da intenzioni, aspettative, t
Page 85 and 86:
osservazione del comportamento. La
Page 87 and 88:
minore benessere”) sono inesatti,
Page 89 and 90:
dalla filosofia della scienza, colt
Page 91 and 92:
al proposito utile studiare il comp
Page 93 and 94:
Ogni macchina di Turing è caratter
Page 95 and 96:
questi anni un filone di studi sull
Page 97 and 98:
da noi salvo che l’acqua non è H
Page 99 and 100:
si possono considerare le spiegazio
Page 101 and 102:
può essere computata mediante una
Page 103 and 104:
Da un lato, la presenza del WorldWi
Page 105 and 106:
tra variabili I tentativi in questa
show all

CLAUDIO PIZZI LEZIONI DI FILOSOFIA DELLA SCIENZA a. a. 2010­2011

Create successful ePaper yourself

Delete template?

Save as template?

CLAUDIO PIZZI LEZIONI DI FILOSOFIA DELLA SCIENZA a. a. 20102011