dimostrazione, teoria della
dimostrazione, teoria della branca della logica fondata da D. Hilbert che ha come oggetto di studio le capacità dimostrative dei sistemi formali. Caduto, a causa delle scoperta [...] una fondazione razionale definitiva delle teorie matematiche attraverso una prova della loro non contraddittorietà, la teoria della dimostrazione si è sviluppata in numerose direzioni autonome, tra le quali, per esempio, una teoria della misura delle ...
Leggi Tutto
Matematica
Dimostrazione per a. Tipo di argomentazione per cui, presupposta vera la tesi opposta a quella che si vuol dimostrare, si fa vedere come ne derivino conseguenze intrinsecamente a., o comunque [...] inaccettabili. Tale tipo di dimostrazione presuppone, per la sua validità, che tra il demonstrandum e la sua negazione, posta a base dell’argomentazione, viga una rigorosa antitesi di contraddittorietà, escludente ogni terzo termine.
Teatro
Teatro ...
Leggi Tutto
apodissi
Dal gr. ἀπόδειξις «dimostrazione». Termine assunto dalla logica aristotelica per indicare il rigoroso processo di prova della validità di una singola proposizione mediante la sua deduzione da [...] un’altra verità più generale. Tale deduzione è compiuta dal pensiero dianoetico e ha per fondamentale strumento il sillogismo. L’inizio del processo apodittico non può esser fatto risalire all’infinito, ...
Leggi Tutto
Metzler, paradosso di
Dimostrazione, all’interno del modello Heckscher-Ohlin, della possibilità che sussidi e dazi possano avere effetti perversi sui prezzi interni di un Paese. Sotto l’ipotesi restrittiva [...] che la curva di offerta del Paese esportatore sia anelastica, un dazio potrebbe, infatti, tanto migliorare le ragioni di scambio del Paese che lo impone (ossia potrebbe far salire a tal punto il prezzo ...
Leggi Tutto
riprovagione
Andrea Mariani
" Confutazione ", " dimostrazione " della falsità di un'opinione, con due sole occorrenze nel Convivio.
In IV XIV 1 il sostantivo è usato genericamente con riferimento a [...] un precedente ‛ riprovare ': [seguita che si riprovi quanto è] in quella parte... E questa riprovagione si fa...
In IV VII 5 il valore è più tecnico. D. commenta i vv. 38-39 della canzone Le dolci rime: ...
Leggi Tutto
prova
Lavinia Vizzoni
Dimostrazione della sussistenza di un fatto di rilievo giuridico. Può accadere che all’interno di un processo emerga una circostanza in concreto da cui dipende l’esito del giudizio [...] le p. acquisite, e in base a esse formulare il giudizio finale sui fatti. Verificando l’idoneità delle p. a dimostrare la sussistenza dei fatti che esse avevano a oggetto, il giudice opta, motivando adeguatamente, per la versione dei fatti che ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] aritmetiche, tutta la m. del sistema formale è contenuta in questo stesso sistema, se esso è sufficientemente potente. Così Gödel dimostrò: a) che un tale sistema è sintatticamente incompleto (cioè, esiste una espressione A del sistema per cui né A ...
Leggi Tutto
dimostrabiledimostràbile [Der. di dimostrare: → dimostrazione] [FAF] Detto di un'espressione in un sistema formale T se esiste una sua dimostrazione in T; allora l'espressione costituisce un teorema [...] di T ...
Leggi Tutto
È una delle forme che, secondo Aristotele, può avere il sillogismo a seconda della sua funzione dimostrativa e della sua posizione nel processo apodittico, e precisamente quella che esso assume quando [...] ad una o ad entrambe le premesse sono aggiunte le prove, e cioè, in forma di entimemi, gli stessi prosillogismi di cui quelle premesse sono le conseguenze (p. es.: "i Siracusani sono Elleni, perché parlano ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...