Dovada - o operațiune logică, despre adevărul elegant oricărei hotărâri prin alte hotărâri reale și conexe.
Dovada diferă de alte argumente de depozite, de exemplu, deducții că scopul său este de a valida valabilitatea demonstrabile suzh Denia.
In dovada sunt trei elemente: 1) o poziție de legare la doc - teza; 2) Hotărârea balti-schyu care fundamentează teza validitate - argument sau argumente, sau dovada unei baze; 3) o legătură logică cu argumente teza - suport radio de afișare.
sunt utilizate Argumentele în dovada: a) certificat de fapte; b) Legile științei; c) teorema dovedit anterior; g) axiome și postulate; d) determinarea Eniya ??.
Pentru o dovadă corectă a procesului, este extrem de important să se ia în considerare cerințele care se aplică Sun ?? mânca bucăți de probă.
la cerințele tezei:
- Teza trebuie să fie nevoie de dovezi. Este lipsit de sens pentru a încerca să dovedească evident, determinarea ?? Eniya concepte, declarație de fapte, tovarășe, axiome, și postulează;
- Teza trebuie să fie clară și precisă. Multe cuvinte ale unei limbi naturale sunt mult apreciate și neclare, adică, provocând teza de confuzie. Cu toate acestea, trebuie amintit că, în calitate de teză frecvent mai bine să ia hotărâri Nye, mai degrabă decât general. hotărâre privată este mai ușor de dovedit și greu de combătut;
- Teza trebuie să rămână aceeași pe tot parcursul Soarelui ?? dovezile lui. Eroare Prevalența-nennaya - Teza de substituție. Mai puțin dis-prostranennaya - pierdere tezei.
la argumentele cerințelor:
- argumente ar trebui să fie o adevărată judecată s, iar valabilitatea acestora trebuie să fie dovedită. Încălcarea cerințelor asociate cu utilizarea de argumenta͵ false se numește etsya''osnovnym zabluzhdeniem „“. Eroare, con-zannaya folosind, ar trebui să fie, și este plin de noroi-, dar nu a fost încă dovedit argumentul este numele lui Bas - „“ predvoskhischenie vaniya „“;
- validitatea argumentelor aduse ar trebui să stabilească în mod autonom Xia, adică independent de tezei ... Dacă încalcă această cerință, avem de-a face cu o eroare as''krug cunoscută în obosnovanii „“ or''krut în dokazatelstve „“;
- un set de argumente trebuie să fie non alimente - contradictorii. În cazul în care în cazul în care argumentele se contrazic reciproc, atunci cel puțin una dintre ele este falsă, și argumente false nu andoca de legare;
- un set de argumente care să fie suficient de precise pentru O-teză. Un argument în onoarea nu dă justificarea tezei, sale, până la un aspect de forță este mică. Dar mai multe argumente-ing, care sunt în comunicare reciprocă, capabile să construiască o bază logică solidă pentru teza vyvo da. În acest caz, nu ar trebui să fie abuzat-lichestvom argumente. Acestea ar trebui să fie dos tatochno pentru a afișa teză, și nimic mai mult. Fiecare argument în plus slăbește dovada-mente. Este important să nu numărul de argumente și greutatea lor.
pentru a demonstra cerința nu este celălalt, ca cerințele pentru încheierea. Erori asociate cu încălcarea regulilor de inferență, sunt comune pe titlul - „“ ne sleduet „“: teză nu rezultă în mod logic, nu rezultă din argumentele.
Justificarea tezei în dovada poate fi efectuată în mod direct sau indirect. Pe această bază, există două tipuri de probe.
dovada directă - această justificare Tezi SA argumente, fără ajutorul vreunei suplimentare construcții-TION. linie de raționament, în acest caz, începe cu argumente si logica este extrem de important e Tew conduce la recunoașterea adevărului tezei. cuvinte prieten, atunci când există dovezi directe este extrem de important pentru a găsi argumente convingătoare, din care lo-CALLY urmează tezei.
Dovezi indirecte - această justificare este-tinnosti teză prin antiteză - judecată, contrar tezei. Justificăm falsitatea antiteza și, în baza legii st mijloc exclus, afirmând că cele două judecăți opuse neapărat adevărate, dovedind astfel, tinnost este de-contrar afirmațiilor sale - Tezi-sa. Există două tipuri de probe indirecte.
Dovada de contradicție se bazează pe aplicarea legii mijloc exclus. Este o stare este că începem să scape antiteza anchetei și arată că unele dintre aceste track-Corolar (cel puțin unul) cu adevăruri cunoscute NYM prevederi (fapte). Τᴀᴋᴎᴍ ᴏϬᴩᴀᴈᴏᴍ, adoptarea antiteză conduce la o contradicție (absurd), în această privință, ar trebui să fie recunoscut ca fiind fals. Dar apoi teza req-Dimo recunosc adevărat.
Separarea probelor indirecte constă în construcția hotărârilor de separare, elementele care sunt dovedite de tezei și unele sunt incompatibile cu aceasta aprobare (antiteză). Over-the arată că, cu excepția tezei, Sun ?? e-politisti element de separare declarații sunt false. Investigatorul, dar noi trebuie să recunoaștem teza adevărată.
a se vedea, de asemenea,
Curs 5 Dovada - o operațiune logică susține adevărul oricărei hotărâri prin alte hotărâri reale și conexe. Dovada diferă de alte considerente, cum ar fi raționamentul, în acest scop este de a studia. [Citește mai mult].