assiomatizzazióne

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

assiomàtica

Dizionario delle Scienze Fisiche (1996)

assiomatica assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] (in questo senso, però, il termine è sempre più sostituito da critica dei fondamenti o da altre espressioni sim.); vanno distinte un'a. intuitiva (per es., quella euclidea), in cui gli assiomi sono considerati ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

assioma

Enciclopedia on line

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, [...] sono completamente simbolizzati e la logica del sistema è completamente formulata sotto forma di a. e di regole d’inferenza. Sistemi assiomatici che hanno, o hanno avuto, una notevole importanza sono quelli di G. Frege, B. Russell-A.N. Whitehead, J ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI

TAGS: CRITICA DELLA RAGION PURA – MATEMATICA – INTUIZIONE – INFERENZA – FILOSOFIA

algebra di Boole

Enciclopedia della Scienza e della Tecnica (2008)

algebra di Boole Silvio Bozzi Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] per opera di Alfred N. Whitehead ed Edward V. Huntington nei primi anni del Novecento e, nella doppia veste di algebra delle proposizioni e di algebra delle classi, costituiranno – tra la fine dell’Ottocento ... Leggi Tutto

CATEGORIA: TEMI GENERALI – LOGICA

TAGS: TEORIA DELLA MISURA – LOGICA MATEMATICA – GARRETT BIRKHOFF – INSIEME ORDINATO – SPAZIO COMPATTO

convenzionalismo

Enciclopedia on line

Posizione epistemologica che attribuisce un ruolo fondamentale alla convenzione nell’ambito della scienza. Sostenuto dapprima da J.-H. Poincaré, il quale, dopo la scoperta della geometria non-euclidea, [...] intuitiva degli assiomi geometrici, riducendoli a convenzioni, in epoca più recente, con lo sviluppo della logica, dell’assiomatica e delle ricerche sui fondamenti della matematica, il c. ha trovato ulteriori applicazioni. Si riconosce infatti che ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – EPISTEMOLOGIA

TAGS: NEOPOSITIVISMO LOGICO – EPISTEMOLOGICA – ASSIOMI

EPISTEMOLOGIA

Enciclopedia Italiana - IV Appendice (1978)

. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] soprattutto attraverso i lavori di Frege e, ancor più, di Hilbert. Una volta apparso che, dissociando l'elaborazione assiomatica della geometria e dell'algebra dal modo usuale di concepire i rispettivi termini, si giungeva a precisarne con chiarezza ... Leggi Tutto

TAGS: TRACTATUS LOGICO-PHILOSOPHICUS – PRINCIPIO D'INDETERMINAZIONE – METODO IPOTETICO-DEDUTTIVO – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DELLA SCIENZA

rimpiazzamento

Dizionario delle Scienze Fisiche (1996)

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, [...] 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 rimpiazza una parte ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

MISES, Richard von

Enciclopedia Italiana - III Appendice (1961)

MISES, Richard von Vito A. BELLEZZA Matematico e filosofo della scienza, nato a Leopoli il 19 aprile 1883, morto a Boston il 14 luglio 1953. Professore nelle università di Strasburgo (1909), Dresda [...] u. Mechanik. Particolarmente noti sono i suoi studî sul calcolo delle probabilità, al quale ha cercato di dare una base assiomatica. Nelle questioni di tecnica metodologica e di filosofia della scienza, il M., che fece parte del "Circolo" o "Scuola ... Leggi Tutto

TAGS: CALCOLO DELLE PROBABILITÀ – FILOSOFIA DELLA SCIENZA – NEOPOSITIVISMO LOGICO – CIRCOLO DI VIENNA – ESISTENZIALISMO

Tarski, Alfred

Enciclopedia on line

Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] univ. di Berkeley (1942-68). Numerosi i suoi contributi, che vanno dai problemi di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

Bernays, Paul

Enciclopedia on line

Logico e matematico svizzero (Londra 1888 - Zurigo 1977), dal 1922 prof. all'univ. di Gottinga, insegnò poi a Helsinki e Zurigo; condirettore della rivista Dialectica. Allievo e collaboratore di D. Hilbert, [...] (1934-39). Al suo nome è legata una notissima assiomatizzazione della teoria degli insiemi (Axiomatic Set Theory, 1958). Il sistema assiomatico di B., che sviluppa quello di J. L. von Neumann, è stato studiato anche da K. Gödel: è perciò noto ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – GOTTINGA – HELSINKI – LONDRA