Questo libro considera la logica antica quella che ebbe origine in Grecia da Aristotele e dagli Stoici, principalmente nel periodo di cento anni a partire dal 350 a.C. circa. La logica antica non è mai stata del tutto ignorata dalla logica moderna fin dalla sua origine booleana a metà del 1800: era prominente negli scritti di Boole ed è stata citata da Frege e da Hilbert. Tuttavia, il primo secolo della logica matematica non prese abbastanza sul serio lo studio dei testi logici antichi. Una rinascita degli studi di logica antica si verificò all’inizio degli anni ’50 con la pubblicazione della storica Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic di Jan Łukasiewicz, Oxford UP 1951, 2a ed. 1957. Nonostante il titolo, tratta la logica degli stoici così come quella di Aristotele. Łukasiewicz era un illustre logico matematico. Aveva creato la logica dai molti valori e la notazione del prefisso senza parentesi nota come notazione polacca. È stato coautore con Alfred Tarski di un importante articolo sulla metateoria della logica proposizionale ed è stato uno dei tre principali insegnanti di Tarski all'Università di Varsavia. La statura di Łukasiewicz era appena inferiore a quella dei giganti: Aristotele, Boole, Frege, Tarski e Gödel. Nessun logico matematico del suo calibro aveva mai citato prima gli insegnamenti dei logici antichi. Non solo Łukasiewicz inserì nel campo nuove ipotesi, nuovi concetti e fantasiose prospettive moderne, ma il suo enorme prestigio e quello della Scuola di Logica di Varsavia si rifletterono sull'intero campo degli studi di logica antica. All’improvviso, questo campo, prima un po’ dormiente e oscuro, divenne attivo e guadagnò rispettabilità e importanza agli occhi di logici, matematici, linguisti, filosofi analitici e storici. Accanto allo stesso Aristotele e forse al logico stoico Crisippo, Łukasiewicz è la figura più importante negli studi di logica antica. Una vasta letteratura fa risalire le sue origini a Łukasiewicz. Il libro in esame, Ancient Logic and Its Modern Interpretations, si basa sul Simposio di Buffalo del 1973 sulle interpretazioni moderniste della logica antica, la prima conferenza interamente dedicata alla valutazione critica dello stato degli studi sulla logica antica. Ci sono cinque parti. La Parte I Semantica Antica contiene articoli di Norman Kreztmann, Ronald Zirin e Newton Garver. La Parte II La ricerca moderna sulla logica antica contiene articoli di Ian Mueller e John Mulhern. Parte III La Logica di Aristotele contiene articoli di John Corcoran e Mary Mulhern. La parte IV Stoic Logic contiene articoli di John Corcoran e Josiah Gould. La parte V contiene la trascrizione modificata della tavola rotonda tenutasi nella sessione plenaria finale del simposio e un articolo di John Corcoran sul futuro della ricerca nel campo che ha presentato prima della tavola rotonda. Alcuni dei documenti sono diventati dei classici. Il fatto che il libro rimanga in stampa oltre 35 anni dopo la sua pubblicazione iniziale è testimonianza della sua qualità e importanza.
caricamento...
