Il dimostrare, atto e modo con cui si esplicita un
pensiero o un sentimento. ║ Per estens. - Ciò che serve a
dimostrare o a dar prova di qualcosa. ║ Manifestazione pubblica di
volontà popolare, per lo più di natura politica o sindacale.
● Filos. - Argomentazione attraverso la quale si stabilisce la
verità di una certa nozione o tesi. Le
d. sono
dirette
quando la tesi da dimostrare sia dedotta o ricavata da certe premesse; sono
indirette, quando la verità della tesi è affermata mediante
la
d. dell'impossibilità del suo contrario: in questo caso essa
può assumere la forma contraddittoria o disgiuntiva. In caso di
d.
diretta, si ha il tipo deduttivo, induttivo, entimematico e analogico. ●
Mat. - Catena di deduzioni che riconducono la validità di una determinata
proposizione
B a quella di una proposizione
A, già
riconosciuta per vera. Questo metodo perviene alla definizione di un sistema di
proposizioni
primitive (postulati, assiomi), non ulteriormente
riconducibili a proposizioni più semplici. Esse, in quanto per sé
evidenti e intuitivamente riconoscibili come vere, sono considerate come delle
relazioni formali indipendenti da modelli concreti, che definiscono in modo
implicito gli enti primitivi. Secondo la logica moderna, allora, punto di
partenza di una teoria può essere un qualsiasi sistema di postulati,
purché non contraddittori fra loro (sistema coerente).