Cerca in:
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] semantica formale per la logica intuizionistica e per quella modale, estendendo successivamente i risultati di quest'ultima all'analisi filosofica del riferimento dei termini del linguaggio naturale. Di qui è nata la teoria causale del riferimento, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Prawitz, Dag
Enciclopedia on line
Logico e filosofo svedese (n. Stoccolma 1936), prof. di filosofia all'univ. del Michigan (1969), di Stanford (1970), di Oslo (1971-77) e (dal 1976) di filosofia teoretica all'univ. di Stoccolma; membro [...] tra teoria generale della dimostrazione e teoria del significato. Come filosofo del linguaggio ha analizzato, tra l'altro, le ripercussioni dell'opzione per una data teoria del significato sul contrasto tra logica classica e logica intuizionistica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE