validita

Dizionario delle Scienze Fisiche (1996)

validita


validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione.

Vedi anche
inferènza inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica matematica, si dicono 'regole d'inferenza ' l'insieme delle regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi ... sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (sillogismo categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime due, assunte come premesse, si possa dedurre una conclusione (per es., «tutti gli uomini sono mortali, ... lògica matemàtica 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 grafici combinabili tra loro (sintassi) o in relazione ... logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. 1. La logica antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità ...
Categorie
Altri risultati per validita
  • validita
    Enciclopedia della Matematica (2013)
    validità in logica, proprietà di una formula di essere vera per ogni interpretazione dei simboli che vi compaiono. Per esempio, la formula ∀x(x = x) (si legge «per ogni x, x = x») è vera per qualsiasi interpretazione della variabile x. Al contrario, la formula ∀x(x ≥ 0) è vera se la variabile x viene ...
  • validità
    Dizionario di filosofia (2009)
    validita validità Il criterio in base al quale si stabilisce l’efficacia logica o probativa. Nella logica matematica il termine si presenta con vari significati che hanno influenzato il lessico filosofico contemporaneo. Validità di uno schema di ragionamento Si dice che un ragionamento è corretto ...
Vocabolario
validità
validita validità s. f. [dal lat. tardo validĭtas -atis]. – Il fatto, la condizione di essere valido, sia con riferimento alle forze e alla capacità fisica o psichica: la v. delle membra, della mente; v. alla fatica; ha più di settant’anni...
validare
validare v. tr. [der. di valido; nel sign. 2, dal fr. valider, der. di valide «valido»] (io vàlido, ecc.). – 1. ant. Convalidare, rendere valido. 2. Verificare la validità (di dati, informazioni, ricerche) attraverso opportuni procedimenti:...