Cerca in:
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
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 [...] x tali che P(x)', in simboli NxP(x), viene definito come la classe delle estensioni delle Q tali che P∼Q; che nel sistema di Frege svolge il ruolo di card(X) per
Su questa base, si può procedere a definire 0, sc e ℕ proprio come si è fatto per gli ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] la stessa estensione se e solo se sotto di essi cadono gli stessi concetti ‒ e di fatto, come si rende conto Frege, mette in discussione la possibilità di una fondazione logica dell'aritmetica. Né è motivo di conforto sapere che la critica colpisce ...
Leggi Tutto
neopositivismo
Enciclopedia on line
Movimento filosofico (anche detto positivismo logico, neoempirismo, empirismo logico) sorto, sviluppatosi ed esauritosi tra il terzo e il sesto decennio del 20° secolo.
I primi sviluppi
La data di nascita [...] basi empiriche doveva sfruttare gli strumenti messi a disposizione dai rivoluzionari sviluppi ottenuti nel campo della logica da G. Frege, B. Russell, A.N. Whitehead e, in seguito, dalla scuola logica polacca. Tale connubio tra positivismo e logica ...
Leggi Tutto
giudizio
Enciclopedia on line
Diritto
Attività logica del giudice, consistente nell’applicare le norme di legge al fatto da lui accertato. In senso più ampio, tutta l’attività che si svolge dinanzi all’autorità giudiziaria per giungere [...] e platonista, la nozione di g. è stata al centro delle riflessioni di G. Frege e A. Meinong. Nell’ambito della sua teoria del significato Frege ha distinto tra il contenuto concettuale (o proposizionale) di un enunciato (il Gedanke), esprimibile ...
Leggi Tutto
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 portare a compimento i progetti di fondazione logica dell'aritmetica già intrapresi da G. Cantor, G. Peano e G. Frege. Nelle sue opere (A critical exposition of the philosophy of Leibniz, 1900, trad. it. 1972; The principles of mathematics, 1903 ...
Leggi Tutto
Conoscenza
Universo del Corpo (1999)
Conoscenza
Carlo Sini
Il termine indica l'atto del conoscere e, in particolare, il possesso o la presenza nella mente di un sapere già acquisito; è dal latino tardo cognoscentia, derivato di cognoscere, [...] quali, al modo dei nominalisti, consideravano i concetti come il prodotto dell'associazione psichica, e i concettualisti (come G. Frege) che ne sostenevano, al modo dei realisti, il carattere irriducibile ai fenomeni della psiche: il numero tre resta ...
Leggi Tutto