Leśniewski, Stanisław
Enciclopedia on line
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 [...] i maggiori esponenti della Scuola logica polacca. Cercò di ovviare alle difficoltà della fondazione insiemistica della matematica proponendo una originale soluzione per il paradosso di Russell, fondata sulla distinzione tra interpretazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
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 [...] X e Y hanno lo stesso numero di elementi?". La risposta che dà Cantor è in termini della relazione di equivalenza insiemistica '∼', dove si definisce che X∼Y quando esiste una corrispondenza biunivoca tra gli elementi di X e quelli di Y. Cantor ...
Leggi Tutto
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 [...] gli elementi di ciascuna coppia. Per es., per indicare la r. binaria < (minore), definita sull’insieme I = {0,1,2}, oltre alla forma insiemistica {(0,1), (0,2), (1,2)} si usa scrivere 0<1, 0<2, 1<2. Cioè, per indicare che due elementi a ...
Leggi Tutto
insieme fuzzy
Enciclopedia della Scienza e della Tecnica (2008)
insieme fuzzy
Settimo Termini
Sia X un insieme arbitrario e I l’intervallo [0,1] della retta reale. Un insieme fuzzy è una qualsiasi funzione f:X→I da X ad I. Il nome insieme fuzzy dato a queste applicazioni [...] facilmente che le due operazioni binarie ∨ e ∧ – che possono interpretarsi come l’analogo per gli insiemi fuzzy delle operazioni insiemistiche di unione e intersezione – sono distributive l’una rispetto all’altra; inoltre, per ogni f∈ℒ(X), può essere ...
Leggi Tutto
CATEGORIA:
LOGICA
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] d’equivalenza con termini irriducibili rispetto alle regole. Fino agli anni Settanta insoluto era rimasto il problema di un’analisi insiemistica delle diverse forme di λ-calcolo. Una prima analisi semantica di questo tipo fu fornita da Dana S. Scott ...
Leggi Tutto
CATEGORIA:
LOGICA
matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] ’aritmetica; questo programma, noto con il nome di logicismo (➔ logica), fu perseguito da Frege sulla base della fondazione insiemistica dell’aritmetica, per essere poi messo in crisi da Russell, che pure ne condivideva la plausibilità. Il logicismo ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
analisi
Enciclopedia on line
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] l’informazione totale in essa contenuta calcolata in base alle previsioni confermate o disattese. L’ a. insiemistica fa riferimento alla nozione matematica di insieme e alle relazioni che sussitono tra insiemi quali equivalenza, intersezione ...
Leggi Tutto
CATEGORIA:
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
TEMI GENERALI
–
STRUMENTI MUSICALI
–
CHIMICA ANALITICA
–
CHIMICA FISICA
–
STRUMENTI
–
FISICA MATEMATICA
–
ANALISI MATEMATICA
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
PEDAGOGIA
–
BIOGRAFIE
–
PSICANALISI
–
PSICOLOGIA COGNITIVA
–
PSICOLOGIA DELL ETA EVOLUTIVA
–
PSICOLOGIA GENERALE
–
PSICOLOGIA SOCIALE
–
PSICOLOGIA SPERIMENTALE
–
PSICOMETRIA
–
PSICOTERAPIA
–
STORIA DELLA PSICOLOGIA E DELLA PSICANALISI
–
ARCHIVISTICA BIBLIOGRAFIA E BIBLIOTECONOMIA
Idealismo
Enciclopedia del Novecento (1978)
Idealismo
VVittorio Mathieu
di Vittorio Mathieu
Idealismo
sommario: 1. Introduzione. 2. Il trascendentalismo. 3. Lo ‛gnoseologismo'. 4. L'apporto romantico. 5. L'idealismo rovesciato. 6. Il ‛significato [...] perfino nella matematica pura. Se noi guardiamo alla ricerca novecentesca sui fondamenti, vi troviamo da un lato un'impostazione ‛insiemistica' che presuppone gli individui da raccogliere in insiemi, poi in insiemi di insiemi, ecc.; dall'altro un ...
Leggi Tutto