The Foundation of Mathematics di Frank Ramsey – Capitolo IX Last papers – Sezione A Theories

24 Giu

foto0004Riporto di seguito la traduzione della sezione A del capitolo IX (Last papers) di The Foundation of Mathematics pubblicato a cura di R.B. Braithwaite. Si tratta di un appunto, non pubblicato in precedenza, che riguarda i metodi di valutazione della costruzione corretta di teorie scientifiche. E’ interessante il rigore del sistema deduttivo e la coerenza con il metodo del Realismo.

IX

ULTIMI ARTICOLI ( 1929)

A. TEORIE

Proviamo a descrivere una teoria semplicemente come un linguaggio per discutere i fatti che la teoria si dice che spieghi. Questo non ci richiede di impegnarci sulla questione filosofica se una teoria è solo un linguaggio, ma piuttosto se sapevamo che tipo di linguaggio sarebbe se si trattasse effettivamente di un linguaggio, potremmo essere favoriti nella scoperta se ce ne è uno. Dobbiamo cercare di rendere la nostra considerazione più generale possibile, ma non possiamo essere sicuri che abbiamo infatti raggiunto il tipo più generale di teoria, dal momento che la complicazione possibile è infinita. In primo luogo, consideriamo i fatti da spiegare. Questi si verificano in un universo di discorso che chiameremo il sistema primario, essendo questo sistema composto di tutti i termini 1 e proposizioni (veri o falsi) nell’universo in questione. Dobbiamo supporre che il sistema primario in qualche modo ci è dato in modo che abbiamo una notazione in grado di esprimere in esso qualsiasi proposizione. Di che tipo deve essere questa notazione? 1 L’ ‘ universo ‘ del sistema primario potrebbe contenere ‘ blu o rosso ‘, ma non ‘blu’ o ‘ rosso’; cioè potremmo dichiarare di spiegare quando una cosa fosse ‘ blu o rossa ‘ rispetto a ‘ verde o gialla’, ma non che era , blu o rosso . ‘ Blu o rosso ‘ sarebbe allora un termine : ‘blu’ , ‘rosso’ un nonsenso per il nostro scopo attuale . Potrebbe nel primo caso consistere di nomi di diversi tipi di cui due o più congiunti insieme hanno dato una proposizione atomica; per esempio, i nomi: a , b . . . z , ‘rosso’ , ‘prima’ . Ma penso che i sistemi che cerchiamo di spiegare sono raramente di questo tipo; se per esempio ci occupiamo di una serie di esperienze, non cerchiamo di spiegare il loro ordine temporale (che non potremmo spiegare con qualcosa di più semplice) o anche, nell’ipotesi un ordine, se si tratta che viene prima a di b; diamo per scontato che esse siano in un ordine e che a viene prima di b, ecc., e cerchiamo di spiegare quale è rosso, quale blu, ecc. a è essenzialmente una cosa prima di b , e ‘a’ , ‘b’, ecc., non sono in realtà i nomi, ma le descrizioni, tranne nel caso del presente. Diamo per scontato che queste descrizioni descrivono univocamente, e invece di ‘ a era rosso ‘ abbiamo ad esempio ‘ Il 3 ° da qui era rosso ‘. I simboli che vogliamo non sono nomi , ma numeri: lo 0 ( cioè il presente) , 1°, – 1° , ecc., in generale l’ ennesimo, e possiamo usare rosso (n) per indicare che l’ennesimo è rosso contando in avanti o indietro da un luogo particolare. Se la serie termina per dire a 100, potremmo scrivere N (101), e in generale N (m) se m > 100 , significherebbe ‘Non c’è un emmesimo ‘; oppure semplicemente considerare ad esempio rosso (m) come un nonsenso se m > 100, mentre se abbiamo scritto N (m) dovremmo dire che rosso (m) era falso. Io non sono sicuro che questo è necessario, ma mi sembra sempre così, in pratica; cioè i termini del nostro sistema primario hanno una struttura e qualsiasi struttura può essere rappresentata da numeri (o coppie o altre combinazioni di numeri). Potrebbe essere possibile andare oltre questo, perché dei termini nel nostro sistema primario non solo alcuni, ma proprio tutti possano essere meglio simboleggiati dai numeri. Per esempio, i colori hanno una struttura, a cui un dato colore può essere assegnata una posizione mediante tre numeri, e così via. Anche gli odori possono essere trattati così: la presenza dell’odore verrebbe indicata con 1, l’ assenza da 0 (o tutte le qualità totale dell’odore possono essere date da numeri). Naturalmente, non possiamo comprendere una proposizione di numeri senza qualche collegamento. Il momento 3 che ha colore 1 Odore e 2 deve essere scritto χ ( 3 ) = 1 e φ ( 3) = 2 , corrispondendo χ e φ alle forme generali di colore e odore, ed essendo possibilmente funzioni con un numero limitato di valori, in modo che ad esempio φ (3) = 55 potrebbe essere un nonsenso, perché non esiste nessun 55esimo odore. In entrambi i casi questo è possibile, non è così vantaggioso dove abbiamo relativamente pochi termini (per esempio, un paio di odori) da affrontare. Dove abbiamo una moltitudine come ad esempio con i tempi, a cui non possiamo dare un nome, e la nostra teoria non esprime un sistema primario in cui essi hanno nomi, perché non assumono affatto un valore in relazione alla loro individualità, ma solo in relazione alla loro posizione. In generale non si guadagna nulla e la chiarezza può essere persa utilizzando i numeri quando l’ordine, ecc., dei numeri non corrisponde a nulla nella natura di questi termini. Se tutti i termini fossero rappresentati da numeri, le proposizioni del sistema primario prenderebbero tutte la forma di affermazioni assunte da certe funzioni numeriche ad un valore. Queste non sarebbero funzioni matematiche nel senso comune; perché una tale funzione che abbia questo o quel valore sarebbe sempre un dato di fatto, non una questione di matematica. Abbiamo parlato come se i numeri coinvolti fossero sempre interi, e se i finitisti fossero nel giusto proprio così dovrebbe effettivamente essere nel sistema primario finale, anche se i numeri interi possono, ovviamente, assumere la forma di razionali. Questo significa che possiamo occuparci di coppie ( m, n) con ( λm , λn ) sempre identiche a (m , n). Se, tuttavia , il nostro sistema primario è già un sistema secondario per qualche altra teoria, potrebbero presentarsi dei numeri reali. Questo per quanto riguarda il sistema primario; ora la costruzione teorica . Inizieremo prendendo una forma tipica di teoria, e considereremo in seguito se questa forma è la più generale. Supponiamo che le proposizioni atomiche del nostro sistema primario siano del tipo A ( n ) , B ( m , n ) . . . dove m , n , ecc., assumono valori interi positivi o negativi soggetti a qualche restrizione, ad esempio che in B ( m , n ) m può assumere solo i valori 1, 2. Quindi introduciamo le nuove funzioni proposizionali α ( n ) , β ( n ) , γ ( m , n ) , ecc., e con proposizioni del sistema secondario intenderemo qualsiasi funzioni verità dei valori di α , β , γ , ecc. Dovremo inoltre stabilire proposizioni su questi valori, ad esempio, Schermata 2014-03-07 alle 20.39.48 che chiameremo assiomi, e qualsiasi proposizione del sistema secondario potranno essere dedotte dagli assiomi che chiameremo teoremi. Oltre a questo costruiremo un dizionario che assume la forma di una serie di definizioni delle funzioni del sistema primario A , B , C. . . . nei termini di quelle del sistema secondario α , β , γ , ad esempio A ( n ) = α ( n ) . v . γ ( 0 , n2 ). Prendendo queste ” definizioni ” come equivalenze e aggiungendole agli assiomi potremmo essere in grado di dedurre proposizioni del sistema primario che chiameremo leggi se sono proposizioni generali, conseguenze se sono singolari. La totalità delle leggi e delle conseguenze sarà l’eliminante (risultante dall’eliminazione di variabili da un sistema di equazioni) quando α , β , γ . . , ecc., vengono eliminate dal dizionario e dagli assiomi, e questa è quella totalità di leggi e di conseguenze che la nostra teoria afferma essere vera. Possiamo rendere questo più chiaro con un esempio 1; interpretiamo i numeri n , n1, n2 , ecc., come istanti di tempo e supponiamo che il sistema primario contenga le seguenti funzioni : – A ( n) = vedo blu all’istante n . B ( n) = Vedo rosso all’istante n . Schermata 2014-03-12 alle 18.07.16 traduzione C ( n) = Tra n-1 e n sento i miei occhi aperti . D ( n) = Tra n-1 e n sento i miei occhi chiusi. E ( n) = muovo un passo avanti all’istante n . F ( n) = mi sposto di un passo indietro all’istante n . 1 [ L’esempio sembra futile, quindi provo a inventarne uno migliore; ma in realtà mette in evidenza alcuni buoni punti, che sarebbe difficile altrimenti evidenziare. Esso può tuttavia non considerare alcuni punti che prenderemo in considerazione più avanti. Un difetto in tutti gli esempi di Nicod è che non danno un mondo esterno in cui qualche cosa accade. – F. P. R. ] e così costruiamo una teoria nel modo seguente: Per prima cosa m sarà sottinteso che prendendo esclusivamente i valori 1 , 2 , 3, Schermata 2014-03-07 alle 20.49.55 traduzione Questa teoria si può dire che rappresenti me che si muove tra 3 luoghi, essendo ‘ avanti ‘ nella direzione ABCA, ‘ indietro’ nella direzione ACBA. Il luogo A è sempre blu, il luogo B alternativamente blu e rosso, il luogo C blu o rosso in base a una legge che non ho scoperto. Se i miei occhi sono aperti vedo il colore del posto in cui mi trovo, se sono chiusi non vedo nessun colore. Le leggi risultanti dalla teoria possono essere espresse come segue: Schermata 2014-03-07 alle 20.53.27 ( 21) ( 2) con C e D invertiti Definiamo che 0 (n1 , n2 ) significa 1 2 Schermata 2014-03-07 alle 20.55.53 traduzione Questi possono poi essere confrontati con gli assiomi e il dizionario, e non c’è dubbio che per una normale intelligenza gli assiomi e il dizionario forniscono le leggi in una forma più gestibile. Mettiamo ora tutto in forma matematica , scrivendo Schermata 2014-06-22 alle 21.36.54 traduzione Schermata 2014-03-12 alle 18.48.16 traduzione Invece di α ( n , m ) abbiamo  α ( n) una funzione che assume i valori 1, 2, 3 Invece di β ( n , m ) abbiamo β ( n , m )  una funzione che assume i valori 1 , -1 Invece di γ ( n ) abbiamo  γ ( n ) una funzione che assume i valori   1 ,  0 I nostri assiomi sono proprio Schermata 2014-03-07 alle 21.04.05 Schermata 2014-03-07 alle 21.04.11 Di questi ( 1) ( 4) ( 5) difficilmente contano in quanto si limitano a dire quali valori le funzioni sono in grado di assumere. Le nostre definizioni diventano . Schermata 2014-03-07 alle 21.04.18 traduzione Le nostre leggi sono , naturalmente, che φ , χ , ψ devono essere tali che α , β , γ debbono soddisfare 1-5 , i- iii . Passando attraverso le vecchie leggi che invece avevamo Schermata 2014-03-07 alle 21.04.25 traduzione Schermata 2014-03-07 alle 21.08.10 Finora abbiamo mostrato solo la formazione delle leggi; le conseguenze sorgono quando si aggiunge agli assiomi una proposizione che coinvolge ad esempio un particolare valore di n, da cui possiamo dedurre proposizioni nel sistema primario non della forma ( n) . . . Noi chiamiamo queste le conseguenze. Se la prendiamo nella sua forma matematica possiamo spiegare l’idea di una teoria come segue: Invece di dire semplicemente ciò che sappiamo circa i valori delle funzioni con le quali siamo interessati, diciamo che esse possono essere costruite in un definito modo reso noto dal dizionario di funzioni che soddisfano determinate condizioni date dagli assiomi. Tale è allora un esempio di una teoria; prima di andare a discutere in modo sistematico le diverse caratteristiche dell’esempio e se si verificano in qualsiasi teoria, prendiamo alcune domande che potrebbero essere poste sulle teorie e vedere come verrebbero risolte nel presente caso. 1. Possiamo dire qualche cosa nel linguaggio di questa teoria che non potremmo dire senza di essa? Ovviamente no; perché si possono facilmente eliminare le funzioni del secondo sistema e così dire nel sistema primario tutto ciò che questa teoria ci fornisce. 2 . Possiamo riprodurre la struttura della nostra teoria per mezzo di definizioni esplicite all’interno del sistema primario? [ Questa domanda è importante perché Russell , Whitehead , Nicod e Carnap sembrano tutti supporre che possiamo e dobbiamo farlo.1 ] Qui ci sono alcune distinzioni da fare. Potremmo, per esempio, ragionare come segue. Supponendo che le leggi e le conseguenze siano vere, i fatti del sistema principale devono essere tali da consentire che le funzioni siano definite con tutte le proprietà di quelle del sistema secondario, e queste fornire la soluzione del nostro problema. Ma il problema è che le leggi e le conseguenze possono essere rese vere da un numero di differenti insiemi di fatti, che corrispondono a ciascuno di quelli per cui potremmo avere definizioni diverse. Così che il nostro problema di trovare un unico insieme di definizioni che rendono il dizionario e gli assiomi veri quando le leggi e le conseguenze sono vere, è ancora irrisolto. Possiamo, tuttavia, allo stesso tempo risolverlo formalmente, scindendo gli insiemi di definizioni precedentemente ottenute; cioè se i vari insiemi di fatti che soddisfano le leggi e le conseguenze sono P1 , P2 , P3 , e le corrispondenti definizioni di α ( n , m ) sono α( n , m ) = L1 { A, B , C. . . , N , m } L2 { A, B , C , . . , N , m } ecc. poniamo la definizione α ( n , m ) = P1 ⊃ L1 { A , B , C . . . n , m } . P2 ⊃ L2 { A , B , C . . . n , m } . eccetera. Tale definizione è formalmente valida e soddisfa evidentemente le nostre richieste. 1 Jean Nicod , La Géométrie dans le Monde Sensible (1924), tradotto nei suoi Problems of Geometry and Induction (1930): Rudolf Carnap, Der Logische  Aufbau der Welt (1928) . Quello che può essere contestato a questo è la complessità e l’arbitrarietà, dal momento che L1, L2 . . . probabilmente possono essere scelti ciascuno in molti modi . Inoltre assume esplicitamente che il nostro sistema primario è finito e contiene un numero definito di proposizioni atomiche assegnabili. Vediamo dunque quali altri modi di procedere ci siano. Potremmo a prima vista supporre che la chiave stia semplicemente nel dizionario; questo dà le definizioni di A , B , C . . . in termini di α , β , γ . . . Possiamo invertirlo per ottenere le definizioni di α , β , γ . . . in termini di A , B , C . . . ? O, in forma matematica, non possiamo risolvere le equazioni di α , β , γ . . . in termini di φ , χ , ψ . . . , comunque, se si aggiungono al dizionario, come possiamo legittimamente, quelle leggi e assiomi che semplicemente definiscono quali valori le funzioni sono in grado di assumere? Quando, però, osserviamo quelle equazioni ( i) , ( ii ) , ( iii ) ciò che troviamo è questo: Se trascuriamo le limitazioni nei valori delle funzioni che possiedono una soluzione integrale a condizione che γ ( n) può essere trovata da ( ii ) in modo da essere sempre un fattore di φ ( n ), cioè in generale sempre essere ± 1 o 0 e mai annullarsi a meno che φ ( n ) si annulli. Questo è, ovviamente, solo vero in virtù delle condizioni previste per φ e χ dalle leggi; assumendo queste leggi e la limitazione sui valori, otteniamo la soluzione Schermata 2014-03-08 alle 12.05.28 traduzione E per β ( n , m) nessuna soluzione definitiva, ma ad esempio la banale β ( n , m) = φ ( n ) ( assumendo γ ( n ) = 1 o 0 ). Qui C2 deve essere scelto in modo da rendere γ ( n ) sempre 1 o 0, e il valore necessario per questo scopo dipende dai fatti del sistema primario e non può essere dedotto semplicemente dalle leggi. Deve infatti essere uno o zero: ( a) Se vi è almeno un n positivo o zero n per cui χ ( n ) ≠ 0, secondo che χ ( n) per questo n è -1 o + 1. ( b ) Se vi è almeno un n negativo per cui χ ( n ) ≠ 0 , secondo che χ (n) per questo n è + 1 o -1 . ( c ) Se per nessun n  χ ( n ) ≠ 0 non importa se C2 è  + 1 o -1 . Abbiamo così una definizione disgiuntiva di C2 e così di γ ( n) . Anche in questo caso anche se qualsiasi valore di C1 soddisferà le limitazioni del valore di α ( n ) , probabilmente solo uno di questi soddisferà gli assiomi, e questo valore dovrà nuovamente essere definito disgiuntamente. In terzo luogo, β ( n , m ) non è affatto fissato dalle equazioni, e sarà una questione complessa in cui dovremo nuovamente distinguere alcuni casi, come dire quale delle tante soluzioni possibili di β ( n , m ) soddisferà gli assiomi. Si conclude quindi che non vi è né in questo caso né in generale alcun modo semplice di invertire il dizionario in modo da ottenere sia un’unica o una soluzione ovviamente superiore che soddisferà anche gli assiomi, la ragione di questo si trova parzialmente nelle difficoltà di dettaglio nella soluzione delle equazioni, in parte nel fatto che il sistema secondario ha una molteplicità maggiore, ossia più gradi di libertà, rispetto al primario. Nel nostro caso il sistema primario contiene tre funzioni di una variabile, il secondario virtualmente cinque [ β ( n , 1 ) , β ( n , 2 ) , β ( n , 3 ) , α ( n ), γ ( n ) ] ciascuna che assume 2 o 3 valori, e un tale incremento di molteplicità è, credo, una caratteristica universale delle teorie utili. Poiché, dunque, il solo dizionario non è sufficiente, il prossimo promettente metodo è quello di utilizzare sia il dizionario e gli assiomi in un modo che viene definito in molte ordinarie discussioni delle teorie quando si dice che il significato di una proposizione sul mondo esterno è quello che dovremmo normalmente considerare come criterio o esame della sua verità Ciò suggerisce che dovremmo definire le proposizioni del sistema secondario dai criteri nel sistema primario . Nel seguire questo metodo dobbiamo prima distinguere il criterio sufficiente di una proposizione dal suo criterio necessario. Se p è una proposizione del sistema secondario, noi intendiamo per suo criterio sufficiente, σ ( p ) , la disgiunzione di tutte le proposizioni q del sistema primario in modo tale che p è una conseguenza logica di q insieme con il dizionario e gli assiomi, e tale che ~ q non è una conseguenza del dizionario e assiomi. 1 D’altra parte, dal criterio necessario di p, τ ( p ) noi intendiamo la congiunzione di tutte quelle proposizioni del sistema primario che seguono da p assieme al dizionario e agli assiomi. 1 Le leggi e le conseguenze non hanno bisogno di essere aggiunte, in quanto esse derivano dal dizionario e dagli assiomi. Si potrebbe pensare, tuttavia, che dovremmo prenderle invece degli assiomi, ma è facile vedere che questo aumenterebbe solo la divergenza tra criteri sufficienti e necessari e in generale le difficoltà del metodo. L’ ultima clausola potrebbe essere posta come che ~ q non deve seguire da o essere una legge o conseguenza. Possiamo chiarire il collegamento di σ ( p ) e τ ( p ) come segue. Considerate tutte le possibilità di verità delle proposizioni atomiche nel sistema primario che sono compatibili con il dizionario e gli assiomi. Indichiamo tale verità possibile con r, il dizionario e gli assiomi con a. Quindi σ ( p ) è la disgiunzione di ogni r tale che Schermata 2014-03-08 alle 12.19.06 traduzione Se indichiamo con L la totalità delle leggi e delle conseguenze, cioè la disgiunzione di ogni r qui in questione, allora abbiamo evidentemente Schermata 2014-03-08 alle 12.21.18 Schermata 2014-03-08 alle 13.37.26 Abbiamo anche Schermata 2014-03-08 alle 13.37.37 perché p1 . p2 segue da q quando e solo quando p1 e p2 entrambe seguono. Donde, o allo stesso modo, si ottiene la coppia Schermata 2014-03-08 alle 13.37.45 Abbiamo anche Schermata 2014-03-08 alle 13.37.53 (Si consideri l’r di cui sopra.) Schermata 2014-03-08 alle 13.37.59 traduzione e da ( vi) , ( ii ) , ( iii ). Schermata 2014-03-08 alle 13.38.07 Infine abbiamo Schermata 2014-03-08 alle 13.38.14 Poiché se q deriva o da p1 o da p2 questo segue da p1 v p2 , e la coppia Schermata 2014-03-08 alle 13.38.21 D’altra parte, e questo è un punto molto importante, gli opposti di (vi) – ( xi )non sono in generale veri. Illustriamo questo prendendo ( x ) e considerando questa ‘ r’ : Schermata 2014-03-08 alle 13.38.27 Schermata 2014-03-08 alle 13.52.47 vale a dire che gli occhi dell’uomo sono aperti solo una volta quando vede blu. Da questo possiamo dedurre α ( 0 , 2 ) v α ( 0 , 3) Schermata 2014-03-08 alle 13.52.54 traduzione Ma non possiamo dedurlo da α ( 0 , 2 ) o α ( 0 , 3 ), poiché è ugualmente compatibile con entrambi. Quindi né σ { α ( 0 , 2 ) } né σ { α ( 0 , 3) } è vero. Quindi non abbiamo Schermata 2014-03-08 alle 13.53.01 Ne consegue che non possiamo dare definizioni come questa, se p è un qualsiasi proposizione del sistema secondario, p in virtù delle definizioni rappresenterà σ ( p ) [ o, in alternativa τ ( p ) ], perché se p1 è definito per significare σ ( p1 ), p2  per significare σ ( p2 ) , p1 v p2 significherà σ (p1) v σ (p2), che non è, in generale, lo stesso di σ (p1 v p2 ). Possiamo quindi usare σ solo per definire alcune delle proposizioni dei sistemi secondari, che potremmo chiamare proposizioni secondarie atomiche, da cui seguirebbero i significati delle altre. Ad esempio, prendendo le nostre funzioni α , β , γ potremmo procedere come segue : γ ( n ) è definito come A ( n ) v B ( n ), dove non ci sono difficoltà per A ( n ) v B ( n ) ≣ σ { γ ( n ) } ≣ τ {γ ( n ) } . β ( n , m) potrebbe essere definita che rappresenti σ { β ( n, m ) }, cioè dovremmo dire che il luogo di m era ‘ blu’ all’istante n, solo se ci fosse la prova che lo era. Altrimenti dovremmo dire che non era ‘blu’ ( ‘rosso’ nel linguaggio comune ). Schermata 2014-03-08 alle 13.53.09 traduzione In questo caso diremmo che m era ‘ blu’ ogni volta che non vi era alcuna prova che non lo fosse; questo potrebbe, però, essere stato ottenuto per mezzo di σ se avessimo definito che β ( n , m ) fosse ~ β’ ( n , m ) , e β ‘ ( n , m ) che fosse σ { β ‘ ( n , m ) } , cioè σ applicato a Schermata 2014-03-08 alle 14.34.25 invece che a β . In generale, è chiaro che τ dà sempre quello che potrebbe essere ottenuto applicando σ all’opposto, e possiamo limitare la nostra attenzione a σ. Ciò determina, però, una effettiva differenza se definiamo β o Schermata 2014-03-08 alle 14.34.25 mediante σ, soprattutto in relazione alla posizione 3. Perché non abbiamo alcuna legge per i valori di β ( n , 3 ), né alcun modo di dedurne una tranne quando α ( n , 3) è vero e A ( n) o B ( n ) è vera. Se definiamo β ( n , 3) essere σ { β ( n , 3 ) } , diremo che 3 non è mai blu tranne quando osserviamo che lo sia; se definiamo Schermata 2014-03-08 alle 14.34.25( n , 3) essere      σ{        ( n , 3) } diremo che è sempre blu tranne quando osserviamo che non lo è. Venendo ora ad α ( n , m ) potremmo definire Schermata 2014-03-08 alle 14.38.58 e noi dovremmo per ogni n avere una e una sola α ( n , 1 ) , α ( n , 2 ) , α ( n , 3) vera: mentre se mettiamo semplicemente α ( n , m) = σ { α ( n , m ) } , questo non seguirebbe, poiché σ { α ( n , 1 ) } , { σ (α( n , 2 ) } , { σ ( α (n , 3 ) } potrebbero benissimo essere tutti falsi. Schermata 2014-03-08 alle 14.39.14 traduzione Naturalmente in tutte queste definizioni dobbiamo supporre σ { α ( n , m ) } ecc., sostituito da ciò che nel calcolo troviamo che sia. Così come sono le definizioni sembrano circolari, ma non lo sono se interpretato in questo modo. Per esempio σ { α ( n , 1 ) } è L , cioè le leggi ( 1 ) – ( 5) insieme con Schermata 2014-03-08 alle 14.43.55 Tali allora sembrano essere le definizioni a cui siamo portati dalla frase comune che il significato di una affermazione nel secondo sistema è dato dalla sua regola nel primo. E’ quello di cui abbiamo bisogno? Quello che vogliamo è che, con l’uso di queste definizioni, gli assiomi e il dizionario dovrebbero essere veri quando la teoria è applicabile, vale a dire ogni volta che le leggi e le conseguenze sono veri; cioè che interpretati per mezzo di queste definizioni, gli assiomi e il dizionario deriverebbero dalle leggi e dalle conseguenze. E ‘ facile vedere che essi non derivano in questo modo. Prendete per esempio l’ultimo assioma a pag. 216: Schermata 2014-03-08 alle 14.44.09 che significa che in base alle nostre definizioni Schermata 2014-03-08 alle 14.44.15 che è manifestamente falso, perché se, come è perfettamente possibile, l’uomo non ha mai aperto gli occhi nella posizione 2, sia σ { β ( n , 2) } sia { β σ ( n + 1 , 2) } saranno false. [La definizione con τ non è migliore, poiché τ { β ( n , 2) } e τ ( β ( n + 1 , 2) ) sarebbero entrambe vere.] Questa linea di ragionamento è tuttavia esposta ad un’obiezione delle seguenti specie : Se adottiamo queste definizioni è vero che gli assiomi non deriveranno dalle leggi e dalle conseguenze, ma in realtà non è necessario che lo debbano. Perché le leggi e le conseguenze non possono rappresentare l’intera empirica (cioè il sistema primario ) base della teoria. È, per esempio, compatibile con le leggi e con le conseguenze che l’ uomo non avrebbe mai aver avuto gli occhi aperti nella posizione 2; ma come avrebbe allora potuto mai formulare questa teoria con la legge peculiare dell’alternanza che egli attribuisce alla posizione 2? Quello che vogliamo per costruire la nostra teoria per mezzo di definizioni esplicite, non è che gli assiomi deriverebbero solo dalle leggi e dalle conseguenze, ma da queste insieme con alcune proposizioni esistenziali del sistema primario che rappresentano le esperienze che l’uomo deve aver avuto per essere in grado con una qualche dimostrazione della ragione di formulare la teoria. Sebbene questa obiezione è ragionevole nel caso presente, questo può essere osservato prendendo una teoria leggermente più complicata per non procacciarci nessuna soluzione generale della difficoltà; vale a dire, tali proposizioni come possono in questo modo essere aggiunte alle leggi e alle conseguenze non fornirebbero sempre una base sufficiente per gli assiomi. Per esempio, si supponga che la teoria prevedesse un intero sistema di luoghi identificati dalle sequenze di movimento necessarie per passare dall’uno all’altro, e si trovasse e fosse incorporata nella teoria che il colore di ciascun luogo seguisse un complicato ciclo, lo stesso per ogni luogo, ma che i luoghi differiscono l’uno dall’altro per la fase di questo ciclo secondo nessuna legge accertabile. Chiaramente una tale teoria potrebbe essere ragionevolmente formata da un uomo che non avesse avuto gli occhi aperti in ciascun luogo, e non aveva motivi per pensare che egli dovesse mai aprire gli occhi in tutti i luoghi oppure che li dovesse visitare completamente. Supponiamo allora che m sia un luogo dove non è stato mai, e che β ( n , m ) sia una funzione del secondo sistema, con il significato che che m è blu in n; quindi a meno che non conosca la fase di m, non possiamo mai avere σ { β ( n , m ) }, ma se ad esempio il ciclo dà un colore blu una volta su sei, dobbiamo avere da un assioma β (0 , m ) v β (1, m) v . . . v β ( 6 , m ). Abbiamo, quindi, solo la stessa difficoltà di prima . Se, dunque, la nostra teoria deve essere costruita da definizioni esplicite, queste non possono essere semplici definizioni mediante σ ( o τ ) , ma devono essere più complicate. Per esempio , per quanto riguarda la posizione 2 nel nostro esempio originale possiamo definire Schermata 2014-03-08 alle 16.21.57 traduzione Cioè se non sappiamo quale fase sia, si suppone che sia una certa fase, comprendendo questa ‘ assunzione ‘ nella nostra definizione. Ad esempio assumendo che la fase sia blu pari, rosso dispari, intendiamo che abbiamo motivo di pensare che sia questa; assumendo che la fase sia blu dispari, rosso pari, noi intendiamo che non abbiamo motivo di pensare che lo sia, ma solo che non abbiamo motivo di pensare il contrario. Ma in generale le definizioni dovranno essere molto complicate; dovremo, al fine di verificare che siano complete, passare attraverso tutti i casi che soddisfano le leggi e le conseguenze (insieme con qualsiasi proposizioni del sistema primario pensiamo corretto assumere) e verificare che in ogni caso le definizioni soddisfino gli assiomi, in modo che alla fine arriveremo a qualcosa di molto simile alle definizioni disgiuntive generali con cui abbiamo iniziato questa discussione (p. 220). Nella migliore delle ipotesi avremo disgiunzioni con un minor numero di termini e una maggiore coerenza e unità nella loro costruzione; quanto dipenderà dal caso particolare. Abbiamo potuto vedere immediatamente che (in un sistema finito) tali definizioni sono sempre possibili, e per mezzo di τ σ e non abbiamo raggiunto nessuna reale semplificazione. 3. Abbiamo visto che possiamo sempre riprodurre la struttura della nostra teoria per mezzo di definizioni esplicite. La prossima domanda è ‘ questo è necessario per l’uso corretto della teoria? ‘ La risposta a questo sembra evidente che non può essere necessario, o una teoria sarebbe del tutto inutile. Invece di dare tutte queste definizioni sarebbe più semplice lasciare i fatti, le leggi e le conseguenze nella lingua del sistema primario. Anche l’arbitrarietà delle definizioni rende impossibile per esse di essere adeguate alla teoria come qualcosa in processo di crescita. Per esempio, la nostra teoria non dà alcuna legge per il colore del luogo 3; dovremmo, quindi, nel costituire la nostra teoria in definizione esplicita, definire il luogo 3 di essere rosso a meno che fosse osservato essere blu (o viceversa). Una ulteriore osservazione potrebbe ora portarci ad aggiungere alla nostra teoria un nuovo assioma circa il colore del luogo 3 fornendo, per dire, un ciclo che esso segue; questo apparirebbe semplicemente come un’aggiunta agli assiomi, essendo gli altri assiomi e il dizionario inalterati. Ma se la nostra teoria era stata costruita con definizioni esplicite, il nuovo assioma non sarebbe vero se non avessimo cambiato le definizioni, perché dipenderebbe da una ben diversa assegnazione dei colori al luogo 3 nel tempo, quando era stato inosservata dal nostro vecchio assioma (che lo poneva sempre rosso in quegli istanti), o addirittura da qualsiasi vecchio assioma, salvo quello prescritto esattamente dal nostro nuovo assioma, che non avremmo mai trovato per utilizzarlo nelle nostre definizioni a meno che non avessimo conosciuto già il nuovo assioma. Vale a dire, se si procede per definizione esplicita non possiamo aggiungere alla nostra teoria senza modificare le definizioni, e quindi il senso dell’insieme. [ Ma sebbene l’uso di definizioni esplicite non può essere necessario, è, penso, istruttivo il considerare (come abbiamo fatto ) come tali definizioni potrebbero essere costruite, e da quali possibilità dipenda di renderle semplici. Anzi penso che questo sia fondamentale per una comprensione completa del soggetto.] 4 . Assumendo allora che le definizioni esplicite non siano necessarie, come possiamo spiegare il funzionamento della nostra teoria senza di esse?   Chiaramente in tale teoria è coinvolto un giudizio, e i giudizi in questione potrebbero essere dati dalle leggi e dalle conseguenze, essendo la teoria semplicemente un linguaggio di cui sono vestiti, e che possiamo usare senza elaborare le leggi e le conseguenze. Il modo migliore per scrivere la nostra teoria sembra essere questo ( ∃ α , β , γ ) : dizionario.assiomi. Essendo il dizionario in forma di equivalenze. Qui è evidente che α , β , γ vengono presi puramente estensionalmente. Le loro estensioni possono essere riempite con intensioni o meno, ma questo è irrilevante per quanto dedotto nel sistema primario. Qualsiasi integrazioni alla teoria, sia sotto forma di nuovi assiomi o di particolari affermazioni come α ( 0 , 3 ), devono essere effettuate nell’ambito degli originali α, β , γ . Esse non sono, quindi, strettamente proposizioni da sole proprio come le diverse frasi in una storia che inizia con ‘ C’era una volta ‘ non hanno significati completi e quindi non sono proposizioni esse stesse. Questo rende insieme una differenza teoretica e pratica : ( a) Quando cerchiamo il significato di esempio di α ( 0 , 3) può essere fornito solo quando sappiamo a quale insieme di ‘proposizioni’ del primo e del secondo sistema α ( 0 3 ) deve essere aggiunto. Quindi il significato è la differenza tra il primo sistema tra ( ∃ α , β , γ ) : insieme . α ( 0 , 3 ) , e ( ∃ α , β , γ ) . insieme. (Includiamo proposizioni del sistema primario nel nostro insieme, anche se queste non contengono α , β , γ.) Questa considerazione rende α ( 0 , 3) che significa qualcosa di simile a quello che abbiamo chiamato prima τ { α ( 0 , 3 ) } , ma in realtà è la differenza tra τ { α ( 0 , 3) + insieme } e τ ( insieme). ( b) In pratica, se ci poniamo la domanda: ” È α ( 0 , 3) vero? “, Dobbiamo adottare un atteggiamento piuttosto diverso da quello che dovremmo adottare per una vera e propria proposizione. Perché noi non aggiungiamo α ( 0 , 3) al nostro insieme ogni volta che pensiamo che potremmo in verità farlo, cioè ogni volta che supponiamo ( ∃ α , β , γ ) : insieme. α ( 0 , 3) essere vero. ( ∃ α , β , γ ) : insieme .  Schermata 2014-03-08 alle 16.52.18potrebbe anche essere vero . Dobbiamo pensare a cos’altro potremmo aggiungere al nostro insieme, o sperare di aggiungere, e valutare se α ( 0 , 3) soddisferebbe eventuali ulteriori integrazioni meglio di  Schermata 2014-03-08 alle 16.52.18. Ad esempio nella nostra piccola teoria o, β ( n , 3 ) o  potrebbero sempre essere aggiunti a qualsiasi insieme che comprende Schermata 2014-03-08 alle 16.52.40 Ma noi non aggiungiamo né l’uno né l’altro, perché speriamo dai casi osservati di trovare una legge e poi di soddisfare quelli non osservati in base a tale legge, non a casualmente anticipatamente. Finora, tuttavia, per quanto concerne il ragionamento, che i valori di queste funzioni non sono proposizioni complete non fa differenza, purché interpretiamo tutte le combinazione logiche come operanti nell’ambito di un singolo prefisso ( ∃ α , β , γ ) , ad esempio Schermata 2014-03-08 alle 16.52.53 traduzione Perché noi possiamo ragionare su i personaggi di una storia altrettanto bene come se fossero identificati nella realtà, purché non prendiamo parte di quello che diciamo da una storia, parte da un’altra. Possiamo dire, quindi, che l’incompletezza delle ‘proposizioni’ del sistema secondario influisce sulle nostre controversie, ma non sul nostro ragionare. 5 . Questa menzione sulle ‘controversie’ ci conduce alla importante questione dei rapporti tra teorie. Che cosa si intende parlando di teorie equivalenti o contraddittorie? o dire che una teoria è contenuta in un’altra, ecc. ? In una teoria dobbiamo distinguere due elementi: ( 1) Che cosa afferma : il suo significato o il suo contenuto . ( 2 ) La sua forma simbolica . Due teorie sono definite equivalenti se hanno lo stesso contenuto, contraddittorie se hanno contenuti contraddittori, compatibili se i loro contenuti sono compatibili, e la teoria A è detta contenuta nella teoria B se il contenuto di A è contenuto nella materia trattata da B. Se due teorie sono equivalenti, ci possono essere maggiori o minori somiglianza tra le loro forme simboliche. Questo tipo di somiglianza è difficile se non impossibile da definire con precisione. Si potrebbe pensare possibile definire un determinato grado di somiglianza mediante la possibilità di definire le funzioni di B in termini di quelle di A, o viceversa; ma questo non ha alcun valore senza alcuna restrizione sulla complessità delle definizioni. Se permettiamo definizioni con qualsiasi grado di complessità, allora, almeno nel caso finito, questa relazione diventa semplicemente una equivalenza. Perché ogni insieme di funzioni può essere definita nei termini del sistema primario e quindi di quelle dell’altro sistema secondario attraverso il dizionario. Due teorie possono essere compatibili senza essere equivalenti, cioè un insieme di fatti potrebbe scoprirsi che concorda con entrambe, e un’altro insieme che anche concorda con uno ma non con un altro. I seguaci di tali due teorie potrebbero benissimo disputare, sebbene né l’uno né l’altro affermino qualcosa che l’altro nega. Per una disputa non è necessario che un contendente affermi p, l’altro Schermata 2013-11-24 alle 21.04.13.  E’ sufficiente che uno affermi qualcosa che l’altro si astiene dall’asserire. Ad esempio uno dice ‘ Se piove, Cambridge vincerà ‘ , l’ altro dice ‘ Anche se piove, perderà ‘. Ora, assunte come implicazioni materiali (come dobbiamo da questo punto di vista scientifico), queste non sono incompatibili, perché se non piove entrambe sono vere. Eppure ognuno può mostrare motivi per la propria convinzione e la mancanza di motivazione per il suo rivale. La gente a volte si domanda se una ‘ proposizione ‘ del sistema secondario ha qualche significato. Possiamo interpretare questo come la domanda se una teoria in cui questa proposizione è stata negata sarebbe equivalente a quello in cui essa fosse affermata. Ciò dipende naturalmente da che altro si ritiene che la teoria debba contenere; per esempio, nel nostro esempio β ( n , 3 ) è senza senso accoppiata con Schermata 2014-03-08 alle 18.04.29Ma non accoppiata così non è priva di significato, in quanto allora escluderebbe il mio vedere rosso in certe circostanze, mentre Schermata 2014-03-08 alle 16.52.31 escluderebbe il mio vedere blu in queste circostanze. E‘ possibile che tali circostanze si avverino, e quindi che le teorie non siano equivalenti. Nel linguaggio del realismo diciamo che si potrebbe osservare, o meglio, dovrebbe essere osservato (poiché ‘potrebbe ‘ implica una dipendenza dalla nostra volontà, che è spesso il caso, ma irrilevante), ma non che sarà osservato. Anche accoppiato con Schermata 2014-03-08 alle 18.04.29, β ( n , 3) potrebbe ricevere un significato più avanti se abbiamo aggiunto alla nostra teoria qualche legge circa il colore del 3. [ Anche se poi di nuovo β ( n , 3) sarebbe probabilmente una conseguenza o una contraddizione con il resto: dovremmo allora, penso, dire che deve avere un significato in quanto ad esempio β ( n , 3) darebbe una teoria, Schermata 2014-03-08 alle 16.52.31 una contraddizione.] E ‘ molto rilevante per questa domanda se le proposizioni abbiano un significato, non soltanto quali assiomi generali includiamo nella nostra teoria, ma anche quali proposizioni particolari. Ha significato dire che la parte posteriore della luna ha una superficie di formaggio verde? Se la nostra teoria ammette la possibilità che potremmo andare là o scoprirlo in qualsiasi altro modo, allora ha un senso. Se no, no; cioè la nostra teoria della luna è molto importante, non solo la nostra teoria degli oggetti in generale. 6 . Potremmo chiederci: in che tipo di teorie ogni ‘ proposizione ‘ del sistema secondario ha significato in questo senso? Non posso rispondere a questa domanda con proprietà, ma solo molto vagamente e in modo incerto, né credo che sia molto importante. Se la teoria è il corrispondere ad un effettivo stato di conoscenza deve contenere le traduzioni tramite il dizionario di molte proposizioni particolari del sistema primario. Queste, quasi certamente, impediranno a molte ‘ proposizioni ‘ del sistema secondario di avere un significato diretto. Ad esempio se si afferma nella teoria che all’istante n io sono nel luogo 1, allora per il luogo 2 di essere blu in quell’istante n potrebbe non avere alcun significato diretto, né per qualunque luogo molto distante all’istante n + 1. Se allora tali ‘proposizioni’ sono tali da avere del tutto significato, deve essere o perché esse o le loro contraddittorie sono incluse nella teoria stessa ( esse allora significano ‘ niente’ o ‘ contraddizione ‘) o in virtù di assiomi causali che le collegano con altri eventuali fatti primari, dove ‘ possibile ‘ significa non dichiarati nella teoria essere falsi. Questo causalità è, ovviamente, nel secondo sistema, e deve essere prevista nella teoria. Oltre agli assiomi causali in senso stretto che governano la successione temporale, ce ne potrebbero essere altri che governano la disposizione nello spazio che richiedono, per esempio, la continuità e la semplicità. Ma questi possono essere stabiliti soltanto se siamo sicuri che non entreranno in conflitto con l’esperienza futura combinata con gli assiomi causali. In un settore in cui la nostra teoria garantisce questo possiamo aggiungere tali assiomi di continuità. L’assegnare alla natura la direzione più semplice, tranne quando l’esperienza dimostra il contrario è un buon precetto nel costruire una teoria, ma non può essere messo nella teoria nella forma ‘ Natura non facit saltum ‘ tranne quando vediamo  che la natura fa così. Prendete, per esempio, il problema “Esiste un pianeta delle dimensioni e della forma di una teiera? ” Questa domanda ha un senso fino a quando non sappiamo che un esperimento potrebbe definire la questione. Una volta che lo sappiamo questo perde significato, a meno che non lo ripristiniamo con nuovi assiomi, ad esempio, un assioma per le orbite possibili a questi pianeti. Ma qualcuno dirà : “Non è una domanda chiara con onus probandi per la definizione da qualche parte? ” Chiaramente significa ” l’esperienza ci rivelerà un tale tipo di teiera? ” Non credo, perché ci sono tre casi : ( 1) L’esperienza evidenzierà che esiste una tale teiera. ( 2) L’esperienza mostrerà che non esiste una tale teiera. ( 3) L’esperienza non mostrerà nulla . E possiamo distinguere abbastanza bene ( 2) da ( 3) anche se chi fa l’obiezione li confonde. Questa teiera non è in linea di principio diversa da una teiera nella credenza della cucina.

Annunci

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

%d blogger hanno fatto clic su Mi Piace per questo: