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
corollàrio Proposizione che si deduce da una verità già dimostrata. In matematica, un teorema che si deduce come diretta e immediata conseguenza di un teorema precedente, così da non richiedere un'ulteriore [...] dimostrazione ...
Leggi Tutto
Letteratura
Narrazione di un fatto immaginario ma appartenente alla vita reale, con il quale si vuole adombrare una verità o illustrare un insegnamento morale o religioso; nell’ebraismo rabbinico la p. [...] era molto comune nella predicazione e nell’insegnamento e fu questa appunto la forma originale dell’insegnamento di Gesù. Il termine è riferito oggi esclusivamente alle 49 p. contenute nei Vangeli sinottici.
Matematica
Curva ...
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
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 [...] (cioè ((A B) (A C))→(A (B C)) e ((A B) C)→((A C) (B C)). In questa logica la verità di una disgiunzione non implica la verità di uno dei disgiunti. Per misurare la distanza dall'implicazione classica si noti che l'implicazione quantistica A→B viene ...
Leggi Tutto
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 [...] una formula del linguaggio enunciativo è valida o no, se è soddisfacibile o no, mediante le cd. tavole di verità che prendono in considerazione tutte le possibili interpretazioni per le proposizioni elementari.
Logica dei predicati
Sono presenti in ...
Leggi Tutto
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
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] autori come D. Davidson e R. Montague. Davidson comunque invertì la prospettiva di Tarski, proponendo di utilizzare una teoria della verità per un (frammento di) linguaggio naturale L non più per una definizione di ‘vero-in-L’, bensì come teoria del ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] 'urna sono rosse' può essere effettivamente ‛coperta' nel caso che l'urna contenga un numero finito (D) di palline e si assuma la verità delle proposizioni ‛la pallina n. 1 è rossa', ‛la pallina n. 2 è rossa', e così via; in questo senso è possibile ...
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...