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 [...] possa porre come metateoria di tutte le teorie formalizzate. Come provato da Tarski nel 1935, la metateoria semantica di una teoria T deve essere più forti. Fatto importante, lo schema di Tarski si può estendere a universi più generali considerando ...
Leggi Tutto
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 Alfred Tarski nel 1935 per i sottolinguaggi della teoria dei tipi, tutte queste strutture si possono quindi vedere come possibili ...
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, [...] 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
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
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
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
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] loro radice comune nella confusione tra linguaggio e metalinguaggio, confusione superabile mediante la formalizzazione del linguaggio. A. Tarski, nel 1930, dimostrò che non è possibile in generale definire il concetto semantico di verità all’interno ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] della proposizione p.
Accanto a quella degli studiosi nominati ricorderemo ancora l’opera dei logici polacchi (J. Łukasiewicz, S. Łesniewski, A. Tarski e altri) e la scuola nominalista di W.V.O. Quine e N. Goodman. In seguito, le varie tendenze hanno ...
Leggi Tutto