Cerca in:
CARNAP, Rudolf
Enciclopedia Italiana - III Appendice (1961)
Filosofo neopositivista, nato a Wuppertal, Düsseldorf, il 18 maggio 1891. Prof. alle univ. di Vienna (dal 1926), di Praga (dal 1931), di Chicago (dal 1936), di Los Angeles (dal 1954); direttore, con H. [...] suggestione del pragmatismo americano, conseguente al suo trasferimento in S.U.A., e dei logici polacchi, principalmente di A. Tarski, il C. ha poi concepito, accanto alla "sintassi logica" del linguaggio, la semantica (v.) e la pragmatica, o analisi ...
Leggi Tutto
neopositivismo
Enciclopedia on line
Movimento filosofico (anche detto positivismo logico, neoempirismo, empirismo logico) sorto, sviluppatosi ed esauritosi tra il terzo e il sesto decennio del 20° secolo.
I primi sviluppi
La data di nascita [...] nella metafisica.
Negli anni 1940 Carnap intravide la possibilità di sfruttare alcuni risultati ottenuti dal logico polacco A. Tarski per introdurre nell’analisi logica della scienza concetti come verità e denotazione, e dette inizio alla ‘fase ...
Leggi Tutto
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, [...] 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 completezza ...
Leggi Tutto
CATEGORIA:
LOGICA
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
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 [...] ai livelli inaccessibili.
Una generalizzazione originale dell'idea di Zermelo degli stadi che sono modelli è dovuta a Tarski, con il cosiddetto assioma dell'universo, che tornerà utile a proposito della fondazione della teoria delle categorie.
Dopo ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
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 [...] . K. ha anche proposto un'originale teoria della verità che riesce a eliminare alcuni inconvenienti della teoria di A. Tarski relativi a paradossi. Tra i suoi scritti: Naming and necessity (1980; trad. it. 1982), Wittgenstein on rules and private ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
deduzione
Enciclopedia on line
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] dimostrazione sistematica di tutte le proposizioni della filosofia.
Matematica
Teorema di d. Noto anche come teorema di Herbrand-Tarski (1930 ca.), consente di stabilire un’equivalenza fra l’affermazione della derivabilità di una certa espressione E ...
Leggi Tutto
CATEGORIA:
LOGICA
Lukasiewicz
Enciclopedia della Matematica (2013)
Lukasiewicz
Łukasiewicz Jan (Leopoli, oggi Ucraina, 1878 - Dublino 1956) logico polacco. Insegnò all’università di Leopoli e quindi a quella di Varsavia. Si dedicò allo sviluppo della logica matematica, [...] eventi è predeterminato. Il tentativo di risolvere il problema lo portò all’elaborazione di una → logica polivalente, i cui sviluppi sono trattati nelle Ricerche sul calcolo proposizionale (1930), opera alla cui stesura collaborò anche A. Tarski. ...
Leggi Tutto
La logica nel Novecento
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] formale; un’interpretazione v è un modello per E, se v(E) = vero, ossia quando E è soddisfatto nell’interpretazione. Tarski è così in grado di precisare la nozione di conseguenza logica che era stata identificata da Bernhard Bolzano (1781-1848) circa ...
Leggi Tutto
paradosso
Enciclopedia della Matematica (2013)
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] sfera può essere scomposta in un numero finito di parti ricomponendo le quali si forma una sfera di raggio doppio (→ Banach-Tarski, paradosso di): non si tratta di una contraddizione perché le parti in cui si è scomposta la sfera non sono misurabili ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] .
Per comprendere il significato del teorema dell'indefinibilità della verità si noti che, secondo la ormai classica formulazione data da Alfred Tarski nel 1936, una definizione di verità richiede che, per ogni asserzione P, 'P' è vera se e solo se P ...
Leggi Tutto