veritaverità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non [...] , nell’accezione logica più moderna, il concetto diverità fa riferimento a una struttura o a un modello di una teoria (v. vero, nel sign. 1 n). Per le espressioni funzione di v., tavole (o tabelle) di v., valore di v. si vedano rispettivam. funzione ...
Leggi Tutto
tavolatàvola s. f. [lat. tabŭla]. – 1. Asse di legno di spessore sensibilmente minore della lunghezza e della larghezza: segare, piallare una t.; accatastare le t.; chiudere un’apertura con tre t. inchiodate; [...] le proposizioni che formano A (da un punto di vista astratto, la tavoladiverità costituisce una definizione del sign. logico di quel connettivo; v. anche funzione, n. 6); più in generale, t. diveritàdi una formula F del calcolo delle proposizioni ...
Leggi Tutto
olio
òlio (region. òglio) s. m. [lat. ŏleum, dal gr. ἔλαιον]. – Nome generico di numerose sostanze di origine vegetale, animale o minerale, liquide a temperatura ordinaria, diverse per composizione e [...] olio: un o. di De Chirico). La pittura a olio si esegue generalmente su tele o tavoledi legno che hanno subìto una in genere all’olio di oliva): chiaro come l’o., di un fatto o di una verità evidente; zitto, cheto come un o., detto di persona: E per ...
Leggi Tutto
procedimento
procediménto s. m. [der. di procedere]. – 1. ant. o poco com. Il fatto e il modo di procedere, cioè di svolgersi, di progredire: il p. delle indagini, o nelle indagini; spiegare, illustrare [...] un qualsiasi enunciato, si può decidere in un numero finito di passi se esso è dimostrabile o no in una determinata teoria (è, per es., rappresentato dalle «tavolediverità» per il calcolo delle proposizioni); p. effettivo, un procedimento descritto ...
Leggi Tutto
matrice
s. f. [dal lat. matrix -icis «madre; utero»]. – 1. a. Sinon. non com. di madre, soltanto nell’espressione merid. chiesa m., o assol. matrice, lo stesso che chiesa madre (v. madre). b. Sinon. [...] collocato subito dopo di essa; più precisamente, data una espressione predicativa in forma normale prenessa, la matrice è ciò che resta dell’espressione se si cancella il prefisso. b. Nome dato talvolta alle tavolediverità (v. tavola, n. 4 b ...
Leggi Tutto
uno
agg. num. card., pron. indef. e art. indet. [lat. ūnus]. – Come agg. e come art., uno ha al masch. sing. la variante apocopata un, l’uso della quale è regolato dalle stesse norme che regolano l’uso [...] usato come simbolo del valore diverità vero (in contrapp. a tavole quella che con lui cadde era l’una (Boccaccio); Se dell’eterne idee L’una sei tu (Leopardi). 3. Con uso di articolo indeterminativo, per attenuazione dell’originaria funzione di ...
Leggi Tutto
moderatore
moderatóre s. m. e agg. (f. -trice) [dal lat. moderator -oris]. – 1. a. Chi modera, chi induce a moderazione o pone un freno, una regola: fu un saggio m. della violenza popolare; la ragione [...] in convegni, tavole rotonde e sim deliberò non solo mandare la Verità fra gli uomini ... ma di presa al canale derivato, di larghezza maggiore di quest’ultimo, avente lo scopo di regolarizzare la corrente, agendo a mo’ di vasca di calma e di bacino di ...
Leggi Tutto
canone
cànone s. m. [dal lat. canon -ŏnis, gr. κανών -όνος (der. di κάννα «canna»), termine che indicò originariamente la canna, e quindi il regolo usato da varî artigiani, da cui poi, sin dall’età omerica, [...] di Kant e di J. Stuart Mill, criterio o regola di scelta che deve servire per la conquista o la dimostrazione della verità. 2. Per estens.: a. Elenco di opere o di d’Eusebio o tavole canoniche, le tabelle, ideate da Eusebio di Cesarea, che raccolgono ...
Leggi Tutto
trionfo
trïónfo (ant. trïunfo) s. m. [dal lat. triumphus, da un prec. triumpus, che si fa derivare dal gr. ϑρίαμβος «canto bacchico, trionfo», di origine incerta]. – 1. Il massimo onore che, in Roma [...] affermazione assoluta di natura spirituale, morale o civile: lottare per il t. della giusta causa, per il t. della verità, o contro dei trionfi. 6. a. Trionfo da tavola, nome di soprammobili di ceramica, cristallo o metallo pregiato, imitanti elementi ...
Leggi Tutto
verita, tavola di
verità, tavola di metodo semantico della logica proposizionale (→ enunciati, linguaggio degli) per determinare il valore di verità («vero» V oppure «falso» F) di un enunciato composto in funzione dei valori di verità degli...
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti...