La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità della teoria delle algebre di Boole. Il logico polacco AlfredTarski dimostra che la teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] primitivi: se lo fosse, le due interpretazioni coinciderebbero anche rispetto a R. Questo procedimento, riscoperto da AlfredTarski negli anni Trenta, diventerà noto come metodo di Padoa. Un altro interessante risultato metateorico si registra nella ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] in particolare a quei linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 AlfredTarski darà la prima definizione adeguata dei concetti semantici fondamentali di verità, modello, insieme definibile, conseguenza e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] polacca produrrà anche, con AlfredTarski (1901-1982), la nozione di fortemente inaccessibile. Tarski in particolare sarà colui che di Zermelo degli stadi che sono modelli è dovuta a Tarski, con il cosiddetto assioma dell'universo, che tornerà utile ...
Leggi Tutto
Conoscenza umana tra verità e scetticismo
Massimo Dell’Utri
Nuove idee su un vecchio problema
Che cosa si debba intendere per conoscenza, quali ne siano le fonti e quali i metodi per ottenerla sono [...] filosofia occidentale, arrivando fino ai giorni nostri. Negli anni Trenta del secolo scorso il logico e filosofo polacco AlfredTarski (1902-1983) l’ha formalmente sintetizzata da un punto di vista logico, più che metafisico o teologico, mediante ...
Leggi Tutto
Crisi della ragione
Aldo Giorgio Gargani
La revisione critica della nozione di razionalità
L’ingresso nel 21° sec. non ha visto l’elaborazione di nuove proposte riguardo a progetti teorici forti di [...] . Le teorie semantiche di Kripke, David Kaplan, Richard Montague, Davidson, largamente influenzate dalla teoria logico-linguistica di AlfredTarski, a partire dagli anni Sessanta del 20° sec. avevano perseguito in vario modo lo scopo di restaurare ...
Leggi Tutto
Relativismo e nuovi paradigmi filosofici
Aldo Giorgio Gargani
Premessa
Il relativismo si è originato nella cultura del continente europeo, ma oggi, all’inizio del 21° sec., esso costituisce uno dei [...] siano proposizioni vere che non abbiamo mai incontrato» (2003, 2° vol., p. 330). La nozione di verità logica (nel senso di AlfredTarski e di Donald Davidson) cessa così di essere l’origine e la matrice del significato delle espressioni. Al suo posto ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I luoghi e le istituzioni
Umberto Bottazzini
I luoghi e le istituzioni
Nei decenni che separano l'ultimo quarto del XIX sec. dalla Seconda guerra [...] -1956) e Stanisław Leśniewski (1886-1939) danno vita a una scuola di logica, resa celebre a livello internazionale da AlfredTarski (1902-1983). La straordinaria fioritura della 'scuola polacca' di logica e matematica dura tuttavia lo spazio di un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] . La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone, AlfredTarski, Garrett Birkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Carla Casagrande
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Filosofo della scienza e della politica, teorico della “società aperta” e critico [...] l’esperienza perché più difficilmente falsificabili.
Dalla verità alla verosimiglianza
Sollecitato dalla teoria della verità del logico polacco AlfredTarski, Popper si pone il problema di come sia possibile recuperare, se non il concetto di verità ...
Leggi Tutto