Cerca in:
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
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
significato
Enciclopedia on line
significato Il contenuto espressivo di qualsiasi mezzo di comunicazione (parole o frasi, gesti, segni grafici ecc.).
In linguistica, ciò che si vuol dire pronunciando una frase o una parola, il messaggio [...] proposto di utilizzare una teoria della verità per un linguaggio naturale L come teoria del s. per L. Le equivalenze metalinguistiche di tipo tarskiano della forma ‘E è vero-in-L se, e solo se, T’ (dove E sta per il nome di un qualsiasi enunciato di ...
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
ŁUKASIEWICZ, Jan
Enciclopedia Italiana - III Appendice (1961)
ŁUKASIEWICZ, Jan
Alberto PASQUINELLI
Filosofo, nato a Leopoli il 21 dicembre 1878, morto a Dublino il 13 febbraio 1956. Insegnò filosofia e logica all'univ. di Varsavia e, dopo la seconda guerra mondiale, [...] et des Lettres de Varsovie, cl. III (1930), vol. 23; Untersuchungen über den Aussagenkalkül (in collab. con A. Tarski), ibid.; Zur Geschichte der Aussagenlogik, in Erkenntnis, V (1935) pp. 111-131; Aristotle's syllogistic from the standpoint of ...
Leggi Tutto
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 [...] 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 risultato ...
Leggi Tutto
CATEGORIA:
LOGICA
scelta
Enciclopedia on line
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] Altre formulazioni equivalenti all’assioma di s. furono date nel 1914 da G. Hausdorff, nel 1924 e nel 1938 da A. Tarski, nel 1922 da C. Kuratowski. L’enunciato formulato da Kuratowski è abitualmente chiamato lemma di Zorn-Kuratowski o principio dell ...
Leggi Tutto
realismo
Enciclopedia on line
Filosofia
Nella filosofia scolastica, l’attribuzione di una realtà oggettiva ai concetti universali. Nella filosofia moderna, ogni dottrina che consideri l’oggetto della conoscenza come esistente in sé, [...] adeguato una realtà indipendente. Entro tale prospettiva Popper ha ripreso la definizione semantica di verità di A. Tarski, riproponendo il concetto di verità come corrispondenza e considerando la successione storica delle teorie scientifiche come un ...
Leggi Tutto