metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] , simboli speciali per gli individui, i predicati e le funzioni, oltre agli assiomi non logici propri delle teorie), scelte in modo da riprodurre fedelmente le teorie matematiche oggetto di studio. Perciò si dovrà, tra l’altro, esigere che la teoria ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Storia della Scienza (2001)
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] la propria teorizzazione della physikḗ come scienza o filosofia della Natura, che le scuole filosofiche dell'età ellenistica rivendicheranno alla propria competenza come una delle parti in cui si articola la filosofia, accanto alla logica e all'etica ...
Leggi Tutto
Scienza greco-romana. La storiografia delle scienze e la tradizione dossografica
Storia della Scienza (2001)
Scienza greco-romana. La storiografia delle scienze e la tradizione dossografica
Philip van der Eijk
La storiografia delle scienze e la tradizione dossografica
Gli atteggiamenti degli scienziati antichi [...] ambiti che, da un punto di vista moderno, si potrebbero considerare come facenti parte della 'filosofia' piuttosto che della 'scienza' (per es., l'etica, la logica, l'epistemologia e la metafisica), occorre però una consapevolezza del fatto che così ...
Leggi Tutto
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] come proposizione generale; b) il carattere razionale, deduttivo, logico del procedimento matematico; c) la rapida e sistematica degli enti matematici, Aristotele definì la m. come scienza della quantità, capace di astrarre dai dati e dalle qualità ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Enrìques, Federigo
Enciclopedia on line
Matematico, filosofo e storico della scienza italiano (Livorno 1871 - Roma 1946). È da considerarsi, insieme a G. Castelnuovo e a F. Severi, tra i fondatori della scuola italiana di geometria algebrica. [...] O. Chisini). Il suo interesse per la critica dei fondamenti incominciò con la sistemazione rigorosa della geometria proiettiva (Lezioni di geometria proiettiva, 1894 e successive ed.) e si ampliò ai più diversi problemi della scienza e della logica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] non matematici provvisti ciononostante di un livello elevato di astrazione logica, che sembrano maggiormente compatibili con le caratteristiche epistemologiche delle scienze sociali: per es., i m. cibernetici e struttural-funzionalisti, fondati ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] tesi che affermava essere la matematica scienza dimostrativa a priori (Aristotele, I. Kant), basata su principi immutabili, inerenti alle forme stesse della intuizione.
In logica matematica, una successione finita di espressioni A1,..., An di un ...
Leggi Tutto
Bolzano, Bernhard
Enciclopedia on line
Carlo Cellucci
Teologo cattolico, logico e matematico (Praga 1781 - ivi 1848). Figlio di un emigrato italiano nativo di Nesso, nel 1805 fu nominato prof. di filosofia della religione all'univ. di Praga. [...] ogni sorta di entità mentale. L'interesse maggiore di quest'opera non sta però nei dettagli della costruzione della logica come una teoria della scienza, ma in alcuni sottoprodotti di tale costruzione, in particolare nell'introduzione di nozioni come ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Odifreddi, Piergiorgio
Enciclopedia on line
Odifreddi, Piergiorgio. - Matematico e scrittore italiano (n. Cuneo 1950). Laureato in matematica a Torino (1973), ha proseguito gli studi negli Stati Uniti presso le università dell’Illinois e della [...] (2017); La democrazia non esiste. Critica matematica della ragione politica (2018); Il dio della logica. Vita geniale di Kurt Gödel matematico della filosofia (2018); Il genio delle donne. Breve storia della scienza al femminile (2019); nel 2022, In ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
De Morgan, Augustus
Enciclopedia on line
Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] di matematica. Si occupò anche di storia della scienza, ma soprattutto notevole è la sua opera nel campo della logica (tra gli altri scritti: Formal logic or the calculus of inference, 1847). In questo campo acquistò notorietà soprattutto per la ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE