Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il paradossodiRussell (1902) è la più nota smentita al principio di comprensione [...] e in logica.
Un’antinomia all’interno della teoria degli insiemi
Il paradossodiRussell (PR) nasce all’interno della teoria cosiddetta “ingenua” degli insiemi di Georg Cantor, spodestando la corrispondenza intuitiva tra insiemi e proprietà meglio ...
Leggi Tutto
paradossoparadosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] di attribuzione di un predicato nell’antinomia di Grelling; i concetti di definizione (o → definibilità) e di numerabile nelle antinomie di Berry e Richard; il concetto di modello numerabile nell’antinomia di Löwenheim-Skolem.
Il paradossodiRussell ...
Leggi Tutto
Russell, antinomia diRussell, 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. [...] degli insiemi che non contengono sé stessi e quindi contiene sé stesso. L’antinomia diRussell è spesso citata come paradossodiRussell, nonostante il termine antinomia evidenzi maggiormente l’irriducibilità della contraddizione che essa esplicita ...
Leggi Tutto
Russell, Bertrand Arthur William
B.A.W. Russell
1872
Nasce a Trelleck, Galles
1890-94
Studia matematica e scienze morali a Cambridge
1895
Diventa dottore aggregato in filosofia a Cambridge
1901
Scopre [...] paradossodiRussell’
1902
Entra in corrispondenza con Frege
1910-16
Diventa lettore a Cambridge; nel 1911 Wittgenstein sarà tra i suoi allievi
1918
Viene arrestato per il suo attivismo a favore dell’obiezione di il Manifesto Russell-Einstein
1958 ...
Leggi Tutto
Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] insiemistica della matematica proponendo una originale soluzione per il paradossodiRussell, fondata sulla distinzione tra interpretazione distributiva e interpretazione collettiva dei simboli di classe: per la prima un oggetto viene considerato ...
Leggi Tutto
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] e delle Appendici sopra ricordati. Tra i vari sistemi di assiomi cui si può far capo (come, per es., quello di G. Frege, di B. Russell, di A. Church, di S. C. Kleene, ecc.) preferiamo riportare quello di D. Hilbert e P. Bernays perché in questo ...
Leggi Tutto
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 [...] se x∈x vale. Tuttavia, non c'è una maniera (evidente) di derivare il paradossodiRussell nel suo sistema data la natura ristretta del suo assioma di comprensione, l'assioma di separazione. Da esso si può concludere soltanto che, per ogni insieme A ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Paradossi e antinomie
Roberto Limonta e Rolando Longobardi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Accanto all’analisi sistematica delle teorie [...] sviluppi medievali (nella forma degli insolubilia) e alle formalizzazioni logiche moderne (come nel caso del paradossodiRussell), è stato il paradosso del Mentitore. Riferito ad un taumaturgo cretese del VII secolo a.C., Epimenide, lo ritroviamo ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Numerosi sono stati i campi di attività del filosofo inglese Bertrand Russell: dalla logica [...] , si accorge che gli assiomi da cui Frege si proponeva di derivare la matematica generavano una importante contraddizione (che ha preso il nome di “paradossodiRussell”): secondo gli assiomi di Frege è possibile costruire un insieme che è membro ...
Leggi Tutto
paradosso1
paradòsso1 agg. e s. m. [dal gr. παράδοξος, comp. di παρα- nel sign. di «contro» e δόξα «opinione»; come sost., dal gr. παράδοξον (neutro sostantivato), lat. paradoxum]. – 1. agg. Che va contro l’opinione o contro il modo di pensare...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...