logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] di → inferenza) ed eventualmente l’uso diassiomi che li contengono;
b) di regole che governano l’assegnazione di valori di Russell, il cui simbolismo deriva largamente dall’opera di G. Peano (→ logicismo).
Logica e fondamenti della matematica nel ...
Leggi Tutto
convenzionalismo
Concezione filosofica secondo cui alcuni principi o proposizioni, sia conoscitivi sia etico-politici, sono delle convenzioni basate su un accordo o una scelta (anche in forma implicita), [...] -deduttiva dei sistemi assiomatici (G. Peano, Hilbert, M. Pieri ecc.) e dalle ricerche degli empiristi logici (Carnap, Ayer, Hempel, ecc.). Con la prima il concetto diassioma perse ogni riferimento all’idea di valore e al significato intuitivo dei ...
Leggi Tutto
Russell
Russell Bertrand (Trelleck, Galles, 1872 - Penrhyndeudraeth, Galles, 1970) matematico, logico e filosofo inglese. I suoi interessi si estendono dai fondamenti della matematica alla logica, dalla [...] una repentina svolta determinata dalla partecipazione al Congresso internazionale di filosofia del 1900, in cui conobbe le teorie di G. Cantor, G. Peano e G. Frege. Uno degli assiomi alla base della teoria cantoriana degli insiemi è il cosiddetto ...
Leggi Tutto
Zermelo
Zermelo Ernst (Berlino 1871 - Friburgo, Baden-Württemberg, 1953) matematico tedesco. Seguì corsi universitari in matematica (a Berlino), in fisica (a Halle) e in filosofia (a Friburgo). Conseguì [...] di isolare, attraverso l’imposizione di una determinata condizione, un sottoinsieme di un insieme già dato, e, inoltre, con un assioma che garantisce l’esistenza di . Levi e G. Peano. A Zermelo spetta il merito di averlo introdotto esplicitamente nel ...
Leggi Tutto
Richard
Richard Jules Antoine (Blet, Centre, 1862 - Châteauroux, Centre, 1956) matematico francese. Autore di saggi di logica matematica e di fisica matematica. Il suo nome è legato all’antinomia della [...] dell’epoca quali G. Peano e H. Poincaré; quest’ultimo utilizzò l’antinomia di Richard per confutare la teoria assiomi della geometria, 1908) in cui indica criticamente quattro punti di vista sulla geometria: a) la geometria si fonda su assiomi ...
Leggi Tutto
Pasch
Pasch Moritz (Breslavia, Bassa Slesia, 1843 - Bad Homburg vor der Höhe, Assia, 1930) matematico tedesco. Studiò a Berlino dove s’interessò alle idee di K. Weierstrass e di L. Kronecker; fu professore [...] moderna e le sue idee ebbero un influsso decisivo sulle opere che G. Peano e D. Hilbert dedicarono ai fondamenti della geometria. Di particolare rilevanza, nella geometria euclidea del piano, è l’assiomadi → Pasch, che è indipendente dagli altri ...
Leggi Tutto