Cerca in:
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali studi sulla semantica dei linguaggi formali, precisando i concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
modello
Enciclopedia della Scienza e della Tecnica (2008)
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 Alfred Tarski nel 1935 per i sottolinguaggi della teoria dei tipi, tutte queste strutture si possono quindi vedere come ...
Leggi Tutto
CATEGORIA:
LOGICA
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
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, Alfred Tarski, Garrett Birkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica ...
Leggi Tutto
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] di libera scelta, teoria delle specie ecc.). Un passo decisivo sul piano dell’elaborazione semantica lo compie nel 1935 Alfred Tarski che prova che i teoremi proposizionali di HI coincidono con le formule vere (che hanno cioè come valore l’insieme ...
Leggi Tutto
CATEGORIA:
LOGICA
definibilita
Enciclopedia della Scienza e della Tecnica (2008)
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] ma per teorie formulate in linguaggi più ricchi, per es., al secondo ordine dove era stato dimostrato precedentemente da Alfred Tarski nel 1935. Molti risultati interessanti riguardano il problema di sapere per quali linguaggi e sotto che forma il ...
Leggi Tutto
CATEGORIA:
LOGICA
teorema di compattezza
Enciclopedia della Scienza e della Tecnica (2008)
teorema di compattezza
Silvio Bozzi
Nella logica matematica, è tale un qualsiasi teorema che stabilisce che – fissato un linguaggio formale L – una teoria T ha come conseguenza logica la formula A, [...] il concetto di finito a quello di elemento di un insieme ammissibile. Come provato da Jerome Keisler e Alfred Tarski, la validità della compattezza per linguaggi infinitari è legata all’esistenza di ultrafiltri con particolari proprietà di ...
Leggi Tutto
CATEGORIA:
LOGICA
semantica
Enciclopedia della Scienza e della Tecnica (2008)
semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] specifico la semantica nasce con le ricerche di Alfred Tarski degli anni Venti del secolo scorso in cui porre come metateoria di tutte le teorie formalizzate. Come provato da Tarski nel 1935, la metateoria semantica di una teoria T deve essere più ...
Leggi Tutto
CATEGORIA:
LOGICA
Epistemologia
Enciclopedia del Novecento (1977)
Epistemologia
VVincenzo Cappelletti
di Vincenzo Cappelletti
Epistemologia
Sommario: 1. Dalla gnoseologia all'epistemologia. 2. Il mentale tra il soggettivo e l'oggettivo. 3. La scienza del secondo Novecento [...]
Schilpp, P. A. (a cura di), The philosophy of Alfred North Whitehead, Evanston 1941 (con bibliografia completa).
Schilpp, P. A Journal of symbolic logic", 1939, IV, pp. 105-112.
Tarski, A., The semantic conception of truth and the foundation of ...
Leggi Tutto