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
assiomatizzazione
assiomatizzazióne [Atto ed effetto dell'assiomatizzare "procedere per assiomi", da assioma] [FAF] A. di una teoria: formulazione di alcune proprietà della teoria dalle quali tutte [...] le altre possono essere dedotte: v. assiomatizzazione ...
Leggi Tutto
obiettivita
obiettività (meno corr. obbiettività) [Der. di obiettivo] [LSF] Carattere di ciò che è obiettivo. ◆ [FAF] Principio, o assioma, di o., o di indifferenza materiale: ha varie formulazioni, [...] la più generale delle quali è quella per cui il comportamento di un sistema (proprietà materiali e costitutive) è indipendente dall'osservatore (per es., v. meccanica dei sistemi continui: III 692 c); ...
Leggi Tutto
scelta
scélta [Der. del part. pass. scelto di scegliere, lat. exeligere] [LSF] Atto ed effetto dello scegliere. ◆ [ALG] [FAF] Assioma di s.: nella logica matematica, afferma che, data una classe C di [...] insiemi non vuoti, si può costruire un insieme S, detto insieme selettivo in C, scegliendo uno e un solo elemento da ogni insieme di C ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] insieme che contiene 0 ed è chiuso rispetto al successore. Un po' più formalmente, usando i simboli '∈' per 'è membro di' e '⇒' per 'implica', gli assiomi di Peano sono:
I 0∈ℕ
II x∈ℕ⇒sc(x)∈ℕ
III x∈ℕ⇒sc(x)≠0
IV x∈ℕ∧y∈ℕ & sc(x)=sc(y)⇒x=y
V ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Pascal e l¿horror vacui
A.R. Capoccia
Pascal e l’horror vacui
Il principio-assioma dell’horror vacui, sviluppato a partire dalla Fisica aristotelica, [...] era basato su una concezione antropomorfica della Natura, che le attribuiva emozioni e stati d’animo umani, tra cui una ripugnanza congenita per il vuoto all’interno della realtà fisica; questa avversione ...
Leggi Tutto
regolarita
regolarità [Der. di regolare "qualità di ciò che è regolare"] [ALG] [ANM] R. di un arco di curva, di un poligono, di un poliedro: → regolare. ◆ [FAF] Assioma di r.: lo stesso che assioma di [...] restrizione: → restrizione. ◆ [MCS] Condizioni di r. all'infinito: v. potenziale, teoria del: IV 570 d. ◆ [FTC] Grado di r.: numero che esprime entro quali limiti percentuali varia il valore di una grandezza ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ...
Leggi Tutto
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), ritenendola migliore, più adatta [...] elemento da ogni insieme di Q. Anche se solo nel 1904 E. Zermelo diede una chiara ed esplicita formulazione dell’assioma di s. e per la prima volta adoperò tale denominazione; esso infatti era stato già usato in precedenza senza essere esplicitamente ...
Leggi Tutto
riducibilita
riducibilità [Der. di riducibile "capacità di essere ridotto o di ridursi"] [ALG] [ANM] Proprietà di un polinomio, di un'equazione algebrica o altro ente di essere riducibile. ◆ [ALG] [FAF] [...] Assioma di r.: introdotto da B. Russell, si può enunciare dicendo che per ogni proprietà appartenente a un ordine superiore al più basso c'è una proprietà equiestensiva (cioè posseduta dagli stessi oggetti) di ordine zero; in altri termini, ogni ...
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),...