Storia della civiltà europea a cura di Umberto Eco (2014)
Luigi Catalani
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La filosofia della scienza del Novecento può essere divisa più o meno convenzionalmente [...] geometrie non euclidee, la ricerca sui fondamenti della matematica (teoria degli insiemi), e lo sviluppo della nuova logicasimbolica di Gottlob Frege, Giuseppe Peano e Bertrand Russell, diffondono tra i filosofi di formazione scientifica la tesi ...
Leggi Tutto
Realtà virtuale
Anna Ludovico
In informatica, la locuzione realtà virtuale (virtual reality, conio linguistico, negli anni Ottanta del 20° secolo, dello statunitense J. Lanier) sta a indicare la simulazione [...] linguistica, a una matematica complessa com'è quella della tecnologia, intendendo con il termine matematica un sistema di logicasimbolica coerente e lineare, ossia un sistema in cui ogni elemento è inserito in una successione in modo ordinato ...
Leggi Tutto
Scholz, Heinrich
Teologo e logico tedesco (Berlino 1884 - Münster 1956). Prof. di teologia sistematica e filosofia della religione a Breslavia (1917-19), insegnò a Kiel e poi a Münster (dal 1928), dove [...] l’Institut für mathematische Logik und Grundlagenforschung e tenne l’insegnamento di logicasimbolica. Il suo pensiero teologico e metafisico fu profondamente influenzato dalla nuova logica di Whitehead e Russell, tanto che S. fu indotto a dedicarsi ...
Leggi Tutto
Lewis
Lewis Clarence Irving (Stoneham, Massachusetts, 1883 - Cambridge, Massachusetts, 1964) logico e filosofo statunitense. Laureatosi alla Harvard University nel 1906, ha insegnato dapprima presso [...] così come definita nei Principia Mathematica di A. Whitehead e B. Russell. Nel 1918, in A Survey of symbolic logic (Sommario di logicasimbolica), criticò l’analisi classica del condizionale e introdusse, nell’ambito di un sistema assiomatico per la ...
Leggi Tutto
Bochenski, Innocentius Maria (al secolo Jozef)
Bocheński, Innocentius Maria
(al secolo Jozef) Filosofo e storico polacco della filosofia (Czuszów, Katowice, 1902 - Friburgo, Svizzera, 1995). Domenicano [...] teoria della deduzione e a momenti cruciali dello sviluppo del pensiero logico; si è occupato anche di filosofia sovietica. Tra le sue opere: Nove lezioni di logicasimbolica (1938); La logique de Theophraste (1939); Precis de logique mathematique ...
Leggi Tutto
Venn
Venn John (Hull, Yorkshire, 1834 - Cambridge, Cambridgeshire, 1923) filosofo, logico e matematico inglese. Compì i suoi studi a Cambridge, dove si laureò nel 1857, rimanendovi come docente dal 1862 [...] frequentistica. Tra le sue opere si ricordano The logic of chance (Logica della possibilità, 1866), Symbolic logic (Logicasimbolica, 1881) e The principles of empirical or inductive logic (Principi di logica empirica o induttiva, 1889). ...
Leggi Tutto
Hahn
Hahn Hans (Vienna 1879 - 1934) matematico e filosofo austriaco. Dal 1921 insegnò all’università di Vienna. Fu tra i fondatori del circolo neopositivista noto come «circolo di Vienna» e con R. Carnap [...] del mondo: il circolo di Vienna (1929). All’università tenne lezioni di logicasimbolica e di fondamenti della matematica, dedicando nel 1922 un corso al Tractatus logico-philosophicus di L. Wittgenstein. Il suo nome è legato a un importante teorema ...
Leggi Tutto
Johansson
Johansson Ingebrigt (Narvik 1904 - Oslo 1987) matematico norvegese. Si occupò di logicasimbolica, definendo (1936) la cosiddetta → logica minimale che non prevede né il principio del terzo [...] escluso, come la logica intuizionistica, né il principio ex falso quodlibet. ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] l.; a lui si richiameranno poi il francese L. Couturat e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismologico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. molto attiva tra la fine dell’Ottocento e l’inizio ...
Leggi Tutto
logicalogica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] Principia mathematica (1910-13) di A.N. Whitehead e B. Russell, il cui simbolismo deriva largamente dall’opera di G. Peano (→ logicismo).
Logica e fondamenti della matematica nel Novecento
In seguito al sostanziale fallimento del programma logistico ...
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,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...