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
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
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] con i lavori di George Boole sull’analisi algebrica della sillogistica tradizionale (1847) e la costruzione da parte di Gottlob Frege di un linguaggio formale in grado di riprodurre e analizzare la struttura logica del linguaggio in uso nella pratica ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
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
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] della matematica. Importanti contributi alla fondazione dell’aritmetica sono dati in Europa da Hermann Grassmann (1809-1877), Dedekind e Gottlob Frege (1848-1925), e negli Stati Uniti da Charles S. Peirce (1839-1914).
Nel 1889 Peano dà alle stampe il ...
Leggi Tutto
ideografia
Enciclopedia on line
Sistema di scrittura che non tiene conto dell’aspetto fonologico del linguaggio, ma fa uso di simboli (ideogrammi) che si pongono in rapporto immediato con un contenuto mentale. L’i. sta alla base delle [...] del 19° sec., la i. logica ha ricevuto ampi sviluppi per opera di G. Peano in Italia e di G. Frege in Germania.
In statistica, gli ideogrammi costituiscono un particolare tipo di rappresentazione grafica di dati (detta anche istogramma a figure; v ...
Leggi Tutto
Fuzzy
Enciclopedia della Scienza e della Tecnica (2007)
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] , Enric, Some remarks on vague predicates, "Theoria", 10, 1988, pp. 1-12.
Van Heijenoort 1985: van Heijenoort, Jean van, Frege and vagueness, in: Selected essays, Napoli, Bibliopolis, 1985, pp. 85-97.
Von Neumann 1951: von Neumann, John, The general ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] logicizzazione dei medesimi principi aritmetici dovuta a G. Frege e destinata ad attingere - sulla base della Mengenlehre Benacerraf, H. Putnam), Englewood Cliffs, N. J., 1964; From Frege to Gödel, a source book in mathematical logic 1879-1931 (a ...
Leggi Tutto
formalizzazione della vaghezza
Enciclopedia della Scienza e della Tecnica (2008)
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] aspetti essenziali di una nozione estremamente sottile e sfuggente come quella di predicato vago (non a caso espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione data dalla teoria degli insiemi fuzzy al problema ...
Leggi Tutto
CATEGORIA:
LOGICA