tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto.
In logica matematica si [...] chiama t. (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità assegnati alle variabili ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] anche di queste due regole, definiamo di nuovo la nozione di ‛teorema'. Si può allora dimostrare che ‛una formula X è una tautologia se, e solo se, essa è un teorema'. Questo importante risultato è dovuto a K. Gödel (1930) e mostra che è possibile ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] ponens che consente di inferire la conclusione B dall'ipotesi A. Ma dire che A⊃B è un teorema o una tautologia di una logica determinata significa fare un asserto su A⊃B, e quindi porsi a livello metalinguistico rispetto al condizionale materiale ...
Leggi Tutto
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] ) la nozione di n. logica coincide con quella di verità logica, la quale ultima viene spiegata in termini di tautologia: una proposizione è cioè logicamente vera quando è vera per tutti i valori di verità delle proposizioni che la costituiscono ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] LK se e solo se esistono un n≥1 e degli esempi A1,….,An della matrice di AH per cui A1 … Anè tautologia. Il teorema di Herbrand è la controparte sintattica del teorema di Skolem e, fatto importante, ammette una dimostrazione puramente sintattica. Si ...
Leggi Tutto
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...
tautologico
tautològico agg. [der. di tautologia] (pl. m. -ci). – Di tautologia, che ha carattere di tautologia, o costituisce una tautologia: proposizione, definizione t.; formazione toponomastica t. (per es., Linguaglossa); denominazione...