postulato
Enciclopedia on line
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] moderna la differenziazione tra assiomi e p. è venuta meno a partire dalla fine del 19° sec., specialmente per opera di G. Frege, G. Peano, B. Russell e D. Hilbert. Oggi per assioma o p. si intende un enunciato primitivo di una teoria (➔ assioma ...
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 [...] Mill sull’origine empirica dell’aritmetica; questo programma, noto con il nome di logicismo (➔ logica), fu perseguito da Frege sulla base della fondazione insiemistica dell’aritmetica, per essere poi messo in crisi da Russell, che pure ne condivideva ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
fuzzy
Enciclopedia on line
Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto Gottlob Frege a espungerli dall’orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, alcune questioni interessanti dal punto ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
assioma
Enciclopedia on line
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] di a. e di regole d’inferenza. Sistemi assiomatici che hanno, o hanno avuto, una notevole importanza sono quelli di G. Frege, B. Russell-A.N. Whitehead, J. Lukasiewicz, D. Hilbert-W. Ackermann, D. Hilbert-P. Bernays. matematica
In origine, presso i ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] decennio quella della logica classica (cioè la logica matematica così come si è sviluppata lungo l'asse Boole-Frege-Russell-Hilbert) e, in un primo momento, costituisce il catalizzatore delle critiche e delle insoddisfazioni sorte nei confronti ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
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
numero
Enciclopedia on line
Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] di una generalizzazione empirica, pur rimanendo sul piano soggettivo. Una ridefinizione di n. in direzione diversa si ha con G. Frege e successivamente con B. Russell e A.N. Whitehead: sottolineando l’assoluta irrilevanza dell’approccio psicologico ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] si può parlare di tavoli, sedie e boccali di birra. Non altrimenti Hilbert si esprimerà nel 1899 rispondendo alle critiche di Gottlob Frege ai GG. Egli infatti scrive: "Se con i miei punti voglio intendere un sistema qualunque di enti, per esempio il ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
GIGLI, Duilio
Dizionario Biografico degli Italiani (2000)
GIGLI, Duilio
Enrico Giannetto
Nacque a Sansepolcro, nell'Alta Valle del Tevere, l'8 genn. 1878, da Torquato e Anna Belli. Dopo gli studi classici a Pavia, si laureò in matematica a Pisa, sotto la direzione [...] Liceo di Pavia, III (1925-26), pp. 215 ss., dove considerò e discusse le posizione di Euclide, R. Descartes, I. Padoa, G. Frege, A.N. Whitehead e B. Russell. In Definizioni in matematica, ibid., IV (1926-27), pp. 1-8, lo statuto logico-epistemologico ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Metodo
Enciclopedia del Novecento (1979)
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] ricadere in uno psicologismo che, almeno nel campo della logica e della matematica, è superato sin dal tempo di Frege. Nel seguito tratteremo dapprima i metodi formali, logico-matematici, e poi il metodo generale della ricerca empirica, il cosiddetto ...
Leggi Tutto