neoempirismo
neoempirismo [Comp. di neo- e empirismo] [FAF] Termine con il quale sono designate correnti filosofiche ed epistemologiche di fine Ottocento e del Novecento (pragmatismo, neopositivismo, [...] da cui pensiero e linguaggio, conoscenza e comunicazione, desumono i propri contenuti: strutture e strumenti formati (logica, matematica) sarebero incapaci di produrre novità conoscitive, conservando un valore utilitario o riducendosi alla messa in ...
Leggi Tutto
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] che propone come fondamento universale per i sistemi di basi di dati. Una base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e un certo numero di tabelle che danno le relazioni tra gli individui ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Complementarita e oggetto quantistico
Catherine Chevalley
Complementarità e oggetto quantistico
L'opera di Niels Bohr, come spesso è stato sottolineato, [...] di misurazione macroscopici, vale a dire nel linguaggio della fisica classica. Agli occhi di Bohr, non vi è più una logica quantistica utilizzabile dal fisico, così come non ci sono i concetti quantistici. È la stabilità dei referenti a svanire, e ...
Leggi Tutto
addizione
addizióne [Der. del lat. additio -onis "atto ed effetto dell'aggiungere", dal part. pass. additus di addere "aggiungere"] [ALG] Una delle quattro operazioni aritmetiche elementari (insieme [...] di due o più numeri dati (detti addendi); ha come simb. il segno + (per es., 3+4=7). ◆ [FAF] Nella logica formale, modo di argomentare basato sul principio che la somma di più cose considerate singolarmente e successivamente è uguale all'insieme di ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logica matematica, predicato riferibile a singoli elementi. ...
Leggi Tutto
coerente
coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] .: ampiezze di probabilità con fase relativa definita che per sovrapposizione interferiscono tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non sono dimostrabili contemporaneamente un'espressione e la sua negazione; è sinon. di ...
Leggi Tutto
stadio
stàdio [Der. del lat. stadium, dal gr. stádion, originar. misura di lunghezza, pari nell'Attica a circa 178 m, e poi "luogo per giochi e gare", in quanto lungo appunto uno stadio] [LSF] (a) Ciascuna [...] fenomeno. (b) Ciascuna delle unità o parti di un apparecchio o un sistema che si susseguono in via materiale oppure logica, assolvendo a una determinata funzione, uguale o diversa da quella dell'unità precedente o seguente (amplificatore a due, tre ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] sec., in The philosophy of the inductive sciences founded upon their history di W. Whewell (1840) e nel System of logic ratiocinative and inductive di J. Stuart Mill (1843). All’empirismo di Mill, che conduce a privilegiare come momenti fondamentali ...
Leggi Tutto
Chimico, fisico, filosofo e uomo politico tedesco (Monaco di Baviera 1910 - Grünheide, Berlino Est, 1982), dal 1956 prof. di chimica fisica all'univ. di Humboldt di Berlino. Si è occupato di varie questioni [...] . Nel 1964 fu espulso dalla Sozialistische Einheits partei Deutschlands e privato della cattedra universitaria a causa delle concezioni logiche ed epistemologiche esposte in Dialektik ohne Dogma (1964; trad. it. 1965); da allora è stato un punto di ...
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...