Russell, Bertrand Arthur William, conte

Enciclopedia on line

Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] di R. di portare a compimento i progetti di fondazione logica dell'aritmetica già intrapresi da G. Cantor, G. Peano e G. Frege. la sua teoria dei tipi, per cui ogni funzione proposizionale e ogni classe viene considerata di tipo logicamente ... Leggi Tutto

CATEGORIA: BIOGRAFIE – STORIA DELLA MATEMATICA – STORIA E FILOSOFIA DEL DIRITTO – FILOSOFIA DELLA STORIA – STORIA DEL PENSIERO FILOSOFICO

TAGS: FONDAMENTI DELLA MATEMATICA – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – OBIEZIONE DI COSCIENZA – LOGICA MATEMATICA

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 [...] sec., ne ha sottolineato ora l’aspetto gnoseologico, per cui la funzione della d. consiste nella giustificazione dei nessi di idee che non cioè di una fondazione razionale definitiva dell’aritmetica, ha stimolato tuttavia ulteriori sviluppi nel campo ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI

TAGS: LOGICA MATEMATICA – SISTEMA FORMALE – GNOSEOLOGICO – ARISTOTELE – SILLOGISMO

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 [...] a tentar di ricostruire in varia misura l'aritmetica, la geometria e le ulteriori discipline matematiche è dovuto al fatto che nelle suddette teorie ricorrono con funzione basilare termini, predicati o costrutti non osservativi (astratti, "teorici ... Leggi Tutto

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

Filosofia

Enciclopedia del Novecento (1977)

Filosofia Eugenio Garin di Eugenio Garin Filosofia sommario: 1. Considerazioni preliminari. 2. Filosofia speculativa e filosofia scientifica. 3. Limiti e contraddizioni della filosofia scientifica. [...] la società e i valori nel loro variare storico, e la funzione degli intellettuali soprattutto in un'epoca di crisi. Il primo La sintesi a priori non mi piaceva, eppure l'aritmetica non mi sembrava consistere di generalizzazioni empiricbe. A Parigi ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: ACCADEMIA DELLE SCIENZE DI BERLINO – TRACTATUS LOGICOPHILOSOPHICUS – DIALETTICA DELL'ILLUMINISMO – ANTICIPAZIONE SCIENTIFICA – ALTERNARSI DELLE STAGIONI

La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere

Storia della Scienza (2001)

La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere Alfonso Maierù La struttura del sapere La classificazione delle conoscenze Il periodo che precede la 'rinascita' [...] a dire, ciò senza di cui l'uomo non può vivere). In funzione di quei tre rimedi sono state trovate le arti e le discipline: matematica (la matematica è il quadrivio, che comincia con l'aritmetica, la quale insegna l'abaco e l'algorismo). La seconda ... Leggi Tutto

CATEGORIA: TEMI GENERALI – STORIA DEL PENSIERO FILOSOFICO – STORIA DELLE RELIGIONI

Scienza indiana. La scienza nella cultura indiana

Storia della Scienza (2001)

Scienza indiana. La scienza nella cultura indiana Frits Staal La scienza nella cultura indiana Il concetto di scienza e la classificazione delle scienze Per designare le conoscenze sistematiche indiane [...] e logica e il quadrivium che comprendeva l'aritmetica, la geometria, l'astronomia e la musica. 'espressione f(x) presenta la stessa forma della funzione matematica y=f(x). In matematica, la funzione f′esprime una relazione tra due oggetti che associa ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – TEMI GENERALI – STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

BOEZIO, Anicio Manlio Torquato Severino

Dizionario Biografico degli Italiani (1969)

BOEZIO, Anicio Manlio Torquato Severino Claudio Leonardi Nacque a Roma verso il 480. Suo padre, Flavio Narsete Manlio Boezio, console nel 487, morì quando il figlio non aveva ancora compiuto la sua [...] pur sempre un compilatore, anche se non si limita più, come nel trattato aritmetico, a tradurre un'unica opera greca, ma ricorre a più d'una fonte I libro della Consolatio aveva soprattutto la funzione di stabilire un legame fra le circostanze ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: DE CONSOLATIONE PHILOSOPHIAE – JACQUES LEFÈVRE D'ETAPLES – INCARNAZIONE DEL VERBO – CIRILLO DI ALESSANDRIA – IMMORTALITÀ DELL'ANIMA

Scienza greco-romana. Scienza e forme di sapere in Platone

Storia della Scienza (2001)

Scienza greco-romana. Scienza e forme di sapere in Platone Luc Brisson Scienza e forme di sapere in Platone L'atteggiamento di Platone nei confronti del sapere relativo al mondo sensibile è oggetto [...] La teoria delle 'medietà' s'inscrive a priori nel quadro dell'aritmetica e delle sue applicazioni alla musica: A, B e C designano a-b). L'associazione, nel caso del sangue, della funzione nutritiva da una parte e di quella della trasmissione dell' ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

Scienza greco-romana. Tolomeo

Storia della Scienza (2001)

Scienza greco-romana. Tolomeo Ferruccio Franco Repellini Tolomeo L'indagine scientifica Di Claudio Tolomeo si sono conservate numerose opere, che nel loro insieme coprono un ampio settore dell'enciclopedia [...] ai moti medi del Sole; si tratta allora, per determinare δ in funzione di ⟨ϰ⟩, di calcolare il rapporto tra il raggio MP e l'eccentricità modo tale che i requisiti della loro forma aritmetica non debbano estendersi ai composti, e gerarchizzando, ... Leggi Tutto

CATEGORIA: BIOGRAFIE – STORIA DELL ASTRONOMIA – ESPLORAZIONE CARTOGRAFIA E TOPOGRAFIA

Filosofia analitica

Enciclopedia del Novecento (1977)

Filosofia analitica JJames O. Urmson di James O. Urmson Filosofia analitica sommario: 1. Le origini. 2. Russell e l'analisi classica. a) Le tecniche dell'analisi classica. b) L'analisi classica e la [...] G. Peano aveva già mostrato che tutta quanta l'aritmetica e l'algebra classiche potevano essere derivate da un eccetera). Tutti i fatti meno semplici e non ultimi saranno analizzabili in funzioni di verità di fatti aventi la forma suddetta. Così, se ( ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: CRITICA DELLA RAGION PURA – FILOSOFIA DEL LINGUAGGIO – ESPRESSIONE IDIOMATICA – PRIMA GUERRA MONDIALE – SELEZIONE NATURALE