modello
Silvio Bozzi
Concetto che nella logica contemporanea ha un’estensione più ristretta di quella che può avere nelle scienze empiriche, dove indica una rappresentazione matematica di fenomeni fisici, [...] della teoria dei tipi arricchito di eventuali costanti extralogiche. Adottando la definizione classica di verità data da AlfredTarski nel 1935 per i sottolinguaggi della teoria dei tipi, tutte queste strutture si possono quindi vedere come ...
Leggi Tutto
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