Cerca in:
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano grande impulso alle ricerche sui fondamenti della matematica. I lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Frege Gottlob
Dizionario delle Scienze Fisiche (1996)
Frege Gottlob
Frege 〈frég✄e〉 Gottlob [STF] (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925) Prof. di matematica nell'univ. di Jena (1896). ◆ [FAF] Logica di F.: programma di riduzione della matematica [...] alla logica, esposto inizialmente da F. nel 1879 e poi sviluppato nei due volumi dei Grundgesetze der Arithmetik (1893, 1903): v. logica: III 482 d ...
Leggi Tutto
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] la fine dell’Ottocento e l’inizio del Novecento.
G. Frege
Nel frattempo, soprattutto in Germania, la l. veniva sviluppandosi sole le cose che godono di quella proprietà). Tipica di Frege e di Cantor è una concezione platonista della matematica, ...
Leggi Tutto
Logica e leggi del pensiero
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] (x))
dove U (x) sta per “(–) è uomo” e M (x) per “(–) è mortale”.
Nel quadro della sua teoria della quantificazione Frege risolve anche il problema della generalità multipla, ovvero l’occorrenza in una stessa proposizione di più di una espressione di ...
Leggi Tutto
comprensione, principio di
Enciclopedia della Matematica (2013)
comprensione, principio di
comprensione, principio di uno dei principi cardine della teoria ingenua degli insiemi (→ insiemi, teoria degli). Fu enunciato da G. Frege nel 1879 nell’opera Begriffsschrift, [...] occhi azzurri ecc. Nel 1902 B. Russell mostrò che il principio di comprensione contiene in sé una contraddizione e comunicò a Frege, in una lettera, il suo risultato, la cosiddetta antinomia di Russell, che minava alle basi la teoria da quest’ultimo ...
Leggi Tutto
Tractatus logico-philosophicus (Logisch-Philosophische Abhandlung)
Dizionario di filosofia (2009)
Tractatus logico-philosophicus (Logisch-Philosophische Abhandlung)
Tractatus logico-philosophicus
(Logisch-Philosophische Abhandlung) Opera (1921) di L. Wittgenstein. Sulla scorta delle teorie di Frege [...] e dell’atomismo logico di Russell, Wittgenstein applica le tecniche logico-formali di analisi del linguaggio alla filosofia. Il mondo è la «totalità dei fatti», non delle «cose» (1.1), mentre il linguaggio ...
Leggi Tutto
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
significato
Enciclopedia on line
significato Il contenuto espressivo di qualsiasi mezzo di comunicazione (parole o frasi, gesti, segni grafici ecc.).
In linguistica, ciò che si vuol dire pronunciando una frase o una parola, il messaggio [...] non tanto dei nomi quanto dei termini generali, a dei ‘concetti’ o delle ‘essenze’ cui ci si riferirebbe.
Anche G. Frege distinse tra la denotazione o riferimento (Bedeutung) di un segno, che sarebbe l’oggetto designato, e il suo senso (Sinn), ovvero ...
Leggi Tutto
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] all’insieme R = {x|x ∉ x}: si vede subito dalle relazioni precedenti che R ∉ R ⇔R ∈ R. Russell era un seguace di Frege, ma si rese conto che nella logica fregeana si poteva costruire tale antinomia e glielo comunicò, causando di fatto la crisi del ...
Leggi Tutto
Russell, antinomia di
Enciclopedia della Matematica (2013)
Russell, antinomia di
Russell, antinomia di contraddizione intrinseca della teoria ingenua degli → insiemi di G. Cantor, quando a essa si applica il principio di → comprensione, enunciato da G. Frege. [...] L’antinomia fu individuata da B. Russell nel 1902 e comunicata a Frege in una lettera. L’antinomia di Russell muove dalla possibilità di considerare per una qualsiasi proprietà P l’insieme di tutti gli elementi che la soddisfano; per esempio, nell’ ...
Leggi Tutto