• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

comprensione, principio di

Enciclopedia della Matematica (2013)
  • Condividi

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, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Ideografia, un linguaggio in formule del pensiero puro a imitazione di quello aritmetico). Esso afferma che è possibile formare un insieme come aggregato di tutti e soli gli oggetti che godano di una data proprietà. In base a tale principio è legittimo considerare come insiemi: l’insieme dei numeri multipli di 3, l’insieme dei poligoni con sette lati, l’insieme di tutti gli uomini con gli 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 sviluppata. La contraddizione consiste nell’esistenza di un insieme con caratteristiche singolari. Per rilevarla si suddividono gli insiemi, costruiti secondo il principio di comprensione, in due categorie:

• insiemi che contengono sé stessi come elementi’: per esempio «l’insieme di tutti i concetti astratti» è a sua volta un concetto astratto e quindi contiene sé stesso come elemento;

• insiemi che non contengono sé stessi come elementi’: per esempio «l’insieme dei triangoli» non è un triangolo perciò non ha sé stesso come elemento.

Si considera quindi l’insieme A di tutti gli insiemi che non contengono sé stessi come elementi e si pone il seguente problema: l’insieme A contiene o non contiene sé stesso? Entrambe le risposte a questa domanda portano a una contraddizione, infatti:

• se A contiene sé stesso come elemento, allora, per come A è definito, è uno degli insiemi che non contengono sé stessi come elementi, quindi non contiene sé stesso;

• se A non contiene sé stesso come elemento, allora non è uno degli insiemi che non contengono sé stessi, quindi contiene sé stesso come elemento.

Tale contraddizione (o antinomia), dovuta all’autoreferenzialità del ragionamento seguito, in quanto impedisce di basare la matematica su basi logiche coerenti, ha contribuito in maniera decisiva alla crisi dei fondamenti della matematica. Per risolvere l’incoerenza insita nella teoria ingenua degli insiemi, si è resa necessaria una ridefinizione della teoria con una limitazione del principio di comprensione; tale compito è stato assolto dalle teorie assiomatiche degli insiemi come per esempio la teoria fondata sugli assiomi di → Zermelo-Fraenkel.

Tag
  • ASSIOMI DI → ZERMELO-FRAENKEL
  • ANTINOMIA DI RUSSELL
  • AUTOREFERENZIALITÀ
  • FREGE
Vocabolario
princìpio
principio princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare,...
comprensióne
comprensione comprensióne s. f. [dal lat. comprehensio -onis]. – 1. a. letter. L’atto e la facoltà di comprendere con l’intelletto, di far propria una nozione: la c. delle idee, dei concetti universali; misteri che superano la c. umana....
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali