assioma
Enciclopedia on line
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, [...] ad arbitrio purché siano compatibili. In corrispondenza con il diverso significato attribuito agli a. dagli antichi e dai logici moderni si hanno due diversi tipi di assiomatica: l’ assiomatica antica (per es. quella euclidea), contenutistica, in cui ...
Leggi Tutto
tricotomia
Dizionario delle Scienze Fisiche (1996)
tricotomia
tricotomìa [Comp. del gr. trícha "in tre parti" e -tomia, sul modello di dicotomia] [ALG] Nella teoria degli insiemi, termine per indicare la situazione in cui si danno tre possibilità. ◆ [...] [ALG] [FAF] Nella logica matematica, la situazione in cui un concetto è diviso in tre (come nella dicotomia esso è diviso in due). ...
Leggi Tutto
irrazionale
Dizionario delle Scienze Fisiche (1996)
irrazionale
irrazionale [agg. Der. del lat. irrationalis "non razionale", comp. di in- neg. e rationalis "razionale"] [FAF] Non conforme a ragione; di tutto ciò che non possa essere penetrato, dimostrato, [...] giustificato dalla forza logica del pensiero o sia comunque ritenuto estraneo all'attività razionale di quest'ultimo. ◆ [ALG] Curva i.: curva tale che le coordinate dei suoi punti non possono essere espresse altro che da funzioni irrazionali. ◆ [ANM] ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
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 [...] da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme d’inferenza preservano la verità, e quindi del modo in cui ...
Leggi Tutto
La civiltà islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Storia della Scienza (2002)
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] le traduzioni di quelle fonti che all'epoca, nell'insegnamento filosofico degli eruditi cristiani (ridotto all'ermeneutica e alla logica elementare), non si studiavano più e che erano messe a frutto dai nuovi arrivati arabi ai fini dell'emancipazione ...
Leggi Tutto
simbolico
Dizionario delle Scienze Fisiche (1996)
simbolico
simbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] s. markoviane: → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logica matematica. ◆ [EMG] Metodo s., o metodo di Steinmetz o di Steinmetz-Kennelly: metodo di calcolo correntemente impiegato nell'elettrotecnica nella trattazione di ...
Leggi Tutto
transfer
Dizionario delle Scienze Fisiche (1996)
transfer
trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logica matematica: v. analisi non standard: I 147 d. ...
Leggi Tutto
termine
Dizionario delle Scienze Fisiche (1996)
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] i suoi addendi, di una moltiplicazione i suoi fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logica matematica, in una teoria formalizzata del primo ordine o di ordine superiore, ogni costante individuale (se ve ne sono ...
Leggi Tutto
booleano
Dizionario delle Scienze Fisiche (1996)
booleano
booleano [agg. Relativo al matematico G. Boole] [ALG] Algebra b.: lo stesso che algebra di Boole (→ Boole, George). ◆ [ALG] Funzioni e operazioni b.: le funzioni e le operazioni dell'algebra [...] b., quali la somma logica (OR), il prodotto logico (AND), ecc.: v. circuiti logici: I 618 b. ◆ [ALG] Reticolo b.: lo stesso che algebra booleana. ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] semantica formale per la logica intuizionistica e per quella modale, estendendo successivamente i risultati di quest'ultima all'analisi filosofica del riferimento dei termini del linguaggio naturale. Di qui è nata la teoria causale del riferimento, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE