Filosofo danese (n. Aulum-Haderup 1894 - m. 1969), professore all'università di Copenaghen. Di ispirazione neoempirista, si è occupato di logica formale studiandone le relazioni con la matematica e la [...] filosofia. Tra i suoi scritti: A treatise of formal logic (3 voll., 1931; 2a ed. 1962); Den logiske Empirismes Udvikling (1948; trad. it. in Neopositivismo e unità della scienza, 1958). ...
Leggi Tutto
Filosofo tedesco (Berlino 1895 - Praga 1943), di impostazione neo-positivista, fece parte del "Berliner Gruppe" e insegnò dal 1931 alla Technische Hochschule di Berlino. Lavorò particolarmente intorno [...] alla logica formale e ai fondamenti della matematica. Tra i suoi scritti: Über die sogenannten analytischen und synthetischen Urteile (1926); Die Definition (1926); Die Philosophie der Mathematik in der Gegenwart (1932); Naturphilosophie (1933). ...
Leggi Tutto
Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica [...] intuizionista, di teoria della dimostrazione e di teoria della ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine) ...
Leggi Tutto
IDEE, Storia delle
Jacques Le Goff
*La voce enciclopedica Storia delle idee è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Francesco Mores.
I fondamenti della storia [...] , ideologie e correnti di i. in questi campi; 6) storia delle i. religiose e filosofiche; 7) storia delle matematiche, della logica e della linguistica formali e delle i. metodologiche.
È con gran difficoltà, com'è evidente, che la storia delle i ...
Leggi Tutto
Verità
Massimo Dell'Utri
(XXXV, p. 164)
In sintonia o in contrasto con la tradizione, buona parte della riflessione novecentesca sul concetto di v. può essere vista come un tentativo di esplicitare [...] viene fatta precedere dalla definizione di un altro concetto semantico, quello di soddisfacimento, un concetto della matematica e della logica che esprime l'appartenenza effettiva di determinati oggetti all'ambito di applicazione di una funzione.
Le ...
Leggi Tutto
VARISCO, Bernardino
Pantaleo Carabellese
Filosofo. Nato a Chiari (Brescia), il 20 aprile 1850, ivi morto il 21 ottobre 1933. La famiglia, "molto religiosa e aliena da ogni setta, era italianamente patriottica". [...] si era "dilettato" fin da giovanissimo, come di matematica continuò a "dilettarsi" (è parola da lui adoperata), fattori alogici che sono le spontaneità dei soggetti singoli e un fattore logico... su cui si fonda la necessità del pensiero, e che è ...
Leggi Tutto
WITTGENSTEIN, Ludwig Josef
Vito A. BELLEZZA
Logico e filosofo del linguaggio, nato a Vienna il 26 aprile 1889, morto a Cambridge il 29 aprile 1951. Interruppe gli studî d'ingegneria iniziati all'università [...] filosofia tradizionale, non essendo riconducibili né alle proposízioni elementari di significato empirico, né a quelle logico-matematiche, sono dette pseudo-proposizioni "senza senso" (sinnlos), anzi "insensate" (unsinnig). La filosofia viene allora ...
Leggi Tutto
VAIHINGER, Hans
Heinrich Levy
Filosofo, nato il 25 settembre 1852 a Nehren (Württemberg), morto il 12 dicembre 1933 a Halle. Insegnò filosofia dal 1877 all'università di Strasburgo, dal 1884 a quella [...] la realtà. Per questo il lavoro del pensare, della funzione logica, non ha valore per la conoscenza, bensì un fine pratico finzioni agenti nei varî rami della filosofia, nella matematica, nelle scienze naturali, nella giurisprudenza, nella religione ...
Leggi Tutto
TOULMIN, Stephen Edelston
Antonio Rainone
Filosofo inglese, nato a Londra il 25 marzo 1922. Laureatosi in matematica e fisica a Cambridge nel 1942, conseguì il Ph.D., sempre a Cambridge, nel 1948. Lecturer [...] della scienza − che insieme con quelli di N.R. Hanson e Th. Kuhn avrebbe determinato il crollo delle ambizioni logiciste del neopositivismo −è stato sistematizzato da T. in una concezione evoluzionistica della "comprensione umana" secondo la quale le ...
Leggi Tutto
GOODMAN, Nelson
Antonio Rainone
Filosofo della scienza e logico statunitense, nato a Somerville (Massachusetts) il 7 agosto 1906. Dopo aver conseguito il Ph.D. alla Harvard University nel 1941, ha insegnato [...] un linguaggio in grado di esprimere tutta la matematica senza ammettere tra le variabili di quantificazione simboli . Wilson, Carnap and Goodman: two formalists, Iowa City 1967; Logic and art. Essays in honor of Nelson Goodman, Indianapolis 1972; ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...