matematica, filosofiadellamatematica, filosofiadella settore di studi che indaga problemi quali la natura dellamatematica, 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 filosofiadellamatematica sono legate a più generali ...
Leggi Tutto
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia dellafilosofia 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 dellafilosofia.
Matematica
Teorema di d. Noto anche come teorema di Herbrand-Tarski (1930 ca.), consente di stabilire un’equivalenza ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofiadellamatematica
Solomon Feferman
Le scuole di filosofiadellamatematica
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 filosofiadellamatematica.
Gli assiomi di Zermelo per la teoria degli insiemi
Secondo Cantor, due insiemi qualsiasi A e B ...
Leggi Tutto
logicismo
logicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento dellafilosofia. (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 dellamatematica alla logica venne abbandonato per l'insorgere di ...
Leggi Tutto
predicativismo
In filosofiadellamatematica, 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 dellamatematica il p., attraverso le ricerche di H. Weyl, L. Chwistek, F.P. Ramsey ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofiadellamatematica
Roshdi Rashed
Filosofiadellamatematica
Gli storici dellafilosofia 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 filosofiadellamatematica, ma si è sempre trattato di semplici sondaggi per scoprirne la ricchezza più che di un esame sistematico. In ...
Leggi Tutto
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 ...
Leggi Tutto
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 filosofiadellamatematica
Antichità. - Sin dall’antichità la m. è stata oggetto di riflessione ...
Leggi Tutto
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 filosofiadellamatematica decisamente realistica che considerava il numero come un'entità dotata di una sua autonoma esistenza; la successiva ...
Leggi Tutto
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, filosofiadellamatematica, filosofia del linguaggio, filosofiadella scienza, filosofiadella mente.
Vita e opere
Laureatosi in filosofia nell'università di Pennsylvania (1948), conseguì il Ph.D ...
Leggi Tutto
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...
famìglia s. f. [lat. famĭlia, che (come famŭlus «servitore, domestico», da cui deriva) è voce italica, forse prestito osco, e indicò dapprima l’insieme degli schiavi e dei servi viventi sotto uno stesso tetto, e successivamente la famiglia nel...