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 AlfredTarski che prova che i teoremi proposizionali di HI coincidono con le formule vere (che hanno cioè come valore l’insieme ...
Leggi Tutto
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 AlfredTarski nel 1935. Molti risultati interessanti riguardano il problema di sapere per quali linguaggi e sotto che forma il ...
Leggi Tutto
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 AlfredTarski, la validità della compattezza per linguaggi infinitari è legata all’esistenza di ultrafiltri con particolari proprietà di ...
Leggi Tutto
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 AlfredTarski 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
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] teoria dei reali. Il metodo dimostrativo usato da Tarski, l'eliminazione dei quantificatori, è uno degli strumenti la fisiologia.
Confermato che il DNA è il materiale ereditario. Alfred D. Hershey e Martha Chase, del Biological Laboratory di Cold ...
Leggi Tutto
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