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
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
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
Corrispondenza di misura fra due o più cose che siano fra loro in stretta relazione.
Arte
Mondo antico
Non è possibile cogliere una continuità storica nella trasformazione del concetto di p., intesa come [...] proporzionale della figura umana. L’architettura greca adotta una logica di costruzione basata sull’idea del modulo, ossia di osservanza di un canone, con libertà dai criteri compositivi classici, sia nel dettaglio sia nella struttura di grande scala. ...
Leggi Tutto
Diritto
F. giuridico Concezione del diritto secondo la quale l’essenza del fenomeno giuridico consiste nella qualificazione da parte del diritto di atti, fatti e comportamenti che non sarebbero giuridici [...] (come fa l’intuizionismo) quelle parti della matematica classica che fanno uso dell’infinito attuale e che quindi vanno oltre l’evidenza intuitiva, cerca di darne una ricostruzione logica servendosi però solo di quei metodi dimostrativi che, per ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] è stato opportunamente sottolineato dalla letteratura storico-critica sul tema. W. e M. Kneale, per es., nella loro classica Storia della logica scrivono che, secondo Hilbert, "l'infinito assolve in matematica lo stesso officio che un'Idea di Ragione ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] piano complesso u, ecc.
Per altre particolari, classiche operazioni introdotte nell'analisi matematica anteriormente al sec. " (B. de Finetti), è indubbia la distinzione rigorosamente logica dai due concetti.
4. - I funzionali vennero chiamati ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] all'altra nozione. Agricola ritiene pertanto che sia necessaria una riforma che riordini e semplifichi la classica trattazione della logica proposta nell'Organon aristotelico, integrandola con il ricorso agli strumenti dell'inventio e della topica ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] , soltanto di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell'impetus -Huḏayl e al-Naẓẓām e che percorrerà tutta l'epoca classica non è, dunque, una grossolana opposizione tra continuo e ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] 'modello' astratto in cui gli assiomi fondamentali della geometria classica siano veri: ci sono solo 3 modelli di geometrie una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista ...
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,...
tautologia
tautologìa s. f. [dal gr. ταὐτολογία, comp. di ταὐτο- «tauto-» e -λογία «-logia»]. – 1. a. Nella logica formale classica, termine usato per qualificare negativamente ogni proposizione la quale, proponendosi di definire qualcosa,...