GRICE E MANGIONE: L'IMPLICATURA CONVERSAZIONALE D'ALCUNI ASPETTI DEL NAZIONALISMO CULTURALE NELLA LOGICA ITALIANA -- LOGICA MATEMATICA -- FILOSOFIA ITALIANA -- LUIGI SPERANZA

 

Grice e Mangione: l’implicatura conversazionale d’alcuni aspetti del nazionalismo culturale nella logica italiana – logica matematica – filosofia italiana – Luigi Speranza (Bagnara Calabra). Filosofo.  Grice: “I like Mangione; for various reasons: He notes that logic is more related to mathematics – indeed, for logicism mathematics IS logic – so the opposite to ‘formal’ logic is ‘material’ logic, not ‘informal’ as Ryle and Strawson want – Mangione has studied ‘categories’ and talks of ‘logica matematica’ – he has studied Frege’s ideografia, as he aptly translates his grundscrift, and he tried to improve on the ‘nationalism’ which was ubiquitous in logic in Italy in the ‘primo novecento’!” Insegna a Milano. Diresse le due collane matematiche della casa editrice Progresso tecnico editoriale di Milano, appendice della A. Martello editore. Presso l'editore Boringhieri di Torino ha diretto “Testi e manuali della scienza contemporanea. “Serie di logica matematica.”  Contribuito alla Storia della filosofia pubblicata da Geymonat per Garzanti con specifici contributi sulla storia della logica matematica. Amplia e sistematizza tali contributi nella Storia della logica. Da Boole ai nostri giorni”. Il saggio costituisce un ampio ed esaustivo lavoro di ricognizione e sintesi sugli ambiti di ricerca e sui risultati della logica. Dirige la collana Muzzio scienze.  Insieme a E. Ballo, S. Bozzi, G. Lolli e P. Pagli cura Gödel (Boringhieri). Saggi: “Logica matematica” (Torino, Boringhieri); “Giocando con l'infinito: matematica per tutti, traduzione di G. Giorello (Milano, Feltrinelli); “Matematica e calcolatore, Le Scienze quaderni, Milano, “Filosofia: saggi in onore di Geymonat, Milano, Garzanti “Storia della logica, CUEM  “Storia della logica”“Da Boole ai nostri giorni” (Garzanti); “Frege. Logica e aritmetica” -- Torino, Boringhieri. E. Regny, «Breve storia di una lunga amicizia», Franco Prattico, «Pubblicate tutte le opere di Godel» dalla Repubblica, articolo disponibile sul database SWIF dell'Bari.  6.Peano(4), A.Nagy(5),     (1) Delbcedp J , Logiqìie algorithmique. Revue Philosophique quindi idem. Liège et Bruxelles Liard L., Les logiciens anglais contemporains {ISIS).  Logique. Masson, Paris.   — Cours de philosophie. Logique  CouTURAT L., La logique mathémaiique de M, Peano,  " Revue de Métaphysique et de Morale „, a — La logique de Leibniz d'après dea documents inédits.  Paris, Alcan, 1901.  L^ Algebre de la logique. Paris, Gautliiers-Villars, ed.  Peano G., Calcolo geometrico secondo VAusdehnungs-  léhre di H, Grassmann, preceduto dalle operazioni della  logica deduttiva, Torino Arithmetices principia, nova methodo exposita — I principi di geometria logicamente esposti  Torino, Bocca.  Elementi di calcolo geometrico Principi di logica matematica. R. d. M., t. I.  Formule di logica matematica. R. d. M., t. I. Sul concetto di numero. R. d. M., t. I.  Sui fondamenti della geometria R. d. M., Saggio di calcolo geometrico Studi di logica matematica Les définitions matJtématiques Formulaire mathématique.  Nagy a., Fondamenti del calcolo logico. Giornale di  matematica. Napoli Sulla rappresentazione grafica delle quantità logiche.  Rend. R. Accademia dei Lincei. Lo stato attuale ed i progressi della logica. Rivista  italiana di filosofia.  C. Burali-Forti, G. Vacca, G. Vailati, A. Padoa,  M. Pieri, F. Castellano, C. Ciamberlini, Giudice,     Nagy a., Principi di logica esposti secondo le dottrine mo-  derne. Torino, Loescher I teoremi funzionali nel calcolo logico, Riv. di Mat., Ueher Beziehungen zwischen logischen Ordssen. Mo-  natshefte fur Mathematik. Wien, La logica tnatematica e il calcolo logico. Riv. Itai. di  Filos. Roma, I primi dati della logica. Id. Roma, Ueber das Jevons-Cliffordsche Problem. Monatshefbe  far Mathematik. Wien, t. Sulla definizione e il compito della logica. Roma, Balbi  Alcuni teoremi intorno alle funzioni logiche. Riv. di  Mat., BuaAn-FoKTi C, Logica matetnatica. Milano Exercice de traduction en symholes de Logique Mathématique. Bulletin de Mathématiques élémentaires Sui simboli di logica matematica. Il Pitagora, Padda A., Note di logica matematica. Riv. di Mat., t. 6,  Conférences sur la Logique Mathématique. Université  non velie de Bruxelles Essai d'une théorie algébrique des nombres entiers,  précède d'une introduction logique à une théorie déductive  quelconque. Congresso internaz. di filosofia. Parigi, Vailati G., Un teorema di logica matematica. Riv. di  Mat., t. Sul carattere del contributo apportato dal Leibniz  allo sviluppo della logica formale. Rivista filos. e scienze  affini. Maggio-Vacca G. Sui precursori della logica matematica. Riv.  di Mat., Bettazzi, M. Chini, T. Boggio, A. Ramorino,  M. Nassò, ecc. in Italia. Tutti questi ultimi A. appartengono alla scuola del  Peano, al quale si deve la prima introduzione della Logica matematica in Italia con Peano, esposti lucidamente gli studi dello Schrodbr, del  BooLE, ecc., dimostra l'identità del calcolo sulle classi,  fatto da questi autori, col calcolo sulle proposizioni di Peirce, del Me Coll, ecc.   L'opera de\VS9 {Arithmetices principia contiene per la  prima volta la teoria dei numeri interi completamente ridotta in formòle facendo ricorso ad un limitatissimo  numero di idee logiche che espresse coi simboli:  €, D, = n, u, --, A.   Di qui trasse origine la sua ideografia, in cui ogni  idea è rappresentata con un segno, e il suo strumento  analitico andò perfezionandosi rapidamente. Formulaire de  Mathémathiques; Introduction^ quindi la pubbli-  cazione completata, con nuove formule ed arriccbita di  numerose indicazioni storiche per la collaborazione di valenti seguaci, procedette alacremente, raccogliendo e  trattando completamente in simboli tutte le proposizioni  della matematica. L'importanza filosofica di questo mo-  vimento scientifico non è ancora stata apprezzata conve-  nientemente dai filosofi, e l'opera del Peano comincia  solo ora a richiamare sopra di se l'attenzione degli inse-  gnanti di logica pura.   Questo ritardo filosofico è tanto più strano quanto più  chiara è la filiazione filosofica di questa ideografia.   Il Peano stesso non cessò mai di far notare che essa  " è basata su teoremi di Logica, scoperti successivamente  da Leibniz fino ai giorni nostri „.   È noto infatti che l'ideografia completa o pasigrafia fu  intravista da Leibniz, col nome di Characteristica.   Ma se, con definizioni opportune, si potè ridurre le   Pastore, Logica formale.  Meriti dell' analitica moderna, Da questo  rapido cenno dello sviluppo storico dei postulati  del càlcolo logico e degli autori che più hanno  contribuito al progresso della logica pura e sim-  bolica in largo senso della parola (simboli lette-  rali, aritmetici, algebrici, geometrici, ideografici,  ideofisici e via dicendo), e pure in mezzo alle di-  vergenze profonde e attraverso i vari modi onde  le forme logiche si manifestano e a quelli onde  vengono interpretate, è possibile scorgere il filo  conduttore.   Le dottrine più recenti sopratutto, parte cri-  ticando i metodi e i principi sui quali le antiche  erano costruite, parte proponendo metodi di di-  mostrazione più atti all'indagine logica, parte  svolgendo fuori dalla stessa analitica germi di  idee nuove che vi rimanevano prima come oscu-  rati ed occulti, sono come una successione in-  calzante di fiotti vitali che, scaturendo dalle  vette del pensiero, sono penetrati nell'organismo  della logica formale alimentandolo e sospingen-  idee di logica che si incontrano in molte parti della ma-  tematica ad un numero sempre più piccolo di idee pri-  mitive, attualmente ancora si desidera una riduzione  analoga di tutte le idee di logica che si incontrano nella  logica pura.   Questa riduzione presenta invero seriissime difficoltà,  ed e più facile il riconoscere quante e quali siano le  idee primitive in Aritmetica e in Geometria, che in Logica „ (Peano).   In questo saggio, continuando le ricerche cominciate  nel precedente, che mi converrà di supporre conosciuto  al lettore, tento di portare un contributo alla soluzione  del problema suddetto. Corrado Mangione. Mangione. Keyword: “logica matematica” “divertente”, “Sidney Harris” Peano, “not” “no” “and” “e” “or” “o” “if” “si” “some (at least one)” “all” “the” “il” , Mangione, simbolistica, logica simbolica, logica formale, logica materiale, semantica, semantica per un sistema di deduzione naturale, SYMBOLO, whoof and proof, w’f ‘n’ proof. -- -.  Refs.: Luigi Speranza, “Grice e la proclama di Mangione: logica matematica, la logica matematica deve essere divertente!” – The Swimming-Pool Library.