variabile
Dizionario delle Scienze Fisiche (1996)
variabile
variàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] [ASF] V. veloci: v. Sistema Solare: V 279 f. ◆ [FAF] V. vincolata: quella sottoposta a un quantificatore: v. logica: III 484 d. ◆ [PRB] Componenti di una v. casuale: v. probabilità classica: IV 584 f. ◆ [PRB] Convergenza di v. casuali: v. probabilità ...
Leggi Tutto
CATEGORIA:
ASTROFISICA E FISICA SPAZIALE
–
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
TERMODINAMICA E TERMOLOGIA
–
ANALISI MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
–
MECCANICA APPLICATA
operatore
Dizionario delle Scienze Fisiche (1996)
operatore
operatóre [Der. del lat. operator -oris "che compie operazioni" (→ operazione)] [ALG] [ANM] Ente che determina un'operazione da eseguirsi su un altro ente, quindi simb. di un'operazione o, [...] binario simbolo dell'addizione. ◆ [ANM] [FAF] O. densità: v. logica quantistica: III 487 b.◆ [ALG] O. di campo: o. relativo a che quantifica le proprietà di un campo vettoriale: v. campi, teoria classica dei: I 471 d. ◆ [ALG] Indice analitico di un o ...
Leggi Tutto
misura
Dizionario delle Scienze Fisiche (1996)
misura
misura [Der. del lat. mensura, dal part. pass. mensus di metiri "misurare"] [LSF] Il valore di una grandezza, espresso come rapporto tra la grandezza data e un'altra grandezza della stessa specie [...] e integrazione: IV 2 f. ◆ [PRB] M. normale, regolare: v. probabilità classica: IV 580 d, e. ◆ [ANM] M. prodotto: v. misura e integrazione: densità relativa (all'acqua). ◆ [FAF] M. spettrale: v. logica quantistica: III 487 d. ◆ [ANM] M. standard e non ...
Leggi Tutto
Hauptsatz di Gentzen
Enciclopedia della Scienza e della Tecnica (2008)
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] delle regole sui connettivi. Il teorema si può estendere a logiche diverse da quella classica (per es., quella intuizionista LJ) e a teorie – non più calcoli logici – opportunamente formalizzate. La cosa è particolarmente importante nell’ambito del ...
Leggi Tutto
CATEGORIA:
LOGICA
modus ponens
Dizionario delle Scienze Fisiche (1996)
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l' ...
Leggi Tutto
progresso
Enciclopedia on line
Avanzamento in senso verticale, verso gradi o stadi superiori, con implicito quindi il concetto del perfezionamento, dell’evoluzione, di una trasformazione graduale e continua dal bene al meglio, sia in [...] di leggi di sviluppo della storia, mostrandone la carenza logica e l’infondatezza scientifica e riconducendole a una comune processi produttivi o la produzione di nuovi beni. Nell’economia classica, il p. fu analizzato in relazione alla ricerca e alle ...
Leggi Tutto
teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] altro enunciato deducibile da quell’insieme. Questa concezione classica di t. deduttiva si è conservata per oltre in un insieme di oggetti, detto ‘universo dell’interpretazione’ (➔ logica).
Le diverse t. deduttive si distinguono l’una dall’altra per ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
modernità
Enciclopedia on line
modernità Carattere di ciò che appartiene ai tempi più recenti. Riferito a persone o a manifestazioni, indica adesione allo spirito e al gusto dei tempi, e quindi originalità ed emancipazione dalla tradizione. [...] una differenziazione degli ambiti dell'esperienza, ciascuno recante una propria logica di sviluppo e propri schemi di valutazione, che è al dal tardo Ottocento, contrapposta all'idea classica che indicava ottimisticamente la modernità come certezza ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI
Fracastòro, Girolamo
Enciclopedia on line
{{{1}}}
Umanista, medico e filosofo (n. Verona 1476 0 1478 - m. Incaffi 1553). Studiò a Padova con Giovanni Aquila, Gabriele Zerbo, Pietro Trampolino e con Girolamo e Marcantonio della Torre. Negli anni [...] 1505. In questa stessa università ottenne la lettura annuale di logica nel 1509.
Appena conseguito il dottorato, fu ammesso nel , conformemente a un modello umanistico d'ispirazione classica improntato all'enciclopedismo, si estendono dall'astronomia ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ryle, Gilbert
Enciclopedia on line
Filosofo (Brighton 1900 - Whitby 1976), prof. all'univ. di Oxford (1945-68), direttore (1948-71) della rivista Mind. Interessato originariamente alla fenomenologia di Husserl (alcuni temi della quale rimarranno [...] critico-terapeutica contro gli usi errati del linguaggio, mirano alla costruzione di una "geografia logica" dei concetti. Sempre vivo è stato inoltre il suo interesse per la tradizione filosofica classica (da ricordare il suo Plato's progress, 1966). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE