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 del tempo e dello spazio.
Nell’ambito della critica dei fondamenti delle scienze, e specialmente delle scienze matematiche, ha il nome di assiomatica la tendenza ...
Leggi Tutto
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 è indicato con (ax), non ha premesse e ha due conclusioni etichettate rispettivamente da una formula A e dalla sua negazione A⊥ (→ proof-net). ...
Leggi Tutto
assioma identita
assioma identità particolare assioma nel calcolo dei → sequenti, che assicura la validità del sequente A ⊦ A, dove A è una qualunque formula ben formata del linguaggio. ...
Leggi Tutto
scelta, assioma della
scelta, assioma della o assioma di Zermelo, assioma della teoria degli insiemi, enunciato da E. Zermelo nel 1904, che asserisce quanto segue: data un’arbitraria famiglia non vuota [...] (ZF) (→ Zermelo-Fraenkel, teoria di): ciò vuol dire che sia esso sia la sua negazione sono consistenti con il sistema di assiomi ZF, cioè non portano a contraddizioni. Il lemma di → Kuratowski, il teorema del → buon ordinamento e il lemma di → Zorn ...
Leggi Tutto
Dedekind, assioma di
Dedekind, assioma di o postulato di Dedekind, afferma che se i punti di una retta sono divisi in due insiemi A, B, tali che ogni punto a ∈ A precede ogni punto b ∈ B, esiste un punto [...] di Dedekind è detto completo rispetto all’ordinamento ≤ (→ completezza) e tale ordinamento è detto ordinamento continuo su X. L’assioma di Dedekind è per esempio soddisfatto da una retta dotata di uno dei suoi due ordinamenti naturali, dall’insieme R ...
Leggi Tutto
Archimede, assioma di
Archimede, assioma di o assioma di Eudosso-Archimede, assioma (o postulato) della geometria elementare che asserisce che, dati comunque due segmenti di lunghezza rispettivamente [...] di Archimede può essere generalizzato ad arbitrari campi ordinati: un campo ordinato K si dice archimedeo se vale in esso l’assioma di Archimede. Quindi, comunque si prendano x e y appartenenti a K e positivi, con x ≤ y, esiste un numero naturale ...
Leggi Tutto
Pasch, assioma di
Pasch, assioma di fa parte degli assiomi di ordinamento della geometria euclidea nella sistemazione datane da D. Hilbert (→ Hilbert, assiomi di). L’assioma afferma che, dati in un piano [...] un punto di uno dei due segmenti AC e BC, oppure contiene il loro punto comune. In forma più intuitiva, l’assioma di Pasch afferma che, nel piano, una retta r che attraversa un lato di un triangolo deve necessariamente attraversare uno degli altri ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...