modello
Silvio Bozzi
Concetto che nella logica contemporanea ha un’estensione più ristretta di quella che può avere nelle scienze empiriche, dove indica una rappresentazione matematica di fenomeni fisici, [...] della teoria dei tipi arricchito di eventuali costanti extralogiche. Adottando la definizione classica di verità data da AlfredTarski nel 1935 per i sottolinguaggi della teoria dei tipi, tutte queste strutture si possono quindi vedere come ...
Leggi Tutto
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