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 [...] di l. entro cui tutta la matematica avrebbe potuto essere ricostruita: una l. molto potente, sostanzialmente equivalente alla teoria degli insiemi che era stata per la prima volta introdotta e studiata da Cantor e che era basata sui due principi di ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA

TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE

categoria

Enciclopedia on line

Diritto C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] N = nome, V = verbo, Art = articolo. Matematica Nozione che unifica e generalizza situazioni che si presentano in algebra, topologia, teoria degli insiemi ecc. Una c. è data quando siano fissate due classi di enti matematici, la classe O e la classe ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – LINGUISTICA GENERALE – TEMI GENERALI – DIRITTO DEL LAVORO – STORIA E FILOSOFIA DEL DIRITTO – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO

TAGS: CONTRATTAZIONE COLLETTIVA – COMPOSIZIONE DI FUNZIONI – ORGANIZZAZIONE AZIENDALE – APPLICAZIONI CONTINUE – TEORIA DEGLI INSIEMI

relazione

Enciclopedia on line

Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti. Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] da B. Russell e A.N. Whitehead. Matematica Nella teoria degli insiemi il concetto di r. tra due o più insiemi E, F, G, … equivale alla nozione di sottoinsieme dell’insieme prodotto E×F×G× … Se gli insiemi sono in numero di n la r. si dice r ... Leggi Tutto

CATEGORIA: FISIOLOGIA VEGETALE – ALGEBRA – DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE – DIRITTO DEL LAVORO – STORIA E FILOSOFIA DEL DIRITTO – FINANZA E IMPOSTE – DOTTRINE TEORIE E CONCETTI – FILOSOFIA DEL DIRITTO

TAGS: POLITICA ESTERA E DI SICUREZZA COMUNE – ECONOMIA E DELLE FINANZE – DIRITTO INTERNAZIONALE – TEORIA DEGLI INSIEMI – COMMISSIONE EUROPEA

infinito

Enciclopedia on line

Lo spazio dalle dimensioni illimitate, o il tempo senza confini. Il pensiero greco si è occupato fin dalle sue origini del concetto di infinito. Delle soluzioni proposte dai pensatori della scuola ionica [...] porre in corrispondenza biunivoca, elemento per elemento, con un insieme finito). Ma si può anche dare una definizione diretta degli insiemi i. (R. Dedekind), come di quegli insiemi che possono essere posti in corrispondenza biunivoca con una loro ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – ANALISI MATEMATICA – GEOMETRIA – DOTTRINE TEORIE E CONCETTI

TAGS: PROIEZIONE STEREOGRAFICA – CORRISPONDENZA BIUNIVOCA – CLEMENTE ALESSANDRINO – GEOMETRIA PROIETTIVA – PASSAGGIO AL LIMITE

semantica

Enciclopedia on line

semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] in una vera e propria metateoria matematica, che costituisce un’applicazione particolare della teoria degli insiemi. Quest’aspetto della s. tarskiana la pone, insieme alle ricerche logico-algebriche svolte negli anni 1920 da L. Löwenheim e T ... Leggi Tutto

CATEGORIA: LINGUISTICA GENERALE – LOGICA MATEMATICA

TAGS: TEORIA DELLA DIMOSTRAZIONE – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA GENERATIVA – TEORIA DEGLI INSIEMI – LOGICA INTUIZIONISTA

ipotesi

Enciclopedia on line

Supposizione di fatti (o situazioni, sviluppi di un’azione ecc.) ancora non realizzati ma che si prevedono come possibili o si ammettono come eventuali, oppure spiegazione, fondata su indizi e intuizioni, [...] l’i. del continuo sia la sua negazione sono compatibili con gli assiomi della teoria degli insiemi (dando luogo, di conseguenza, a due diverse teorie degli insiemi). Statistica È detto controllo (o test) delle i. un ramo della statistica che cerca ... Leggi Tutto

CATEGORIA: FILOLOGIA – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – GEOMETRIA – STATISTICA E CALCOLO DELLE PROBABILITA – DOTTRINE TEORIE E CONCETTI

TAGS: INSIEME DEI NUMERI NATURALI – CALCOLO DELLE PROBABILITÀ – CORRISPONDENZA BIUNIVOCA – FUNZIONE DI RIPARTIZIONE – ARISTOFANE DI BISANZIO

Bolzano, Bernhard

Enciclopedia on line

Carlo Cellucci Teologo cattolico, logico e matematico (Praga 1781 - ivi 1848). Figlio di un emigrato italiano nativo di Nesso, nel 1805 fu nominato prof. di filosofia della religione all'univ. di Praga. [...] importanza per la logica moderna. Nella Paradoxien il B. si occupa dei fondamenti della teoria degli insiemi, in particolare introduce la nozione di isomorfismo di due insiemi M1 e M2 con la condizione: ogni elemento x di M1 può essere accoppiato a ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – SOTTOINSIEME PROPRIO – INSIEME ÌNFINITO – ISOMORFISMO – VIENNA

Bernays, Paul

Enciclopedia on line

Logico e matematico svizzero (Londra 1888 - Zurigo 1977), dal 1922 prof. all'univ. di Gottinga, insegnò poi a Helsinki e Zurigo; condirettore della rivista Dialectica. Allievo e collaboratore di D. Hilbert, [...] fu con lui autore delle Grundlagen der Mathematik (1934-39). Al suo nome è legata una notissima assiomatizzazione della teoria degli insiemi (Axiomatic Set Theory, 1958). Il sistema assiomatico di B., che sviluppa quello di J. L. von Neumann, è stato ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – GOTTINGA – HELSINKI – LONDRA

EPISTEMOLOGIA

Enciclopedia Italiana - IV Appendice (1978)

. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] tanto di definire i concetti primitivi di sistema di Peano mediante nozioni di logica pura e della moderna teoria degli insiemi, quanto di ricondurre deduttivamente tutti gli assiomi peaniani a un'esigua classe di principi logici e insiemistici. Il ... Leggi Tutto

TAGS: TRACTATUS LOGICO-PHILOSOPHICUS – PRINCIPIO D'INDETERMINAZIONE – METODO IPOTETICO-DEDUTTIVO – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DELLA SCIENZA

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] rappresentato anche la crisi dei fondamenti della matematica, l'insorgere di antinomie connesse soprattutto con la nascita della teoria degli insiemi. Come risposta a questa sfida è nata la cosiddetta metamatematica, con il cui aiuto si è cercato di ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA

TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE