eXTReMe Tracker
Tweet

Dimostrazione.

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).