Corectitudinea demonstrației (reguli)

Tipuri /forme de demonstrație

I. Corectitudine în demonstrație
O demonstrație pentru a fi logic corectă trebuie să respecte anumite reguli în raport cu
teza de demonstrat, fundamentul și cu procesul logic de trecere de la fundament la teză.
Reguli ce Enunțul
vizează: regulii:
Teza de 1.Teza trebuie să aibă o formulare clară și precisă (nu ambiguă sau vagă).
demonstrat 2.Teza trebuie să fie măcar o propoziție probabilă / plauzibilă, dar nu una infirmată
(respinsă); în caz contrar nu are sens să o demonstrăm.
3.Teza trebuie să se păstreze aceeași pe tot parcursul demonstrației; altfel spus, nu
trebuie să înlocuim teza de demonstrat cu o alta, dar nici cu o reformulare care este
aparent identică cu aceasta.
Fundamentul 4.Fundamentul trebuie să fie format numai din propoziții adevărate (în cazul în care cel
demonstrație puțin una din propoziții este falsă, atunci teza nu mai este cu ncesitate adevărată).
i Observație: între propozițiile fundamentului nu trebuie să existe contradicții.
5.Fundamentul trebuie să fie un temei suficient pentru adevărul tezei (propozițiile care
alcătuiesc fundamentul trebuie să poată fi demonstrate ca adevărate independent de
adevărul tezei).
Procedeul 6.Demonstrația trebuie să fie logic-corectă, adică raționamentele ce constituie
demonstrativ procedeul demonstrației trebuie să fie toate valide (în cazul în care cel puțin unul dintre
ele nu este valid, atunci teza nu mai poate fi sigur adevărată).
Observație:
Pentru ca o demonstrație să fie corectă, ea trebuie să respecte simultan toate aceste 6 reguli.

II.Tipuri / forme de demonstrație

Criteriul Tipuri Scurtă descriere:
de clasificare: de demonstrație
a)după procedeul - intuitivă Are la bază relațiile dintre termeni și propoziții și, de obicei,
folosit: (neaxiomatizată raționamente incomplete;
/
axiomatizată)
- formalizată Se bazează pe simboluri și pe regulile de lucru cu simbolurile
respective;
b)după referirea, - deductivă Nu utilizează, în mod direct, informații din experiența concretă, ci
directă / indirectă reguli de raționament;
la experiență - inductivă Se bazează pe informații din experiența concretă (date factuale);
(lucruri, fapte
concrete etc.):
c)după modul de - directă Adevărul tezei este dovedit pornind de la adevărul fundamentului
demonstrare a și apelând la anumite reguli de inferență;
tezei: - indirectă Adevărul tezei este dedus din falsitatea tezei contradictorii
(demonstrație prin reducere la absurd); formele demonstrației
indirecte sunt: prin excludere; prin absurd și apagogică (prin
respingerea opusei); prin imposibil.
 Observație: Și combaterea (respingerea / infirmarea) are formele ei:
-eliminarea universalei prin contraexemplu;
-reducerea la absurd, cu următoarele tipuri: reducerea la contradicție, la fals și la
autocontradicție.