veritaverità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] affidabilità: I 85 f. (b) [ALG] [ELT] [FAF] Nella logica proposizionale, quadro dei valori di v. (v. oltre) assumibili da una funzione in corrispondenza ai valori di v. delle proposizioni semplici che ...
Leggi Tutto
truth
truth 〈trùut〉 [s.ingl. "verità", nome di fantasia, come charm, beauty, ecc., con rifer. all'iniziale del quark corrispondente, usato in it. come s.m.] [FSN] Numero quantico associato al quark top. ...
Leggi Tutto
intuizione
intuizióne [Der. del lat. intuitio -onis, da intueri "veder dentro"] [FAF] Conoscenza diretta e immediata d'una verità che si manifesta allo spirito senza bisogno di ricorrere al ragionamento, [...] cioè come rapporto diretto e immediato tra soggetto pensante e oggetto ...
Leggi Tutto
connettivo
connettivo [agg. e s.m. Der. di connettere (→ connesso) "elemento di congiunzione, di collegamento"] [FAF] C. logico: nella logica matematica, tipo di funzione di verità, cioè termine che [...] , ma corrisponde a un'operazione (negazione, congiunzione, disgiunzione, implicazione, ecc.) che alla verità o falsità di una o più proposizioni associa la verità o falsità di un'altra proposizione, costruita a partire dalle precedenti tramite il c ...
Leggi Tutto
F
F 〈èffe〉 [Forma maiusc. della lettera f] [ALG] [FAF] Nella logica matematica, simb. di falso, usato partic. nelle tavole di verità. ◆ [ASF] Simb. di un tipo spettrale di stelle, diviso in 10 sottoclassi, [...] da F0 a F9: v. stella: V 622 a. ◆ [CHF] Simb. dell'elemento chimico fluoro. ◆ [FSD] Tipo di centro di colore: v. centri di colore: I 555 b. ◆ [GFS] Simb. della più alta delle regioni ionosferiche normali, ...
Leggi Tutto
deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] da una proposizione più generale o che si desume da un complesso di dati; quindi, più generic., conclusione. ◆ [FAF] Il processo logico nel quale, date certe premesse e certe regole che ne garantiscono ...
Leggi Tutto
razionalismo
razionalismo [Der. di razionale] [FAF] (a) Generic., corrente, sistema o atteggiamento che considera la realtà retta da un principio razionale (l'idea, la necessità causale, la verità, ecc.) [...] e quindi tutta pienamente intelligibile: in questo senso, si contrappone a irrazionalismo. (b) In senso più ristretto e proprio, corrente di pensiero sviluppatasi nel sec. 17° con l'imporsi del metodo ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] di una verità da un'altra, sinon., quindi, di illazione. ◆ [PRB] I. bayesiana: procedimento statistico, detto anche approccio bayesiano, che, in aggiunta ai dati campionari dell'i. statistica (v. oltre) richiede l'esame di informazioni a priori, che ...
Leggi Tutto
Fisico e filosofo della natura (Pisa 1564 - Arcetri 1642). Figlio maggiore di Vincenzo, musicista e teorico della musica e di Giulia Ammannati, trascorse la sua infanzia tra Pisa e Firenze (dal 1574). [...] vedere, diventa sarcasmo verso gli avversarî più potenti, contro i quali la ragione non è sufficiente. Pur persuaso della sua verità, G. ha bisogno di riviverla dialetticamente in ogni istante: da ciò la forma dialogica che caratterizza le sue opere ...
Leggi Tutto
condizionale
condizionale [agg. e s.m. Der. di condizione] [LSF] Che esprime condizioni o è soggetto a condizioni. ◆ [FAF] Nella logica, è il connettivo se...allora (simb. →), il cui signif. è dato dalla [...] tavola di verità (V = vero, F = falso), riportata a fianco. ◆ [FAF] C. contrafattuale: si ha quando dall'affermazione che tutti gli elementi di un insieme godono di una certa proprietà si deduce che un elemento che non gode di quella proprietà non ...
Leggi Tutto
verita
verità 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 credere alla v. delle parole di qualcuno;...
ver
vèr (o vèr’) prep. – Forma tronca, poet., della prep. verso: la nova gente alzò la fronte Ver’ noi (Dante); Là ver’ l’aurora, che [=quando] sì dolce l’aura Al tempo novo suol movere i fiori (Petrarca); L’un ver l’altro i montoni armon...