Hosle - Fondamenti Matematica in Platone

- C E ^ p D ^ Ü M E R O T D I Ν β β ΐ - ISi E defl’Università Cattolica del Sacro Cuore Largo A. Gemelli, 1 -1-20123 Milano

Comitato scientifico: Adriano Bausola Carla Gallicet Calvetti Alessandro Ghisalberti Virgilio Melchiorre Claudio Moreschini Angelo Pupi Giovanni Reale

Direttori: Adriano Bausola Giovanni Reale

Collana: «Temi metafisici e problemi del pensiero antico. Studi e testi» diretta da Giovanni Reale segretari Roberto Radice Giuseppe Girgenti

Il titolo originale dell’opera è quello italiano L ’autore ha utilizzato i due suoi seguenti saggi precedenti:

— Platons Grundlegung der Euklidizität der Geometrie, «Philologus», 126 (1982), pp. 180-197

— Zu Platons Philosophie der Zahlen und deren mathematischer und philo­ sophischer Bedeutung, «Theologie und Philosophie», 59 (1984), pp. 321-355

Prima edizione italiana: febbraio 1994.

© 1994 Vita e Pensiero - Largo A. Gemelli, 1 - 20123 Milano ISBN 88-343-0555-8

ΜΗΔΕΙΣ

ΑΓΕΩΜΕΤΡΗΤΟΣ

ΕΙΣΙΤΩ.

O li non è geometra non entri. M otto che Platone avrebbe scritto all’ingresso dell’Accademia secondo una tradizione tardoantica.

Prefazione

È con enorme orgoglio e piacere che ho accettato l’invito del prof. Giovanni Reale di pubblicare in italiano due saggi sulla fi­ losofìa della matematica di Platone. L’orgoglio ed il piacere dipendono da tre ragioni. La prima è che il prof. Giovanni Reale è uno dei colleghi in­ temazionalmente più noti e più ammirati nel campo della filoso­ fia antica. A lui non solo dobbiamo fondamentali lavori su quasi tutte le fasi del pensiero antico dai presocratici al tardo platoni­ smo, inclusi naturalmente Platone e Aristotele. A lui spetta il merito di aver comunicato a una cerchia molto più vasta di quanto fosse quella raggiunta dai colleghi tedeschi il nuovo pa­ radigma nella ricerca platonica, paradigma che da lui fu ap­ profondito in maniera essenziale proprio grazie alla sua straordi­ naria conoscenza della tradizione della metafìsica e della cultura greca. Il suo libro Per una nuova interpretazione di Platone è giustamente considerato un modello della saggistica filosofica, un libro che combina il più alto rigore scientifico a mirabili ca­ pacità divulgative. Fa onore al prof. Reale, non meno che alla nazione italiana, il fatto che questo libro in pochi anni sia stato pubblicato undici volte! Che una persona tanto impegnata ab­ bia trovato il tempo per occuparsi di questo mio volume, mi onora profondamente; a lui e all’ottima traduttrice, la dott. Eli­ sabetta Cattanei, che ha snellito con grazia italiana il pesante te­ desco dei miei saggi, sono molto grato. La seconda ragione ha a che fare con l’importanza del nuovo paradigma per la filosofia sistematica. Lungi da essere un dibat­ tito solo di filologi eruditi su un problema spicciolo, la ricerca dell’interpretazione corretta di Platone ha vaste implicazioni per l’autocomprensione della filosofìa odierna. Se si riconosce che il più grande scrittore che la filosofia ha prodotto era un metafisi­ co molto più rigoroso di quanto numerose interpretazioni degli ultimi decenni hanno voluto fare intendere, la rinuncia alla me­ tafìsica come dottrina dei principi diventa più difficile. In più,

se, come si tenta di dimostrare in questi saggi, lo sviluppo della scienza esatta par excellence, della matematica, è profondamente legato al concetto di metafisica peculiare a Platone, il discorso sulla compatibilità della metafìsica con una cultura così forte­ mente dominata da categorie scientifiche come lo è la nostra, as­ sume una nuova dimensione. Almeno nei tempi di crisi delle fondamenta della scienza, il contributo della metafìsica rimane essenziale. Mi sia permesso di terminare nominando la terza ragione del mio piacere, strettamente personale. Nato e cresciuto a Milano da madre milanese e da padre tedesco che insegnava all’Univer­ sità Cattolica, indirizzato allo studio della scienza antica da mio zio prof. Mario Geymonat e dal suo indimenticabile padre Lu­ dovico, allievo a Ratisbona del prof. Imre Tóth ed a Tubinga dei prof. Konrad Gaiser e Hans Krämer, non posso non essere com­ mosso di ritornare nella mia città natale con questi miei saggi, che tanto devono ai maestri appena nominati. Ai miei genitori Carla e Johannes, alle sorelle Clara e Adria­ na, alle zie e agli zìi milanesi tutti più o meno, dedico questo li­ bro con affetto.

Essen, novembre 1993

Vittorio Hösle

Sommario

Introduzione di Giovanni Reale Bibliografìa ragionata delle pubblicazioni di Vittorio Hösle

11 19

PARTE PRIMA PLATONE E I FONDAMENTI DELL’ ARITMETICA

33

I. Osservazioni introduttive. Metodo, tema e piano dell’indagine Π. La filosofìa della matematica di Platone. Aspetti generali ITT La generazione dei numeri in Platone nel suo significato storico IV. La filosofia dei numeri di Platone nel suo significato filosofico e matematico PARTE SECONDA PLATONE E I FONDAMENTI DELLA GEOMETRIA

I. Premessa. La geometria non euclidea e l’Accademia antica Π. I passi non-euclidei nel Corpus aristotelicum ΙΠ. Platone e la fondazione ontologica della geometria euclidea

35 39 49 69

99

101 105 113

BIBLIOGRAFIA E INDICI

139

l.

141 153 157

Indice delle opere espressamente citate o utilizzate Π. Indice degli autori antichi e moderni citati m . Indice analitico della materia trattata

Introduzione di Giovanni Reale

Questo libro che presento è il ventesimo che questa collana pubblica su Platone e sulla storia del Platonismo e dei suoi in­ flussi (in particolare, il dodicesimo dedicato a Platone in manie­ ra specifica) *, ed è assai ricco di novità. Il successo del nuovo paradigma nell’interpretazione di Pla­ tone nelle sue varie articolazioni, indica chiaramente che era giunto il momento di cercare di uscire dalle secche in cui il para­ digma schleiermacheriano si era impelagato. Credo opportuno ricordare al lettore alcuni particolari. I due libri di Krämer hanno avuto ormai molte edizioni12; e così anche i due di Gaiser3. L’opera di Szlezak è in terza edizione4. La mia è giunta alla undicesima edizione (ed e in corso di traduzione in varie lingue)5. Gli stessi commentari ai maggiori dialoghi dialet1Si veda il catalogo delle opere pubblicate inserito nelle ultime pagine di que­ sto volume. . 2 H. Krämer, Platone e i fondamenti della metafisica. Saggtosulla teona det principi e sulle dottrine non scritte di Platone con una raccolta dei documenti fon­ damentali in edizione bilingue e bibliografia. Introduzione e traduzione di G. Reale, Vita e Pensiero, Milano 1982; 1987; 1989; 1993; 1994. Idem, Dialettica * definizione del Bene in Platone. Interpretazione e commentario storico-filosofico di «Repubblica» VU 534 B 3-D 2. Introduzione di G. Reale, traduzione di E. Peroli, Vita e Pensiero, Milano 1989l'2; 1993 3. . 3 K. Gaiser, La metafisica della storia in Platone. Con un saggio sulla teoria det principi e una raccolta in edizione bilingue det testi platonici sulla storia. Introdu­ zione e traduzione di G. Reale, Vita e Pensiero, Milano 1988; 1991 2; ristampa 1992. Idem, Doro della sapienza. Sulla preghiera delfilosofo a conclusione del «Fe­ dro» di Platone. Introduzione e traduzione di G. Reale, Vita e Pensiero, Milano 1990; 1992 « , , . . 4 Th. A. Szlezak, Platone e la scrittura della filosofia. Analist dt struttura det dialoghi della giovinezza e della maturità alla luce di un nuovo paradigma ermeneu­ tico. Introduzione e traduzione di G. Reale, Vita e Pensiero, Milano 1988; 1989; 1992. 3 G. Reale, Per una nuova interpretazione di Platone. Rilettura della metafisica dei grandi dialoghi alla luce delle «dottrine non scritte», CusL Milano 1984; Vita e Pensiero, Milano 19873*; 199110(stesura definitiva); 199311. È già uscita l’edizione

121

tici finora pubblicati, pur essendo molto tecnici, sono stati ac­ colti con grande favore: quello di Giancarlo Movia al Sofista è già in secon d a e d iz io n e *678; q u elli di M aurizio M ig lio ri al Parmenide1 e al Filebos stanno esaurendosi ed è prevista una se­ conda edizione già nel corso di quest’anno9. Certo, malgrado questi successi, sono ancora numerosi gli av­ versari del nuovo paradigma nell’interpretazione di Platone. Ma si tratta di quegli avversari che Thomas Kuhn, nel suo celebre li­ bro La struttura delle rivoluzioni scientifiche, aveva caratterizzato in modo esemplare come i nemici che sono tali per ragioni strut­ turali dei nuovi paradigmi nell’ambito delle varie scienze. Si tratta, precisamente, di quegli studiosi per lo più non giovani, legati per doppia mandata al paradigma nel quale si sono forma­ ti, e quindi avversi a tutte quelle novità che ne mettono in crisi i concetti e le strutture di base10. In particolare, gli avversari del nuovo paradigma per l’inter­ pretazione di Platone sono di due tipi molto diversi fra di loro. Da un lato stanno i puri filologi, legati a certe forme di iperrazionalismo di radici positivistiche. Secondo costoro, ciò che non si legge come espressamente detto nei dialoghi platonici, non può essere platonico. Quello che ci viene detto dalla tradi­ zione indiretta sulle dottrine non scritte di Platone non illumina e non chiarisce i dialoghi, ma li inquina e ne complica la com­ prensione. Ovviamente, costoro non tengono nel ben che mini­ tedesca (Editore Ferdinand Schöningh, Paderborn 1993). 6 G. Movia, Apparenze, essere e verità. Commentario storico-filosofico al «Sofi­ sta» di Platone. Prefazione di H. Krämer, introduzione di G. Reale, Vita e Pensie­ ro, Milano 1991; 1994. 7 M. Migliori, Dialettica e Verità. Commentario filosofico al «Parmenide» di Platone. Prefazione di H. Krämer, introduzione di G. Reale, Vita e Pensiero 1990. 8 M. Migliori, L'uomo fra piacere, intelligenza e Bene. Commentario storico-fi­ losofico al «Pilebo» di Platone. Introduzione di Th. A. Szlezak, Vita e Pensiero Milano 1993. 9 Un’ottima accoglienza hanno avuto anche i lavori di M. Erler, Il senso delle aporie net dialoghi di Platone. Esercizi di avviamento al pensiero filosofico. Intro­ duzione di G. Reale, traduzione di C. Mazzarelli, Vita e Pensiero, Milano 1991; e di K. Albert, Sul concetto difilosofia in Platone. Edizione italiana a cura di P. Tra­ verso, intr. di G. Reale, Vita e Pensiero, Milano 1991. 10Si veda quanto dico a questo proposito nei primi due capitoli del mio libro Per una nuova interpretazione di Platone.

*V mo conto la rivoluzione culturale, che all’epoca di Platone giun­ geva ormai al suo momento conclusivo, con la relativa tensione dinamica fra i due poli opposti della oralità e della scrittura. Essi sono convinti, in particolare, che il giudizio che si può dare sulla scrittura sia solamente quello che può dare 1 uomo moderno, che si è formato appunto sulla base della cultura della scrittura. Dal lato opposto stanno alcuni teoreti, i quali accettano come valido ciò che ad essi risulta vero secondo le categorie del loro sistema, e quindi pensano che Platone non possa venir letto se non nell’ottica del loro stesso sistema, con tutta una serie di con­ seguenze che da questo derivano. Molto interessante è, poi, un certo gioco incrociato che alcu­ ni hanno fatto. Certi teoreti hanno rimosso le questioni delle dottrine non scritte, giudicandole mere questioni «filologiche» e non «filoso­ fiche» in senso stretto, o comunque assai poco significative nei confronti della imponente testimonianza degli scritti. Oppure, certi altri teoreti hanno affermato che, ammesso anche che le dottrine non scritte abbiamo un fondamento storico, non sono interessanti dal punto di vista speculativo, in quanto ciò che da esse si ricava è nettamente inferiore a ciò che si ricava dagli scrit­ ti. In particolare, la dottrina dei principi sarebbe molto al di sot­ to della teoria delle Idee, in cui solo si manifesta la vera grandez­ za di Platone. Alcuni filologi, all’opposto, hanno affermato che chi rilegge Platone in funzione delle dottrine non scritte, lo fa per ricavare da lui elementi per una propria autocomprensione e autogiusti­ ficazione. Come più volte ho avuto modo di precisare, prendendo posi­ zione nei confronti di questi vari fraintendimenti, la rilettura di Platone secondo il nuovo paradigma alternativo implica una fe­ conda sinergia e mediazione sintetica di strumenti filologici e strumenti squisitamente filosofici. In particolare, occorre ricu­ perare quel «circolo ermeneutico» che ci faccia comprendere quel «diverso» che è peculiare di Platone rispetto a noi moderni nei confronti della scrittura e dei modi di comunicazione della conoscenza della verità, in tutta la loro portata. In effetti, la comprensione delle dottrine non scritte getta molta luce sugli scritti, rendendo comprensibili tutti quei punti

14

dei dialoghi in passato giudicati oscuri e problematici, e fa emer­ gere dai dialoghi stessi insospettate ricchezze, come i libri di Gaiser11, di Szlezàk112, di Erler13, di Mo via 14 e di Migliori1516, oltre al mio , dimostrano ud ühunduntiatn. Inoltre, contro coloro che hanno giudicato le dottrine non scritte un frutto della senilità di Platone che si colloca quasi al di fuori della temperie della cultura greca, io ho dimostrato come, proprio al contrario, esse espri­ mano in modo perfetto in chiave metafìsica alcune delle cifre emblematiche della cultura e dello spirito della grecità. Infine, è da rilevare che una adeguata comprensione delle dottrine non scritte non cambia solo il modo di interpretare Platone, ma l’evoluzione del pensiero greco in generale, e alcuni punti-chiave del pensiero moderno, come Krämer ha dimostrato1718. E che rapporto hanno le dottrine non scritte di Platone con le scienze matematiche? Comportano consistenti guadagni inter­ pretativi? Già Gaiser aveva dimostrato la centralità che hanno le scienze matematiche nel pensiero platonico1S. Ma su alcuni nessi specifici delle dottrine non scritte con la matematica, rivisti in ottica storica ad ampio raggio, si possono guadagnare ulteriori e significativi risultati. E proprio questo che Vittorio Hösle fa in questi due saggi, che, per la loro coerenza e convergenza di risultati, formano un vero e proprio libro unitario, di assai grande interesse. Hösle è figlio di madre italiana e di padre tedesco. Ha tra­ scorso i suoi primi anni in Italia (suo padre ha insegnato lettera­ tura tedesca all’Università Cattolica di Milano e ha diretto il Goethe Institut); ma si è formato culturalmente nei licei e negli àmbiti universitari tedeschi. La specifica formazione culturale di H ösle gli permette di muoversi con competenza e sicurezza nella complessa area della problematica che tratta in questo libro. 11Cfr. supra, nota 3. 12Cfr. supra, nota 4. 13 Cfr. supra, nota 9. 14Cfr. supra, nota 6. 15Cfr. supra, note 7 e 8. 16Cfr. supra, nota 5. 17Cfr. Platone, parte terza .passim. 18K. Gaiser, Platons ungeschriebene Lehre, Stuttgart 1963; 1968 3, soprattutto la prima parte, passim.

15

Nello studio della storia della matematica e delle scienze ha avuto come maestri dapprima Ludovico Geymonat e il figlio Mario (che ha sposato una sorella della madre di Hösle). Suc­ cessivamente, a Ratisbona, ha studiato con Imre Tóth, uno dei maggiori conoscitori della problematica connessa con le geome­ trie non-euclidee1920. Per quanto riguarda invece i suoi studi sul pensiero antico e su Platone in particolare ha avuto come maestri a Tubinga Kon­ rad Gaiser e Hans Krämer. Già il suo primo libro, dal titolo Wahrheit und Geschichte. Studien zur Struktur der Philosophiegeschichte unter paradigmatischer Analyse der Entwicklung von Parmenides bis Platon20, lo poneva in primo piano. In esso Hösle prendeva netta posizione a favore del nuovo paradigma e ne mostrava la fecondità per quanto concerne questa tematica. Le novità che Hösle presenta nei saggi contenuti in questo suo libro, come sopra ho già detto, sono di grande rilievo. L’Uno e la Diade indefinita, di cui trattavano in modo specifi­ co le dottrine non scritte, in quanto sono da Platone considerati principi primi e supremi, sono fondativi di tutta quanta la realtà senza eccezioni. Essi spiegano, pertanto, non solo la struttura della realtà e del cosmo, ma anche la struttura dell’etica, della politica, e in particolare anche la struttura degli enti matematici e quindi della scienza matematica21. Per quanto concerne l’aritmetica, che viene trattata nel primo saggio, Hösle giunge alle conclusioni che seguono. . . . Platone ha tentato di dedurre i numeri partendo dai principi (Uno-Diade; unità-pluralità). In questo modo egli ha cercato di elaborare i principi della matematica, facendo più di quanto ha fatto poi lo stesso Euclide, il quale ha assiomatizzato la geome­ tria e non l’aritmetica22. Così facendo, Platone ha anticipato alcuni moderm. Il nesso 19 I. Tóth, Das Parallelenproblem im Corpus Aristotelicum, «Archiv of History of Exact Sciences», 3 (1967), pp. 229-422. u ιu 20 L’opera è stata pubblicata nel 1984 presso 1Editrice Frommann-Holzboog, Stuttgart-Bad Cannstatt, in una collana curata dall’Istituto Italiano per gli Studi Filosofici di Napoli, di cui Hösle è stato borsista per un lungo periodo. 21 Cfr. infra, parte prima, cap. Ill, S 4. (a). 22 Cfr. infra, ivi, cap. Ili, passtm.

strutturale dualità-pluralità da lui stabilito si riscontra poi in Leibniz e Brouwer. Inoltre, cercando di sviluppare la matemati­ ca prescindendo da concetti geometrici, Platone si pone non so­ lo al di sopra del suo tempo, ma anticipa, in un certo senso, al­ cuni sviluppi moderni, come quelli di Peano e di Dedekind23. In particolare, se considerato nell’ottica della filosofìa della matematica, la posizione di Platone sembra avere alcune tangen­ ze con posizioni moderne. Da un lato, sembra avere alcuni nessi con il logicismo, non però nel senso della logica formale, ma nel senso della dialettica metafìsica dei principi; dall’altro, di conse­ guenza, sembra avere alcune tangenze con l’intuizionismo di Brouwer. Scrive Hösle: « ... si potrebbe dunque dire che nel lo­ gicismo e nell’intuizionismo continuano ad agire separate le due metà della filosofia platonica della matematica: nel logicismo, più che altro, il suo aspetto formale; nell’intuizionismo, più che altro, il suo aspetto materiale. Se poi ci si guarda intorno alla ri­ cerca di una filosofìa della matematica, in cui questi due aspetti siano ancora uniti, occorre riportarsi alla filosofìa della matema­ tica di Hegel»24. Queste avanzate posizioni di Platone si impongono, nota H ö­ sle, malgrado il fatto che Platone si sia attenuto all’importanza ontologica e assiologica della decade, che lo legava al passato (l’emblematico numero dieci delle dita e la decade pitagorica)25. Ancor più incisivi e innovativi, per certi aspetti, i risultati del secondo saggio sui fondamenti della geometria. Hösle rileva come, sulla base delle ricerche condotte da Imre Tóth, risulta che Aristotele fosse a conoscenza del carattere as­ siomatico del quinto postulato della geometria e che consideras­ se la sua accettazione e la sua non-accettazione come frutto di una libera scelta26. Aristotele desumeva le sue conoscenze geometriche dall’Ac­ cademia. Gli elementi non-euclidei che si ricavano dal Corpus aristotelicum comprovano le incertezze che si nutrivano fra i suoi contemporanei sul quinto postulato. Forse nella misura in 23 Cfr. ivi, cap. IV. 24 Ivi, p. 95. 23 Cfr. ivi, cap. Ili, § 4. (e). 26 Oh:infra, parte seconda, capp. I-II.

17

cui lo introduce appunto come postulato, Euclide stesso lascia intrawedere che in qualche modo si rendeva conto della sua in­ dimostrabilità. Alcuni matematici greci per uscire dalla incertezza si sono probabilmente basati su una fondazione e giustificazione del po­ stulato per intuizione. Platone ha seguito invece un’altra via. Scrive Hösle: «Sembra che il contributo di Platone, in questa difficile congiuntura, sia invece quello di aver insistito su un concetto di geometria rigoroso, che rinuncia all’intuizione e che è in tale misura molto moderno, e di aver rimosso la crisi per mezzo di una costruzione ontologica: la geometria euclidea, quale “geometria dell’angolo retto” è la geometria vera»27. In effetti, nelle sue dottrine non scritte, Platone ha considera­ to l’angolo retto come strutturalmente connesso con l’U no, mentre gli angoli acuti e ottusi erano da lui strutturalmente con­ nessi con la Diade indefinita. Proprio il ruolo determinante dell’angolo retto, che ha quel nesso strutturale con l’Uno (prin­ cipio fondativo positivo) di cui si è detto, garantisce alla geome­ tria un valore veritativo28. Forse è stato proprio Platone, sulla base di questa sua fonda­ zione filosofica della geometria, che ha arginato alcune tendenze antieuclidee e ha dato un contributo determinante alla costru­ zione del sistema euclideo29. Secondo Hösle Platone fu, probabilmente, il primo pensatore che nella storia del pensiero occidentale, ha compreso come la matematica per la sua stessa natura non sia in grado di autofondarsi30. La validità dei teoremi dipende dalla validità degli assiomi; ma la validità degli assiomi può essere dimostrata solamente su un piano superiore, ossia portandosi sul piano metafisico, e pre­ cisamente su quel piano su cui Platone si è mosso appunto con le sue dottrine non scritte. Giovanni Reale 27 Ivi, p. 136. 28 Cfr. ivi, cap. Ili, § 5. 29 Cfr. ivi, S 6. 30 Cfr. ivi, § 4. (c).

Bibliografia ragionata delle pubblicazioni di Vittorio Hösle (aggiornata al 1993)

A. Libri 1. Wahrheit und Geschichte. Studien zur Struktur der Philo­ sophiegeschichte unter paradigmatischer Analyse der Entwicklung von Parmenides bis Platon, Frommann-Holzboog, Stuttgart-Bad Cannstatt 1984. H libro presenta una filosofìa della storia della filosofìa, che si ispira al­ le Lezioni sulla storia della filosofia di Hegel, ma amplia l’impostazio­ ne hegeliana mediante l’inclusione di modelli ciclici. Come tesi princi­ pale, si sostiene che la storia della filosofia occidentale è strutturata in cinque cicli, che mostrano fra di loro sorprendenti analogie: ad una fa­ se (a) dogmatico-razionalista, segue (b) un’impostazione più empirista, che sfocia necessariamente (c) nello scetticismo; quest’ultimo provoca una critica che mira (d) alla rifondazione dell’etica; ogni ciclo finisce (e) con una filosofia del tipo dell’idealismo oggettivo. La tesi, che è ar­ ticolata a priori nella prima parte del libro e solamente abbozzata per i cicli ulteriori nella terza, viene dimostrata estesamente nella seconda parte, cioè nella parte centrale del libro, per il primo ciclo che si esten­ de da Parmenide a Platone: gli Eleati corrispondono alla prima fase (a), Empedocle, Anassagora e gli Atomisti alla seconda (b), i Sofisti al­ la terza (c), Socrate alla quarta (d), Platone alla quinta (e). Le interpre­ tazioni di Socrate e di Platone contengono diverse novità filologiche. In particolare, l’interpretazione unitaria della filosofìa dai Presocratici a Platone rafforza il nuovo paradigma dell’interpretazione di Platone. I contributi più importanti del libro consistono nel criticare il relativi­ smo storico e l’idea di un progresso lineare della storia della filosofia, e nell’argomentare a favore dell’idealismo oggettivo. Tutta l’opera dell’autore è dedicata ad un rinnovamento di questo tipo di filosofia.2

2. Die Vollendung der Tragödie im Spätw erk des Sophokles. Ästhetisch-historische Bemerkungen zur Struktur der attischen Tragödie, Frommann-Holzboog, Stuttgart-Bad Cannstatt 1984

(traduzione italiana: II compimento della tragedia nell'opera tarda di Sofocle. Osservazioni storico-estetiche sulla scrittura della trage­ dia attica, Bibliopolis, Napoli 1986). Il volume cerca una logica nello sviluppo della tragedia greca da Eschilo ad Euripide e Sofocle, e mostra un certo parallelismo fra que­ sto sviluppo e quello della filosofìa classica greca. È importante l’uso della categoria di intersoggettività nell’interpretazione del tardo Sofo­ cle.

3. In collaborazione con Ch. Lohr e W. Büchel: Raimundus Lullus, Die neue Logik. Logica Nova, textkritisch hg. von Ch. Lohr, übs. von V. Hösle und W. Büchel, mit einer Einführung von V. Hösle, Felix Meiner Verlag, Hamburg 1985. La lunga introduzione (pp. IX-LXXXII, LXXXVH-XCIV) descrive la vita e il pensiero del filosofo catalano. Sono centrali le riflessioni sul rapporto tra fede e ragione, sia nella filosofia medioevale in genere, sia in Lullo in particolare. Il contributo di quest’ultimo a favore di una teologia razionale del cristianesimo si dimostra molto più originale di quanto si assuma comunemente.

4. Hegels System. D er Idealismus der S u bjektivität und das Problem der Intersubjektivität, 2 Bde., Felix Meiner Verlag, Hamburg 1987; 19882. L’analisi completa di tutto il sistema hegeliano è dedicata allo studio della sua coerenza interna e della sua compatibilità con le scienze mo­ derne. Il metodo critico adottato è sempre quello della critica interna. Come tesi fondamentale, si sostiene che il problema maggiore del si­ stema hegeliano sta nella tensione fra la categoria della soggettività, che forma l’asse centrale della sua prima philosophia, e la categoria della intersoggettività, che emerge poderosamente nella Realpbilosophie. Di particolare importanza sono la ricostruzione della dialettica hegeliana e della sua filosofìa dello spirito oggettivo.

5. AA. W , Die Rechtsphilosophie des deutschen Idealismus, a cura di V. Hösle, Felix Meiner Verlag, Hamburg 1989. Sono gli atti di un convegno sulla filosofìa del diritto dell’idealismo te­ desco, in particolare di Fichte, di Schelling e di Hegel.

pbßBLICAZIofti

Λ

6. In collaborazione con Ch. Jermann: Giam battista V ico, Prinzip einer neuen Wissenschaft über die gemeinsame Natur der Völker, übs. von V. Hösle und Ch. Jermann und mit Textverwei­ sen von Ch. Jermann, mit einer Einleitung von V. Hösle, 2 Bde., Felix Meiner Verlag, Hamburg 1990. La monografìa (Vico und die Idee der Kulturwissenschaft, pp. XXXICCXCIII), che introduce questa prima traduzione tedesca completa del capolavoro vichiano, è uno studio sulla vita di Vico e sulla struttu­ ra della Scienza Nuova. Emerge l’estrema originalità del tentativo vi­ chiano di fondare su una metafìsica di matrice platonica la scienza del mondo civile o intersoggettivo.

7. La legittimità del politico, Guerini e Associati, Milano 1990 (traduzione italiana degli articoli citati infra, ai numeri 26 e 34). H volume raccoglie due saggi dedicati ai tentativi di Machiavelli e di Schmitt di riconoscere la parziale autonomia del politico.

8. Die Krise der Gegenwart und die Verantwortung der Philo­ sophie. Traszendentalpragmatik, Letztbegründung, Ethik, C. H. Beck Verlag, München 1990. Nella prima parte, l’opera critica le correnti più importanti della filo­ sofìa post-hegeliana (marxismo, scientismo, ermeneutica), e soprattut­ to la loro incapacità di fondare l’etica. Si prende in considerazione la pragmatica trascendentale di Karl Otto Apel come il tentativo più am­ bizioso di fondare rigorosamente un’etica non naturalistica. Nella ter­ za parte, si abbozza l’idea di un idealismo oggettivo, in cui si integrino il metodo fondativo della pragmatica trascendentale ed il suo interesse per la categoria di intersoggettività. D’altro canto, con un’analisi accu­ rata, si dimostra che non sono valide le molteplici ricostruzioni della famosa tesi wittgensteiniana sull’impossibilità di un linguaggio privato.

9. Hegel e la fondazione dell’idealismo oggettivo, Guerini e Asso­ ciati, Milano 1991 (traduzione italiana dell’articolo citato infra, al n. 28, e testo delle lezioni italiane tenute sulla base del libro citato supra, n. 4). Contiene il saggio più impegnativo di Hösle, ed il testo di lezioni di­ vulgative su alcuni concetti del libro Hegels System.

22

10. Philosophie der ökologischen Krise. Moskauer Vorträge, C. H. Beck Verlag, München 1991 (traduzione italiana: Filosofia della crisi ecologica, Einaudi, Torino 1992; traduzione russa: Filosofija i ekologija, Nauka, Mosca 1993). L’opera tratta dei presupposti storici ed intellettuali della crisi ecologi­ ca e sviluppa le norme che a livello individuale, economico e politico sono necessarie per arginarla.

11. Praktische Philosophie in der modernen Welt, C. H. Beck Verlag, München 1992 (contiene i saggi citati infra, ai nn. 29,38, 4 0 ,4 4 ,4 5 ,5 0 ,5 1 ). I saggi contenuti in questa raccolta vertono su due punti: da una par­ te, sulla fondazione di un’etica universalistica, che si appoggia su Kant, però supera il suo formalismo; dall’altra parte, su diverse que­ stioni di etica applicata concernenti il mondo moderno.

12. Genii filosofa novogo vremeni, Nauka, Mosca 1992. In cinque lezioni, vengono trattate nel loro nesso storico e logico le metafisiche di Cartesio, Spinoza, Kant, Fichte e Hegel. Il libro insiste sulla categoria di progresso con intensità molto maggiore rispetto a Wahrheit und Geschichte.

1 3 .1 fondamenti dell'aritmetica e della geometria in Platone, Vita e Pensiero, Milano 1994 (contiene la traduzione italiana dei sag­ gi citati infra, ai nn. 14 e 16). È il volume che qui si presenta.

B. Saggi in riviste o miscellanee 14. Platons Grundlegung der Euklidizität der Geometrie, «Philologus», 126 (1982), pp. 180-197. È il saggio qui tradotto come Parte seconda del libro. Si dimostra la presenza in Platone di riflessioni sulla geometria non-eudidea.15

15. In collaborazione con D. Wandschneider: Die Entäußerung

αχ

der Idee zur Natur und ihre zeitliche Entfaltung als G eist bei Hegel, «Hegel Studien», 18 (1983), pp. 173-199. Si affronta uno dei maggiori problemi propri di ogni forma di ideali­ smo oggettivo: il problema del perché esista qualcosa al di fuori del mondo ideale. All’interno del sistema hegeliano viene proposta una soluzione, secondo la quale la triade idea-natura-spirito si crea per l’applicazione della struttura dialettica dell’idea assoluta a se medesi­ ma.

16. Zu Platons Philosophie der Zahlen und deren mathematischer und philosophischer Bedeutung, «Theologie und Philosophie», 59 (1984), pp. 321-355 (traduzione in glese in: «G raduate Faculty Philosophy Journal», 13 [1988], pp. 21-63). È il saggio qui tradotto come Parte prima del libro. Vi si analizza, sulla base del nuovo paradigma, la filosofia dei numeri di Platone, e la si mette in relazione con la moderna la filosofia della matematica, oltre che con la moderna fondazione dell’aritmetica.

17. Hegels "N aturphilosophie“ und Platons “Timaios" - ein Strukturvergleich, «Philosophia Naturalis», 21 (1984), pp. 64-

100. Si mostrano dettagliate analogie fra il Timeo di Platone e la Filosofia della Natura di Hegel, che rafforzano la tesi del volume Wahrheit und Geschichte sulla fondamentale affinità di Platone con Hegel.

18. La antropologia en Fichte, in: R. Sevilla (curatore), La evolución, elh om brey elhumano, Tübingen 1986, pp. 113-130. Si fa notare come Fichte abbia anticipato le scoperte più famose dell’antropologia moderna. Ispirandosi con ogni probabilità a Herder, Fichte ha tentato di dedurre a priori le sue idee dal concetto di uomo.19*

19. D ie T ra n szen d en ta lp ra g m a tik als F ich tean ism u s d er Intersubjektivität, «Zeitschrift für philosophische Forschung», 40 (1 9 8 6), pp. 2 3 5 -2 5 2 (trad u zion e russa in: A A . V V., Duchovnost': tradicii i problemy, Ufa 1991, pp. 31-37; in: AA. W ., Fichte i konec X X veka, Ufa 1992, pp. 95-101; e anche in: «Filosofskaja i sociologiceskaja», mysl’ 2 (1992), pp. 72-93.

Si interpreta la pragmatica trascendentale come una trasformazione in senso intersoggettivo del pensiero fìchtiano, e si applicano al pensiero di Apel alcune delle critiche hegeliane dirette a Fichte.

20. Eine unsittliche Sittlichkeit. Hegels K ritik an der indischen Kultur, in: W. Kuhlmann (curatore), Moralität und Sittlichkeit, Frankfurt 1986, pp. 136-182. Il saggio analizza tutti i passi di Hegel sulla cultura indiana, dimostra la notevole conoscenza che egli ebbe di questa cultura, e difende una buona parte della sua critica come critica razionale contro i rimproveri di eurocentrismo.

21. Raum, Zeit und Bewegung, in: M. J. Petry (curatore), Hegel und die Naturwissenschaften, Stuttgart-Bad Cannstatt 1987, pp. 247-292. 22. Pflanze und Tier, ibid., pp. 377-422. Questi due saggi (21 e 22) costituiscono un commento sistematico alle parti più importanti della Filosofia della Natura di Hegel.

23. Die Stellung von Hegels Philosophie des objektiven Geistes in seinem System und ihre Aporie, in: Ch. Jermann (curatore), Anspruch und Leistung von Hegels Rechtsphilosophie, StuttgartBad Cannstatt 1987, pp. 11-53. 24. Das abstrakte Recht, ibid., pp. 55-99. 25. Der Staat, ibid., pp. 183-226. Questi tre saggi (23, 24, 25) interpretano la posizione sistematica dei Lineamenti di filosofia del diritto nel sistema di Hegel, e commentano sistematicamente la prima e la terza parte dell’opera. Insieme ai due saggi precedenti, anche questi tre sono stati in gran parte integrati nel volume Hegels System.26*

26. Carl Schmitts Kritik an der Selbstaufhebung einer wertneutra­ len Verfassung in “L eg alität und L e g itim itä t“, « D eu tsch e Vierteljahrsschrift», 61 (1987), pp. 3-36.

Viene dimostrata la grande originalità del famoso saggio di Schmitt che anticipa l’ascesa legale di Hitler al potere. Si insiste sulla necessità di limitare le revisioni legali alla costituzione, anche se simili limitazio­ ni non possono essere legittimate, né in maniera consensuale, né su base storicista. Sebbene la costituzione di Bonn risulti tecnicamente superiore a quella di Weimar, poiché ha colto le indicazioni di Sch­ mitt, rimane in dubbio se lo spirito del nostro tempo sia veramente congeniale ai presupposti etici della nuova costituzione.

27. Ha la filosofia ancora un compito storico?, «La Provincia di Napoli», 9 (1987), numero speciale 3-4: L’Istituto Italiano per gli Studi Filosofici e la Scuola di Studi Superiori in Napoli, pp. 153159. Si tratta di un saggio occasionale in cui si auspica, per superare il rela­ tivismo storico, la combinazione tra una fondazione ultima propria della filosofìa prima e una filosofia della storia.

28. Begründungsfragen des objektiven Idealismus, in: AA. W ., Philosophie und Begründung, a cura del «Forum für Philosophie Bad Homburg», Frankfurt 1987, pp. 212-267. Questo saggio, che teoreticamente è il più importante, tenta una fon­ dazione ultima dell’idealismo oggettivo. Si dimostra che esiste una co­ noscenza incondizionata e che questa conoscenza incondizionata non può essere interpretata come conoscenza meramente soggettiva.

29. Moralische Reflexion und Institutionenzerfall. Zur Oialektik von Aufklärung und Gegenaufklärung, in: «Hegel-Jahrbuch» 1987, pp. 108-116. Il saggio analizza le contraddizioni e la dialettica fra illuminismo e controillumismo — due movimenti che dominano la filosofia e la poli­ tica moderna —, e mostra come riesca a svincolarsi dall’oscillazione fra «sinistra» e «destra» solo un pensiero che sia in grado si fondare ultimativamente l’etica.30*

30. È giusta la ricerca sugli embrioni? Un’intervista a V Hösle, in: V. Lanfranchi e S. Favi (curatori), Figli della scienza, con in­ troduzioni di G. Berlinguer e L. Violante, Roma 1988, pp. 189194.

Si critica la crescita esponenziale della razionalità strumentale a scapi­ to di quella valutativa.

31. Tragweite und Grenzen der evolutionären Erkenntnistheorie, «Zeitschrift für allgemeine Wissenschaftstheorie», 19 (1988), pp. 348-377. Si difende la pretesa dell’epistemologia evoluzionistica di spiegare la genesi della conoscenza umana, però si respinge come circolare il ten­ tativo di risolvere in tale maniera il problema della validità. Si mostra come l’idealismo oggettivo costituisca l’unica possibilità coerente di combinare l’approccio genetico con quello trascendentale.

32. Versuch einer Standort- und Zielbestimmung für Aufgaben der geistig-politischen Führung, in: AA. W ., Herausforderungen für die Politik, München 1989, pp. 41-63. È uno scritto redatto sotto invito della cancelleria, in cui si nominano i compiti più importanti di ima politica morale che la Repubblica Fede­ rale è chiamata a seguire.

33. Was darf und was soll der Staat bestrafen? Überlegungen im Anschluß an Fichtes und Hegels Straftheorien, in: V. Hösle (cura­ tore), Oie Rechtsphilosophie des deutschen Idealismus, citato supra, η. 5. Si pongono a confronto le risposte diverse che Fichte e Hegel hanno dato alla questione relativa a ciò che lo stato può punire in maniera le­ gittima. Nella parte sistematica, si sviluppa una teoria dettagliata su questo problema.

34. Morality and Politics: Reflections on Machiavelli s “Prince’’, «International Journal o f Politics, Culture and Society», 3/1 (1989), pp. 51-69. Gli argomenti di ordine morale del Principe di Machiavelli vengono ricostruiti e valutati nella loro grandezza e nei loro limiti.35*

35. Ober die Unmöglichkeit einer naturalistischen Begründung der Ethik, «Wiener Jahrbuch für Philosophie», 22 (1990), pp. 13-29.

Si dimostra che ogni tentativo di fondare l’etica su base naturalistica è destinato a fallire, sebbene sia possibile tuia spiegazione naturalistica della genesi del comportamento umano.

36. Recht und Geschichte bei Giambattista Vico, in: K. O. ApelR. P ozzo (curatori), Zur R ek o n stru k tio n der pra k tisch en Philosophie. Gedenkschrift für Karl-Heinz Ilting, Stuttgart-Bad Cannstatt 1990, pp. 389-417. Lo studio analizza il contributo di Vico a favore di una filosofìa della storia del diritto, e lo pone a confronto con i suoi predecessori e suc­ cessori.

37. Platonism and Anti-Platonism tn Nicholas o f Cusa's Phil­ osophy o f Mathematics, «Graduate Faculty Philosophy Journal», 13 (1990), pp. 79-112. Si dimostra come molte idee della filosofia della matematica di Plato­ ne (in parte delle «dottrine non scritte») siano ancora presenti in Cu­ sano, anche se egli le trascende mediante due concezioni originali: da un lato, il concetto di infinito; e dall’altro lato, la teoria in virtù della quale l’uomo può creare gli enti matematici.

38. The Greatness and Lim its o f K an t’s Practical Philosophy, ibid., pp. 133-157 (traduzione tedesca in: K. Giel-R. Breuninger [curatori], Wissenschaftsethik unter philosophischen Aspekten, Ulm 1991, pp. 9-39). ‘Si tratta di un’analisi dell’etica kantiana, posta a confronto con le mag­ giori teorie della successiva filosofia morale.

39. Natur und Naturwissenschaft in Vicos neuer Wissenschaft vom Geist, in: R. Bubner-B. Gladigow-W. Haug (curatori), Oie Trennung von Natur und Geist, München 1990, pp. 55-77. Il saggio si occupa del concetto di natura e della relazione fra scienze della natura e scienze ermeneutiche nella filosofia di Vico.40*

40. Sein und Subjektivität. Zur M etaphysik der ökologischen Krise, «Prima Philosophie», 4 (1991), pp. 519-541.

Questo saggio indica un’importante cesura nella produzione del suo autore: egli vi riconosce la necessità di integrare in un idealismo ogget­ tivo alcuni momenti della teoria heideggeriana dell’assoluto e della storia, se si vuole capire la truce essenza del nostro secolo. Allo stesso tempo, viene mostrata una certa continuità nello sviluppo dai primi organismi all’attuale crisi ecologica, che presuppone, nell’uomo, una peculiare unità di categorie organiche e spirituali.

4L Die Wiedervereinigung - Rückfall in die Politik der National­ staaten oder ein Schritt zur Überwindung der Trennung Europas?, in: P. Braiding-W. Reese-Schäfer (curatori), Universalismus, Nationalismus und die neue Einheit der Deutschen, Frankfurt 1991, pp. 71-80. È uno scritto d’occasione, ove si auspica che l’unificazione tedesca non porti ad un trionfo del nazionalismo, ma ad un’integrazione dell’Europa orientale con quella occidentale.

42. Heideggers Philosophie der Technik, «Wiener Jahrbuch für Philosophie», 23 (1991), pp. 37-53 (traduzione russa in: N. V. MotroSilova et A. [curatori], Filosofia Martina Chaideggera i sovremennost’, Mosca 1991, pp. 138-154). Vengono descritti tanto la genialità quanto i limiti della filosofìa della tecnica di Heidegger, che ha sì un fondamento nella metafisica, ma non ha uno sbocco etico.

43. Intersubjektivität und Willensfreiheit in Fichtes “Sittenlehre”, in: M. Kahlo-E. A. Wolff-R. Zaczyk (curatori), Fichtes Lehre vom Rechtsverhältnis. Die Deduktion der §§ 1-4 der “Grundlage des Naturrechts” und ihre Stellung in der Rechtsphilosophie, Frankfurt 1992, pp. 29-52. Si dimostra come Fichte debba ricorrere alla teoria dell’armonia pre­ stabilita per risolvere il problema della comunicazione intersoggettiva, e come ciò non sia compatibile con la sua accettazione del libero arbi­ trio.4*

44. Warum ist die Technik ein philosophisches Schlüsselproblem geworden?, in: K. Giel-R. Breuninger (curatori), Natur in der

Λα

Philosophie, Ulm 1992, pp. 35-51. Vi si analizzano i presupposti antropologici e storici dell’ascesa della tecnica, e le sue conseguenze etiche.

45. The Third World as a Philosophical Problem, «Social Re­ search», 59 (1 9 9 2 ), pp . 2 2 7 -2 6 2 (an ch e in: R. F orn etBetancourt, Diskursethik oder Befreiungsethik?, Aachen 1992, pp. 122-151; traduzione tedesca in: J. P. Wils [curatore], A libi Wirtschaftsethik?, Tübingen 1992, pp. 63-79). Alla considerazione della genesi storica del Terzo mondo come risulta­ to dell’asincronia delle diverse culture e della modernizzazione dell’Europa, si unisce un’analisi dei doveri morali dell’Europa verso il Terzo mondo, a livello individuale, economico e politico.

46. Kan Abraham reddes? Og: Kan Soren Kierkegaard reddes? Et hegelsk oppgjor m ed “Frygt og B æ ven”, «N orsk F ilosofisk Tidsskrift», 27 (1992), pp. 1-26. Si presenta una metacritica hegeliana a Timore e Tremore di Kierke­ gaard, con una nuova interpretazione del tentato sacrifìcio di Isacco.

47. Die Idee der Hochschule angesichts der Herausforderungen des 21. Jahrhunderts, in: AA. W ., Hochschulen der Zukunft Erneuert oder zweite Wahl. Jahresversammlung 1992 der H och­ schulrektorenkonferenz, Bonn 1992, pp. A l-12. La crisi dell’idea di università viene spiegata nelle sue cause, e si pro­ pongono alcune riforme radicali.

48. Hva er de sentrale forskjellene mellom den antikke og den moderne filosofien?, «Norsk Filosofisk Tidsskrift», 28 (1993), pp. 1-20. Con un certo atteggiamento autocritico nei confronti di Wahrheit und Geschichte, l’autore insiste sulle differenze fra metafìsica, etica e filoso­ fia politica antica e moderna, e tenta di dedurre le differenze dell'era moderna dal principio della soggettività.49

49. E thische P rin zip ien der F rieden ssich eru n g, «R ech ts-

philosophische Hefte», 2 (1993), pp. 39-58. Si analizza, con categorie influenzate da H o b b es, H egel e Morgenthau, la logica delle lotte di potere e della guerra, e si difende l’uso, in casi specifici, della violenza collettiva.

50. Zur Dialektik von strategischer und kommunikativer Rationa­ lität, in: J. P. Wils (curatore), Orientierung durch Ethik? Eine Zwischenbilanz, Paderborn 1993, pp. 11-35. Le varie forme di razionalità strategica e comunicativa vengono analiz­ zate, oltre che valutate secondo criteri morali.

C. Saggi in corso di pubblicazione

5 1 . Versuch einer ethischen Bewertung des Kapitalismus, in: K. Giel-R. Breuninger (curatori), Wirtschaftsethik, Ulm 1993. Contiene una valutazione dei meriti e dei limiti dell’economia capitali­ stica e un’analisi soprattutto dei presupposti etici della teoria neoclas­ sica.

52. Ontologie und Ethik in Hans Jonas, in una miscellanea su Jonas a cura di D. Böhler, München 1994. È il primo tentativo di dimostrare gli stretti nessi che sussistono tra la biologia filosofica di Jonas e la sua etica.

53. Individualny i k o llek tivn y krizìs sam otozdestvien n osti, «Voprosy fìlosofii», 15 (1994). Vengono analizzate l’essenza e le forme dell’identità individuale e col­ lettiva, insieme alle corrispondenti crisi di identità.

54. In collaborazione con Mark Roche: Vico s Age o f Heroes and the Age o f Men in John Ford’s Film “The Man Who Shot Liberty Valance”, «Clio» 1994.Il Il più grande «western» della storia del cinema è interpretato, median-

te categorie vicinane, come una visione straordinaria dell’ambivalenza del progresso.

55. Macht und Moral (per una rivista specializzata). Si dimostra la complementarietà della valutazione morale del potere (analizzato nelle sue varie forme) e dell’interpretazione sociale, anzi «cratologica», della morale.

D. Recensioni 56. Recensione a: O. D. Brauer, Dialektik der Zeit, Stuttgart-Bad Cannstatt 1982, in: «Philosophische Rundschau», 30 (1983), pp. 299-303. 57. Recensione a: Q. Lauer, Hegel's Concept o f G od, Albany 1982, in: «Theologie und Philosophie», 59 (1984), pp. 109-111. 58. Recensione a: D . Wandschneider, Raum; Zeit, Relativität, Frankfurt 1982, ibid., 60 (1985), pp. 114-145. 59. Recensione a: D. Böhler, Rekonstruktive Pragmatik, Frank­ furt 1985, in: «Zeitschrift für philosophische Forschung», 40 (1986), pp. 644-648. 60. Recensione a: W. Jaeschke, Die Religionsphilosophie Hegels, Darmstadt 1983, in: «Hegel-Studien», 21 (1986), pp. 244-246. 61. Recensione a: M. W Roche, Dynamic Stillness, Tübingen 1987, in: «Germanistik», 1987, pp. 801-802. 62. R. Kany, M nem osyne als Program, T übingen 1987, in: «Comparano», 1 (1990), pp. 98-102. 63. F. von Kutschera, Vernunft und Glaube, Berlin-New York 1990, in: «Wiener Jahrbuch für Philosophie», 23 (1991), pp. 227-232.

E. Voci in dizionari 64. Voce: Anonym, Peri bypsous, in: F. Volpi-J. Nida Riimelin, Lexikon der philosophischen Werke, Stuttgart 1988, p. 504. 65. Voce: K. O. Apel, Transformation der Philosophie, ibid., pp. 730-731.

E Articoli di contenuto scientifico comparsi su quotidiani 66. Verzweifelte Suche nach Sinn. Einblicke in die sowjetische Philosophie der G egenwart, sulla «Frankfurter Allgem eine Zeitung» del 28/11/ 1990, n. 277, p. N4. 67. Zu Tode geheuchelt. A u f dem Weg zur Reue - Eine Tagung fragt nach den sowjetischen Lektionen, ibid., n. 233 del 7 /1 0 / 1992, p. N5.

G. Interviste per riviste scientifiche 68. Ahsoljutnyi racionalism i sovrernennt krizis, per «Voposy filosofii», 11 (1990), pp. 107-113.

Parte prima

Platone e i fondamenti dell’aritmetica

I. Osservazioni introduttive. Metodo, tema e piano dell’indagine

1. Il «Platone italiano» d i Hans Krämer: l’esoterica platonica fra ricostruzione storica e valutazione filosofica Il Fiatone italiano di Hans Krämer vuol essere un bilancio intermedio nell’ambito della discussione sull’esoterica platonica, che ad oggi si protrae da più di un quarto di secolo, e in effetti rappresenta un contributo dietro al quale non dovrebbe esserci più ritorno1. Krämer vi ha stabilito, fra l’altro, alcune prescrizio­ ni di metodo che spesso, nella discussione durata fino ad ora, e a suo danno, non sono state prese in considerazione. Ad esse ap­ partiene il postulato, senz’altro triviale dal punto di vista erme­ neutico, ma più volte ripetuto da Krämer per la ragione indica­ ta, in virtù del quale si tengono nettamente distinti due proble­ mi: da un lato, la questione storica, da risolversi sulla base delle testimonianze dossografìche, riguardante l’esistenza e il conte­ nuto di una dottrina di Platone riservata all’Accademia; e dall’altro lato, il problema di una valutazione sistematica di que­ sti stessi contenuti. Krämer sostiene, a buon diritto, che la criti-1 1 H, Krämer, Platone e i fondamenti della metafisica, cit. Com’è noto, la di­ scussione sull’esoterica platonica fu suscitata dallo stesso Krämer (Arete bei Platon und Aristoteles, Heidelberg 1959). K. Gaiser, Platons ungeschriebene Lehre, cit., ha compiuto una raccolta ed un’analisi complessiva di tutte le testimo­ nianze sulle platoniche «dottrine non scritte» (αγραφα δόγματα). Io stesso, nella mia dissertazione Wahrheit und Geschichte, cit., pp. 372 ss., ho assunto per esteso posizione sul problema della dottrina non scritta di Platone, e, precisamente, sia sulle questioni filologiche della sua ricostruzione, sia su quelle filosofiche della sua valutazione. Mi risparmio perciò di precisare in questa sede i motivi detta­ gliati per cui, globalmente, acconsento alla «posizione tubinghese». I libri più im­ portanti scritti in seguito sul Platone esoterico sono: G. Reale, Per una nuova in­ terpretazione..., cit.; Th. A. Szlezàk, Platon und die Schriftlichkeit der Philosophie, Berlin 1985, di cui si è già citata la traduzione italiana: Platone e la scrittura della filosofia.

36

ca del contenuto filosofico di una simile dottrina non può avanzare alcuna pretesa di competenza nel risolvere le diffìcili domande storiche, che sono legate all’interpretazione delle testi­ monianze; constatare che i pensieri di fondo dell’esoterica plato­ nica contraddicono la collocazione sistematica di chi le critica è di scarso aiuto per decidere sull’autenticità della tradizione2. Tuttavia, Krämer non intende in nessun modo escludere il se­ condo passo della valutazione, di cui deve semplicemente resta­ re chiaro che presuppone il primo, cioè quello della ricostruzio­ ne storica. Al contrario, proprio la terza parte del libro di Krämer consiste nel tentativo, compiuto per la prima volta in questa forma onnicomprensiva, di porre l’esoterica platonica in connessione con le principali correnti del pensiero filosofico contemporaneo: la filosofìa analitica, la filosofìa trascendentale di stampo kantiano o neo-kantiano, l’idealismo hegeliano, la fe­ nomenologia di Husserl e l’ontologia di Heidegger3. Krämer inoltre contempla, quale scopo del suo libro, quello di dare im­ pulso a lavori che vadano in questa direzione, ossia a studi che, elevandosi sugli esiti accertati della ricostruzione storica, con­ frontino i contenuti dottrinali delle «dottrine non scritte» con concezioni moderne4.

2. Tema dell’indagine: la dottrina platonica della generazione dei numeri dall’unità e dalla dualità nel suo senso storico e siste­ matico Il saggio che qui presento intende seguire questo impulso. Più precisamente, mi interessa la questione riguardante il senso sistematico di un problema settoriale, in certa misura modesto, che fu trattato nell’esoterica platonica: alludo alla concezione 2 Krämer, Platone..., pp. 132 s., 322 ss. 3 Cfr. ivi, pp. 239-333. 4 Si veda ivi, p. 13, e anche: K. von Fritz, Zur Frage der «esoterischen» Philo­ sophie Platons, in: Id., Schriften zur griechischen Logtk, 2 voll., Stuttgart-Bad Cannstatt 1978,1, pp. 215-227, spec. 219, n. 1, ove si segnala come cosa impor­ tante e desiderata la valutazione filosofica delle ricostruzioni filologiche compiute fino ad allora nel campo della filosofia esoterica di Platone sulla matematica.

37

platonica per cui i numeri sono generati dall’unità e dalla dua­ lità, e al pensiero, connesso a tale concezione, per cui la molte­ plicità infinita viene ridotta alla dualità. Si vedrà che la teoria platonica, che al primo sguardo dà l’impressione di essere arcai­ ca, trova ampie corrispondenze non solo nella filosofìa della ma­ tematica di Hegel, ma addirittura nelle riflessioni sui fondamenti della matematica, che a partire dalla seconda metà del secolo scorso hanno condotto, in parte, ad una trasformazione della matematica, e, per altra parte, hanno cercato di interpretare dal punto di vista filosofico questa trasformazione: penso, da un la­ to, all’assiomatica dell’aritmetica di Peano e, dall’altro lato, alle riflessioni di Brouwer sul «fenomeno matematico originario» della dualità.

3. Piano dell’indagine: rimando alla questione sui fondamenti del­ la geometria e articolazione dei problemi Inoltre, il saggio che qui presento vuol essere complementare ad un saggio precedente, in cui ho collegato la filosofia della geometria di Platone con alcuni sviluppi moderni della stessa di­ sciplina; perciò, esso occupa la seconda parte di questo volume, e vi farò regolarmente riferimento3. Ora intendo, come prima cosa, esporre alcuni aspetti generali della filosofìa della matema­ tica di Platone. Successivamente, intendo addentrarmi nelle te­ stimonianze sulla concezione platonica della generazione dei nu­ meri, e infine tentare di interpretare questa concezione nel suo contenuto matematico e filosofico**6.

3 V. Hösle, Platons Grundlegung der Euklidizität der Geometrie, «Philologus», 126 (1982), pp. 180-197, tradotto infra, Parte seconda,passim. 6 Cfr. infra, rispettivamente, i punti II, III, IV.

Π. La filosofia della matematica di Platone. Aspetti generali

1. La «modernità» di Platone filosofo della matematica Il tentativo di porre in relazione la filosofìa della matematica di Platone con teorie moderne suscita, non arbitrariamente, una cattiva impressione. E ’ vero che oggi la fede ingenua nel pro­ gresso lineare della filosofia non è più così diffusa, al punto che il desiderio di voler prendere sul serio un Hegel, ma anche un Aristotele o un Platone, ponendosi entro una problematica più che meramente storica, incontra disapprovazione in linea di principio. Tuttavia si può dire che, tendenzialmente, quei rami della filosofìa che si intersecano in via diretta con le scienze par­ ticolari, come ad esempio la filosofìa della natura o la filosofia della matematica, vengono ritenuti d’abitudine superati, nella misura in cui sono state superate le scienze che erano loro con­ temporanee. Può darsi che in quest’idea vi sia qualcosa di vero; resta però da considerare che una filosofia della natura che meriti questo nome, e non si limiti ad esporre un riassunto in forma popolare dei risultati scientifici del suo tempo, è dispensata per ragioni lo­ giche da una relativizzazione prodotta dal cambiamento delle scienze empiriche, in quanto riflette su concetti che si collocano anteriormente a queste ultime1. Ma torniamo all’idea di cui dicevamo: se anche vi è qualcosa di vero, ciò può semplicemente significare che le riflessioni pla1 Penso al concetto platonico di materia, che attraverso la fisica quantistica ha conosciuto una significativa attualizzazione; si veda: W. Heisenberg, Physik und Philosophie, Stuttgart 1959, pp. 51-60; Id., Oer Teil und das Ganze, München 1979, pp. 277-288; sul concetto platonico di materia è fondamentale il lavoro di D. J. Schulz, Das Problem der Materie in Platons Timaios, Bonn 1966. Ma penso anche, ad esempio, al concetto aristotelico di teleologia, su cui si veda: W. Kullmann, Die Teleologie in der aristotelischen Biologie, Heidelberg 1979.

40

toniche sulla matematica sono, con ogni verosimiglianza, di inte­ resse oggettivo. Com’è noto, infatti, la matematica greca al tem­ po di Platone ha conosciuto alcuni modi di porre i problemi che, in parte, hanno avuto di nuovo seguito solo alla fine del se­ colo scorso. Non mi riferisco principalmente al ricco materiale che si trova negli Elementi di Euclide, come ad esempio, la trat­ tazione degli irrazionali che risale a Teeteto, che ha luogo nel decimo libro, o la teoria dei cinque corpi regolari, che compare nel tredicesimo; mi riferisco, piuttosto, all’estrema precisione nel dimostrare, e all’interesse verso il problema dei fondamenti, o, in una parola, alla tendenza assiomatica. Secondo Bertrand Russell vi sono due direzioni nella ricerca matematica: da un la­ to, quella consueta, costruttiva, la quale porta «ad una compli­ cazione che aumenta passo per passo»; dall’altro lato, quella «che procede analiticamente verso un’astrazione ed una sempli­ cità logica sempre maggiori». «Anziché domandare» conti­ nua Russell — «che cosa si possa definire o dedurre a partire dalle assunzioni originarie, chiediamo, invece, quali concetti piu generali o principi si possano trovare, che permettano di defini­ re o dedurre il nostro punto di partenza. Seguire questa direzio­ ne inversa caratterizza la filosofia della matematica di contro alla matematica abituale»2.

2. ha «tendenza assiomatica» dell’Accademia In Accademia, si prestò particolare cura a studi orientati ap­ punto in questa seconda direzione. Testimonianze in merito so2 B. Russell, Introduction to Mathematical Philosophy, London 1985 13, p. 1. «towards gradually increasing complexity»; «which ... proceeds, by analysing, to greater and grater abstractness and logical simplicity; instead of asking what can be defined and deduced from what is assumed to begin with, we ask instead what more general ideas and principles can be found, in terms of which what was our starting-point can be defined or deduced. It is the fact of pursuing this opposite direction that characterises mathematical philosophy as opposed to ordinary mathematics». Si confronti questo passo di Russell con Platone, Rep. 510 B 4 ss. [Per garantire massima coerenza fra i testi originali di filosofi antichi e moderni citati e l’analisi cui vengono sottoposti, anche la traduzione dei primi, discussa e corretta insieme al Prof. Hösle, è a cura della traduttrice. Nel tradurre i brani di letteratura critica non italiana, si è seguito lo stesso criterio. N. d. /.].

*11

ο, prima di tutto, la dottrina delle proporzioni di Eudosso nel uinto libro degli Elementi di Euclide, che in quanto ad univerilità è ancora superiore alla teoria delle sezioni di Dedekind3, e, ì secondo luogo, il fatto che in Accademia venne evidentemen; discussa la possibilità di una geometria non euclidea. Infatti, oth ha scoperto nel Corpus Aristotelicum numerosi passi, che ggi costituiscono proposizioni della geometria non euclidea4, attraverso una accurata interpretazione, Tóth è riuscito a far edere che questi passi sono relitti del tentativo di dimostrare ndirettamente il postulato delle parallele; e appunto la comjrensione del necessario naufragio di questo tentativo ha pro­ lotto, quale risultato finale, l’introduzione del postulato delle sarallele, fra i postulati del primo libro di Euclide, come vero e proprio assioma. «La “communis opinio”, secondo la quale il problema delle parallele è nato da una mancanza di evidenza del 3 II trattato classico di R. Dedekind, Stetigkeit und irrationale Größen, è com­ parso nel 1872, e ora si trova in: Id., Gesammelte mathematische Werke, Braun­ schweig 1930-1932, voi. Ill, pp. 315-334. La sua originalità, che Dedekind ha di­ feso ad esempio contro R. Lipschitz (si veda ivi, pp. 464-482, spec. 469 ss.), sta nel restringersi ai numeri, e nell’esplicita posizione dell’esistenza, che Dedekind indica con il termine tecnico «creazione» (Schöpfung), dei numeri irrazionali. Eu­ dosso, viceversa, elimina in maniera geniale proprio il problema dell’esistenza. A questo proposito, si vedano le argomentazioni, che colgono il nocciolo della que­ stione, di G. Peano, Definitone de numéros irrationale secundo Euclide, in: Id., Opere scelte, 3 voli., Roma 1957-1959, vol. Ili, pp. 385-388. Da un lato, Peano ri­ manda alle corrispondenze che sussistono fra il libro V degli Elementi di Euclide e Dedekind (ivi, p. 387: «isto divisione es vocato sectione [Schnitt ab Dedekind in 1872]»); ma d’altro lato, rileva a buona ragione: «Quod non es scripto in Eu­ clide, es existencia de irrationales» (ivi, p. 388. Si badi che la lingua in cui scrive Peano è l’interlingua da lui fondata, cioè il «latino sine flexione»). Però, proprio nella maggiore universalità della teoria eudossiana, si può riconoscere una certa superiorità rispetto a Dedekind; si veda: H. Hasse-H. Scholz, Die Grundlagen­ krisis der griechischen Mathematik, Charlottenburg 1928, p. 24 s.; alle pp. 17 e 24, si fa inoltre rimando al fatto che Eudosso, diversamente da quanto faceva an­ cora Dedekind, e 2250 anni prima di Hilbert, ha definito le sue proporzioni in modo implicito. Su questo punto si veda infra. Parte seconda, III, 2. 4 Cfr. I. Tóth, Das Parallelenproblem im Corpus Aristotelicum,,., citato in pie­ no accordo, ad esempio, da K. von Fritz, Der Orsprung der Wissenschaft bei den Griechen, in: Id., Grundprobleme der Geschichte der antiken Wissenschaft, BerlinNew York 1971, pp. 1-334, spec. 209 n. 435. Di Tóth si veda anche: Geometria more ethico, in: Y. Maeyama-W. Salzer (curatori), ΠΡΙΣΜΑΤΑ. Festschrift fur W. Härtner, Wiesbaden 1977, pp. 395-415.

postulato delle parallele, risulta in seguito alle precedenti argo­ mentazioni storicamente insostenibile; al contrario: la necessità di superare il problema delle parallele, che sussisteva già, richie­ se l’introduzione del postulato delle parallele»5. Io stesso, nel saggio che occupa la seconda parte di questo volume, tento di indicare, riallacciandomi ai lavori di Tóth, che non solo in Ari­ stotele, ma già in Platone, si trovano passi che si possono spiega­ re solo con la scoperta della possibilità matematica di una geo­ metria non euclidea6.

3. Limpossibilità di un autofondazione della matematica e la pos­ sibilità di una fondazione ultimativa come «proprium» della filosofia. Evidentemente, ciò che in questa scoperta interessa dal punto di vista filosofico è che Platone sia il primo nella storia della filo­ sofìa a riconoscere l’impossibilità, in linea di principio, per la matematica, di autofondarsi in maniera ultimativa, in quanto il criterio di coerenza formale permette la costruzione di sistemi fra loro contrastanti. Oggi, questo può apparire triviale. Ma si ricordi, che l’idea per cui la coerenza, in matematica, non garan­ tisce affatto l’unica possibile verità, sarà assurda ancora per un grande matematico e filosofo, quale fu Leibniz; per contro, la matematica moderna, ma molto prima, appunto, anche Platone, si trovano d’accordo nell’accettare tale idea. Credo quindi che, per quanto riguarda il suo significato filosofico, questa scoperta non possa essere oggetto di una sopravvalutazione: in ultima istanza, da essa risulta la lacunosità, in linea di principio, di ogni forma di filosofia che si prenda a modello il metodo matemati­ co.

5 Tóth, Geometria..., p. 399: «Die “communis opinio”, das Parallelen­ problem sei aus Mangel an Evidenz des Parallelenpostulats entstanden, erscheint nach obigen Ausführungen historisch unhaltbar; im Gegenteil: die Notwendigkeit der Überwindung des bereits bestehenden Parallelenproblems erforderte die Einführung des Parallelenpostulats». 6 Cfr. infra, Parte seconda, III, dove si tratta di Rep. 509 D ss. e Crai. 436 D.

Certo, non per questo Platone è diventato scettico. Platone non è in alcun modo dell’idea che respingere il metodo matema­ tico debba significare che, da quel momento in poi, qualunque associazione diviene, per la filosofìa, indifferentemente rilevante. Al contrario, l’unico metodo adeguato alla filosofìa può essere solo un metodo che sia ancora più rigoroso di quello della mate­ matica: un m etod o, cio è, che da una parte rinun ci com e quest’ultimo ad appellarsi al dato empirico ed intuitivo, ma che dall’altra parte abbia al centro, nella sua struttura logica, un «principio anipotetico» (άνυπόθετον)7, qualcosa che non sia più da definirsi come presupposto, poiché ultimativamente fondan­ te ed ultimativamente fondato. Come ho mostrato per esteso in altra sede, questo fondamento al di là del quale non si può pro­ cedere è, per Platone, il pensiero di pensiero che si fonda nel pensiero dei Principi e delle Idee più alte in modo riflessivo e, in quanto autofondantesi, ultimativo8. Questo non è il luogo adatto per discutere la possibilità o ad­ dirittura la necessità di un simile pensiero9. Qui mi interessa sol­ tanto riconoscere il semplice fatto storico che il fondatore della metafìsica occidentale ha considerato, come proprium della filo­ sofìa, la possibilità di una fondazione ultimativa: una possibilità che, a suo avviso, è fondamentalmente negata anche alla mate­ matica.

4. La matematica, origine e premessa della filosofia Per Platone, però, la conoscenza matematica di tipo dianoeti­ co (διάνοια), con il suo ascendere oltre l’esperienza sensibile, costituisce una condizione di genesi ed un livello preparatorio irrinunciabile per la conoscenza filosofica di tipo noetico (νους·). 7 Rep. 511 B. 8 Cfr. Hösle, Wahrheit und Geschichte..., II, pp. 397 ss., ove si affrontano il Teeteto (spec. 196 D-F, 199 D ss.), il Carmide (spec. 166 C, 169 A), un passo delì’Eutidemo (292 D-F), Rep. 582 D-F, e Poi. 304 B-F. 9 È sorprendente con quanta pervicacia si mantenga come argomento princi­ pale contro la possibilità di tale pensiero, sebbene la sua inconsistenza sia così fa­ cile a vedersi, U cosiddetto «trilemma di Münchhausen» (e, cosa che spesso non è

44

In effetti, da un punto di vista psicologico, il platonico pathos della ragione non si può comprendere senza l’esperienza di ve­ rità, clic la matematica ha evidentemente significato per lui. Il famoso aneddoto, per cui all’entrata dell’Accademia si leggeva la scritta «Chi non è geometra non entri» (ΜηδεΙ? άγεωμετρη­ τός- Ησίτω), rappresenta probabilmente una trovata successi­ va10, ma si tratta di una trovata molto buona: il programma edu­ cativo della Repubblica, ove si veda specialmente 536 D ss., le corrisponde in pieno. Fra l’altro, anche solamente da quest’ultim o passo della Repubblica, risulta che, proprio secondo il modo in cui Platone si autocomprese, la conoscenza della matematica a lui contem­ poranea costituisce un presupposto indispensabile per com­ prendere la sua filosofìa. Tale conoscenza è stata incrementata in maniera decisiva ne­ gli anni ’20 e ’30 di questo secolo da storici della matematica, quali O. Töplitz, O. Becker e altri, ma al giorno d’oggi si è co­ stretti a sentirne la mancanza, in misura deplorevole, in numero­ se posizioni filosofiche prese a favore di Platone. A buon diritto, Hasse e Scholz, nella ricerca che abbiamo citato in precedenza, potevano già osservare quanto segue: «se ancor oggi si preten­ desse da un Platonico, quale precondizione di ogni dichiarato professarsi a favore di Platone, il corso universitario di matema­ tica, che Platone richiedeva per l’ammissione all’Accademia, ... il numero dei Platonici si restringerebbe in misura davvero note­ vole»11. nota, questo trilemma non risale solo all’EHenismo antico, ma fu già dibattuto an­ che nell’Accademia platonica, in forma non raffinata; cfr. Hösle, Wahrheit und. Geschichte..., p. 633 ss., 656 ss.). Infatti, dall’argomento medesimo segue che es­ so ha evidentemente un presupposto·, più precisamente, ha il presupposto per cui vi è solo un pensiero che procede a partire da assiomi non dimostrabili. Così il trilemma si riduce alla banale tautologia, sufficientemente familiare a tutti i soste­ nitori della possibilità di una fondazione ultimativa, secondo la quale non vi è fondazione ultimativa, sulla base del presupposto che solo il pensiero assiomatico sia possìbile e che quindi non vi sia fondazione ultimativa. Tuttavia, bisogna rico­ noscere come merito del trilemma il fatto che esso, se solo fosse oggetto di rifles­ sione, sarebbe addirittura garante della possibilità di un pensiero privo di pre­ supposti. 10Cfr. Gaiser, Platons..., p. 446 s. 11 Hasse-Scholz, Die Grundlagenkrisis..., p. 4: «wenn man von einem

5. Ontologizzazione della matematica anziché matematiziazinne della filosofia È scorretto sottovalutare il significato della matematica per la filosofia platonica. Eppure, le riflessioni di Platone, che abbia­ mo appena citato dal paragone della linea, mostrano anche che sarebbe altrettanto erroneo cogliere in Platone il primo pensato­ re che volle costruire la filosofìa sulla base della matematica. Si possono dunque creare equivoci, ad esempio, quando Gaiser parla di una «universale matematizzazione del pensiero filosofico» da parte di Platone*12; in Platone, si deve pensare ad una ontologizzazione della matematica, molto di più che ad una mate­ matizzazione della ontologia. Per Platone, infatti, la matematica non può fondare l’ontologia, ma solo l’ontologia può fondare la matematica, anche se quest’ultima, nel movimento dialettico della «via in su» (άνοδος·), è in grado di indirizzare ai principi supremi. Nella seconda parte di questo volume, cerco comunque di mostrare che Platone si è impegnato a rimuovere, appunto con una soluzione ontologica, l’esito matematicamente sconcertante che molteplici geometrie sono possibili, se si accetta solo il crite­ rio di coerenza. Secondo questa soluzione, la geometria euclidea è vera non sulla base di argomenti matematici, e neppure perché sia più intuitiva (anche prescindendo interamente dal fatto che ciò è falso, un argomento del genere, per Platone, implichereb­ be la perdita della scientificità della geometria); viceversa, la geometria euclidea è vera, perché l’angolo retto vi svolge il ruolo Platoniker auch heute noch, als Vorbedingung jedes Bekenntnisses zu Plato, den mathematischen Hochschulkurs verlangte, den Plato für die Zulassung zur Akademie gefordert hat, würde die Zahl der Platoniker gar sehr zusammen­ schrumpfen». 12 Gaiser, Platons..., p. 294: «der universalen *Mathematisierung* des philo­ sophischen Denkens». Analogamente, la decisa opposizione, che Krämer istituisce tra la filosofìa della matematica di Platone e quella di Hegel (si veda, ad esempio, Platone..., p. 325 s.), è corretta solo a numerose condizioni. In un certo senso, si deve infatti dire che per Platone, non meno che per Hegel, la matematica non ha valore filosofico (anche se, naturalmente, non è antifìlosofica). Su Platone ed Hegel, si veda infra, IV, 2.

46

di misura13. Ora, l’angolo retto, poiché c’è un unico angolo che sia tale, è coordinato all’«Uno» (cv), cioè al principio positivo della teoria esoterica dei principi di Platone, mentre l’illimitata molteplicità di angoli acuti e ottusi rimanda al «Grandc-c-Piccolo» h t·/« · μικρόν) 14, cioè alla «Diade» (δυας·) scissa in un «troppo-e-troppo poco»15. La geometria euclidea pertanto, quale geometria del principio ontologicamente superiore, è chiamata ad essere la geometria vera . La fondazione di questa opzione non ci può certo soddisfare nel suo contenutol6. Quanto vi si trova però di grande e di mo­ derno è la decisa posizione contraria assunta verso i tentativi di fondare la geometria a partire dall’intuizione. Per di più, a priori non è insensato cercare strutture che distinguano, nel senso di un’ontologia dialettica, un sistema geometrico come superiore 13 Com’è noto, nella geometria euclidea un triangolo ha la somma degli angoli uguale a 180°, nella geometria ellittica la ha maggiore di 180°, e nella geometria iperbolica minore di 180°. 14 Si veda la Test. 37 Gaiser (con Test, abbrevio i Testimonia sull’insegna­ mento orale di Platone che si trovano in appendice al libro di Gaiser, Platons...). Z. Markovié, Platons Theorie über das Eine und die unbestimmte Zweiheit und ihre Spuren in der griechischen Mathematik, in: O. Becker (curatore), Zur Geschichte der griechischen Mathematik, Darmstadt 1965, pp. 308-318, ha trac­ ciato gli sviluppi successivi di questo pensiero, ad esempio, in Aristotele, in Erone, e nei matematici neoplatonici come Teone, Giamblico, e Proclo. Io stesso mo­ strerò che questa concezione si trova ancora in Cusano e in Hegel (cfr. infra. Par­ te seconda, III, 5). In maniera perfettamente analoga, Platone pone in parallelo le linee rette, per via dell’infìnitudine della loro lunghezza, con la Diade, e viceversa le linee curve, per via della loro finitudine, con l’Uno in funzione di limite (πε'ρας·): cfr. Test. 38 Gaiser. Per ulteriori interpretazioni di strutture matemati­ che, condotte a livello di teoria dei principi, cfr. Gaiser, Platons..., p. 54 ss. 13 Si può richiamare qui il fatto che i termini platonici per indicare il «trop­ po» ed il «troppo-poco», ossia «ελλειψις» e «υπέροχη» (ο «υπερβολή»), sono al­ trimenti noti in contesto matematico, e precisamente come sezioni di sfera; fra di esse, ha il proprio posto la parabola, in virtù della quale E Klein ha denominato la geometria euclidea «geometria parabolica». 16 Peraltro, in F. A. Taurinus, Theorie der Parallellinien, Köln 1825, si trova un pensiero che in ultima istanza equivale ad essa. Taurinus, malgrado abbia ca­ pito la possibilità matematica di una geometria iperbolica, opta a favore di quella euclidea, e non tanto perché quest’ultima sia più intuitiva (ivi, p. 86), bensì per il fatto che la geometria iperbolica, per essere definita, richiede una costante da as­ sumersi arbitrariamente, e quindi sono possibili infinitamente molti sistemi iper-

47

rispetto ad altri17. In ogni caso, si potrà tener fermo, storicamen­ te, che era desiderio di Platone fondare dal punto di vista di una teoria dei principi gli assiomi della geometria: assiomi che la geometria non discute ulteriormente, e deve per necessità porre come non ulteriormente discutibili nel proprio ambito18. botici, mentre c e una sola geometria euclidea {ivi, p. 89 ss.; i passi sono citati se­ guendo O. Becker, Grundlagen der Mathematik in geschichtlicher Entwicklung, Frankfurt 1975, p. 183 ss.). 17 Così D. Wandschneider, Raum, Zeit, Relativität, Frankfurt 1982, p. 55 ss. (cfr. anche p. 49 ss.), ha presentato recentemente alcuni argomenti di tipo ontolo­ gico, e logico-dialettico, a favore della tridimensionalità dello spazio naturale, fa­ cendo appoggio sulla filosofia della natura di Hegel, e distaccandosi da tutti i ten­ tativi che, in tale contesto, ricorrono all’intuizione. Mi sembrerebbe pienamente sensato ricercare se, al di là del numero delle dimensioni (che per dire una trivia­ lità non ha nulla a che fare con il carattere euclideo o non euclideo dello spazio), non vi sia qualcosa da dire «a partire dal concetto» sulla struttura interna di que­ sto spazio tridimensionale; penso a questo: se lo spazio ellittico (ed il nostro spa­ zio fisico è possibilmente ellittico) non sia da preferirsi a quello euclideo e iper­ bolico per ragioni categoriali, ad esempio a causa della sua finitudine, così come a causa di determinate proprietà di simmetria. 18 W. Wieland, Platon und die Formen des Wissens, Göttingen 1982, p. 216, nella sua interpretazione del paragone della linea, afferma: «Il dialettico non ha il compito di rendere sicure le ipotesi del matematico. (Der Dialektiker hat nicht die Aufgabe, die Hypothese des Mathematikers zu sichern)». Discutere questa sua interpretazione sarebbe certo stimolante, se Wieland si fosse premurato di trattare anche delle testimonianze sulla dottrina esoterica che indicano in un’altra direzione (si veda supra, nota 14); ignorare non vale argomentare. Sul libro di Wieland su Platone si veda ora la recensione critica di Krämer, in: «Rivista di Fi­ losofia Neoscolastica», 74 (1982), pp. 579-592. E’ evidente che Platone non ritie­ ne gli assiomi matematici indimostrabili in linea di principio, ma solo per la mate­ matica in se stessa (la congiunzione «finchó> [εω$·] in Rep. 533 C 1 lo dice chia­ ramente). Inoltre, a Wieland sfugge la sostanziale continuità che in Platone sussi­ ste fra le diverse facoltà conoscitive: esse vengono fondate da quella di loro che, di volta in volta, è sovraordinata alle altre (è così che la dianoia matematica viene fondata dal nous filosofico), e si susseguono luna all’altra in modo non immedia­ to. Le riflessioni che secondo Wieland contraddistinguono la filosofia anterior­ mente alla matematica, sarebbero del tutto prive di interesse per la matematica in quanto matematica; se esse costituissero ciò che Platone si proponeva, resterebbe enigmatico come mai Platone fu in grado di delineare il programma di una scien­ za filosofica che unifica tutte le scienze. Diversamente da Wieland, anche W. Burkert, Konstruktion und Seinsstruktur: Praxis und Platonismus in der grie­ chischen Mathematik, «Abhandlungen der Braunschweigischen Wissenschaflichen Gesellschaft», 34 (1982), pp. 125-141, spec. 132, ha posto recente­ mente in risalto la pretesa della filosofia platonica di «assicurare i fondamenti an­ che dell’aritmetica e della geometria, in quanto dottrina onnicomprensiva della

48

scienza (als umfassende Wissenschaftslehre, die Grundlagen auch der Arithmetik und Geometrie zu sichern)», e ha caratterizzato la «filosofia platonica come me­ tamatematica (platonische Philosophie als Meta-Mathematik)». Tuttavia Burkert è dell’idea che Platone «non si sia dilungato ad indicare», «come ciò avvenisse nel dettaglio e perché in questo modo venissero ottenuti risultati univoci (ivi, p. 133: auch nicht ansatzweise gezeigt, ... wie dies im einzelnen sich ereignet und wieso dabei eindeutige Ergebnisse gewonnen werden)». In queste pagine tentia­ mo di ricostruire, nei loro contenuti, le idee che Platone ebbe su questa fondazio­ ne.

III. La generazione dei numeri in Platone nel suo significato storico

1. Un programma dì fondazione ontologica dei numeri naturali Al tempo di Platone, l’aritmetica e la teoria del numero non hanno conosciuto nessuna crisi dei fondamenti. La scienza ma­ tematica che sta al centro del paragone della linea è quindi evi­ dentemente la geometria1. Ciò nonostante, anche l’aritmetica esige, secondo Platone, una fondazione: accanto alle tre specie di angolo e alle figure geometriche vengono nominati i concetti di «pari» e «dispari», presupposti dalla matematica in quanto aritmetica12. Più avanti, peraltro, cerco di provare che quelli che Platone intende con il termine tecnico di «presupposti» (ύττοθεσα.?) non possono essere propriamente concetti; si tratta piuttosto di pro­ posizioni, nelle quali viene affermata l’esistenza delle entità cor­ rispondenti a questi concetti3. Ma che cosa deve presupporre, a livello di assiomi, l’aritmeti­ ca? Se pensiamo alla forma che l’aritmetica ha assunto oggi, i suoi presupposti sono contenuti nei cosiddetti cinque assiomi di Peano, che garantiscono l’esistenza della serie dei numeri na­ turali. In realtà, il fatto che vi siano numeri naturali è indimo­ strabile con mezzi matematici; la loro esistenza può essere posta solo assiomaticamente4. In questo senso, si potrebbe dire che la concezione platonica di generazione dei numeri non era intesa a nient’altro, se non a fornire una fondazione filosofica dell’esi­ stenza dei numeri naturali. 1 Si veda infra, Parte seconda, III, 4, (a), ove si rimanda a Rep. 510 B 3 ss., D 5 ss., 511 D 2 ss. 2Rep. 510 C ss. 3Cfr. infra. Parte seconda. III, 4, (c). 4 Astraggo qui dai tentativi di fondare l’aritmetica nella teoria degli insiemi, dato che ciò sposta solo il problema: gli assiomi della teoria degli insiemi non possono essere dimostrati con mezzi matematici.

Ciò è comunque degno di nota anche dal punto di vista della storia della matematica. Com’è noto, infatti, i tre libri aritmetici degli Elementi di Euclide (VII-IX) conoscono definizioni, ma non assiomi, diversamente dai libri geometrici, nel primo dei quali alle definizioni, ad esempio del cerchio (I def. 5), seguono postulati, che hanno il compito di porre al sicuro l’esistenza del­ la maggior parte delle costruzioni definite (nel caso del cerchio, è chiamato in causa il post. 3). A fondamento di ciò sta l’idea, senz’altro giusta, per cui le definizioni di per sé non garantiscono ancora esistenza. Nel li­ bro VII, invece, si cercheranno invano postulati5; e, com’è noto, nella storia della matematica questa lacuna è stata colmata solo alla fine del secolo scorso, per mezzo di un’assiomatizzazione dell’aritmetica. Tale assiomatizzazione manca ancora in Cartesio, la cui geometria analitica aiutò la tendenza ad «aritmetizzare la geometria» a farsi breccia. Ora, penso che il programma di Platone riguardante la «ge­ nerazione» dei numeri volesse colmare questa lacuna; e se anche la sua esecuzione, nella quale mi immeterò subito, può risultare nel dettaglio insoddisfacente, tuttavia l’aver riconosciuto, circa 2200 anni prima di Dedekind e di Peano, la mancanza di una si­ mile fondazione, rimane un guadagno portentoso6. Certo, non va trascurata una differenza: Platone vuole di più, rispetto ai matematici moderni; infatti, gli assiomi che si richie­ dono non devono solo essere stabiliti, ma devono essere dedotti dalla teoria dei principi. 5 Ancora nel commento al primo libro degli Elementi di Euclide di Proclo (G. Friedlein, Proclt Diadocht In primum Euclidis Elementorum librum commentarti, Lipsiae 1873, risi. Hildesheim 1967) si legge che i postulati sono qualcosa di spe­ cificamente geometrico (p. 182, 1. 7: «οτι τά μεν ίδια τής· γεωμετρικήν εστιν ύλην»), mentre le «nozioni comuni» (κοιναι εννοιαι) sono presupposte anche dall’aritmetica. Gli assiomi presentati da Th. Heath, The thirteen Books of Euclid’s Elements, 3 voll., New York 1956, vol. II, p. 294, come assiomi implicita­ mente presupposti da Euclide per l’aritmetica, fra i quali ricordiamo ad esempio l’assioma sulla transitività della relazione di misura, non garantiscono in alcun modo l’esistenza dei numeri naturali. 6 Già O. Töplitz, proprio in questo senso, anche se con alcune esitazioni, ha richiamato l’attenzione su tale stato di cose. Nel suo fondamentale saggio Das Verhältnis von Mathematik und Ideenlehre bei Plato, «Quellen und Studien zur Geschichte der Mathematik, Astronomie und Physik», Abt. B, Vol. I (1929-

5r 2. Il autonomia dell’aritmetica Anche un ulteriore aspetto del tentativo platonico di fondare l’aritmetica ricorda i moderni: la assoluta autonomia dell’aritme­ tica all’interno delle scienze matematiche. Com’è noto, anche questa autonomia è stata universalmente riconosciuta solo alla fine del secolo scorso; l’originalità di Dedekind consiste proprio nel rifiuto deciso di tutti i tentativi che, nella fondazione dell’aritmetica, o dell’analisi, si rifanno a rappresentazioni geo­ metriche7. Questa tendenza si è giustamente imposta nel vente­ simo secolo; e che essa contraddica la concezione di Euclide ri­ sulta chiaro già in considerazione di un dato di fatto esteriore, ossia che in Euclide i libri aritmetici (VII-IX con X, che tratta dei valori irrazionali) si collocano fra quelli pianimetrici (I-VI) e quelli stereometrici. a) La priorità dell’aritmetica rispetto alla geometria A questo ordinamento euclideo si oppone quello platonico, che si può reperire nel settimo libro della Repubblica, special1931), pp. 3-33, ora in: Becker (curatore), Zur Geschichte der griechischen Mathe­ matik..., pp. 45-75, spec. 73, si legge quanto segue: «Infatti, quando Vieta e Descartes hanno portato a termine l’emancipazione dal modo geometrico di esprimersi dei Greci, hanno trascurato di istituire un sistema di assiomi per gli oggetti di calcolo secondo il modello degli assiomi geometrici dei Greci, e questo passo, cioè l’“assiomatizzazione” dell’aritmetica, è stato compiuto solo al finire del diciannovesimo secolo. (Als nämlich Vieta und Descartes die Loslösung von der geometrischen Redeweise der Griechen vollzogen, haben sie es unterlassen, für die Rechendinge nach dem Muster der geometrischen Axiome der Griechen ein Axiomensystem zu errichten, und diesen Schritt, die “Axiomatisierung’ der Arithmetik, hat erst das endende 19. Jahrhundert nachgeholt)»; e subito sotto (ivi, p. 74) leggiamo: «E’ possibile che sia stato ... proprio Platone a compiere questa assiomatizzazione, e forse il programma sull’essenza della ricerca matema­ tica, esposto alla fine del VI libro della Repubblica, indica già in questa direzione. (Möglicherweise ist es ... Plato selbst, der diese Axiomatisierung vollzogen hat, und vielleicht weist das am Ende von Buch VI des Staats aufgestellte Programm über das Wesen mathematischer Forschung bereits in diese Richtung)». Manca­ no tuttavia argomentazioni più puntuali. 7 Questo è il tenore dello scritto, che abbiamo già citato, Stetigkeit und irratio­ nale Größen..., come di quello del 1888 intitolato: Was sind und was sollen die Zahlen?, ora in: Dedekind, Gesammelte mathematische Werke..., voi. Ill, pp. 335-391.

52

mente in 524 D ss. In questo passo, il «quinquivio» è costituito, nella seguente serie successiva, da aritmetica, geometria, stereo­ metria, e dalle due scienze matematiche «applicate» astronomia e armonica; l’aritmetica è in prima posizione, poiché nel concet­ to di numero si manifesta nella maniera più chiara la dialettica dei principi. In generale, le entità geometriche per Platone sono più complesse di quelle aritmetiche. Ad esempio, nella relazione di Alessandro sul trattato Sul Bene (ilepi Τάγαθοΰ) tramanda­ ta in Simplicio, si dice in modo inequivocabile che il numero è la prima entità matematica, mentre i punti sono unità determi­ nate localmente: «i punti sono unità dotate di posizione»8. In questa priorità dei numeri rispetto ai concetti fondamenta­ li della geometria è necessario cogliere, come abbiamo detto, la stupefacente modernità di Platone. Con tale concezione infatti, che ai suoi tempi fu quasi il solo a sostenere9, Platone si è avvici­ nato alla matematica contemporanea persino più di Eudosso. Naturalmente, anche Platone, come quasi tutta l’epoca anti­ ca, ha limitato il concetto di numero ai numeri naturali. M o­ strerò tuttavia che, nella filosofìa del numero di Platone, piutto­ sto che nella restante matematica greca, si trova una certa ten­ denza ad interpretare in senso non-geometrico gli stessi valori ir­ razionali. b) L’interpretazione non-geometrica dell’irrazionale Anche su questo punto Töplitz ha già richiamato l’attenzio­ ne, senza essere stato, finora, sufficientemente recepito. Alla fine del saggio che abbiamo già citato, egli scrive a ragione che i ten­ tativi, da parte di Taylor, di porre in connessione i valori irrazio­ nali con la «Diade indefinita» (tentativi ai quali, peraltro, si rife­ risce criticamente)10, dovrebbero avere un significato molto im­ portante per la storia della matematica antica. «Se vale simile te8 Test. 23 b Gaiser: «τα δè σημεία είναι μονάδαν θε'σιν έχοΰσαν». 9 In verità, anche l’amico di Platone Archita considera l’aritmetica come più chiara, più universale e più scientifica della geometria: si veda H. Diels-W. Kranz, Fragmente der Vorsokratiker, 3 voll., Berlin 1951-19526, 47 B 4.. 10 Cfr. A. E. Taylor, Forms and Numbers. A study in Flatonic Metaphysics, «Mind», 35 (1926), pp. 419-440,36 (1927), pp. 12-33.

53

si» — leggiamo — «o anche solo la tendenza che si trova essa, questo significa davvero molto per la matematica greca. Significa che Platone aveva in mente di condurla in qualche modo al con­ cetto odierno di numero, in una misura che non è immediata­ mente comprensibile a partire da Euclide; e inoltre significa che Aristotele, con la sua battaglia contro di ciò, ha spinto la mate­ matica greca lontano da questa via»11. c) Il rifiuto di Aristotele È convincente che Töplitz ritenga Aristotele responsabile di aver bloccato la concezione platonica, sebbene si possa pensare anche ad Eudosso. Si tratta di una conseguenza del rifiuto da parte di Aristotele, in linea di principio, della filosofìa della ma­ tematica di Platone: un rifiuto che per molti aspetti è stato fata­ le. Ad esempio, nel programma di quantificazione delle qualità, che Platone illustra nel Timeo, è espresso nel suo nocciolo nien­ te meno che il pensiero di fondo decisivo della moderna scienza della natura1112: essa è in debito rispetto ad una simile concezione, tutt’altro che ovvia, di matematizzazione del mondo naturale, non meno che rispetto ad una sperimentazione sistematica, che comunque a Platone era ancora estranea13. Ora, trasformando la successione platonica delle scienze «metafisica-matematica-fisica» in «metafisica-fìsica-matemati­ ca», Aristotele ha lasciato cadere, con la perdita di una certa au­ tonomia della matematica, appunto questa possibilità di una 11 Töplitz, Das Verhältnis..., p. 52 s.: «Gilt diese These oder auch nur die in ihr liegende Tendenz, so besagt dies allerdings sehr viel/«r die griechische Mathe­ matik. Es besagt, daß Plato im Begriff war, sie in einem aus dem Euklid nicht unmittelbar zu erkennenden Maße irgendwie zu dem heutigen Zahlbegriff hinzuführen, und es besagt weiter, daß Aristoteles mit seinem Kampf dagegen die griechische Mathematik von diesem Wege abgedrängt hat». 12Cfr. Tim. 53 C ss. 13 Cfr. ivi, 68 D. Non sarebbe difficile mostrare che a fondamento della mo­ derna scienza naturale non sta in prima linea una forma irriflessa di empirismo, ma, almeno in egual misura, una forma modificata di Platonismo. Qui si ricordi soltanto che anche la richiesta rivoluzionaria, da parte di Cusano nell'Idiota de staticis experimentis, di una quantificazione e metrificazione, ad esempio della medicina e della chimica, era la richiesta di un Platonico. Per una interpretazione

matematizzazione della natura*14; e non si può esprimere altro giudizio se non che questa rinuncia, suggellata ad esempio in Epicuro15, segna un passo indietro sulla via verso la scienza mo­ derna. È evidente, però, che con questa subordinazione della mate­ matica alla fisica si dà un’opzione a favore della geometria: sono infatti corpi e grandezze, non numeri, che, in quanto dotati di movimento, costituiscono l’oggetto della fisica16. Al contrario, come abbiamo visto, in Platone l’aritmetica precede e domina la geometria. La «generazione» dei numeri, pertanto, non può ser­ virsi di rappresentazioni geometriche. d) Passaggio all’analisi delle fonti Una volta che si sia riconosciuto che il disegno platonico di generazione dei numeri non è un’astrusità, ma piuttosto rappre­ senta una concezione che sorpassa la matematica dei tempi di Platone, ci si può immettere in quelle che concretamente erano le sue idee. In primo luogo, intendo discutere i passi rilevanti che si trovano nei dialoghi; come risulterà chiaro, questi passi non trattano della «generazione» dei numeri, bensì della fonda­ zione ontologica dei più importanti predicati dei numeri. Plato­ ne ha evidentemente riservato la concezione della generazione dei numeri alla dottrina orale.

3 . 1 passi dei dialoghi sulla fondazione del «pan e dispari» a) Un passo della Repubblica Abbiamo visto che in Repubblica, 510 C 3, sono presentati della storia della scienza sullo sfondo del Platonismo, si veda ad esempio: C. F. v. Weiszäcker, Platonische Naturwissenschaft im Laufe der Geschichte, Göttingen 1971. 14Si veda, ad esempio, Metaph. K 7 di contro a E 1, e Metaph. 1092 b 15 ss. 15 Si veda Hösle, Wahrheit und Geschichte..., p. 644 ss. 16Cfr. Oe cael. 268 a 1 ss.: «La scienza della natura, quasi per la sua massima parte, risulta vertere sui corpi, sulle grandezze, sulle loro affezioni, e sui loro mo­ vimenti ... (ή περί φύσε ως- έπιστήμη σχεδόν ή πλεΐστη φαίνεται περί τε σώματα καί μεγέθη καί τά τούτων οδσα πάθη καί τά? κινήσει? ···)»·

55

quali concetti fondamentali dell’aritmetica, da fondarsi filosofi­ camente, «pari e dispari» (περιττόν καί άρτιοι/); questi concet­ ti, in armonia a quanto abbiamo osservato in precedenza, sono nominati prima dei concetti fondamentali della geometria. Come sa chiunque abbia soltanto tenuto in mano Euclide, sono ap­ punto questi concetti che vengono usati con maggiore frequen­ za, nell’ultimo libro di quelli dedicati alla teoria del numero, co­ me predicati per la caratterizzazione dei diversi numeri naturali. Questa aritmetica diadica è antico-pitagorica17. b) Un passo del Parmenide Ora, nel Parmenide si trova un passo, che evidentemente si accorda in modo splendido con il programma della Repubblica. Nella seconda ipotesi del Parmenide, ove viene principalmente 171 libri degli Elementi di Euclide sulla teoria del numero non raggiungono il livello degli altri. Qui vogliamo ricordare, come particolarmente degne di nota, le proposizioni IX 20 e IX 36. La proposizione IX 20 dimostra che vi è una molte­ plicità infinita di numeri primi: a partire da una quantità finita di numeri primi P (pj, p2, ... p„), si può formare q = Πρ + 1, ove q = 1 (p), e quindi o è esso stes­ so primo, oppure rappresenta il prodotto di numeri primi non contenuti in P. La proposizione IX 36 mostra che i numeri dalla struttura N = 2l (2t+1 —- 1), ad esempio i numeri 6, 28, 496, sono perfetti, cioè sono la somma dei loro propri divisori, se l’espressione in parentesi è prima: infatti, la somma di tutti i divisori di N è evidentemente (1+2*+...+ 2‘) · (1+ (2t+1 — 1), ossia (2t+1 — 1) -2t+1= 2N). Fra l’altro, numerosi problemi direttamente associati a queste proposizioni sono, ancor oggi, irrisolti: ad esempio, il problema se vi sia una molteplicità infinita an­ che di numeri primi gemelli (pf, p2 = Pi+2), oppure se valga in generale l’inversa di IX 36. Per la precisione, Eulero ha dimostrato che i numeri pari perfetti hanno necessariamente la suddetta struttura: la somma dei divisori di un numero pari N = 2‘ · u, dove u è un numero naturale dispari, è il prodotto di 2t+1 — l e della somma dei divisori del fattore dispari, che nel seguito indicheremo con σ (u); ma questo, sè il numero è perfetto, è = 2N, dunque (2t+1 — 1) · a (u) = 2t+1· u; ne se­ gue che a (u) = a · 2t+1 e u = a · ( 2t+1 — 1); quindi, ora u è sicuramente divisibile per mezzo di (2I+1 — 1) e per mezzo di a; ma la somma dei suoi divisori deve es­ sere solo = a · 2l+1, sicché a=l e 2t+1 — 1 deve essere numero primo. Fino ad oggi però è ignoto se vi siano anche numeri dispari perfetti; si conoscono solo condi­ zioni estremamente restrittive. Sui numeri perfetti, nel loro aspetto storico, si ve­ da: O. Ore, Number Theory and its History, New York-Toronto-London 1948, pp. 91-96, 359 a; per quanto riguarda il loro aspetto strettamente matematico, si veda ad esempio: A. Scholz-B. Schoeneberg, Einführung in die Zahlentheorie, Berlin-New York 1973, p. 29 s.

JG

illustrata la «Diade», ossia il secondo principio dell’esoterica di Platone18, si procede in primo luogo a partire dalla determina­ zione duale dell’uno che è, la quale è divenuta necessaria, dopo che nella prima ipotesi si è mostrata l’impossibilità di un uno completamente trascendente; e appunto, da questa dualità19, P la to n e riesce ad o tten er e una « m o ltep lic ità in fin ita » (άπειρον...πλήθος·)20, per il fatto che ogni momento della deter­ minazione duale si integra ripetutamente con il suo momento opposto: infatti l’uno è una parte e l’essere è una parte della de­ terminazione da cui si è partiti, ossia dell’uno che è 21. In certa misura, qui abbiamo un «albero binario», dal quale potrebbero essere generati tutti i numeri naturali; e tuttavia, il discorso non verte su di essi già qui, ma solo più tardi, quando in un seconda formulazione del problema, stranamente non mediata22, si pro­ cede di nuovo a partire dalle due determinazioni dell’uno e dell’essere, alle quali viene aggiunta la terza categoria della di­ versità, poiché chiaramente ciascuna delle due determinazioni è diversa dall’altra23. Con ciò otteniamo — così dice Platone — i numeri due e tre; e si ritiene che dalla loro moltiplicazione, ite­ rata senza limite, risultino tutti i numeri. Alla domanda di Par­ menide, se da questo procedimento «rimanga fuori» un qualche numero (vale a dire: se vi sia un numero, che non venga genera­ to attraverso di tale procedimento), Aristotele risponde «no»24. Ora, evidentemente questo è falso25; e non soltanto perché i 18 Si vedano: Hösle, Wahrheit und Geschichte..., p. 461 ss.; inoltre, Η. Krämer, Oer Ursprung der Geistmetaphysik, Amsterdam 1964,19672, p. 199; e M. Suhr, Platons Kritik an den Eleaten, Hamburg 1969, p. 36 s. 19 Cfr. Parm. 142 E 4 s.; 142 E 7 s.: «... sicché è necessario che non vi sia mai l’uno, poiché diventa sempre due? (ώστε άνάγκη δύ’άεΐ γιγνόμενον μηδέποτε έν είναι)». 20 Parm. 143 A 2. 21 Ivi, 142 E. 22 Ivi, 143 A 4 ss. 23 Ivi, 143 B 3 ss. 24 Ivi, 144 A 2 ss. 25 La falsità di questa affermazione è probabilmente il motivo per cui Krämer, nella sua recensione collettiva Neues zum Streit um Platons Prinzipientheorie, «Philosophische Rundschau», 27 (1980), pp. 1-38, spec. p. 12, scrive a proposito di questo passo: «la deduzione della serie numerica non è dogmaticamente co­ gente, ma va intesa come argomentazione ad hoc (die Ableitung der Zahlenreihe

numeri primi non possono essere generati per moltiplicazione; attraverso il procedimento platonico si producono piuttosto so­ lo numeri dalla struttura: 2i-3k(con i, k e N). Becker ha splendidamente risolto la difficoltà che qui si pre­ senta: secondo lui, in questo passo, a Platone interessa «la gene­ razione di tutte le qualità numeriche, e non quella di tutte le quantità numeriche»26; e appunto, i tipi principali di numero, che nella matematica di allora erano oggetto di ricerca, riporta­ no al criterio di suddivisione, per cui i fattori dei rispettivi nu­ meri possono essere o solo pari, o solo dispari, o sia pari che di­ spari. Ora, il libro IX di Euclide si costituisce in gran parte di pro­ posizioni, abbastanza semplici, su numeri dalla struttura rispet­ tiva e sui loro rapporti reciproci; e Platone si riferisce evidente­ mente ed in modo esplicito a questi tipi di numero27. N el passo in questione, dunque, egli intende generare questi tipi di nume­ ro, e non tutti i numeri naturali. Che poi egli chiami il due e il tre, rispettivamente, numero pari e numero dispari «per eccel­ lenza», è comprensibile; infatti, il due e il tre costituiscono dav­ vero, rispettivamente, il primo numero naturale pari ed il primo numero naturale dispari, poiché per l’intera epoca antica, e an­ che per lungo tempo oltre ad essa, l’uno non era considerato, in generale, un numero28. ist nicht dogmatisch verbindlich, sondern als ad-hoc Argum entation aufzufassen)». Vedremo, peraltro, che Platone qui non aveva affatto in mente la deduzione della serie numerica. 26 O. Becker, Die Lehre vom Geraden und Ungeraden im neunten Buch der Euklidischen Elemente, «Quellen und Studien zur Geschichte der Mathematik, Astronomie und Physik», Abt. B, Bd. III, 1934, pp. 533-553, ora in: Id. (curato­ re), Zur Geschichte der griechischen Mathematik..., pp. 125-145, spec. 142: «auf die Erzeugung sämdicher Zahlqualitäten, nicht sämtlicher Zahlquantitäten». 27 Cfr. Farm. 143 E 7 s.: «Facciamo allora che vi siano i pari volte pari, i dispa­ ri volte dispari, i dispari volte pari, i pari volte dispari (άρτιό re apa άρτιάκιςαν εΐη και περιττά περιττάκι? καί άρτια περιττάκι? καί περιττά άρτιάκι?)». ,. . , _ τ , , 28 Si veda, ad esempio, Arist. Metaph. 1088 a 6. Cfr. anche Euclide, VII def. 11 e 13 ; alcune dimostrazioni vengono addotte in Euclide anche due volte: per i numeri veri e propri e poi, separatamente, per l’uno (cfr. VII 9 e VII 15). Ancora per Cusano, l’uno è numero tanto quanto non è numero; in altre parole, per lui l’uno è propriamente solo principio del numero: «monas est et non est numerus, sed principium numeri» (Nicolai De Cusa, De principio. Ediderunt M. Feigl, H.

c) «Pari e dispari» e principi primi Se si mettono insieme questo passo del Parmenide ed il para­ gone della linea, emerge con chiarezza che Platone intendeva dare una spiegazione del perché questi due predicati dei numeri fossero di particolare significato nella teoria del numero: una domanda alla quale, secondo lui, la matematica, che semplicemente si appropria di questi predicati, non risponde, né può ri­ spondere per ragioni di principio. Platone si è figurato una risposta a questa domanda evidente­ mente nel senso per cui la dualità dei principi (é'v - αόριστο? 6υάς) si concretizza su piano aritmetico nella coppia «pari-di­ spari» (περιττόν - άρτιον)*2930; secondo Platone, cioè, questi principi, in quanto struttura fondamentale di una ontologia generalis, trovano la loro propria specifica applicazione in tutte le sfere dell’essere (in natura, nella storia, nell’etica, nella politi­ ca, ma anche sul piano delle entità matematiche50), e nell’ambito dei predicati della teoria del numero trovano tale applicazione appunto come «pari» e «dispari». Vaupel, P. Wilpert, Padova I960, cap. 32,1. 4). Solo con Pietro Ramo e Simone Stevino, l’uno iniziò ad essere considerato numero: cfr. H. Gericke, Geschichte des Zahlbegriffs, Manheim-Wien-Zürich 1970, p. 29 ss.. 29 Sulla proporzione uno : diade = dispari : pari (εν : πλήθο? = περιττόν : άρτιον), si veda Arist. Phys. 203 a 10 ss. (= Test. 23 A Gaiser); cfr. anche Metaph. 986 a 23 ss., dove è riportata anche la proporzione pitagorica uno : molteplicità = quadrato : rettangolo (εν : πλήθος- = τετράγωνον : έτερόμηκες). Si consulti in proposito Gaiser, Platons..., pp. 54 s., 94. È decisiva per la prima associazione la divisibilità dei numeri pari (che li rende espressione della Diade). 30 Certo, un limite in linea di principio proprio dell’impostazione del sistema platonico resta il fatto che essa non spiega propriamente il novum al livello di cia­ scuna sfera di essere, ma in ultima istanza lo deve presupporre. Tuttavia, a partire dalla teoria dei principi, Platone può dire qualcosa sulle determinazioni interne di queste sfere, sulla base del presupposto che vi sia, qualcosa come, ad esempio, le entità matematiche o gli sviluppi storici. Krämer, Platone..., p. 164, ha di re­ cente sottolineato questo aspetto con piena ragione: «Si ha, dunque, un rapporto di dipendenza unilaterale non rovesciabile, in cui, tuttavia, il piano più alto offre solamente condizioni necessarie, ma non anche sufficienti per il piano successivo. Infatti, la diade di grande-e-piccolo gioca un ruolo di fondamento in tutti i piani come principio materiale, però senza che la sua differenziazione venga ulterior­ mente fondata; il novum categoriale rimane, quindi, non spiegato». Krämer di­ stingue, in questo contesto, un «procedimento regressivo» ed un «procedimento derivativo» (ivi, p. 162), e pensa in proposito ai metodi platonici della «via in su»

59

4. La dottrina non scritta sulla generazione dei numeri dai princi­ pi Tuttavia, come possiamo evincere specialmente dalle testimo­ nianze sulla sua dottrina non scritta, l’intento di Platone è quello di generare dai principi, oltre i predicati dei numeri, anche i nu­ meri stessi31. a) Principi e numeri, numeri matematici e numeri ideali Da tali testimonianze risulta, in primo luogo, che i principi generatori, ossia «Uno» (é'v) e «Diade indefinita» (αόριστο? δυα'?), in se stessi non sono ancora numeri32. Questa osservazione è in verità triviale: infatti, i principi di un 'ontologia generalis, che fra l’altro sono chiamati a fondare anche l’etica, non possono identificarsi con entità speciali, quali sono i numeri uno e due; ma lo si tenga comunque presente, per evitare fraintendimenti diffusi. Platone per di più non distingue solo fra principi e numeri, ma introduce i numeri ideali in un ambito che si colloca fra gli uni e gli altri, quindi in una terza sfera. Entro la gerarchia platonica dell’essere, che consiste, sempli­ ficando un po’, in principi, Idee, entità matematiche e mondo naturale, ai numeri ideali spetta un posto sul piano delle Idee, mentre ai numeri matematici spetta un posto sul piano delle realtà matematiche (μαθηματικά)33. (άνοδος) e della «via in giù» (κάθοδο?). Si veda in merito, ad esempio, il Test. 10 Gaiser e, naturalmente, Rep. 511 B s. La «via in giù» rimane, secondo Krämer (ivi, p. 213), necessariamente lacunosa. 31 Verosimilmente, Platone si figurò la generazione dei numeri come una ge­ nerazione mediata dai due predicati di numeri, che dovevano essere costituiti pri­ ma dei singoli numeri, in quanto sono più generali di essi ed inoltre sono solo due, e scindono la serie dei numeri naturali in due classi completamente disgiun­ te. In ogni caso, questo è quanto dà ad intendere il resoconto di Aristotele in Metapb. 1091 a 23 ss. (= Test. 28 b Gaiser). 32 Si veda Krämer, Platone..., p. 162; inoltre: R. Seide, Die mathematischen Stellen bei Plutarch, Regensburg 1981 (Diss.), p. 97. 33 Che in Platone gli enti matematici abbiano una posizione intermedia (fra i principi e le Idee da un lato, e i sensibili dall’altro), è testimoniato da Aristotele, oltre che da altri: cfr. Metaph. 987 b 14 ss. = Test. 22 a Gaiser; Metaph. 1028 b 19 ss. = Test. 28 a Gaiser. Aristotele testimonia, allo stesso modo, che Platone ha di-

60

I principali caratteri distintivi dei numeri ideali sono due: con essi non si possono compiere operazioni, dunque non possono essere addizionati, sottratti, e così via34; inoltre, giungono solo fino alla decade35. b) Duplice livello della generazione dei numeri In secondo luogo, Platone si figurava, nel dettaglio, la genera­ zione dei numeri ideali, e analogamente dei numeri matematici, in modo tale che l’Uno-pricipio-primo costituisse il numero uno (che non è identico all’Uno!) quale principio di tutti i numeri, e quindi in modo tale che tutti gli altri numeri venissero generati a partire dal numero uno per mezzo di u n ’azione sinergica dell’Uno e della Diade indefinita36. Qui vediamo due livelli, sui quali si può parlare di principi dei numeri. Sul primo livello, ancora ontologico-generale, sono causa dei numeri i principi logici di unità e molteplicità. Sul secondo livello, una volta generato il numero uno, vengo­ no generati i restanti numeri; qui sono principi il numero uno, dunque non l’Unità, bensì il suo corrispettivo aritmetico, e la Diade indefinita, aritmeticamente attiva. stinto fra numeri matematici ed ideali: cfr. Metaph. 1080 a 12 ss. = Test. 59 Gaiser; Metaph. 1083 a 20 ss. = Test. 56 Gaiser; Metaph. 1086 a 2 ss. = Test. 57 Gaiser; Metaph. 1090 b 32 ss. = Test. 28 b Gaiser; si veda anche Siriano: G. Kroll, Syriani in Aristotelis Metaphysica commentarla, Berolini 1902, rist. 1960, p. 159,1.33 ss. (-Test. 58 Gaiser). Mi sembra che non si possa più giustamente du­ bitare, specie dopo le ampie ricostruzioni di Gaiser, Platons..., p. 89 ss., che i ri­ spettivi resoconti siano attendibili. L’argomento di Platone a favore di una distin­ zione categoriale fra entità matematiche da un lato, e Idee (anche delle entità ma­ tematiche) dall’altro, consisteva nel fatto che vi può essere solo una Idea del cer­ chio, del numero 3, e così via, mentre le operazioni matematiche di frequente presuppongono l’esistenza di più cerchi matematici, di più numeri matematici 3, come ad esempio l’addizione 3+3 (cfr. Metaph. 987 b 17 = Test. 22 a Gaiser; sul­ la rilevanza dell’argomento, si veda infra, IV, nota 10). 34 Per un esempio, cfr. Arist. Metaph. 1080 a 19 ss. (= Test. 59 Gaiser) e 1083 a 34 ss. (=Test. 56 Gaiser). 33 Cfr. Arist. Phys. 206 b 32 s. (=Test. 24 Gaiser), non meno che Metaph. 1073 a 20 s. (= Test. 62 Gaiser) e 1084 a 12 ss., 25 ss. (= Test. 61 Gaiser). 36 Cfr. Sesto Empirico, Adv. Math. X 276 s. (= Test. 32 Gaiser). L’edizione ca­ nonica a cui si fa riferimento è quella a cura di H. Mutschmann-J. Mau: Sexti Empirici Opera, 3 voli., Lipsiae 1912-1952, III (1954,19612).

61

La distinzione fra i due piani è importante. Si vedrà che, ad esempio, la concezione hegeliana della generazione dei numeri corrisponde principalmente al primo livello di Platone, mentre, al contrario, gli assiomi di Peano forniscono una risposta alla domanda che si pone al secondo livello37. c) Unità e Dualità al primo livello Sul primo livello, la riflessione platonica si aggancia al fatto che ciascun numero maggiore di uno costituisce un’unità di unità e molteplicità, in quanto, da una parte, consiste di molte­ plici unità, ma d ’altra parte anch’esso è un’unità38. Da principio di molteplicità funge la Diade indefinita. 37 In effetti, nella tradizione aritmetica neoplatonizzante abbiamo due diversi tipi di definizione di numero, che corrispondono ai due livelli: una definizione si riferisce ai principi ontologici deH’Unità (ëv/πέρας·) e della Molteplicità; l’altra, invece, all’uno aritmetico come punto di partenza della serie numerica. Al primo tipo appartiene ad esempio la definizione del numero come molteplicità limitata, quale si trova, per esempio, in Nicomaco (R. Hoche, Nicomachi Geraseni Pythagorei Introductions arithmeticae libri II, Lipsiae 1886,1,7, p. 13,1. 7) dove leggia­ mo: «il numero è molteplicità definita (άριθμός· έσ π πλήθο? ώρισμένον)». Se­ condo il commentario a Nicomaco di Giamblico (H. Pistelli, Iamblichi In Nicomachiarithmeticam introductionem liber, Lipsiae 1894, p. 10,1. 17), questa defini­ zione risale ad Eudosso; cfr. anche Arisi. Metaph. 1020 a 13. Al secondo tipo ap­ partiene invece la definizione per cui il numero procede a partire dall’uno, al mo­ do di un’addizione iterata. Si veda, ad esempio, Teone di Smirne (E. Hiller, Theonis Smyrnei Philosophi Platonici Expositio rerum mathematicarum ad legendum Platonem utilium, Lipsiae 1878, p. 18,1. 3 ss.), ove si legge: «il numero è un com­ posto di unità, ossia una progressione di molteplicità che comincia dall’unità e una regressione che termina all’unità (άριθμός· έστι σύστημα μονάδων, ή προποδισμός πλήθους· άπό μονάδος άρχόμενος· καί άναποδισμός· είς· μο* νάδα καταλήγων)»; cfr. anche Proclo, In prim. Eucl., p. 6,1. 15 s. Friedlein, do­ ve si dice: «infatti il numero, cominciando dall’unità, presenta un accrescimento senza interruzione (δ τε γάρ άριθμός· άπό μονάδος· άρξάμενος δπαυστον ?χει τήν αδξησιν)». Nella definizione di numero di Euclide, si trovano momen­ ti di entrambi i tipi di definizione; nel libro VII, de/. 2, leggiamo: «il numero è la molteplicità composta di unità (άριθμός· δέ t ò έκ μονάδων συγκείμενον πλήθος·)». 38 Cfr. G. Böhme, Zeit und Zahl. Studien zur Zeittheorie bet Platon, Aristoteles, Leibniz und Kant, Frankfurt 1974, p. 130: «Per dirla in breve, la funzione siste­ matica del numero è quella di operare la mediazione fra i due principi più alti di questa filosofia, cioè l’Uno e la Diade indefinita, lo ëv e la άόριστος δυάς. (Kurz gesagt, ist es die systematische Funktion der Zahl, die Vermittlung zu leisten

62

Aristotele coglie proprio nella sostituzione della molteplicità illimitata con la dualità una delle più importanti innovazioni di Platone nei confronti dei Pitagorici39. Qui si fa chiaro, una volta di più, perché la Diade indefinita non possa essere identica al numero due: non è infatti principio solo del due, ma di tutti i numeri maggiori di uno; si manifesta all’interno della serie numerica per la prima volta nel numero due, nei confronti del quale possiede una particolare affinità: ma non si manifesta soltanto in esso40. Occorre fra l’altro distingue­ re due dati di fatto, ossia che, da un lato, ci sono due principi, e, dall’altro lato, il secondo principio è anche principio di dualità; ci sono dunque due dualità, che secondo Platone sono presup­ posto del concetto di numero.

zwischen den beiden obersten Prinzipien dieser Philosophie, dem εν und der αό­ ριστο? δυά?, dem Einen und der unbestimmten Zweiheit)». Si veda soprattutto ivi, pp. 130-144, con speciale riferimento a Platone, Filebo, 16 E ss., 24 E ss. 39 Metapb. 987 b 25 s. (= Test. 22 a Gaiser): «è caratteristico (sai. di Plato­ ne) aver ritenuto una diade il sostituto dell’illimite in quanto uno, e rillimite co­ stituito di grande e piccolo (tò 6è αντί τού άπειρου u>? évo? δυάδα ποιήσαι, το δε άπειρον εκ μεγάλου και μικρού, t o u t ίδιον)». 40 Cfr. Κ. Oehler, Oer entmytologisierte Platon. Zur Lage der Platonforschung, «Zeitschrift für philosophische Forschung», 19 (1965), pp. 393-420, contenuto anche in: Id., Antike Philosophie und byzantinische Mittelalter, München 1969, pp. 66-94, oltre che in: J. Wippern (curatore), Das Problem der ungeschriebenen Lehre Platons, Darmstadt 1972, pp. 95-129, spec. 117: «La dualità è principio della molteplicità. Il due è il primo caso di moltitudine. Da esso tutte le altre mol­ teplicità prendono inizio. Esso stesso, però, come numero due, è già fissato, deli­ mitato. Esso stesso non procede verso un’illimitata moltiplicazione. Perciò Plato­ ne non ha ritenuto questo, il numero due, principio della molteplicità, bensì la Diade indefinita. (Die Zweiheit ist Prinzip der Vielheit. Die Zwei ist der erste Fall einer Menge. Mit ihr nehmen alle anderen Vielheiten ihren Anfang. Sie selbst aber, als Zahl Zwei, ist bereits festgelegt, ist begrenzt. Sie selbst schreitet nicht fort zu unbestimmter Vervielfältigung. Deshalb mache Platon nicht sie, die Zahl Zwei, zum Prinzip der Vielheit, sondern die Unbestimmte Zweiheit)». Una posizione particolare del numero due si trova ancora in Cusano, De princ., cap. 31, 1. 14 s. Feigl-Vaupel-Wilpert. Essa viene fondata sulla base del fatto che il due, in quanto madre della molteplicità, «non è né molteplicità né unità (dualitatem neque unitatem neque multitudinem)». Si veda anche ivi, cap. 32,1.1 ss., ove ha luogo un esplicito riferimento alla teoria dei principi di Platone. ’

63

d) «Diairesi» o «dicotomia» al secondo livello Ora, al secondo livello si pone il problema della generazione dei numeri a partire dal numero uno. Questa generazione non fu concepita come una specie di addizione iterata, cosa che dal punto di vista odierno sarebbe ovvia, ma almeno per i numeri ideali fu concepita come una specie di «diairesi» duale, cioè di dicotomia. Oggi non si può più stabilire con sicurezza quale aspetto essa avesse nel dettaglio. Tuttavia, si possono accettare come sue illu­ strazioni plausibili i tentativi di ricostruirla proposti da Stenzel41 e Becker42 più di mezzo secolo fa, che malgrado talune differen­ ze nel dettaglio concordano nel richiamare nella propria struttu­ ra di fondo, anche se sono meno semplici, i moderni «alberi gra­ fici». Certo, questi tentativi restano lacunosi, in quanto tendono a sorvolare sulla differenza fra numeri matematici e numeri ideali; e per di più, in essi rimane senza spiegazione il motivo per cui i numeri ideali sono limitati alla Decade. e) La Decade e la Tetrade Che i numeri ideali fossero limitati nel loro numero, si può spiegare a mio avviso in virtù della necessità che, per Platone, il 41 Zahl und Gestalt bei Platon und Aristoteles, Leipzig-Berlin 1924, 19332, p. 30 ss. 42 Die diairetische Erzeugung der platonischen Idealzahlen, «Quellen und Stu­ dien zur Geschichte der Mathematik, Astronomie und Physik, Abt. B, 1 (1931), pp. 464-501. Becker si riallaccia criticamente a Stenzel e, di contro a lui, produce alcune precisazioni degne di nota. Becker ha ulteriormente articolato il suo pen­ siero nella trattazione: Zum Problem der platonischen Idealzahlen (Eine Ketraktation), in: Id., Zwei Untersuchungen zur antiken Logik, Wiesbaden 1957 (= «Klas­ sisch-Philologische Studien», a cura di H. Herter e W. Schmidt, 17, pp. 1-22). In quest’ultimo saggio, Becker fra l’altro si corregge riguardo al fatto che per illu­ strare la generazione dei numeri verosimilmente «fu usata», al posto di schemi a forma di albero genealogico, «una linea, per lo più in posizione orizzontale, che veniva divisa in segmenti in corrispondenza delle sottospecie di una specie» {ivi, p. 16). Becker, ivi, p. 8, spiega la difficile espressione di Metaph. 987 b 34, «Ιξω των πρώτων», nel senso di «eccetto i primi (due) numeri», cioè l’uno e il due, dando un’interpretazione che è problematica, ma non impossibile. Tradurre «nu­ meri primi», infatti, non ha alcun senso dal punto di vista matematico.

34

campo dei numeri ideali consti di un numero finito di elementi, in quanto si inserisce fra i due principi ed i numeri naturali di ti­ po matematico, che si possono enumerare all’infinito. Questo però non dice perché Platone si sia deciso proprio in favore della Decade. Gaiser, nella sua proposta di ricostruzione, ha tentato di chiarire appunto questo stato di cose43. Secondo lui, nei numeri ideali di Platone è prefigurata la struttura dimen­ sionale del mondo; dato che lo sviluppo delle dimensioni è com­ pleto nella Tetrade (Unità-Lunghezza-Larghezza-Profondità)44, la Tetrade, ovvero la Decade, che come somma dei primi quat­ tro numeri era ritenuta già dai Pitagorici numero perfetto45, do­ veva essere contraddistinta, e lo era appunto come limite dei nu­ meri ideali. Questo argomento di Gaiser è plausibile; ma con esso, la contraddistinzione della Tetrade o Decade viene fondata solo «induttivamente», sulla via dialettica «in su» (άνοδος·): Platone ha concluso ad una determinata strutturazione dei numeri ideali a partire dal numero delle dimensioni fenomenologicamente da­ to; invece, essa dovrebbe venir fondata anche deduttivamente, a partire dai principi, e Platone non lo fa, anche perché è una cosa molto diffìcile da fare. Qui si impone inoltre la domanda sul perché Platone non ab­ bia contraddistinto direttamente la Tetrade: non è facile capire il motivo per cui la sua somma debba ricoprire un certo ruolo all’interno dei numeri ideali: se la Tetrade stessa non lo ricopre, perché non lo dovrebbe ricoprire, per esempio, il suo prodotto? La spiegazione che Gaiser ha fornito in merito è, come egli stes43 Cfr. Gaiser,Platons..., pp. 115 ss. 44 Cfr. Sesto Empirico, Adv. Math. X 278 ss. (=Test. 32 Gaiser); e Gaiser, Platons..., p. 44 ss. Si veda inoltre: P. Lang, De Speusippi Academici Scriptis, Bonn 1911, rist. Darmstadt 1965, Fr. 4 (= M. Isnardi Parente, Speusippo. Frammenti, Napoli 1980, Fr. 122), che corrisponde a: V. De Falco, lamblichi Theologumena arithmeticae, Lipsiae 1922, pp. 82,1. 10-85,1. 23. 45 Naturalmente in un senso diverso da quello euclideo (su cui cfr. supra, nota 17). Si veda Th. Heath, A Manual of greek Mathematics, New York 1963, pp. 4143. Sulla contraddistinzione della decade in Filolao e Archita, cfr. Diels-Kranz, Fragmente..., 44 B 11 e 47 B 5; su Filolao si veda: E. Frank, Plato und die sogenannten Pythagoreer, Halle 1923, p. 309 ss. Questo argomento, secondo cui la decade si contraddistingue in quanto somma dei primi quattro numeri, si trova esplicitamente, anche se accanto ad altri argomenti, nel fr. 58 B 15 Diels-Kranz.

65

so ammette, problematica, dal punto di vista dei contenuti, non meno che da quello filologico46. Mi sembra molto più verosimi­ le, che dietro la violenza del passaggio dalla tetrade alla decade stia la volontà di «fondare» il sistema numerico decadico47. Cer­ to, il sistema decadico riporta al numero delle dita, che è di na­ tura contingente48; una delle parole greche per dire «contare» è «neμπάζω», che letteralmente si dovrebbe tradurre «cinquare»: è quindi chiaro perché il cinque, o anche il dieci, potessero ri­ sultare numeri di particolare importanza. Da ciò segue che noi, oggi, possiamo prendere atto di questa contraddistinzione della decade con mero interesse storico. Nondimeno, essa ha avuto la forza di produrre effetti: il tentati­ vo forzato, da parte di Aristotele, di aumentare il numero delle categorie dalle quattro unicamente importanti a dieci, può con ogni evidenza essere compreso solo sullo sfondo di questa con­ traddistinzione ontologica della Decina, che risale all’Accademia di Platone e, ancora più indietro, ai Pitagorici. f) La Diade e l’irrazionale La Diade (δυα'ς) di Platone non è solo responsabile della ge­ nerazione dei numeri ideali e di quelli naturali a partire dall’Uno (éV): secondo Platone, la Diade, alla quale erano ricondotti en­ tro il sistema accademico delle categorie i predicati di relazione a due posti49, diviene sempre più dominante nell’articolazione dei rapporti, delle grandezze razionali e allo stesso tempo di quelle irrazionali50, che com’è noto i Greci non consideravano 46 Cfr. Gaiser, Platons..., pp. 119 ss., spec. 121. 47 Così sostiene, almeno, O. Becker in un contributo più tardo, Versuch einer neuen Interpretation der platonischen Ideenzahlen, «Archiv für Geschichte der Philosophie», 45 (1963), pp. 119-124, comparso contemporaneamente al libro di Gaiser. 48 Si veda già ps. Arist. Probi. 910 b 24 ss. 49 Cfr. Ermodoro Fr. 7, in: M. Isnardi-Parente, Senocrate-Ermodoro. Fram­ menti, Napoli 1982 (= Test. 31 Gaiser), e Sesto Empirico, Adv. Math. X 263 ss. (= Test. 32 Gaiser), non meno che Diogene Laerzio, III, 104 s., 108 s., insieme a Codex Marcianus 23,67,68 (=Test. 43 e 44 Gaiser). 50 Cfr. Arist. Metaph. 1020 b 26 ss. (= Test. 35 Gaiser); Pappus (Abû 'Othman al-Damashki), In decimum Euclidis Elementorum librum commentarla, I 9, 13; 71 s., 76 s. dell’edizione a cura di W. Thomson e G. Junge: The Commentary of Pappus on Book X of Euclid’s Elements, Harvard Semitic Series 8, Cambridge

66

numeri. A prescindere da quest’ultimo punto, la Diade ricorda quindi il concetto di sezione di Dedekind; infatti, allo stesso mo­ do della Diade, la sezione garantisce l’esistenza di grandezze ir­ razionali. Ma in aggiunta a ciò è interessante che già in Platone, grazie alla Diade, venga stabilita una certa continuità fra i nume­ ri naturali e le grandezze, razionali ed irrazionali: una continuità che com’è noto era estranea alla matematica antica, e che solo in quella moderna ha ricevuto riconoscimento generale. La teoria di Dedekind dei numeri irrazionali rappresenta all’interno di questa evoluzione un preciso punto culminante. Ma questa continuità è implicita nel punto di vista di Platone, secondo cui nel numero due è già in azione quel principio che nei rapporti «assolutamente irrazionali» si sviluppa nel modo più puro*31. La Diade di Platone si potrebbe dunque interpretare come un prodromo del concetto di sezione di Dedekind nei seguenti termini: in quest’ultimo è stato portato a concettualità ciò che nella prima si annunciava in maniera ancora molto astratta, più filosofica che matematica, vale a dire il pensiero per cui fra i nu­ meri naturali e le altre grandezze non sussiste una profonda ce­ sura, ma un nesso da cogliersi in modo puramente aritmetico32. Mass.1930, rist. New York 1968 (= Test. 67 b Gaiser); Gaiser, Platons..., pp. 24 s.,71s., 143 s. 31 Con Gaiser, ivi, pp. 24,71, intendo per «rapporti assolutamente irraziona­ li» quei rapporti che non divengono commensurabili nemmeno se elevati alla ter­ za potenza: alla potenza, cioè, che è associata al corporeo, dunque a quella che per i Greci era l’ultima dimensione. 32 Varrebbe la pena studiare nel dettaglio il nesso fra la Diade di Platone e il concetto di sezione di Dedekind; ma qui ciò non rientra nei nostri scopi. È deci­ sivo un fatto cui già Taylor, Forms and Numbers..., si è richiamato, ossia che l’al­ tro nome della «Diade indefinita», cioè «Grande e Piccolo» (μέγα-μικρόν), si adatta perfettamente all’algoritmo euclideo, con il quale vengono introdotti valo­ ri irrazionali in maniera puramente aritmetica: infatti, due valori fra loro successi­ vi di quoziente di numero della diagonale e di numero del lato (ove ln +i = ln + dn e d„ +1 = 2l„ + d„) sono alternativamente più grandi e più piccoli del preciso valo­ re di ν ’2. Ma i concetti di più grande e più piccolo hanno importanza anche nella definizione di sezione di Dedekind. Fra l’altro, già Töplitz, Das Verhältnis..., p. 74 s., si è richiamato ad un nesso fra la Diade platonica e la sezione di Dedekind. In un altro punto, Töplitz pone giustamente l’accento sul fatto che in Euclide V «sicurissimamente non si dice nulla del desiderio o della possibilità di generare queste entità a partire dai numeri interi (ganz gewiß nirgends etwas davon

erwähnt [ist], daß man diese Wesenheiten aus den ganzen Zahlen erzeugen möchte oder könnte)» (ivi, p. 52); si potrebbe tuttavia aggiungere che in Platone si trova comunque il pensiero di generare i numeri interi e i valori irrazionali da­ gli stessi principi. Fra l’altro, è possibile che Platone si sia figurato il passaggio ai valori irrazionali sulla scorta del modello delle dimensioni, come suppone Gaiser, Platons..., pp. 24 s., 71 s., 143 s., benché non mi sembri necessario trarre l’ipotesi di Gaiser da quanto si accerta dalle testimonianze. Le entità della dottrina eudossiana delle proporzioni comprendono, in ogni caso, realtà sia aritmetiche, sia geo­ metriche; e proprio in Platone, è evidente la superiorità dell’aritmetica rispetto alla geometria. Solo nella testimonianza di Porfirio sulla «divisione del cubito», contenuta in Simplicio (H. Diels, Simplicii In Aristotelis Physicorum libros commentala, Berolini 1882-1895, risi. 1954, p. 453,1. 31 = Test. 23 B Gaiser), si procede chiaramente a partire da una rappresentazione geometrica, che poi viene trasferita ai numeri.

IV. La filo so fia dei num eri di P la to n e n el suo significato filosofico e matematico

1. Il confronto con concezioni più tarde Per valutare criticamente la concezione platonica della gene­ razione dei numeri dall’Uno e dalla Diade, si offre prima di tut­ to la possibilità di indicare se idee simili si trovino anche in con­ cezioni decisamente più tarde, e perfino attuali. In effetti, inten­ do mostrare che la maniera in cui si introducono nella matema­ tica odierna i numeri naturali, cioè la loro introduzione attraver­ so gli assiomi di Peano, può essere intesa come una «articolazio­ ne» della concezione platonica, di una concezione, quindi, che merita un posto significativo nella preistoria degli assiomi di Peano1. D i seguito discuterò un altro problema, cioè fino a che punto sia possibile interpretare il sistema binario progettato da Leibniz come un tardo erede del programma platonico di riduzione del­ la molteplicità illimitata alla dualità12. Ma oltre a queste corrispondenze nella matematica moderna è degno di nota il fatto che anche nella moderna filosofia della matematica, e per la precisione in Brouwer, si trovino riflessioni che, similmente a quelle di Platone, attribuiscono espressamente al principio della dualità una funzione costitutiva per la mate­ matica. Certo, la filosofìa della matematica di Brouwer è nei suoi fon­ damenti ontologici senz’altro opposta a quella platonica, anche se materialmente possiede varie cose in comune con essa3. Inve­ ce, a proposito della filosofia della matematica di Hegel, si può parlare di estese corrispondenze con Platone, non solo per quanto riguarda l’interpretazione di singole strutture matemati1Infra, punto 3. 2Infra, punto 4. 3 Infra, punto 5.

70

che, ma anche riguardo alla base ontologica della matematica, al suo posto nel sistema, e alla determinazione del suo rapporto con la filosofìa. L’idealismo hegeliano è, fino ad oggi, l’ultimo rappresentante significativo di quel tipo di filosofìa, cui si può riportare anche il sistema di Platone: Platone e Hegel rientrano, come il Neoplatonismo della tarda antichità e del medioevo, nella tradizione dell’Idealismo oggettivo. Il tentativo di una va­ lorizzazione comprensiva non solo di alcune singole riflessioni di Platone, ma anche dell’assetto globale della sua filosofìa della matematica — un tentativo che qui non ci si propone, anche se dovrà essere schizzato nei suoi contorni — dovrebbe pertanto riallacciarsi principalmente a Hegel. Per motivi cronologici, intendo quindi come prima cosa illu­ strare quali momenti della filosofia della matematica di Platone siano ancora attivi in quella di Hegel, e soprattutto, in armonia con il tema di questo saggio, far emergere quanto vi sia di plato­ nico nel concetto hegeliano di numero4. 2. P latone e Hegel: collocazione n el sistem a e fo n d a zio n e nell’essere della matematica e del numero a) Il problema di una filosofìa della matematica in Hegel Negli ultimi tempi, i paralleli fra il sistema di Platone e quel­ lo di Hegel, riscontrabili non solo nelle macro-strutture, ma an­ che in molti particolari singoli, sono stati oggetto di esposizioni ripetute5. Tuttavia, proprio la filosofìa della matematica dei due pensatori costituisce l’ambito di sistema che meno di frequente è stato messo a confronto. Ciò si connette di sicuro alla mancanza, a tutt’oggi, di una ri­ cerca approfondita sulla filosofìa della matematica di H egel6. Di questa mancanza ci sono diverse ragioni: in primo luogo, il fatto 4 Infra, punto 2. 5 Cfr. Hösle, Wahrheit und Geschichte..., dove ho citato molta altra letteratu­ ra; e Krämer, Alatone..., pp. 282-302. 6 Ho continuato negli anni seguenti a questo saggio a lavorare sulla filosofia della matematica all’interno della tradizione idealistica. Si vedano ora i saggi su Hegel: Raut», Zeit, Bewegung, in: M. J. Petry (curatore), Hegel und die Natur­ wissenschaften, Stuttgart-Bad Cannstatt 1987, pp. 247-292, spec. 253-273; e su Nicolò Cusano: Platonism and Anti-Platonism in Nicholas of Cusa's Philosophy of

71

che una simile ricerca presupporrebbe una buona conoscenza sia del sistema hegeliano, sia della storia della matematica alme­ no fino al diciannovesimo secolo; e in secondo luogo, il fatto che la filosofia della matematica di Hegel è quasi l’unica disciplina filosofica che, all’interno del suo sistema, non ha propriamente alcun posto preciso. b) Il difficile inserimento della matematica nel sistema hegeliano Indichiamo in breve la ragione di questo fatto, poiché finora non è stato constatato, né chiarito. I sistemi dell’Idealismo og­ gettivo si suddividono essenzialmente in due gruppi. Secondo l’uno, l’ambito delle Idee passa nella Natura in ma­ niera continua, «lineare», ed in questo passaggio lo Spirito o l’Anima rappresentano un livello di mediazione: a questo siste­ ma «emanazionistico» appartengono il Neoplatonismo e, mal­ grado alcune tendenze contrastanti, anche la filosofìa di Platone. Per Hegel, viceversa, l’Idea «esce da sé» anzitutto nel suo Al­ tro, cioè nella Natura, per poi ritornare a sé come Spirito; lo Spirito non è quindi mezzo, bensì fine, telos. Questa concezione «dialettica» ha il grande vantaggio filosofico di chiarire in certa misura il problema del perché l’ambito dell’Idea, che è conside­ rato comunque assoluto, debba anche passare nella finitezza7: un problema che nella variante «emanazionistica» del sistema ri­ mane privo di soluzione, ed in ultima istanza irresolubile. Tutta­ via non si può negare che in quest’ultima l’inserimento delle en­ tità matematiche nell’ordine sistematico sia decisamente più semplice: per Platone, come per i Neoplatonici, gli enti matema­ tici (μαθηματικά) mediano, come l’Anima, fra l’ambito dell’on­ tologia e quello della natura. Ma una soluzione del genere è vie­ tata ad Hegel, per il quale l’Idea, in quanto dialettica, deve pas­ sare prima di tutto proprio nel suo contrario, cioè nella Natura; in questo caso, una sfera intermedia non ha più nessun senso.

Mathematics, «Graduate Philosophy Journal», 13/ 2 (1990), pp. 79-112. 7 Si veda in merito D. Wandschneider-V. Hösle, Die Entäußerung der Idee zur Natur und ihre zeitliche Entfaltung als Geist bei Hegel, «Hegel Studien», 18 (1983), pp. 173-199.

71-

Ma allora dove rientrano le entità matematiche, ad esempio i singoli numeri? Non certo nell’ambito dell’Idea. Infatti, anche se «il Numero» è una categoria della «Scienza della Logica», i singoli numeri non lo sono: la loro logica è una logica non dia­ lettica, e perciò è completamente diversa da quella delle stesse determinazioni ontologiche. Ma anche nella filosofia del reale non si riuscirà più di tanto ad introdurre i numeri: essi sono più astratti persino rispetto al­ lo spazio, che è la prima categoria della filosofia della Natura8. c) La «posizione intermedia» degli enti matematici Queste aporie possono bastare per porre in chiaro che, in Hegel, la filosofia della matematica ha perduto, in confronto a Platone, la sua precisa collocazione sistematica. Si dà il caso, però, che nelle sparpagliate affermazioni di Hegel sulla matema­ tica si trovino molti elementi platonici, anche e appunto per quanto riguarda la posizione intermedia degli enti matematici, sebbene pensieri del genere, nel sistema hegeliano, siano di diffi­ cile comprensione. Tale posizione intermedia sussiste secondo Hegel sia in cam­ po ontologico, per quanto concerne il modo di essere, ad esem­ pio, dei numeri, sia in campo gnoseologico, in riferimento, dun­ que, al tipo matematico di pensiero. I numeri sono — sostiene Hegel in esplicita connessione alla concezione platonica — qual­ cosa che si colloca fra il concettuale puro e l’esteriore, il sensibi­ le: « ... il numero, questa esteriorità interna ed astratta ... costi­ tuisce l’ultimo livello della incompletezza, quello di cogliere l’universale affetto dal sensibile. Gli Antichi hanno avuto preci­ sa coscienza che il numero si colloca nel mezzo fra il sensibile ed il pensiero. Aristotele cita da Platone (Metafisica, 1 5 ) l’afferma8 Nell’edizione berlinese della Enzyklopädie der philosophischen Wissen­ schaften, la prima parte della Filosofia della Natura è intitolata «Meccanica», mentre in quella di Heidelberg porta ancora il titolo di «Matematica». Mi chiedo se questo sia un segno del fatto che, in un primo tempo, Hegel sia stato dell’idea che la filosofia della matematica fosse una parte della filosofia della natura, e che in un secondo tempo abbia respinto quest’idea. In ogni caso, sui problemi che Hegel ebbe con la filosofia della matematica, si veda la terza edizione dell ’Enzyklopädie (d’ora in poi: Enz.3), S 259, Nota.

zione che oltre al sensibile e alle Idee le determinazioni matema­ tiche delle cose hanno una posizione intermedia...»9. Hegel quindi loda il fatto che gli Antichi abbiano distinto fra Monade (govdç) o Diade (δυας·) da un lato, ed i numeri imo o due dall’altro, perché lo considera segno di profonda coscienza nei confronti della differenza fra ontologia e matematica: di una coscienza, che ad avviso di Hegel è andata deplorevolmente per­ duta nei tentativi a lui contemporanei di trasferire in filosofìa, senza tanti giri di parole, i concetti matematici: « ... E stato già citato riguardo a quelle espressioni numeriche ... il fatto che i Pitagorici hanno distinto fra la Monade e l’uno; essi hanno rite­ nuto la Monade pensiero, e l’uno, invece, numero; allo stesso modo, hanno considerato il due come ciò che è aritmetico, e la Diade come il pensiero dell’indefinito. — Questi Antichi hanno capito prima di tutto, molto correttamente, l’insufficienza delle forme numeriche in rapporto alle determinazioni di pensiero, e non meno correttamente hanno inoltre preteso per il pensiero la sua propria espressione, invece di quel primo espediente; quan­ to sono proceduti oltre nella loro riflessione rispetto a quelli che oggigiorno ritengono alcunché di lodevole, anzi, alcunché di fondato e profondo, porre di nuovo numeri e determinazioni numeriche ... al posto delle determinazioni di pensiero ...» 10.

9 Wissenschaft der Logik, 5. 245 (tutte le citazioni da Hegel seguiranno l’edi­ zione «Theorie» delle opere, Frankfurt 1969 ss., con indicazione del volume e della pagina): «Die Zahl, diese innerliche, abstrakte Äußerlichkeit ... Sie macht die letzte Stufe der Unvollkommenheit aus, das Allgemeine mit Sinnlichem behaftet zu fassen. Die Alten haben das bestimmte Bewußtsein darüber gehabt, daß die Zahl zwischen dem Sinnlichen und dem Gedanken in der Mitte stehe. Aristoteles führt es von Platon an (Metaphysik I, 5), daß derselbe sage, daß außer dem Sinnlichen und den Ideen die mathematischen Bestimmungen der Dinge dazwischenstehen ...». Cfr. anche le Vorlesungen über die Geschichte der Philosophie, 18. 235 ss., e Enz.3, § 104, Nota (dalla Enzyklopädie cito secondo la numerazione dei paragrafi, poiché è uguale in tutte le sue edizioni). 10 Wiss. d. Logik, 5. 246: «es wird schon, in Ansehung jener Zahlausdrücke ... angeführt, daß die Pythagoreer zwischen der Monas und dem Eins unterschieden haben; die Monas haben sie als den Gedanken genommen, das Eins aber als die Zahl; ebenso die Zwei für das Arithmetische, die Dyas ... für den Gedanken des Unbestimmten. — Diese Alten sahen fürs erste das Ungenügende der Zahl­ formen für Gedankenbestimmungen sehr richtig ein, und ebenso richtig forderten sie ferner statt jenes ersten Notbehelfs für Gedanken den

74

d) La «posizione intermedia» della conoscenza matematica Secondo Hegel, alla posizione intermedia dei numeri fra il concettuale e l’esteriore corrisponde la posizione intermedia della conoscenza matematica, che è sovraordinata a quella empi­ rica, ma subordinata a quella filosofica: proprio come per Platoeigentümlichen Ausdruck; um wieviel weiter waren sie in ihrem Nachdenken gekommen als die, welche heutigentags wieder Zahlen selbst und Zahl­ bestimmungen ... an die Stelle von Gedankenbestimmungen zu setzen ... für etwas Löbliches, ja Gründliches und Tiefes halten». La difesa da parte di Hegel della distinzione platonica fra la categoria dell’unità ed il numero uno (una di­ stinzione che si trova anche nel Neoplatonismo, come emerge ad esempio da Teone di Smirne, Expos, rer. math., p. 21,1. 7 ss. Hiller) è in effetti illuminante; la differenza fra le due determinazioni sarà riconosciuta da una dottrina delle ca­ tegorie che sia tale da impegnarsi seriamente sul problema. Così si legge, ad esempio, nella Philosophie der Arithmetik di Husserl, alla p. 134 dell’edizione a cura di L. Eley, Den Haag 1970 (= Husserliana XII): «Il concetto di numero uno è infatti da distinguere bene dal concetto di unità. (Der Begriff der Zahl Eins ist nähmlich wohl zu unterscheiden von dem Begriffe der Einheit)». In H. Rickert inoltre si trova, pur senza alcun riferimento a Platone, un’ulteriore distinzione, del tutto analoga alla differenziazione platonica fra numeri ideali e matematici (come, in generale, fra le Idee di entità matematiche e le entità matematiche in se stesse). Per Rickert, non meno che per Platone, il fatto che vi siano molti uno, molti due, molti tre e così via, è un motivo per distinguere fra concetto di nume­ ro e numeri; e proprio come in Platone (si veda supra, III, nota 33), anche secon­ do Rickert è possibile contare solo con i numeri, e non con i concetti di numero (che corrispondono ai numeri ideali di a Platone, che appunto sono «inaddizionabili», «Ασύμβλητοι»), Nell’opera Das Eine, die Einheit, und die Eins, Tübingen 1924, p. 70, Rickert scrive: «Ci sono tanti uno quanti se ne vogliano, tanti due quanti se ne vogliano, e così via, e tutti ricadono come esemplari sotto i concetti dell’uno, del due, e così via, anche se, evidentemente, vi può essere solo un con­ cetto di uno, un concetto di due, e così via ... Dunque, il concetto del numero non può coincidere con il numero medesimo ... Solo con i numeri medesimi si può calcolare ... Una teoria articolata del numero dovrebbe fare premurosamen­ te attenzione a queste diversità. (Es gibt beliebig viele Eins, beliebig viele Zwei usw., die alle als Exemplare unter die Begriffe der Eins, der Zwei usw. fallen, wenn es auch selbstverständlich nur je einen Begriff der Eins, einen Begriff der Zwei usw. geben kann ... Also kann der Begriff der Zahl nicht mit der Zahl selbst zusammenfallen ... Nur mit den Zahlen selbst kann man rechnen ... Eine ausgeführte Theorie der Zahl würde diese Unterschiede sorgfältig zu berück­ sichtigen haben)». Qui si fa ancora più chiaro il fatto che la limitazione da parte di Platone dei numeri ideali alla Decade è, da un punto di vista sistematico, as­ surda; questo perché per ciascun numero dovrebbe darsi, per usare il termine rickertiano, un concetto di numero.Tn precedenza (cfr. supra, III, 4, e), ho tenta­ to di fornire una ragione del comportamento di Platone, che naturalmente, dal punto di vista dei contenuti, è aleatoria.

75

ne, anche per Hegel, la principale deficienza della matematica si fonda sull’impossibilità in essa, in linea di principio, di una fon­ dazione ultimativa11. La matematica ricorre a presupposti, che le restano inaccessi­ bili (naturalmente, si intendono gli assiomi); e contro la lamen­ tela allora diffusa, connessa ai tentativi di provare il postulato delle parallele, secondo la quale Euclide avrebbe erroneamente tralasciato di dimostrare questa legge, Hegel scrive: «Anche in Euclide... si trova sotto il nome di assioma un presupposto sulle linee parallele, che si è ritenuto bisognoso di dimostrazione; e si è cercato di colmare questa lacuna in molti m o d i... Per quanto concerne quell’assioma sulle linee parallele, si può osservare che appunto a questo proposito va riconosciuto il retto giudizio di Euclide, che aveva valutato in maniera puntuale tanto l’elemen­ to quanto la natura della sua scienza»1112. Proprio come Platone, 11 A ciò si aggiunge che il metodo della costruzione, ad esempio, di una pro­ posizione geometrica non va dedotto dallo stesso teorema da dimostrare (cfr. Hegel, 3.42 ss.; 6.533 ss.); pertanto, la dimostrazione ha solo la funzione sogget­ tiva di far conoscere, e non quella oggettiva di costituire, come secondo Hegel accade in filosofìa. 12 6. 528: «Auch bei Euklid ... findet sich unter dem Namen eines Axioms eine Voraussetzung über die Parallel-Linien, welche man für des Beweises bedürftig gehalten und den Mangel auf verschiedene Weise zu ergänzen versucht hat ... Was jenes Axiom über die Parallel-Linien betrifft, so läßt sich darüber bemerken, daß wohl darin gerade der richtige Sinn Euklids zu erkennen ist, der das Element sowie die Natur seiner Wissenschaft genau gewürdigt hatte». Cfr. I. Tóth, Die nicht-euklidische Geometrie in der Phänomenologie des Geistes, Frank­ furt 1972, p. 29: «Sir John Savile scrisse nel 1621: “In pulcherrimo Geometriae corpore duo sunt naevi”, e uno di questi difetti, che suscitò grande scalpore, fu la mancanza di una dimostrazione, nell’ambito della geometria assoluta, del postu­ lato delle parallele, (ln pulcherrimo Geometriae corpore duo sunt naevi,... schrieb 1621 Sir John Savile, und einer dieser Makel, der großes Aufsehen erregte, war der Mangel eines [absolut-geometrischen] Beweises für das Parallelenpostulat)». Tóth cita Savile seguendo J. Wallis, De postulato quinto dissertatio geometrica, in: Id., Opera, Oxoniae 1693, vol. II, p. 665. Immediatamente di seguito, Tóth conti­ nua: «Allorché Gauß, Lobatschewskij e Bolyai sono giunti a convincersi dell’indi­ pendenza logica del postulato delle parallele, e su questa base hanno costruito le geometrie non euclidee, hanno per ciò stesso riabilitato anche Euclide: quello che fino ad allora era considerato un difetto, valeva da quel momento in poi come il più grande successo di Euclide. (Als Gauß, Lobatschewskij und Bolyai zu der Überzeugung der logischen Unabhängigkeit des Parallelenpostulats gelangten und auf dieser Basis die nicht-euklidische Geometrie aufbauten, haben sie damit auch Euklid rehabilitiert: was bis dahin als Makel verurteilt wurde, galt nunmehr

76

anche Hegel è dell’idea che gli assiomi della matematica devono essere dedotti filosoficamente1314: bisogna dimostrare il postulato delle parallele «a partire dal concetto»™, cioè a partire da un’on­ tologia dialettica; rimanendo all’interno della matematica, infat­ ti, ciò è impossibile in linea di principio, allo stesso modo in cui è impossibile dedurre, ad esempio, la tridimensionalità dello spazio15. Si capisce da sé che per Hegel, non meno che per Platone, gli assiomi della matematica non possono in alcun modo essere fon­ dati per mezzo dell’intuizione. Hegel polemizza duramente con­ tro questa opinione: «il suo {scil. della matematica) alto grado di scientificità si fonderebbe pure su di essa (scil. sull’intuizione), e le sue dimostrazioni riposerebbero sull’intuizione. Contro questa banalità, è necessario banalmente ricordare che per mez­ zo di intuizioni non si realizza nessuna scienza, ma ciò è possibi­ le solo per mezzo del pensiero»16. Certo, in Hegel non si trova un tentativo concreto di fondare il postulato delle parallele «a partire dal concetto». Un simile tentativo, in effetti, rischia di essere estremamente difficile, per non dire impossibile. Eppure Hegel cerca di dedurre dalla sua logica (e così torniamo al tema specifico di questo saggio) l’esi­ stenza dei numeri, in quanto mostra che lo sviluppo dialettico delle categorie, che parte dall’indeterminatezza dell’essere, ne­ cessariamente conduce alla categoria del numero. Qui non è il als Euklids größte Leistung)». Ma già Hegel, prima della costruzione delle geo­ metrie non-euclidee, ha colto in questo stato di cose un merito di Euclide; certo, però, dal fatto che la matematica è una scienza «con presupposti», non segue che proprio il postulato delle parallele abbia carattere di assioma. La dimostrazione di ciò è stata compiuta da Beltrami nella seconda metà del secolo scorso, e non prima di lui. 13 Cfr. solo 6. 372. 146. 528: «aus dem Begriffe ». 15 Cfr. 6.528 s. 16 6. 535: «ihre (scil. der Mathematik) hohe Wissenschaftlichkeit gründe sich sogar hierauf (säl. auf der Anschauung) und ihre Beweise beruhten auf der Anschauung. Es ist gegen diese Flachheit die flache Erinnerung zu machen nötig, daß durch das Anschauen keine Wissenschaft zustandekomme, sondern allein durchs Denken »; cfr. 6. 286. In ciò sta anche il motivo per cui Hegel respinge con decisione l’uso euclideo del concetto di sovrapposizione nelle dimostrazioni di congruenza. Cfr. 5. 367 s.; 6. 531; e Enz. 3, § 256, Aggiunta.

caso di valutare l’argomentazione di Hegel. In questo contesto, mi interessano solo le corrispondenze con la concezione platoni­ ca17. e) La deduzione ontologica del num ero d a ll’unità e dalla molteplicità Nella Scienza della Logica di Hegel, il numero è sempre trat­ tato all’interno della «Quantità», cioè all’interno della seconda sezione della logica dell’essere, che è successiva alla «Qualità». Questa finisce con la determinazione dell’uno e del molteplice e con la loro relazione, che non è portata a sintesi, nella repulsio­ ne e attrazione. La sezione intitolata «La Grandezza (o Quantità)» inizia con un capitolo sulla quantità come tale, in cui si tratta, fra l’altro, della grandezza continua e discreta e a cui segue un capitolo sul quantum-, in esso, viene discusso per primo il numero. La genesi logica del numero si effettua di modo che i suoi momenti princi­ pali siano «Unità» e «Molteplicità dell’uno»18: l’una esprime la continuità, l’altra la discrezione. I molteplici uno sono, poiché sono messi insieme, una quantità numerica: una quantità nume­ rica che, nel numero concreto, si presenta come unità: «Quan­ titànumerica e. unità costituiscono i momenti del numero»19. È facile riconoscere, in questi due momenti, i principi di Pla­ tone, sebbene si parli, anziché di Diade indefinita, di moltepli­ cità o quantità numerica come tale20. Come non è difficile da ve17 In realtà, abbiamo molte corrispondenze nel dettaglio con «rivalutazioni fi­ losofiche» di fenomeni matematici, che ricevettero una prima forma già in Plato­ ne, e ulteriori sviluppi nella tradizione neoplatonica (si veda infra. Parte seconda, III, 2); certo, è principalmente nuova la valorizzazione deU’infinitesimale, cui Hegel ha dedicato un ampio dibattito (5. 279-372); in maniera corrispondente, Hegel coglie nei valori irrazionali una trasgressione della sfera della finitezza, e perciò, in maniera del tutto diversa da Platone, qualcosa di positivo e di razionale (6. 536, cfr. Enz. 3, § 231, Nota). Tuttavia è interessante che, per Hegel, il valore del limite si possa «concepire come il medio fra un più grande e un più piccolo (die Mitte zwischen einem Größeren und Kleineren auffassen)».· si pensa subito all’algoritmo euclideo che, con ogni verosimiglianza, sta alla base del «Grande-ePiccolo» di Platone (cfr. supra. III, nota 52). 185.231: «Einheit», «Vielheit der Eins». 195.232: «Anzahl und Einheit machen die Momente der Zahl aus». 20 L’idea platonica di una riduzione della molteplicità alla dualità, nella Seien-

7f-

dere, questa generazione hegeliana del concetto di numero si svolge sul primo dei due livelli che vanno tenuti fermi in Plato­ ne: l’introduzione hegeliana del concetto di numero richiama la d efin izio n e di num ero com e pluralità lim itata (da parte dell’unità), che è stata sicuramente formulata in spirito platoni­ co21. f) La deduzione delle forme fondamentali di calcolo È interessante che Hegel, oltre Platone, ma costruendo sulla base dei suoi presupposti, tenti di spiegare a partire da questa struttura logica del numero un preciso dato di fatto, ossia il per­ ché vi siano solo e proprio le tre forme fondamentali di calcolo dell’addizione (o della sottrazione), della moltiplicazione (o del­ la divisione), e dell’elevazione a potenza (o del calcolo di radi­ ce): uno stato di cose che in matematica non viene mai fondato, ma semplicemente comunicato. La spiegazione di Hegel, sul cui valore non occorre ora espri­ mere un giudizio, suona nei seguenti termini: nell’addizione, alla quale possono e devono essere ricondotte tutte le forme fondamentali di calcolo, ad esempio nell’operazione 3 + 4 , vengono raggruppati in un’unità diversi numeri: essi, in primo luogo, non sono identici l’uno all’altro nel loro valore, cioè nel momento della loro unità (3 * 4); quindi, in secondo luogo, e a maggior ragione, anche la quantità numerica degli addendi (2) non può essere identica ad un valore comune. Viceversa, nella moltiplica­ zione, ad esempio nell’operazione 3 -2 = 3 + 3, gli addendi sono identici, benché il valore della loro unità (3) sia ancora diverso dalla quantità numerica degli addendi (2). Infine, nel caso di un’elevazione al quadrato, che è la forma fondamentale di eleva­ zione a potenza, i momenti dell’unità e della quantità numerica sono fra loro identici (32 = 3 ·3 = 3 + 3 + 3:in questa operazione za della Logica di Hegel, non è propriamente «superata»; solo nello smaschera­ mento da parte di Hegel del progresso quantitativo all’infinito, quale iterazione costante di due determinazioni (posizione del limite, superamento del limite), si potrebbe riconoscere una certa presenza del pensiero platonico (cfr. 5, 264 ss.; Enz.}, § 104, Nota). Si veda anche 6. 331, sul binomio come forma fondamenta­ le, di volta in volta iterata, del polinomio. 21 Cfr. supra, III, nota 37.

vi sono tre addendi, e ciascuna volta hanno valore 3). Dunque, poiché nell’elevazione a potenza unità e quantità numerica sono portate ad identità, non si possono dare ulteriori forme di calco­ lo oltre all’elevazione a potenza: «L’uguaglianza ulteriore è quel­ la dell’unità e della quantità numerica stessa; così, ha pieno compimento il procedere verso l’uguaglianza delle determina­ zioni, che stanno nella determinazione del numero»22.

3. Platone e Peano: analogie nell’introduzione aritmetica del nu­ mero a) Gli assiomi di Peano per l’aritmetica Solo alla fine del diciannovesimo secolo sono stati elaborati gli assiomi necessari a dimostrare le proposizioni dell’aritmetica, e per la precisione è stato il matematico italiano Giuseppe Pea­ no a redigere i lavori decisivi in proposito23. In essi, risulta scomparso il desiderio di fondare gli assiomi in una qualche ma­ niera filosofica: gli scritti di Peano sono studi puramente mate­ matici, che mirano alla costruzione di un sistema di assiomi pri­ vo di contraddizioni, come si fece alla fine del secolo scorso an­ che per la geometria24. All’interno di questo calcolo, gli assiomi sono indimostrati ed indimostrabili e i concetti fondamentali sono indefinibili; ma grazie ad essi, i teoremi possono essere dimostrati ed i restanti termini definiti. Peano fa uso di tre concetti fondamentali: «uno», «successivo», e «numero» (naturale); 1 è un elemento, N un insieme, e successivo una funzione ad un posto. I cinque as­ siomi recitano che (1) 1 è un numero, (2) ciascun numero ha un 225. 241: «Die weitere Gleichheit ist die der Einheit und der Anzahl selbst; so ist der Fortgang zur Gleichheit der Bestimmungen, die in der Bestimmung der Zahl liegen, vollendet»; cfr. Enz?, §102, Nota. 23 Cfr. Arithmetices principia nova metkodo exposita , 1889, in: Peano, Opere scelte..., II, 20-55. Qui però abbiamo ancora quattro concetti di fondo e nove as­ siomi. Nella trattazione, comparsa due anni più tardi, Sul concetto di numero, ivi, III, pp. 80-109, invece si trovano i classici tre concetti fondamentali e cinque as­ siomi, che ancor oggi vengono presentati in ogni manuale di aritmetica. 24 D. Hilbert, Grundlagen der Geometrie, Stuttgart 1899,196810.

80

successivo, (3)1 non è successivo di nessun numero, (4) due nu­ meri diversi non hanno lo stesso successivo, e (5) le proprietà che competono all 1, e che, se competono ad un numero, com­ petono anche al suo successivo, competono a tutti i numeri (as­ sioma dell’induzione matematica completa) 25. b) La «Diade» a livello aritmetico e il concetto di successivo Lo spirito che si esprime in questi assiomi è, come abbiamo detto, uno spirito completamente diverso da quello presente nei tentativi di Platone, e di Hegel, di dedurre ontologicamente i numeri. Nondimeno, vai la pena di domandarsi quanto, nelle ri­ flessioni platoniche relative alla generazione dei numeri, anticipi Peano. Va da sé che, per parte nostra, dobbiamo tenere d’oc­ chio il secondo livello del modello platonico di generazione. Su tale Avello, Platone procede a partire anzitutto dal numero uno, generato dafl’Uno-principio-primo; al numero uno, poi, per mezzo della Diade indefinita, fanno seguito gli altri numeri. Ora, la Diade indefinita non ha la funzione di una iterata addi­ zione; più che altro sembra che Platone, come abbiamo visto, abbia pensato ad una duplicazione26. Una versione formalizzata degli assiomi di Peano si trova, per esempio, in A. Oberschelp, Aufhau des Zahlensystems, Göttingen 1968, p. 14 s. 26 Alessandro (M. Hayduck, Alexandri Aphrodisiensis In Aristotelis Metaphysica commentala, Berlin 1891, rist. 1956, p. 57,11. 24-28) riporta una concezione, secondo la quale i numeri dispari sarebbero generati per mezzo dell’addizione di un’unità ai numeri pari, generati per mezzo della Diade. Questa concezione è, in certa misura, una forma di concezione mista fra quella che Aristotele attribuisce a Platone e quella moderna di Peano, poiché secondo essa, nella generazione della metà dei numeri, svolge un determinato ruolo un’addizione iterata. Con ogni ve­ rosimiglianza Gaiser, Platons..., p. 363, n. 92, ha ragione ad interpretare il passo di Alessandro, contro Wilpert e con Robin e Ross, come non platonico. Del resto, Aristotele ha sostenuto la tesi in virtu della quale «il numero si conta per ag­ giunzione (άριθμεΐσθαι τον αριθμόν κατά πρόσθεσιν)» (Metaph. 1081 b 14); in altre parole, Aristotele ha sostenuto che i numeri si costituiscono per mezzo di un addizione iterata: la frase precedente continua così: «come la diade per ag­ giunzione all uno di un un altro uno, e la triade per aggiunzione di un altro uno a questi due, e la tetrade allo stesso modo (otov τήν δυάδα upoç τφ évi άλλου evo? toîç δυσι npoTeGevToç, καί τήν τριάδα άλλου évos- toîs- 6υσ! tipo* τίθέντος·, και τήν τετράδα ώσαΰτως·)». Su questo punto, Aristotele si avvicina a Peano più di Platone.

81

Ma anche se la Diade indefinita ha nel suo contenuto un si­ gnificato diverso rispetto al concetto di successivo di Peano, tut­ tavia la sua funzione risulta, da un punto di vista formale, sba­ lorditivamente simile a quella di quest’ultimo: la Diade indefini­ ta «genera» a partire dal primo numero, cioè a partire dall’uno, tutti i numeri, anzitutto il due, ma anche tutti i numeri restanti. Peano fa uso di tre concetti fondamentali; due di essi, il con­ cetto di numero ed il concetto di uno, si trovano in Platone con 10 stesso significato; per quanto riguarda il terzo concetto, ossia 11 concetto di «successivo», Platone ha comunque qualcosa che gli corrisponde, con una funzione formalmente simile. Fra l’altro è degno di nota che il concetto di successivo di Peano sia, fra i suoi concetti fondamentali definiti implicitamen­ te, l’unico a due posti, e quindi l’unico ad esprimere una relazio­ ne (cioè una funzione); e, analogamente, anche la Diade indefi­ nita è, in Platone, l’origine di tutte le relazioni, mentre i predica­ ti ad un posto, nella dottrina accademica delle categorie, veniva­ no ricondotti aU’Uno-principio-primo27. Peano riesce a definire esplicitamente tutti i numeri tramite i suoi tre concetti fondamentali: ad esempio, definisce il due co­ me successivo dell’uno, il tre come successivo del due, e così via28; anche l’addizione, la sottrazione, e così via, si possono de­ finire con i tre concetti, in modo ricorsivo; e si dovrà concedere anche a Platone, che egli si trovava sulla via migliore per ricon­ durre la molteplicità infinita dei numeri naturali a due concetti fondamentali: all’uno, come principio della serie numerica, e ad un’operazione che, qualunque forma abbia avuto, era in ogni ca­ so da iterarsi. c) Tangenze nella concezione dell’uno Degli assiomi di Peano, la matematica antica ha anticipato, in quanto al senso, almeno i primi tre. Il terzo assioma, fra l’altro, 27 Cfr. supra, III, nota 49. 28 A proposito di questo tipo di definizione dei numeri (una definizione ove l’uno resta indefinito ed indefinibile), si veda già Leibniz, Nouveaux Essais sur l'Entendement Humain, IV, 7 (spec. vol. 5, p. 394, dell’edizione canonica a cura di C. J. Gerhardt, Die philosophische Schriften von G. W. Leibniz, Berlin 18751890, rist. Hildesheim 1960).

82

conferisce un senso profondo all’antica esitazione ad annoverare l’uno fra i numeri. Infatti, anche per Peano l’uno, sebbene sia espressamente un numero, purtuttavia è contraddistinto da una proprietà che fra i numeri naturali spetta solo a lui: avere un successivo, ma non essere nessun successivo29. E in effetti, appunto questo è stato indicato, già nell’epoca antica, come fondamento della peculiare posizione dell’«unità» o «monade» (μονά?). NeìY Aritmetica di Nicom aco, si dice: «unicamente l’unità, poiché non ha un numero da entrambe le sue parti, è la metà dell’unico numero che le sta accanto: dun­ que l’unità è per natura principio di tutto»30. d) Vicinanza concettuale a dispetto della distanza cronologica Si potrebbe dire che il concetto di successivo di Peano è il successore storico della Diade indefinita di Platone. E non si esagererà a dire che anche in aritmetica, e non solo in geometria, Platone e l’Accademia si sono avvicinati alle ricerche assiomati­ che della matematica moderna molto di più di quanto sia capita­ to in qualunque altro periodo intermedio fra la loro epoca e quella moderna. In effetti, la storia della ricerca matematica sui fondamenti mostra essenzialmente due punti culminanti, l’uno intorno al 350 avanti Cristo, e l’altro introno al 1900 dopo Cri­ sto: un dato di fatto che, nella storia delle scienze esatte, è quan­ to meno singolare.

29 Anche in Dedekind, Was sind und was sollen..., p. 395, l’uno viene caratte­ rizzato prima degli altri numeri «come elemento fondamentale di N (als Grundelement von N)». 30 Nicomaco, Intr. arithm. I 8, p. 14, 11. 16 ss. Hoche: «μονωτατη δέ ή μονά? διά tò μή έχειν έκατέρωθεν αύτήν δύο άριθμού? ένό? μόνου του παρακειμένου ήμισύ? έστιν άρχή dpa πάντων φυσική ή μονά?». Diversa-

mente dall’uno, gli altri numeri sono la metà della somma dei loro due numeri vi­ cini. Per i Greci, sarebbe stato impossibile interpretare l’uno come successivo dello zero.

4. Viatone e Leibniz: la riduzione della molteplicità a dualità e l'eccellenza del sistema binario a) Platone fra sistema binario e sistema decadico Platone ha cercato di ricondurre il concetto di numero a due principi. Ha fissato uno di questi principi nella dualità, poiché per lui la dualità costituiva la forma fondamentale e il primo modo di presentarsi della molteplicità31. In corrispondenza a ciò, Platone si figurava la generazione dei numeri come una spe­ cie di «diairesi» duale. Inoltre, anche nella divisione dei concet­ ti, Platone ha optato, dove fosse possibile, per la dicotomia32. Pure in questo Platone è sorprendentemente moderno. Infatti, gli schemi binari ricostruiti da Stenzel, da Becker, e da altri, ri­ chiamano vistosamente gli «alberi grafici» moderni33, anche e proprio per quanto riguarda il numero fondamentale del siste­ ma. Ad esempio, oggi il concetto di informazione viene d’abitu­ dine introdotto mediante codici binari34, ed i computers opera­ no di regola sulla base di un sistema binario. Sicuramente, l’idea di un sistema binario (in cui 1 = 1, 10 = 2, 100 = 4) è rimasta estranea a Platone, ma si può affermare che essa si colloca 31 Cfr. anche Rickert, Das Eine, die Einheit..., p. 67: «L’unità di questo uno e di un altro quantum uguale ad esso ... è, quindi, la più piccola pluralità numeri­ ca ossia il due. (Die Einheit dieses einen und eines andern, ihm gleichen Quantums ... ist dann die kleinste Mehrzahl oder die Zwei)»; «nella serie dei nu­ meri interi nessun numero diverso dall’uno può essere più piccolo del due, oppu­ re il due deve essere il più piccolo di tutti i numeri interi che sono più grandi di uno (daß in der Reihe der ganzen Zahlen keine vor der Eins verschiedene Zahl kleiner als die Zwei sein kann, oder daß die Zwei von allen ganzen Zahlen, die größer als die Eins sind, die kleinste sein muß)». 32 Si vedano, ad esempio, le diairesi presenti nel Sofista e nel Politico. La divi­ sione dicotomica è oggetto di esplicita richiesta in Sof. 265 E-F, Poi. 262 B ss., 265 C, 266 As. 33 Già O. Becker, Die diairetische Erzeugung..., p. 466, presentava un’associa­ zione analoga a questa, ma per respingerla. 34 Cfr. ad esempio A. Seiffert, Information über Information, München 1968, p. 35 ss.: La codificazione binaria (Die binäre Codierung); p. 47 ss.: Scelte uno-zero: l'albero grafico (Null-Eins Entscheidungen: Der graphische Baum). A proposito del sistema binario basato su un logaritmo a due come fondamento del concetto di informazione si veda, inoltre, N. Wiener, Kybernetik, Düsseldorf-Wien 1963, p. 104 ss.

ίΑ

nell’ambito delle conseguenze della sua concezione. È comun­ que un fatto che Platone, dando una particolare contraddistinzione alla Decade, ha fornito allo stesso tempo un’apparenza di fondazione alla presunta naturalezza del sistema decadico; ed è interessante che uno dei primi ad aver articolato un sistema nu­ merico su base non decadica, cioè Erhard Weigel, in certa misu­ ra combatta Platone con strumenti platonici. Certo, Weigel di­ scute più che altro con Aristotele. Weigel rileva che, ad esempio, nella dottrina delle quattro cause e in quella dei quattro elemen­ ti, ma anche nella Tetrade punto-linea-superficie-corpo, la Tétra­ de svolge un ruolo significativo, e quindi propone come sistema «più naturale» un sistema tetradico35. Ovviamente, la Tetrade e la Decade, quali numeri «contraddisitinti» da un punto di vista filosofico, rimandano a Platone (e, oltre a lui, ai Pitagorici). Fra questi due numeri, sussisteva uno stretto legame, in quanto la superiorità della Decade era fondata in virtù del fatto che essa costituiva la somma dei primi quattro numeri36. b) Il sistema binario di Leibniz Com’è noto, superando Weigel, è stato Leibniz a progettare il sistema più semplice, ossia quello binario. È da supporre che al35 E. Weigel, Tetractys, Jena 1673, spec. p. 37 ss. Si veda, in aggiunta, H. J. Zacher, Die Hauptschriften zur Dyadik von G. W. Leibniz. Ein Beitrag zur Geschichte des binären Zahlensystems, Frankfurt 1973, p. 31 s.: «Alla ricerca di una “semplificazione” della dottrina peripatetica della dieci categorie, egli (seti. Weigel) si imbattè nel fatto che lo stesso Aristotele talvolta parla di soli quattro principi fondamentali. Poiché la tetrade si trovava anche in natura (punti cardi­ nali, stagioni, elementi, e altro), Weigel dubitò della “naturalezza” della decade, che causava difficoltà tanto grandi in filosofìa come in matematica. Egli unì, di conseguenza, la tetrade aristotelica con un sistema matematico tetradico condu­ cente alla Tetractide, articolato a partire dai tre “divisores vicarii” complementari dello zero... (Auf der Suche nach einer “Vereinfachung” der peripatetischen Lehre von den 10 Kategorien stieß er [seil. Weigel] darauf, daß Aristoteles selbst zuweilen von nur 4 Grundprinzipien spricht. Da sich die Vierzahl auch in der Natur fand [Himmelsrichtungen, Jahreszeiten, Elemente u. a.], zweifelte Weigel an der “Natürlichkeit» der Zehnzahl, die sowohl in der Philosophie wie auch in der Mathematik so große Schwierigkeiten verursachte. Er verband deshalb die Vierzahl bei Aristoteles mit einem mathematischen Vierersystem, entwickelt aus den um die Null ergänzten drei “divisores vicarii”, zur Tetractys...)». 36 Cfr. supra, III, 4, (e).

85

tri sistemi numerici non decadici, allora circolanti, abbiano in­ fluenzato L eibniz in misura m aggiore rispetto a quello di Weigel37. Tuttavia Leibniz, nei suoi scritti diadici, si riferisce principalmente a Weigel. «N oi siamo abituati» — scrive Leibniz all’elettrice Sophie di Hannover nel 1706, forse in aprile — «a ricominciare da capo le cifre, una volta giunti fino a dieci. Alcu­ ni giungono fino a dodici, e altri solamente fino a quattro, per imitare la “tetractide” di Pitagora. Per parte mia, ho voluto ve­ dere ciò che accade, se si giunge solo fino a d u e.. .»38. E in un al­ tro scritto si legge: «E come alcuni, ad esempio, iniziano da ca­ po una volta giunti a quattro, e adoperano solo i caratteri 0, 1 ,2 , 3, così ho ritenuto la cosa più semplice e più consona alla natu­ ra e all’origine prendere di nuovo inizio, più che altro, una volta giunto a due\ occorrono pertanto solo i due caratteri 0 e l » 39. Qui viene espressamente avanzata la pretesa che il sistema diadi­ co sia il più semplice e perciò il più naturale: una pretesa in cui, in Leibniz, ci si imbatte con una certa frequenza40. Com’è noto 37 Secondo lo studio approfondito ed estremamente informativo di Zacher, Die Hauptschriften zur Oyadik von G. W. Letbniz..., ove sono contenuti in un ap­ pendice i più importanti scritti di Leibniz sulla diadica non ancora pubblicati, «la relazione della diadica» di Leibniz «con un sistema a dodici» è «decisamente più stretta ... che non con la Tetractide di Weigel (die Beziehung der Dyadik zu einem Zwölfersystem wesentlich enger ist als zur Tetractys von Weigel)» (p. 21, cfr. p. 33). 38 La lettera è stata pubblicata per la prima volta da Zacher, Oie Haupt­ schriften zur Dyadik von G. W. Leibniz..·, pp. 353-355; qui si cita dalla p. 353 s.: «Nous sommes accoustumés à recommencer les chiffres (,) quand nous sommes allés jusq’à dix. Quelques uns sont allés jusq’à 12, et d’autres seulement jusq’à quatre, pour imiter le Tetractys de Pythagore. Pour moi j’ay voulu voir ce qui arriveroit, si on n’alloit que jusq’à deux...». 39 Leibniz, Mira numerorum omnium expressio per 1 et 0, scritto nel maggio 1696, forse il giorno 17, pubblicato per la prima volta in Zacher, Die Hauptschriften zur Dyadik von G. W. Leibniz..., pp. 225-228; qui si cita dalla p. 225 (che corrisponde alla p. 229 s. della versione tedesca, Wunderbarer Ursprung aller Zahlen aus 1 und 0, risalente, forse, al 18 maggio 1696, e contenuta sempre nello studio di Zacher, alle pp. 229-234): «Et quemadmodum aliqui rursus incipiunt ubi ad quatuor perventum est, et adhibent tantum characteres 0, 1, 2, 3. Ita simplicissimum et naturae atque origini maxime consentaneum iudicavi, potius incipere denuo ubi pervenitur ad duo·, itaque duobus tantum opus est characteribus 0 et 1». 40 Si veda, ad esempio, Explication de Tarithmetique binaire..., in: Leibniz, Mathematische Schriften, a cura di C. J. Gerhardt, voi. 7, Halle 1863, rist. Hildes-

86

Leibniz, che si figura la costruzione dei singoli numeri in manie­ ra non platonica, però moderna, come una specie di addizione iterata41, ha tentato di valorizzare la sua diadica anche da un punto di vista filosofico: a suo avviso, i due segni 0 e 1 rimanda­ no alla creazione divina dal nulla42. In Leibniz comunque non ha luogo, a quanto vedo, alcun richiamo alla contraddistinzione della diade già presente nella tradizione platonico-pitagorica, analogo, ad esempio, al riallacciarsi da parte di Weigel alla tetractide pitagorica. Leibniz ha più che altro scoperto un precur­ sore della sua concezione nello I Ching43. Tuttavia, attraverso heim 1962, pp. 223-227, spec. 223 s.: «Ma in luogo della progressione di dieci in dieci, ho poi impiegato da molti anni la progressione più semplice di tutte, che procede di due in due, poiché ho trovato che essa è utile alla perfezione della scienza dei numeri. (Mais au lieu de la progression de dix en dix, j’ai employé depuis plusieurs anneés la progression la plus simple de toutes, qui va de deux en deux, ayant trouvé qu’elle sert à la perfection de la science des Nombres)»; p. 225: «che, essendo stati ridotti i numeri ai principi più semplici, come lo 0 e Γ1, apparve dappertutto un ordine meraviglioso (que les nombres étant réduits aux plus simples principes, comme 0 et 1, il paroit partout un ordre merveilleux)». 41 Si veda, ad esempio, il De Dyadicis, in: Leibniz, Mathematische Schriften..., pp. 228-234, spec. 228: «ogni numero può essere espresso in modo diadico, non usando altri segni oltre 0 e 1. Infatti, poiché ogni numero si forma per addizione continua di unità, e un’unità aggiunta ad un’unità fa 10 ... (Omnis Numerus dyadice potest exprimi, nullas alias adhibendo notas quam 0 et 1. Nam cum om­ nis numerus fiat additione continua unitatum, et unitas unitati addita faciat 10...)». Cfr. supra, nota 28. 42 In merito si consulti Zacher, Die Hauptschriften zur Dyadik von G. W. Leibniz..., pp. 34-55. 43 In questo classico dell’arte oracolare cinese, di cui Leibniz apprese resi­ stenza e il contenuto attraverso il padre gesuita J. Bouvet, vengono svolti 64 esagrammi che, come dice il nome, si compongono appunto di sei linee; ciascuna li­ nea è però o spezzata o intera; si hanno dunque a disposizione due diversi segni, dalla combinazione dei quali in unità di sei linee risultano 26, cioè 64, esagrammi. Sull’entusiastica recezione da parte di Leibniz dello I Ching, si vedano: Zacher, Die Hauptschriften zur Dyadik von G. W. Leibniz..., pp. 72-115; A. Zempliner, Leibniz und die chinesische Philosophie, «Studia Leibnitiana», Supplémenta V, Wiesbaden 1971, pp. 15-30, spec. 24 s. Varrebbe certo la pena confrontare detta­ gliatamente la dottrina platonica dei due principi e quest’opera cinese nel senso di una storia della filosofia comparata, tanto più che i due segni dello I Ching so­ no chiamati ad esprimere i principi ontologici Yang e Yin: la duplicità dei segni del sistema binario si connette quindi alla duplicità dei principi, e non al fatto die un principio rappresenti una dualità. Certo, un simile confronto, perché por­ ti a risultati seri, presuppone buone conoscenze sul contesto culturale di entram­ be le teorie. All’autore di questo saggio non è dunque possibile operarlo.

Weigel, si può seguire all’indietro, fino a Platone, una linea di tradizione almeno implicita, poiché resta da attribuire a Platone il merito di aver riconosciuto per primo la dualità come forma semplicissima e fondamentale di molteplicità. Quindi, se Plato­ ne avesse avuto conoscenza della possibilità di altri sistemi nu­ merici, avrebbe certo optato, per ragioni filosofiche, a favore di quello diadico44. c) Sistema binario, dicotomie e teoria evoluzionistica Abbiamo già ricordato che Platone, sulla base del significato della Diade, predilige nella divisione dei concetti le dicotomie. Che ciò, formalmente, sia sempre possibile, si può capire con fa­ cilità: ad esempio, tre membri si possono sempre ordinare se­ condo il modello 1, 2.1, 2.2. Eppure si impone la domanda se divisioni del genere siano, anche dal punto di vista dei contenu­ ti, sensate e fruttuose. E com e noto, Aristotele ha polemizzato violentemente contro l’opzione platonica a favore delle dicoto­ mie, nella divisione dei generi biologici in specie45. I suoi argo44 II problema della possibilità che un sistema numerico sia contraddistinto anteriormente ad un altro viene comunque discusso ancora nella Philosophie der Arithmetik di Husserl (p. 235 ss., Die Wahl der Grundzahl des Systems), Husserl propende verso il sistema diadico, in quanto sistema più semplice: «Se dunque il principio più alto fosse la richiesta del minor numero di elementi possibile, allora la scelta x=2 avrebbe chiaramente il più grande vantaggio. (Wäre also die Forderung einer möglichst geringen Elementzahl das oberste Prinzip, dann hätte offenbar die Wahl x=2 den größten Vorzug)»; di seguito, però, Husserl ritiene valide alcune obiezioni pratiche contro questo sistema: obiezioni che, peraltro, non colgono incondizionatamente nel segno. 45 Soprattutto in Depart. An. A 2-3; cfr. 642 b 5 ss. «Alcuni giungono al par­ ticolare dividendo il genere in due differenze. E questo, in alcuni casi, non è faci­ le, e in altri è impossibile (Λαμβάνουσι δ ’ ένιοι t ò καθ’ έκαστον, διαιρούμεvoi t ò γένος· εΐ? δύο διαφορά?. Τούτο δ ’ έοτί τη μέν ού £>άδιον, τη δε άδύνατον)»; 642 b 17 s.: «si può dire che la divisione in due è sconsiderata (ή εΐ? δύο διαίρεσι? μάταιο? άν εΐη)»; si vedano inoltre: 643 a 16 ss., 643 b 10 s., 644 b 19. Per una critica in linea di principio, da parte di Aristotele, alla dottrina accademica della diairesi, si veda anche An. post. B 13, spec. 96 b 15 ss. E chiaro che Aristotele qui intende rivolgersi a Platone, e a Speusippo; si legga W. Kullmann, Wissenschaft und Methode, Berlin-New York 1974, pp. 54 ss., 342 ss. Peraltro Krämer, Grundbegriffe akademischer Dialektik in den biologischen Schriften von Aristoteles und Theophrast, «Rheinisches Museum», 111 (1968), pp.

88

menti, nei quali qui non ci si può addentrare, sono in buona parte acuti. A loro favore, poi, depone il fatto che Platone me­ desimo, nella divisione delle specie viventi, usa con una certa frequenza tricotomie46. In effetti, un genere ha di norma più di due specie: una famiglia, una classe, e così via, ha più di due ge­ neri, più di due famiglie e via dicendo47. D ’altronde, mi sembra che meriti di essere ricordato, nel contesto di questo lavoro, il fatto che la teoria evoluzionistica abbia prodotto una certa riabi­ litazione della teoria platonica. E credo che lo si possa dire an­ che se, fino ad oggi, il rapporto fra sistematica e filogenetica è ancora oggetto di discussione48. Ad esempio, in un’esposizione diffusa della teoria evoluzionistica si legge che «l’esposizione grafica di questo sistema», ossia del sistema evoluzionistico, «non è più quella di una scala gerarchica ad una fila, ma è lo schema di un albero genealogico ramificato in modo dicotomi­ co»49. Questo si rivela di interesse tanto maggiore, quanto più si 293-333, ha mostrato che i fondamenti filosofici della biologia aristotelica pre­ suppongono in molti punti l’esoterica platonica. 46 Ad esempio, in Tim. 39 E-F, e Leg. 823 B, ove si parla di animali di terra, d’acqua e d’aria. 47 Anche Hegel, per il quale le dicotomie, come per Platone, sarebbero di per sé «più consone al concetto (am begriffgemäßesten)», concede che nella natura un genere comprende, di norma, più di due specie, e spiega questo fatto sulla ba­ se della contingenza della natura: «In natura si trovano certo più di due specie entro un genere ... È questa l’impotenza della natura: non poter tener fermo né manifestare il rigore del concetto, e smarrirsi in questa cieca molteplicità priva di concetto. (In der Natur finden sich freilich in einer Gattung mehr als zwei Arten ... Es ist dies die Ohnmacht der Natur, die Strenge des Begriffs nicht festhalten und darstellen zu können und in diese begrifflose blinde Mannigfaltigkeit sich zu verlaufen)» (6. 282) Tuttavia, almeno nelle macrodivisioni, Hegel opta per le di­ cotomie: cfr. Enz.}, $ 280, Aggiunta (9. 133), § 368 con Aggiunta (9. 500 s., 508 s.). 48 Basti vedere: W. Zimmermann, Methoden der Phylogeneiik, in: G. Heberer (curatore), Die Evolution der Organismen, 2 voll., Stuttgart 1959, p. 76: Systema­ tik und Phylogenetik·, e anche il libro fondamentale di W. Hennig, Phylogenetic Systematics, Urbana-Chicago-London 1979. 49 R. Slewing, Biologische Evolution. Einführung in die Problematik, in: Id. (curatore), Evolution, Stuttgart-New York 1978, pp. 95-118, spec. 103: «die graphische Darstellung dieses Systems ist nicht mehr die einer einreihigen Stufenleiter, sondern das dichotom verzweigte Stammbaumschema». Fra l’altro, accanto alla dicotomia, nella sistematica filogenetica svolge un grande ruolo an­ che il concetto di radiazione; sul rapporto fra questi due concetti, si veda Hennig,

89,

considera che Platone, ben diversamente da Aristotele, ma se­ condo il modello di Empedocle, sembra essersi avvicinato ad idee evoluzionistiche: si pensi solo alla concezione, guarnita di ironia, di una «evoluzione inversa» alla fine del Timeo30. Vedia­ mo dunque che, anche nella sua applicazione alla filosofìa del reale, la concezione di Platone per cui la dualità è origine della molteplicità è meno astrusa e ben più moderna di quanto possa sembrare a prima vista.

5. Platone e Brouwer: la fondazione del numero sulla pura dualità nella radicale differenza di orientamento filosofico a) Platone e la moderna filosofìa della matematica Ai punti 3 e 4 abbiamo indicato alcune corrispondenze nel dettaglio fra la matematica moderna e la concezione platonica dell’origine dei numeri. Allo stesso modo, ora intendiamo mo­ strare che anche nella moderna filosofìa della matematica si tro­ vano pensieri che si avvicinano alla concezione platonica fin nel­ le loro particolarità. In questa sede, non mi preoccupa il proble­ ma più generale di un «platonismo in matematica», quale si può trovare nel primo Russell o in Whitehead51. Desidero solo susci­ tare l’attenzione su uno stato di cose, che finora non si è ancora notato, ossia che le riflessioni di Brouwer relative ai fondamenti della matematica roteano intorno ad una «duità» (two-ity), che è chiamata a ricoprire una funzione del tutto corrispondente alla Diade platonica. b) L. E. J. Brouwer Il grande m atem atico oland ese L uitzgen E gbertus Jan Phylogenetic Systematic*..., pp. 209-216: Dichotomy and Radiation. Devo un rin­ graziamento a Siegfried Roth per numerosi riferimenti in questo campo. 50 90 E ss. 51 Cfr. A. N. Whitehead, Mathematics and the Good, in: P. A. Schilpp (curato­ re), The Philosophy o f A. N. Whitehead, New York 1941, 19512, pp. 666-681; e nell’opera dello stesso Whitehead, Science and Philosophy, New York 1948, pp. 105-121. Whitehead, all’inizio del suo saggio, allude aÙa conferenza pubblica di Platone Sul Bene, ma concretamente non affronta la dottrina esoterica di Platone, neppure per quanto concerne il suo aspetto matematico.

90

Brouwer (1881-1966) è, com’è noto, uno dei più brillanti ed ori­ ginali sostenitori dell’intuizionismo, o meglio del neo-intuizioni­ smo, cioè di una delle tre più importanti posizioni all’interno della filosofìa della matematica del nostro secolo (le altre due so­ no logicismo e formalismo). Qui non posso preoccuparmi di esporre anche solo i pensieri più importanti di Brouwer, come ad esempio la sua famosa critica al principio del terzo escluso ed il rifiuto, che ne risulta, della dimostrazione indiretta. Mi limito piuttosto ad un’illustrazione sulla sua concezione dell’origine delle entità matematiche52. c) La generazione dei numeri a partire dalla «vuota duità» opposta all’unità Secondo Brouwer, il primo atto dell’intuizionismo separa completamente la matematica dal linguaggio matematico. Que­ sto atto coglie la matematica come un’attività dello spirito priva di linguaggio, a fondamento della quale sta la percezione di un movimento nel tempo, che scinde un momento di vita in due parti, la prima delle quali viene trattenuta nella memoria53. Ora, se questa dualità viene spogliata di tutte le qualità, rimane sem­ plicemente «il sostrato comune di tutte le duità, la creazione mentale della vuota duità»54. Questa vuota dualità, ed entrambe le unità di cui consta, costituiscono i sistemi matematici fonda52 Per un’esposizione complessiva sull’intuizionismo si veda, ad esempio: A. Heyting, Intuitionism. An Introduction, Amsterdam 1956, 19713. 53 Si veda, ad esempio, Points and Spaces, del 1954, ora in: L. E. J. Brouwer, Collected Works, vol. I: Philosophy and Foundations of Mathematics, a cura di A. Heyting, Amsterdam-Oxford 1975, pp. 522-538, spec. 523. Nella deduzione del­ la matematica, cioè, anzitutto, dei numeri, a partire dal concetto di tempo, Brouwer ricorda Kant (cfr. Kritik der reinen Vernunft, A 142 s.-B 182; Prolegome­ na, § 10); certo, come osserva P. Bemays, On Platonism in Mathematics, in: P. Benacerraf-H. Putnam (curatori), Philosophy of Mathematics, Oxford 19832, pp. 258-271, spec. 264: «Brouwer riconosce solo l’intuizione del tempo (Brouwer acknowledges only the intuition of time)», mentre in Kant è ancora costitutiva per la matematica, cioè per la geometria, anche l’intuizione dello spazio. «Nella scienza, l’unico elemento a priori è il tempo (The only a propri element in science is time)» — scriveva Brouwer già nella sua dissertazione del 1907, che suscitò gran­ de scalpore, Over de grondslagen der wiskunde (traduzione inglese: On the Foundations of mathematics, in: Id., Collected Works..., pp. 11-101, spec. 61). 54 Brouwer, Points and Spaces..., p. 523: «the common substratum of all twoities, the mental creation of the empty two-ity».

mentali55; e, per la precisione, vengono anzitutto generati i nu­ meri naturali. Brouwer presenta questa generazione nei suoi particolari, in modo che la dualità stessa venga colta «come uno dei membri della nuova dualità». «Con ciò si ottiene» dice Brouwer — «la trialità temporale, e così via. In questa maniera, mediante un autosvilupparsi del fenomeno intellettuale origina­ rio, ha origine l’apparente successione temporale di qualunque molteplicità»56. È di importanza decisiva il pensiero di una «rei­ terazione di questo fenomeno della duita»57. Per suo tramite, Brouwer riesce ad ottenere l’infinitudine dei numeri naturali, ma anche quella di tutte le altre entità matematiche (almeno così pretende Brouwer, in assenza di argomentazioni più precise in merito). «È questo sostrato comune di tutte le dualità a formare l’intuizione originatici della matematica·, il cui autosvilupparsi in­ troduce fra l’altro l’infinito come realtà di pensiero, e per la pre­ cisione procura, in una maniera che qui non è da discutersi più puntualmente, anzitutto il complesso dei numeri naturali, poi quello dei numeri reali, ed infine l’intera matematica pura»58. Ora, secondo Brouwer, a questo primo atto dell’intuizionismo 55 Espressioni analoghe si trovano nel saggio del 1952: Historical background, principles and methods of intuitionism, in: Brouwer, Collected Works..., pp. 508515, spec. p. 510: «Se la duità, nata così, è svestita di ogni qualità, rimane la vuota forma del sostrato comune di tutte le duità. Ed è questo sostrato comune, questa forma vuota, che costituisce l'intuizione di base della matematica. (If the two-ity thus bom is divested of all quality, there remains the empty form of the common substratum of all twoities. It is this common substratum, this empty form, which is the basic intuition of mathematics)» . 56 Mathematik, Wissenschaft und Sprache, del 1929, in: Brouwer, Collected Works..., pp. 417-428, spec. 417: «als eines der Glieder einer neuen Zweiheit», «womit die zeitliche Dreiheit geschaffen ist, usw. In dieser Weise entsteht mittels Selbstentfaltung des intellektuellen Urphänomens die zeitliche Erscheinungsfolge beliebiger Vielfachheit». Sulla concezione di autosviluppo della dualità, cfr. anche: Kichtlijnien der intuitionistische wiskunde, del 1947, tradotto in inglese ivi, p. 477. 57 Consciousness, Philosophy, and Mathematics, del 1948, ivi, pp. 480-494, spec. 480: «reiteration of this two-ity phenomenon». 58 Mathematik, Wissenschaft und Sprache..., p. 418 s.: «Es ist dieses gemein­ same Substrat aller Zweiheiten, das die Urintuition der Mathematik bildet, deren Selbstentfaltung u. a. das Unendliche als gedankliche Realität einfuhrt, und zwar in hier nicht näher zu erörtender Weise zunächst die Gesamtheit der natürlichen Zahlen, sodann diejenige der reellen Zahlen und schließlich die ganze reine Mathematik liefert».

921

se ne unisce un secondo; all’interno di questo secondo atto sono in questione, fra l’altro, i predicati che vengono attribuiti o ne­ gati alle entità matematiche. In questo contesto, diviene impor­ tante la categoria dell’uguaglianza. In altre parole, i predicati matematici devono soddisfare la condizione per cui «se valgono per una determinata entità matematica, valgono anche per tutte le entità matematiche che sono state definite uguali ad essa, do­ vendo essere l’uguaglianza simmetrica, riflessiva, e transitiva»59. Ovviamente, non si può istituire in nessun caso uguaglianza fra la vuota dualità e la vuota unità: fra queste due sussiste un duali­ smo non mediabile. La frase appena citata continua come segue: « .. .e poiché alla vuota duità è vietato essere egualizzata ad una vuota unità»60. d) Intuizionismo e ontologia platonica Si riconosce con facilità quanto del materiale appena citato sia fondamentalmente platonico: il significato di una «vuota duità», che mediante un iterato «autosvilupparsi» genera i nu­ meri naturali, ma anche le altre entità matematiche61, e, allo stes59 Points and Spaces..., p. 523: «if they hold for a certain mathematical entity, they also hold for all mathematical entities which have been defined to be equal to it, equality having to be symmetric, reflexive, and transitive». 60 Ibid. : «... and the empty two-ity being forbidden to be equalized to an empty unity». 61 Qui vediamo ancora una volta, per così dire con distanza storica, che il concetto di «Diade indefinita» ha in tutto e per tutto la forza di risolvere la restri­ zione del concetto di numero ai numeri naturali, che è patrimonio della matema­ tica greca: la «Diade indefinita» assicura, infatti, una certa continuità fra i numeri naturali maggiori di uno e, appunto, i valori irrazionali. E’ interessante che anche il concetto che Platone usa come sinonimo della «diade indefinita», cioè il «Grande-e-Piccolo», sia da cogliersi nel suo sviluppo storico ancora in un autore del diciannovesimo secolo, e proprio come principio di valori razionali ed irrazio­ nali; penso a F. Herbart, nella cui opera (Sämtliche Werke, a cura di G. Harten­ stein, vol. VI: Schriften zur Psychologie. Zweiter Theil, Leipzig 1850: Psychologie als Wissenschaft, neu gegründet auf Erfahrung, Metaphysik und Mathematik. Zwei­ ter, analytischer Theil, p. 150) si legge: «Infine, il concetto propriamente scientifi­ co di numero è tale da non essere altro se non quello del più e del meno, e quin­ di non accoglie solo tutte le frazioni, ma anche tutte le grandezze irrazionali: esso ha un’origine ancora precedente rispetto ai numeri interi. (Endlich der eigentlich wissenschaftliche Begriff der Zahl, welcher kein andrer als der des Mehr und Minder, und dabei empfänglich ist nicht nur für alle Brüche, sondern auch für

9P

so modo, il dualismo di unità e dualità. Ciò risulta tanto più sor­ prendente, quanto più si considera che rin tu izio n ism o di Brouwer si definisce attraverso l’opposizione al platonismo della matematica classica62. Brouwer rifiuta decisamente l’ontologizzazione delle entità matematiche: a suo avviso, esse sono prodot­ te da un atto psicologico di coscienza, con cui, tendenzialmente, vengono anche identificate. A questo psicologismo appartiene il continuo porre in risalto il significato del tempo in rapporto all’intuizione matematica. Viceversa è chiaro che, per Platone, non solo la matematica non ha niente a che fare con la tempora­ lità, ma le entità matematiche sono l’esatto contrario del tempo­ rale, cioè son o eterne. (A lm eno la negazione da parte di Brouwer, diretta contro Kant, dello spazio come intuizione a priori per la matematica, collega Brouwer a Platone, sia pure in maniera negativa, in quanto a suo avviso l’aritmetica dev’essere articolata puramente a partire da se stessa, senza alcun rimando a rappresentazioni geometriche). Ancora più lontano da Platone si colloca l’orientamento di Brouwer ispirato alla filosofìa della vita63. Brouwer non vuole solo cogliere la matematica primaria­ mente come fenomeno storico; egli la concepisce espressamente al servizio della vita, «come atto di volontà al servizio dell’istinto di autoconservazione del singolo uom o»64. e) Una mediazione hegeliana? Tuttavia, non bisogna misconoscere che, soprattutto nella de­ scrizione concreta del primo atto intuizionistico, Brouwer si av­ alle irrationale Grössen: dieser ist von noch früherem Ursprung als die ganzen Zahlen)». Certo, il concetto herbartiano di numero è separato da quello platoni­ co da mondi e mondi, perché, in primo luogo, viene fondato psicologicamente e, in secondo luogo, proprio per questo motivo, prende inizio dalla molteplicità e non dall’uno (cfr. ivi, p. 148 ss.). 62 La matematica greca concorda però con l’intuizionismo nel rifiuto di un in­ finito attuale. 63 Si veda, ad esempio, lo scritto giovanile di Brouwer: Leen, Kunst en Mystiek, pubblicato a Delft nel 1905, e tradotto parzialmente in inglese in: Id., Collected Works,.., pp. 1-10. 64 Mathematik, Wissenschaft und Sprache..., p. 417: «als Willensakt im Dienste des Selbsterhaltungstriebes des einzelnen Menschen». Cfr. Id. Consciousness, Philosophy, and Mathematics, cit.

H vicina fin nei particolari alle concezioni del Platone esoterico: e di questo egli, certo, non era cosciente. Ciò si può spiegare, pri­ ma di tutto, per necessità di cose. È possibile, però, che vi sia un influsso mediatore, e precisamente un influsso mediatore che passa per Hegel. In ogni caso, a piena ragione F. Kambartel65 ha voluto vedere nella filosofìa della matematica di Brouwer molto più Hegel che Kant66, e ha avanzato il sospetto che «l’intuizioni­ smo ... poggi essenzialmente su una certa recezione di Hegel, che troverebbe un mediatore adeguato nel Neohegelismo olan­ dese»6768: un sospetto che Kambartel rinforza rimandando ad un’opera aritmetica olandese di quei tempi, ove il concetto di numero veniva introdotto proprio in maniera hegeliana. In effet­ ti, le riflessioni di Brouwer esposte in precedenza non possono nascondere un certo nesso con la tradizione idealistico-speculativa, nonostante la veste psicologistica, in cui compaiono (anzi­ ché un’entità ideale, ontica, com ’era la Diade di Platone, la «duità» di Brouwer è, infatti, un atto psicologico). In modo feli­ ce, quindi, Kambartel ha intitolato il paragrafo sull’intuizioni­ smo presente nel suo saggio Matematica dell’Identità e Psicologi­ smo**: con questo sono indicati con pregnanza i due momenti dell’intuizionismo, che si trovano fondamentalmente in tensione contraria; ed il primo momento rimanda dietro di sé, attraverso Hegel, fino a Platone. 6. Conclusioni riassuntive Adesso possiamo rispondere alla domanda su quale sia, delle tre direzioni fondamentali della moderna filosofìa della matema65 Nel saggio: Philosophische Perspektiven der Diskussion um die Grundlagen der Mathematik, «Archiv für Geschichte der Philosophie», 45 (1963), pp. 157193. 66 Ivi, p. 171: «Spesso le tesi intuizionistiche sembrano essere più vicine alla filosofia idealistica, e soprattutto a Hegel, che non a Kant. (Häufig scheinen die intuitionistischen Thesen der idealistischen Philosophie, insbesondere Hegel, näher zu stehen als Kant)». 67 Ivi, p. 173: «der Intuitionismus ... wesentlich auf einer Hegelrezeption fußt, für die im holländischen Neuhegelianismus ein geeigneter Vermittler gegeben wäre». 68Ivi, p. 169: «Indentitätsmathematik und Psychologismus».

tica, quella a cui può essere associata al meglio la filosofia della matematica di Platone. Innanzitutto, il formalismo si esclude da sé. Questa direzione tende con bramosia ad una forma di indipendenza della mate­ matica, possibilmente priva di restrizioni: come criterio di ve­ rità, è sufficiente la coerenza; sistemi opposti, ma ugualmente coerenti, sono considerati veri a pari titolo; e di conseguenza, non sussiste alcun interesse per una fondazione filosofica della matematica69. Sembra farsi avanti, più che altro, il logicismo. Lo scopo di fondare la matematica attraverso la logica collega questa direzio­ ne a Platone, come del resto la sua direzione d’urto antipsicologistica e antistoricistica. Tuttavia, non si può trascurare che la logica, a partire dalla quale Platone intende fondare la matematica, non è la moderna logica formale (alla quale, fino ad oggi, non è ancora riuscito di fondare in maniera soddisfacente la matematica); è piuttosto una logica gravata di contenuti: è la metafìsica dialettica dei principi. Questi principi si ritrovano al meglio, per quanto ri­ guarda il loro contenu to m ateriale, n e ll’in tu izion ism o di Brouwer. Ovviamente, qui è andata perduta la loro posizione ontologi­ ca: al posto di un pensiero metaindividuale, cioè divino, suben­ tra l’intuizione psicologica. Semplificando un po’, si potrebbe dunque dire che nel logici­ smo e nell’intuizionismo continuano ad agire separate le due metà della filosofia platonica della matematica: nel logicismo, più che altro, il suo aspetto formale; nell’intuizionismo, più che altro, il suo aspetto materiale. Se poi ci si guarda intorno alla ri­ cerca di una filosofia della matematica, in cui questi due aspetti 69 Verosimilmente, si può vedere in Eudosso un precursore del formalismo: egli usa addirittura definizioni implicite (cfr. supra, II, nota 3), come farà ad esempio Hilbert, nelle Grundlagen der Geometrie..., che per questo fu duramen­ te criticato dal logicista G. Frege, Über die Grundlagen der Geometrie, in: Id., Kleine Schriften, Darmstadt 1967, pp. 262-323. Non si può dubitare che Platone, come Frege, e diversamente da Hilbert, fosse convinto della necessaria unicità della geometria; nondimeno, Platone seppe riconoscere che, da un punto di vista logico-formale, non è possibile obiettare nulla contro geometrie non euclidee.

%

siano ancora uniti, occorre riportarsi alla filosofia della matema­ tica di Hegel. E se il neohegelismo, da poco risvegliatosi, volesse prendersi a cuore l’impostazione platonico-hegeliana anche nel suo riferi­ mento alla matematica (cosa che fino ad oggi non è ancora acca­ duta)? Qui non possiamo preoccuparci di rispondere a tale doman­ da. In queste pagine, era mio desiderio semplicemente mostrare che il famoso detto di Whitehead, per cui la filosofìa occidentale consiste in una serie di commenti marginali a Platone, compren­ de anche la teoria esoterica di Platone sulla generazione della molteplicità infinita dei numeri a partire dall’unità e dalla dua­ lità. Si possono indicare, entro un lasso di tempo di quasi duemilacinquecento anni, non solo «tracce» storiche, ma anche strut­ ture logico-sistematiche di questa teoria, nei più importanti la­ vori matematici e filosofici che si sono occupati di questo tema. Certo, si dovrà anche concedere che Platone non ha solo ela­ borato, con piglio geniale, strutture significative (in effetti, la dualità costituisce una struttura alla quale non si può negare ri­ levanza nell’ambito di una «logica della molteplicità»70). Platone ha pure ipostatizzato precipitosamente, in modo dogmatico, ele­ menti contingenti, come ad esempio la Decade. Ma anche tali ipostatizzazioni, sebbene si debbano respingere nel loro conte70 Al di là dell’ambito puramente matematico e filosofico-matematico, ci si potrebbe domandare se la contraddistinzione della dualità come forma fondamentale della molteplicità non sia anche significativa in rapporto ad un importan­ te problema inerente la filosofia del reale: alludo alla fondazione della socialità duale (matrimonio, amicizia) come caso importante di socialità, accanto al caso della socialità plurale o politica. Già in Aristotele troviamo quest’idea; basti leg­ gere la famosa affermazione di Etb. Nie. 1162 a 17 ss.: «l’uomo infatti, per natu­ ra, più che essere politico, è incline alla coppia (άνθρωπο? γάρ τί) φύσει συν­ δυαστικόν μάλλον ή πολιτικόν)». Il tema, comunque, è ancor oggi oggetto di ogni filosofia del sociale: si veda, ad esempio, K. Hartmann, Politische Philo­ sophie, Freiburg-München 1981, pp. 20-30: Duale Sozialität-, pp. 31-43: Plurale Sozialität). L’autore del presente saggio ha pubblicato uno studio, nel quale di­ scute anche il problema se l’intersoggettività duale non possa essere fondata altri­ menti che attraverso pure esigenze antropologiche, cioè in senso ontologico: Hegel System. Der Idealismus der Subjektivität und das Problem der Intersubjektivität, 2 voll., Hamburg 1987, 19882, di cui si vedano particolarmente le pp. 263 ss.

nuto oggettivo, meritano di esser prese a conoscenza, ancorché solo nella storia dei loro effetti. Si dovrà tuttavia riconoscere che anche e proprio la filosofia dei numeri di Platone non è fatta solamente, né in prima linea, di simili ipostatizzazioni, che possono suscitare un’interesse me­ ramente storico. Questo saggio ha raggiunto il suo scopo, se è stato in grado di convincere il lettore, che i temi della dottrina non scritta non sono astrusità, ma problemi e tentativi di solu­ zione che, se solo si ha la pazienza di affrontarli con impegno, manifestano nel loro autore una forza di pensiero sorprendente, non meno che specialisticamente scientifica, e in questo caso matematica.

Parte seconda

Platone fondamenti della geometria

I. Premessa. La geometria non euclidea e l’Accademia antica

1. Euclide non euclideo Il principale presupposto per l’evolversi delle cosiddette geo­ metrie non-euclidee è stato gettato da quando, nel secolo scorso, Gauß, Janos Bolyai e Lobatschewski, al termine di numerosi e intelligenti tentativi di dimostrare il quinto postulato di Euclide, si sono convinti della sua indimostrabilità1. Solo a questo punto, 1 La geometria euclidea, nella sua fondazione classica ad opera di David Hil­ bert, Grundlagen der Geometrie..., consiste in venti assiomi ordinati in cinque gruppi, per mezzo dei quali sono implicitamente definiti i sei concetti di fondo; gli assiomi, in quanto tali, non possono essere dimostrati. Il diciottesimo assio­ ma (o «assioma delle parallele») equivale al quinto postulato di Euclide. Esso re­ cita che dato un punto A e una retta a, nel piano a determinato da A e a, una ed una sola parallela di a passa per A. Questa proposizione equivale anche ad Euclide, I 32, 2: la somma degli angoli in un triangolo è uguale a due retti. Se si nega questo assioma, si ha la «geometria assoluta», peraltro non completa, di Bolyai, ove ad esempio non è possibile determinare se in un triangolo la somma degli angoli sia minore o eguale a due angoli retti (la Appendix srientiam spati*’ absolute veram exbibens a ventate aut falsitate Axiomatis XI Euclidei [a priori baud unquam deridendo] indipendentem di Janos Bolyai fu pubblicata nel 1832 in appendice ad un’opera di suo padre, il matematico Farkas Bolyai, e già nel 1831 in estratto). Se questo assioma viene sostituito da un altro che gli faccia ri­ scontro, secondo cui si postula l’esistenza di almeno due (e quindi infinitamente molte) rette che passano in due direzioni opposte per il punto dato senza interse­ care a, allora si ha la geometria «iperbolica», ove la somma degli angoli di un triangolo è sempre minore a due retti. Infine, nella geometria ellittica di Riemann non vi sono parallele, e la somma degli angoli di un triangolo è maggiore di due angoli retti. La geometria ellittica non coerisce con la geometria assoluta di Bolyai; per dare un assetto coerente a quella devono essere pertanto eliminati al­ cuni dei diciannove assiomi di questa. D’altro canto, la geometria euclidea di Hil­ bert si distingue dalla geometria di Euclide per via del suo ventesimo assioma, os­ sia il postulato del continuo di Cantor, che ancor oggi non è accettato dall’intui­ zionismo; su questo punto ha insistito a buona ragione I. Tóth del quale si veda, ad esempio, Geometria..., p. 414: per Euclide, ma non per Hilbert, gli oggetti geometrici che per essere costruiti richiedono una molteplicità attualmente infini-

il notevole assetto complessivo del primo libro degli Elementi fu davvero in grado di stupire: le proposizioni dalla 1 1 alla 1 28 vengono ad essere teoremi della geometria assoluta di Bolyai, e solo in rapporto alla 1 29, che presenta un’inversione della 127s. non deducibile da essa, si ricorre al quinto postulato (αίτημα). A questo punto, sia la riluttanza ad usare tale assioma, la cui adozione è protratta il più a lungo possibile, sia il fatto che in Euclide esso viene introdotto in modo esplicito come assioma, sembrarono suggerire che Euclide si fosse già accorto intuitiva­ mente della sua indimostrabilità, di contro ai tentativi di dimo­ strarlo intrapresi fin dall’epoca antica, da parte di Tolomeo e di Proclo, e destinati a giungere sino a Farkas Bolyai. Già Charles C. Pierce era quindi in grado di affermare: «ritengo che lo stesso Euclide fosse un geometra non-euclideo; non dico che lo fosse in senso pieno, cioè in senso gaussiano e besselliano, ma più co­ me Saccheri e Lambert»*2.

2. La tesi di Mugler e i lavori di Tótb Inoltre, nel suo libro del 1948 su Platone e la ricerca matema­ tica, Charles Mugler ha sostenuto l’idea che, già all’interno dell’Accademia, fossero stati discussi alcuni problemi di fonda­ zione riguardanti la geometria non euclidea, e fosse stata anche esaminata l’ipotesi contrapposta al quinto assioma di Euclide3. Purtroppo, Mugler ha sostenuto questa idea senza produrre veri e propri documenti, sicché non si è preso atto nella maniera do­ vuta della sua proposta, che non risultava sufficientemente fon­ data4. ta di passaggi (ad esempio, un ettagono equilatero) sono non-esistenti. 2 C. S. Peirce, The New Elements of Mathematics, a cura di C. Eisele, III, 1, Paris 1976, p. 704: «I maintain that Euclid was himself a non-Euclidean ge­ ometer. I do not mean, in the complete, Gaussian and Besselian sense, but more so than Saccheri and Lambert». Per il rimando a quest’opera di Peirce ringrazio il Prof. I. Tóth. A lui e al Prof. Flashar, oltre che al Prof. A. Kleinlogel, desidero esprimere il mio più sincero grazie per le numerose indicazioni e per l’esame cri­ tico del manoscritto. 3 Ch. Mugler, Platon et la Recherche Mathématique de son Époque, Strasbourg-Zürich 1948. 4 Si veda ad esempio la recensione di W. van der Wielen, in: «Mnemosyne», S.

Soltanto i lavori innovativi, che si devono al migliore conosci­ tore della storia e della filosofìa delle geometrie non euclidee, cioè Imre Tóth, sono riusciti a portare in chiaro la fase iniziale della storia di queste ultime. Dato che il presente saggio si rial­ laccia ai risultati di tali lavori, è giusto esporli a titolo introdutti­ vo5, per poi unire ad essi un’esposizione delle tesi di chi scrive6.

IV, 2 (1949), pp. 346-349, spec. 348: «le nozioni di una quarta dimensione e di una geometria non-euclidea sono così estranee alla scienza greca che il fatto di suggerirle è già di per sé pericoloso. (Les notions d’une quatrième dimension et d’une géométrie non-euclidienne sont si étranges à la science greque que le fait de les suggérer est déjà dangereux)». Dato che il presente lavoro intende provare, o almeno rendere verosimile, la tesi di Mugler, verranno citati molti passi dal suo 5 Infra, punto II. Ci si baserà soprattutto sul lavoro citato alla nota 1, dato che è il più facilmente accessibile. E’ bene, comunque, ricordare qui alcuni altri scrit­ ti di Tóth: Das Parallelenproblem..., cit.; La révolution non euclidienne, «La Re­ cherche», 1977 février, pp. 143-151; Spekulationen über die Möglichkeit eines nicht euklidischen Raumes vor Einstein, in: Lectures Notes in Physics 100, Einstein Symposion Berlin, Berlin (West)-Heidelberg-New York 1979, pp. 46-83, per quanto riguarda l’aspetto storico della questione; La géométrie non euclidien­ ne dans le développement de la pensée, «Études d’histoire et de philosophie des sciences», Bucarest 1962, pp. 53-70; Die nicht-euklidische Geometrie in der Phänomenologie des Geistes.,.;Ilpensiero matematico: libertà e verità, negazione e creazione, in: AA. W ., Pensiero scientifico e pensiero filosofico, Padova 1993 , pp. 22-52, per quanto riguarda l’aspetto filosofico. Si attende da parte dell’Istituto Italiano per gli Studi Filosofici di Napoli la pubblicazione del primo libro italiano di Tóth, I paradossi di Zenone nel “Parmenide" di Platone. 6Infra, punto III.

Π. I passi non-euclidei nel Corpus aristotelicum

Tóth ha scoperto nel Corpus aristotelicum un certo numero di passi «che oggi sono pertinenti all’ambito della geometria non euclidea», nei quali si afferma, ad esempio, che la somma degli angoli interni del triangolo è diseguale, ossia maggiore o minore, rispetto a due angoli retti1.

1. «Analitici posteriori»: il carattere non casuale degli esempi non­ euclidei Dalla sola frequenza del topos, risulta inverosimile che si trat­ ti di esempi di impossibilità piena, che cadono dall’alto in ma­ niera puramente casuale12. Negli Analitici posteriori, ad esem­ pio, del triangolo si predica l’uguaglianza o inuguaglianza (ίσ ό τη ς/ά ν ισ ό τη ς·) — sottintendendo: dei suoi angoli a due retti — , così come della luna, della terra e del sole si predica l’eclissi (εκλειψις·).

La pura casualità del topos si rivela ancora meno plausibile, in quanto viene colta con chiarezza l’equivalenza fra l’impossibilità che esistano parallele (oggi è assioma fondamentale della geome­ tria ellittica) e il fatto che che la somma degli angoli del triango­ lo sia maggiore di due angoli retti. «Così le parallele si interseca­ no» — leggiamo — «sia alla condizione che l’angolo interno sia maggiore di quello esterno, sia alla condizione che il triangolo 1Cfr. Tóth, Geometria..., p. 395: «[Stellen] die heute zum Bereich der nichteuklidischen Geometrie gehören». In An. post. 90 a 13,93 a 35, Soph. El. 171a 16, Phys. 200 a 18 ss., De Gael. 281 b 5 ss., Metaph. 1052 a 7, Eth. Nie. 1140 b 15 ss., MM 1187 b 3 ss., si dice che la somma degli angoli interni di un triangolo è diseguale a due angoli retti; in Art. pr. 66 a 14 ss., An. post. 90 a 33, Probi 956 a 18, Eth. Eud. 1222 b 35 ss., si dice che è maggiore; in An. post. 90 a 33, si dice che è minore. 2 Cfr. An. post. 90 a 13.

m. abbia la somma degli angoli maggiore di due retti»3.

2. «De Caelo»: il carattere ipotetico della legge della somma degli angoli In maniera rigorosa, tale casualità può essere esclusa attraver­ so De Caelo, 281 b 3 ss. In questo passo, si distingue fra un impossibile/possibile (άδύνατον/δυνατον), cui corrisponde un falso/vero (ψευδος/άληθες), «per ipotesi» (έξ ύποθε'σεως·) e, dall’altro lato, un impossibile «in assoluto» (αδύνατον απλώς·). Per documentare il primo caso, si osserva: «diciamo, ad esem­ pio, che è impossibile che il triangolo abbia una somma degli angoli uguale a due retti, se ciò e ciò è il caso, e che anche la dia­ gonale è commensurabile, se ciò e ciò è il caso»4; oppure, secon­ do un’altra lezione del testo, che preferisco: «diciamo, ad esem­ pio, che è impossibile [sdì. per ipotesi] che il triangolo abbia una somma degli angoli uguale a due retti: se ciò è il caso, anche la diagonale è commensurabile»5. È straordinariamente diffìcile ricostruire criticamente il passo senza dar adito ad obiezioni6. Ma in ogni caso è chiaro che vi si accentua il carattere ipotetico, 3 An. pr. 66 a 13 SS.: «otov τα? παραλλήλου? συμπίπτειν και el μείζων έστιν ή έντό? τη? έκτο? καί el το τρίγωνον Ιχει ττλείου? ορθά? δυόίν». A proposito dell’intersecarsi delle parallele, cfr. inoltre A», post. 77 b 23. 4 De Cael. 281 b 5 s., secondo l’edizione di D. J. Allan, Aristotelis De Caelo, Oxford 1973: «λέγω δ ’ οιον το τρίγωνον αδύνατον δύο ορθά? εχειν, εί τάδε, κα'ι ή διάμετρο? σύμμετρο?, el τάδε». 3 Ibid. : «λέγω δ ’οΐον το τρίγωνον άδύνατον δύο όρθά? εχειν εΐτα δε, καί ή διάμετρο? σύμμετρο?». Sulla controversia relativa alla lezione del testo cfr. la nota seguente.

6 Probabilmente, occorre espungere il secondo «el τάδε», che nei migliori manoscritti manca: nell’edizione a cura di Oddone Longo, Aristotele, De Caelo, Firenze 1961, è posto in parentesi quadra, in quella a cura diP. Moraux, Aristote, Du Ciel, Paris 1965, viene espunto dal testo (nell’apparato critico si afferma: «el τάδε post σύμμετρο? add. ree.»), mentre il primo va mutato in «εΐτα δε'», e prima di esso va posto un punto in alto. Il Prof. Tóth mi ha gentilmente comuni­ cato che questo è quanto egli ha reperito nei manoscritti da lui consultati, ossia: Vìndob. Phil. Gr. 100 (sec. IX) fol. 65r. 6, Marcianus 214 (XII) fol. 220r. B 16, ed inoltre Marcianus 200 (Copista: Joh. Rhosos 1457) fol. 46 v. 14. Da tutto ciò ri­ sulta la seconda traduzione che abbiamo proposto. Cfr. inoltre Tóth, Spekulationen..., p. 80 s. e n. 31.

e non a priori7, di talune proposizioni, in riferimento alla somma degli angoli del triangolo e alla commensurabilità della diagona­ le al lato del quadrato. Allo stesso tempo, vi si avanza la possibi­ lità che, ad una determinata condizione, la somma degli angoli del triangolo sia diversa da due angoli retti, e che perciò la dia­ gonale assuma valori commensurabili al lato del quadrato. Un rilievo del genere poteva avere un senso solo se questa condizio­ ne era nota all’uditorio: e ciò a cui si devono simili conseguenze è la negazione del quinto postulato di Euclide. Ora, il presuppo­ sto per capire questo nesso di tipo non-euclideo è essersi occu­ pati in misura piuttosto ampia di una geometria che neghi il quinto postulato. «Simili asserti» — osserva Tóth — «non pos­ sono venir congetturati per mezzo di espedienti meramente dia­ lettici. Senza una dimostrazione, che è assai complicata, è im­ possibile imbattersi in essi»8. Dunque, i passi in questione indicano che i matematici greci, poco prima di Aristotele, si sono evidentemente sforzati di trar­ re conclusioni a partire da ipotesi antieuclidee.

3. «Analitici primi»: la «deduzione delle parallele» Tóth desume lo scopo di queste ricerche da Analitici primi, Π 16, cioè dal capitolo sulla petitio principii (64 b 28: « t ò δ ’ èv άρχη αΐτεΐσθαι»). Quale esempio di conclusione circolare vi si cita «ciò che fanno quanti credono di dedurre le parallele»: «in­ fatti» — spiega Aristotele — «essi stessi ignorano di assumere cose che non è p o ssib ile dim ostrare se le p a ra llele non esistono»9. Come Tóth ha bene indicato, l’espressione «dedurre le paral­ lele» (τα? παραλλήλου? γράφειυ) si riferisce al tentativo di di7 In De Cael. 281 b 12, come esempio di «impossibile in assoluto» figura «lo stare allo stesso tempo in piedi e seduti, (t ò δ ’άμα έστάναι καί καθησθαι)». 8 Tóth, Geometria..., ρ. 396: «durch bloße dialektische Einfälle können solche Aussagen nicht konjekturiert werden. Ohne Beweis (der kompliziert ausfällt), ist es unmöglich, auf sie zu stoßen». 9An. pr. 65 a 5 ss.: «δπερ ποιοΐκπ ol τάς παραλλήλους οΐόμενοι γράφειν λανθόνουσι γάρ αύτοί έαυτους τοιαΰτα λαμβάνοντες δ ούχ οΐόν τε άποδείξαι μή ούσων των παραλλήλων».

108

mostrare la proposizione I 29 di Euclide senza ricorrere al quin­ to postulato, vale a dire al tentativo di derivare la I 29 dalle sue proposizioni inverse 1 27 e seguente101. Un simile tentativo, che è predestinato al naufragio11, si basava evidentemente già su 1 29, oppure su ciò che ne era dedotto. Aristotele si riferisce in modo critico a questo procedimento, di cui era nota l’erroneità12, e «lo stile del passo, estremamente concentrato e allusivo, documenta la grande dimestichezza del suo uditorio con il problema»13. L’allusione di Aristotele illumina come un lampo lo sviluppo della matematica. «Qualcuno» — rileva Tóth — «ha tentato di dare di 1 32, 2 una dimostrazione geometrica rigorosa, vale a di­ re nell’ambito della geometria assoluta, ed in questo tentativo è incorso in conclusioni circolari» 14. Ora, è naturale che in seguito al naufragio di questi sforzi si sia cercata una dimostrazione in­ diretta. All’interno di sistemi fondati su un’ipotesi anti-euclidea, oc­ correva mostrare incoerenze; e tali sistemi furono introdotti e parzialmente sviluppati a questo scopo15. «Le proposizioni ete10Cfr. Das 'Parallelenproblem..., pp. 257-267. 11 Com’è noto, nel primo libro degli Elementi di Euclide, I 27/ 28 e I 29 co­ stituiscono l’unica coppia di proposizioni, dove la seconda proposizione, sebbene sia inversa alla prima, non consegue da questa (come esempio di caso normale, cfr. I 18 e I 19; I 24 e I 25; I 47 e I 48). A questo proposito, si veda Mugler, Platon..., p. 330: «... che il riscontro di un teorema che opponesse una resistenza accanita a tutti i tentativi di invertire la premessa e la conclusione, dovette appa­ rire ai loro occhi come uno scandalo logico non meno sconcertante della scoper­ ta, avvenuta un secolo avanti da parte dei Pitagorici, della prima deroga alla legge dei numeri interi. (... que la recontre d’un théorème opposant une résistance acharnée a toutes les tentatives d’intervertir la prémisse et la conclusion devait apparaître a leurs yeux comme un scandale logique non moins déconcertant que, un siècle auparavant, la découverte par les Pythagoriciens de la première déroga­ tion à la loi des nombres entiers ...)». 12 Già Mugler, Platon..., p. 148, osservava: «La teoria delle parallele contene­ va dunque, a quell’epoca, una petizione di principio che d’altronde non sfuggì ad Aristotele. (La théorie des parallèles contenait donc, à cette époque, une péti­ tion de principe qui n’échappait d’ailleurs pas à Aristote)». 13 Tóth, Geometria..., p. 396: «Der extrem konzentrierte allusive Stil der Stelle belegt die große Vertrautheit seiner Zuhörer mit dem Problem». 14 lbid. : «Man hat versucht, ihm [seil. I 32, 2] einen strengen, d. h. absolutgeometrischen Beweis zu geben, und ist dabei auf Zirkelschlüsse gestoßen». 15 Questo è anche il procedimento seguito da G. Saccheri nella sua famosa opera «antieuclidea» Euclides ab omni naevo vindicatus, Mediolani 1733. «An-

lût rodosse prodotte da Aristotele sono da intendersi quali fram­ m enti fo s siliz z a ti d ei te n ta tiv i in d ir e tti di riso lv ere il problema»16. E ancora, a proposito di D e Caelo, 281 b 5 ss., Tóth dice: «è da presumersi che lo scopo originario fosse la con­ futazione dell’ipotesi antieuclidea generale, condotta con l’aiuto dell’assurdità per cui “un numero dispari è pari”, alla quale do­ veva portare l’ipotesi della commensurabilità. Tuttavia, questa contraddizione può essere raggiunta solo con l’aiuto della pro­ posizione euclidea Elem. 1 3 2 ,2 » 17. L’ipotesi ellittica dell’angolo ottuso può in effetti essere con­ futata, poiché stante tale assunzione le parallele si intersecano (e ciò contraddice la loro definizione, secondo Euclide, I def. 23), come del resto spiega anche Aristotele18. L’assunzione iperbolica dell’angolo acuto non può invece essere respinta senza assumere come strumento di soccorso il quinto postulato, che appunto per questo motivo fa la sua esplicita comparsa in Euclide19. Tóth tieuclideo» è un termine tecnico introdotto da Tóth per denotare proposizioni non-euclidee che vennero addotte come false; tutti i geometri dall’antichità fino a Taurino incluso (1825-26) fecero ciò; solo Gauß, Bolyai e Lobatschewski hanno geometrie propriamente non-euclidee, dato che con essi «la filosofia dell unicità dogmatica fu rimossa e sostituita con una filosofia liberale della pluralità dei si­ stemi geometrici e della coesistenza di universi fra loro opposti. (Die Philosophie der dogmatischen Unizität aufgegeben und durch eine liberale Philosophie der Pluralität geometrischer Systeme und der Koexistenz entgegensetzter Universa ersetzt wurde)» (Tóth, Geometria..., p. 400). 16Ivi, p. 397: «Die von Aristoteles angeführten heterodoxen Sätze sind als die fossilisierten Fragmente der indirekten Lösungsversuche des Problems anzu­ sehen». 17 Ivi, p. 399: «Es ist anzunehmen, daß das ursprüngliche Ziel die Wider­ legung der allgemeinen antieuklidischen Hypothese war, mit Hilfe der Absur­ dität “eine ungerade Zahl ist gerade”, zu der die Hypothese der Kommensurabilität führen sollte. Dieser Widerspruch kann jedoch nur mit Hilfe des euklidi­ schen Satzes Elem. I 32, 2 erreicht werden». 18Cfr. An. pr. 66 a 13 ss.; An. post. 77 b 23: ciò è «per così dire geometrico e non geometrico (γεωμετρικόν πω? καί. άγεωμέτρητον)». Mugler, fra 1altro, pensa soprattutto ad una geometria riemanniana, poiché a suo avviso lo spazio fi­ nito di quest’ultima si accorda con la concezione finitistica di Platone (cfr. ad es. Platon..., p. 143): resta però da supporre che l’alternativa fra geometria euclidea ed iperbolica stesse al centro dell’interesse, proprio come accadde nell’evoluzio­ ne successiva, specialmente fino al diciottesimo secolo. Sulla questione si diffon­ de Tóth, Das Parallelenproblem..., pp. 271 ss. 19 In relazione al concetto di postulato (αίτημα), Tóth, Geometria..., p. 39, ri­ manda ad An. post. 76 b 32 ss., dove il termine «αίτημα» viene definito «il con-

110

conclude: «la “communis opinio”, secondo la quale il problema delle parallele è nato da una mancanza di evidenza del postulato delle parallele, risulta in seguito alle precedenti argomentazioni storicamente insostenibile; al contrario: la necessità di superare il problema delle parallele, che sussisteva già, richiese l’introdu­ zione del postulato delle parallele»20.

4. «Etica Eudemia»: il postulato delle parallele come assioma Aristotele ha piena coscienza del carattere puramente tetico, cioè indimostrabile, dell’assioma euclideo. N ell’fftc» Eudemia si legge: «se infatti non vi è alcuna altra causa del fatto che il trian­ golo sia così com’è, questo potrebbe essere un principio, e po­ trebbe essere causa di ciò che segue»21. Qui, la funzione di «principio» (αρχή), cioè di assioma, è ricoperta dalla proposi­ zione riguardante la somma degli angoli, che nelle sue tre va­ rianti equivale al postulato delle parallele nelle sue tre versioni possibili. Da questo assioma dipendono tutti gli altri teoremi; se contrario rispetto all’opinione di chi impara (το ύπεναντίον τού μανθάνοντος· τη δόξη)», ed osserva: «non è da escludersi interamente che nella prima applica­ zione del termine al postulato euclideo delle parallele abbia giocato un certo ruo­ lo il senso fornito in An. post. I 10, 76 b 31. (Es ist nicht ganz auszuschließen, daß bei erster Anwendung des Terminus auf das Euklidische Parallelenpostulat der in An. post. 1 10,76 b 31 angegebene Sinn mitgespielt hat)». 20 Ivi, p. 399: per il testo originale cfr. supra, Parte prima, II, nota 5. Cfr. Mugler, Platon..., p. 149: «tutto sembra indicare che sia stato lo stesso Euclide a riconoscere per primo la necessità di mettere fine alle petizioni di principio sulla questione delle parallele per mezzo di un postulato e ad avere il genio di sceglie­ re, fra molteplici possibilità, la più semplice. (Tout semble indiquer que c’est Euclide lui-même qui le premier reconnut la nécessité de mettre fin aux pétitions de principe autour de la question des parallèles par un postulat et qui eut le génie de choisir de plusieurs possibilités la plus simple)»; p. 330: il quinto postulato «è il culmine della lunga serie di riflessioni e di fatiche provocate dallo stupore filo­ sofico di Platone e dei suoi discepoli di fronte all’unica eccezione che avevano constatato alla legge della reversibilità delle proposizioni (est l’aboutissement de la longue suite de réflexions et de travaux provoqués par l’étonnement philo­ sophique de Platon et de ses disciples sur l’exception unique qu’ils avaient constatée à la loi de la réversibilité de propositions)». 21 Eth. Eud. 1222 b 39 ss.: «εΐ yàp μηδέν άλλο αίτιον τον το τρίγωνον οΰτως εχειν, άρχη τις- αν ειη τούτο καί αίτιον των ύστερον».

quello subisce un cambiamento, mutano anche questi: «Infatti, come stanno le cose in rapporto ai principi, così stanno in rap­ porto a quanto dipende dai principi. Ed è possibile riconoscere ciò con maggiore chiarezza nei procedimenti geometrici. Anche in questi procedimenti, infatti, quando si sono assunti certi prin­ cipi, come stanno le cose in rapporto ai principi, così stanno in rapporto a ciò che è successivo ai principi: per esempio, se il triangolo ha gli angoli uguali a due retti, e il quadrato li ha ugua­ li a quattro... » 22; segue l’applicazione della contrapposizione23. Nell’E/ze» Eudemia, in un altro passo, si legge: «N ell’ambito dei principi immobili, ad esempio nell’ambito delle matematiche, non vi è un principio in senso proprio, sebbene si dica così per similitudine. Anche nelle matematiche, infatti, se muta il princi­ pio, potrebbero benissimo cambiare tutti i risultati di dimostra­ zione»24. È sorprendente che passi del genere si trovino nelle Etiche. Lo Stagirita, come ha segnalato Tóth, pone in parallelo il con­ cetto geometrico di «principio» (άρχή) con il motivo etico, o meglio con la scelta preferenziale, cioè con la decisione a favore di uno scopo, che si colloca all’inizio di un’azione come fine (τέ­ λος), e dalla quale possono essere derivati i singoli atti. «Come per le scienze teoretiche» — scrive Aristotele — «i presupposti sono principi, per quelle pratiche il fine è principio e presuppo­ sto ... Come accade per le une, se il triangolo ha gli angoli ugua­ li a due retti, necessariamente anche queste cose saranno il ca­ so»25. 22 MM 1187 a 37 ss.: «ώς γάρ dv ?χωσιν al άρχαί, oi/τω? καί έκ των άρχών έχει, έναργέστερον δ' ίσ τι κατιδειν τούτο èv τοΐ? κατά γεωμετρίαν καί γάρ έκεΐ έπειδή τινε? Χαμβάνονται άρχαί, ώ? dv al άρχαί. ϊχωσιν, oi/τω καί τά μετά τάς άρχά?, οΐον εΐ τό τρίγωνοι/ δυσίν όρθαΐ? Ισα? ?χει, τό 8k τετράγωνον τέτταρσιν...». 23 Cfr. anche MM 1189 b 10 ss. 24 Eth. Eud. 1222 b 2 ss.: «έν 8k ταις άκινήτοι? άρχαί?,