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, geometria e di varie questioni di logica formale.

Vita e pensiero

Prof. di teoria degli insiemi all'univ. di Varsavia, ha insegnato nella univ. di Berkeley (1942-68). Numerosi i suoi contributi, che vanno dai problemi di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale dei modelli, nozioni di conseguenza logica, nozione semantica e sintattica di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità, di logiche intuizionistiche (proponendo come matrici per il calcolo intuizionistico proposizionale sottoinsiemi chiusi di uno spazio topologico e sviluppando ulteriormente la tendenza, già presente nel suo lavoro, a trattare algebricamente problemi metamatematici) e di algebre cilindriche. Da notare infine la sua ripresa del calcolo delle relazioni binarie di E. Schröder. Ha dato inoltre importanti contributi anche in campo matematico vero e proprio con l'enunciazione del noto teorema sulla decomposizione della sfera (1924), e la sua teoria sui cardinali inaccessibili, in collab. con H. J. Kreisler (1964). Sia dal punto di vista della logica matematica sia da quello filosofico sono risultati fondamentali i suoi contributi alla semantica, originariamente indirizzati a fornire una definizione materialmente adeguata e formalmente corretta di "enunciato vero" rispetto a un linguaggio-oggetto dato e a elaborare i conseguenti problemi relativi al metalinguaggio (Der Wahrheitsbegriff in den formalisierten Sprachen, in Studia philosophica, vol. I, 1935-36; una formulazione divulgativa e più filosofica è The semantic conception of truth and the foundation of semantics, in Journal of philosophy and phenomenological research. vol. 4º, 1944). Tra le altre opere: A decision method for elementary algebra and geometry (1948); Undecidable theories (in collab. con A. Mostowski e R. M. Robinson, 1953); Logic, semantics and metamathematics (a cura di J. H. Woodger, 1956).

Vedi anche
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... verità Conformità o coerenza a principi dati o a una realtà obiettiva. filosofia 1. Definizione e criterio di verità Nella storia della filosofia il concetto di verita è stato concepito in almeno due diverse prospettive, l’una ontologica, l’altra strettamente connessa al discorso umano. Nella prospettiva ... semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come sostituto di semasiologia. 1. Gli studi linguistici I primi studi di semantica di Bréal (Essai de sémantique, ... assioma filosofia  Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama assioma dell’intuizione alcuni giudizi a priori, di evidenza immediata, che risultano dall’intuizione pura del tempo e dello spazio.  ● Nell’ambito della critica ...
Categorie
Tag
Altri risultati per Tarski, Alfred
  • Tarski
    Enciclopedia della Matematica (2013)
    Tarski Alfred (Varsavia 1901 - Berkeley, California, 1983) logico e matematico polacco. Di origine ebraica, nel 1923 cambiò il cognome originario, Teitelbaum, in Tarski. Nello stesso anno ottenne il dottorato di ricerca con una tesi sulla teoria degli insiemi e pubblicò con S. Banach un testo contenente ...
  • Tarski, Alfred
    Dizionario di filosofia (2009)
    Logico, matematico e filosofo polacco, naturalizzato statunitense (Varsavia 1901 - San Francisco 1983). Fu uno dei massimi esponenti della Scuola logica polacca. Prof. di teoria degli insiemi nell’univ. di Varsavia, insegnò poi nell’univ. di Berkeley (1942-68). Numerosi i suoi contributi, che vanno ...
  • Tarski Alfred
    Dizionario delle Scienze Fisiche (1996)
    Tarski 〈tàrski〉 Alfred [STF] (Varsavia 1901, nat. SUA - Oakland 1983) Prof. di teoria degli insiemi nell'univ. di Varsavia (1925), poi di matematica nella Harvard Univ. (1939) e infine nell'univ. della California di Berkeley (1945). ◆ [ALG] Teorema di T.: v. Gödel, teorema di: III 56 b.
  • TARSKI, Alfred
    Enciclopedia Italiana - III Appendice (1961)
    Vito A. BELLEZZA Studioso di logica matematica, nato a Varsavia il 14 gennaio 1902, naturalizzato americano nel 1945. Dopo aver insegnato nell'univ. di Varsavia e dal 1939 in varie università statunitensi, dal 1946 è professore di matematica a Berkeley (Cal.). Il campo di ricerche del T. riguarda la ...