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 [...] dell'operazione di integrazione in campi della matematica superiore: m. secondo Peano-Jordan, avendosi allora la densità relativa (all'acqua). ◆ [FAF] M. spettrale: v. logica quantistica: III 487 d. ◆ [ANM] M. standard e non standard: v. analisi ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T. invertibile e inverso: un t. invertibile ...
Leggi Tutto
Carnap Rudolf
Carnap 〈kàrnap〉 Rudolf [STF] (Wuppertal 1891 - Santa Monica, California, 1970) Prof. di logica e matematica nelle univ. di Vienna, Praga, Chicago, Los Angeles. ◆ [FAF] Regole di corrispondenza [...] di C.-Margenau: tipo di corrispondenze introdotte, nella fondazione delle teorie fisiche, fra elementi matematici e specifici aspetti empirici: v. spazio-tempo: V 442 f. ...
Leggi Tutto
Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
Corrente metodologica il cui più autorevole esponente è stato il fisico americano P.W. Bridgman. Partendo da esigenze interne all’ambito della ricerca scientifica (nel campo della fisica), Bridgman ha [...] di misura della lunghezza, mentre nel caso di concetti matematici saranno operazioni mentali o, come si è espresso Bridgman, dell’aritmetica, e J. Piaget, che ha cercato di fondare una logica operativa, nonché, in Italia, S. Ceccato e V. Somenzi, ...
Leggi Tutto
Posizione epistemologica che attribuisce un ruolo fondamentale alla convenzione nell’ambito della scienza. Sostenuto dapprima da J.-H. Poincaré, il quale, dopo la scoperta della geometria non-euclidea, [...] assiomi geometrici, riducendoli a convenzioni, in epoca più recente, con lo sviluppo della logica, dell’assiomatica e delle ricerche sui fondamenti della matematica, il c. ha trovato ulteriori applicazioni. Si riconosce infatti che, sia pure con ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] passato e il futuro di una natura non soggetta al divenire.
La matematica di quel sistema era la sintassi dell'ordine e, insieme, della di legare i fatti tra loro, di dare una parvenza logica all'abitudine di indurre l'ignoto dal noto, il futuro dal ...
Leggi Tutto
sofisma
sofisma [Der. del lat. sophisma, dal gr. sóphisma, che è da sophíxesthai "fare ragionamenti cavillosi"] [FAF] Ragionamento apparentemente valido perché le premesse sono vere e sono, almeno apparentemente, [...] della logica ma inconcludente perché porta a una conclusione assurda, quindi con signif. simile a quello di paradosso (per es., il noto s., o paradosso, di Achille e della tartaruga). In partic., se l'ambito è quello di una dimostrazione matematica ...
Leggi Tutto
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] a.: detta pure algebra moderna o semplic. algebra: v. algebra: I 91 a. ◆ [LSF] Scienze a.: quelle (come la matematica, la logica, ecc.) che non hanno per oggetto la realtà empirica. ◆ [ALG] Spazio a.: denomin. generica per indicare un insieme di ...
Leggi Tutto
Ostwald Wilhelm
Ostwald 〈òstvalt〉 Wilhelm [STF] (Riga 1853 - Lipsia 1932) Prof. di chimica nel politecnico di Riga (1881), poi di chimica fisica nell'univ. di Lipsia (dal 1887 al 1906, quando abbandonò [...] (chimica, fisica, ecc.), sia sul concetto di ordine per le scienze in cui l'energia non abbia peso (matematica, logica, ecc.). ◆ [FAF] Concezione di O.: la concezione base della filosofia naturale di O., brillantemente esposta in vari trattati ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...