matematica, filosofia della 

matematica, filosofia della settore di studi che indaga problemi quali la natura della matematica, la natura dei suoi oggetti, in primo luogo i numeri (se “siano astrazioni [...] ricerca, il grado di definitività delle conoscenze matematiche, la fallibilità dei ragionamenti o delle dimostrazioni matematiche, il rapporto con la logica, e così via. Molte delle questioni di filosofia della matematica sono legate a più generali

matematica, filosofia della

Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] kantiana può considerarsi la d. che J.G. Fichte intese come dimostrazione sistematica di tutte le proposizioni della filosofia.

Matematica
Teorema di d. Noto anche come teorema di Herbrand-Tarski (1930 ca.), consente di stabilire un’equivalenza

deduzione

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 [...] il suo programma di fondazione predicativista, che continuò a menzionare durante gli anni successivi nei suoi articoli sulla filosofia della matematica.

Gli assiomi di Zermelo per la teoria degli insiemi
Secondo Cantor, due insiemi qualsiasi A e B

La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica

logicismo 

logicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] di concetti logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni logiche fondamentali; tale programma di riduzione della matematica alla logica venne abbandonato per l'insorgere di

logicismo

predicativismo 

In filosofia della matematica, posizione che consiste nel rifiuto delle definizioni impredicative degli oggetti matematici. Le origini del p. sono da ricercarsi nelle riflessioni indipendenti [...] esistono in modo indipendente dall’insieme definito. Un esempio di definizione impredicativa è quella dell’insieme di tutti gli insiemi. Nello studio dei fondamenti della matematica il p., attraverso le ricerche di H. Weyl, L. Chwistek, F.P. Ramsey

predicativismo

La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica 

Roshdi Rashed

Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] una o più dimensioni essenziali. Chi scrive ha tentato a più riprese di mettere in luce alcuni temi di questa filosofia della matematica, ma si è sempre trattato di semplici sondaggi per scoprirne la ricchezza più che di un esame sistematico. In

La civiltà islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica

Filosofia
Nella logica kantiana, giudizio a. è quello nel quale il concetto del predicato è implicitamente contenuto nel concetto del soggetto, e in cui quindi basta analizzare il soggetto per ricavarne [...] rapporti per mezzo di desinenze e variazioni tematiche.

Matematica
Una funzione della variabile reale x, f (x), si dice :


Da ciò segue che la parte reale, u, e il coefficiente dell’immaginario, v, di una funzione a. sono funzioni armoniche. Se ora

analitico

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 [...] sono altri temi sui quali si è tornato a dibattere; anche la moderna sociologia della scienza si è confrontata con la conoscenza matematica.

La filosofia della matematica
 Antichità. - Sin dall’antichità la m. è stata oggetto di riflessione

matematica

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 [...] logicamente più elevato di quello in cui rientrano i loro elementi. R. presentava nelle sue prime opere una filosofia della matematica decisamente realistica che considerava il numero come un'entità dotata di una sua autonoma esistenza; la successiva

Russell, Bertrand Arthur William, conte

Filosofo statunitense (Chicago 1926 - Boston 2016). Filosofo dai molteplici interessi e dalla vasta produzione, P. è collocabile all'interno della corrente analitica così come questa si è venuta configurando [...] ha dedicato la sua attenzione a questioni di logica, filosofia della matematica, filosofia del linguaggio, filosofia della scienza, filosofia della mente.

Vita e opere
Laureatosi in filosofia nell'università di Pennsylvania (1948), conseguì il Ph.D

Putnam, Hilary

filosofia 

filoṡofìa s. f. [dal lat. philosophĭa, gr. ϕιλοσοϕία, comp. di ϕιλο- «filo-» e σοϕία «sapienza»]. – 1. Nella tradizione occidentale, termine che, a partire da un primo sign. di desiderio di cultura e di conoscenza in generale, si ...

filoṡofìa

formalismo 

s. m. [der. di formale1]. – 1. Attaccamento alla forma esteriore, per cui si trascura o si dà minore importanza a ciò che è sostanziale ed essenziale; rigorosa osservanza delle norme, dei regolamenti, o in genere delle formalità ...