postulato1
postulato1 s. m. [dal lat. postulatum «ciò che è richiesto; richiesta», der. di postulare «postulare»]. – Proposizione che, senza essere evidente né dimostrata, si assume – o si richiede all’interlocutore [...] deduttivo): accogliere, accettare, ammettere, respingere un postulato. Nella logica tradizionale il termine ha sign. diverso da assioma, che indica una proposizione evidente di per sé; nelle logiche moderne i due termini sono considerati sinonimi e ...
Leggi Tutto
deduzione
deduzióne s. f. [dal lat. deductio -onis, der. di deducĕre «dedurre»]. – 1. Termine tecnico usato dai Romani per indicare la fondazione di una colonia. 2. L’atto o il processo tramite il quale [...] derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una certa espressione da un dato assioma attraverso un numero finito di altre espressioni, tutte facenti parte dello stesso sistema. 3. La proposizione stessa dedotta ...
Leggi Tutto
degnita
degnità s. f. [dal lat. dignĭtas -atis, rifatto secondo degno]. – 1. Variante ant. di dignità. 2. ant. Assioma, massima: quelle proposizioni grandissime che i Greci chiamano assiomi, cioè d. [...] , ma la variante è nota soprattutto per l’uso fattone da G. B. Vico, il quale chiamò degnità i principî generali da lui enunciati nella Scienza Nuova, e corrispondenti, nella sua intenzione, a ciò che in matematica sono gli assiomi e i postulati. ...
Leggi Tutto
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, che risultano dall’intuizione pura...
legame assioma
legame assioma in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola dell’assioma (o regola dell’identità) nel calcolo dei sequenti lineare. Il legame assioma...