modus ponens și modus tollens

„Modus“, în logica este numit un fel de forma generală a argumentului. În continuare vor fi enumerate patru aproape unul de altul modus, cunoscut logica medievale.

modus ponens, numite uneori gipoteticheskimsillogizmom permite aprobarea situațiilor condiționate și aprobarea du-te sa fundație la afirmarea Corolarul acestei declarații:

Aici, afirmația "dacă A, atunci B" și "A" - trimiterea, spunând "B" - o concluzie. Linia orizontală reprezintă cuvântul „prin urmare.“ O altă intrare:

Dacă A, atunci B. A. Prin urmare, V.

Datorită acestui modus de la trimiterea „dacă A, atunci B“, folosind „A“ parcelă, se pare să se separe încheierea de „B“. Pe această bază, modul de uneori numit „regula de separare.“ De exemplu:

În cazul în care o persoană are diabet, el este bolnav.

La om, diabetul zaharat.

Raționamentul de regula de separare este baza declarațiilor adevărate declarații condiționate de aprobarea consecințelor sale. Este logic mișcarea corectă de gândire este uneori confundat cu un similar, dar în mod logic greșit mișcarea sa de corolar la adevărata declarație condiționată a declarației sale fondatoare. De exemplu, concluzia corectă este:

Dacă taliu - din metal, aceasta conduce electricitatea.

Taliu conduce electricitatea.

Dar pe plan extern similar cu aceasta concluzie:

În cazul în care electrolitul este din metal, ar trebui să efectueze un curent electric.

Electrolitul conduce electricitatea.

Ilogice. Argumentând pentru acest din urmă schemă, este posibil să vină de la premise adevărate la o concluzie falsă. Împotriva încurcată dreptul de a se separa de această schemă de raționament incorect avertizează sfaturi de la baza pentru a confirma ancheta de validare este permis să argumenteze, cu privire la confirmarea anchetei pentru a valida baza - nr.

Modus Tollens este următoarea linie de raționament:

Dacă A atunci B; greșit în

Aici, afirmația „dacă A, atunci B“ și „B greșit“ este premisa, iar afirmația „A nu este adevărat“ - concluzia. O altă intrare:

Dacă A, atunci B. Nu-In. Prin urmare, non-A.

Prin intermediul acestui circuit privind aprobarea și negarea declarațiilor condiționale efectelor sale o tranziție la o respingere a unei baze. De exemplu: „Dacă un heliu - metal, este conductiv electric. Heliu neelektroprovoden. În consecință, heliu - nu metal ".

În cadrul schemei este fraudate proces modus tollens de a stabili falsitatea teoriei sau ipoteza ca urmare a verificării sale empirice. auditate de

Teoria T afișată o anumită afirmație empirică A, care este, stabilită o declarație condiționată „în cazul în care T, atunci A“. Prin metode empirice de cunoaștere (observare, măsurare sau experiment) O propunere este comparată cu situația reală. Se pare că este o ofertă falsă și adevărată non-A. De la sediul „în cazul în care T, A“ și „non-A“ ar trebui să fie „non-T“, adică, falsitatea T. teoriei

Pe modus Tollens amestecat adesea un raționament exterior asemănător cu el:

Dacă A, atunci B; A greșit

În acest din urmă inferența din declarația condiționată declarația și mișcările de bază negare la negarea consecințelor sale, că este logic pas incorect. Motivul pentru care un astfel de sistem poate rezulta din adevărat coletelor concluzie falsă. De exemplu:

Dacă argila era de metal, ar fi maleabilă. Dar argila - nu din metal.

Nu este adevărat că argila este din material plastic.

Toate metalele sunt ductile, iar daca argila era metalica, de asemenea, ar fi un material plastic. Dar argila nu este din metal. Dar, evident, acest lucru nu implică faptul că argila nu este din material plastic. În afară de metale, există și alte materiale plastice și lut printre ei.

Împotriva amestecare modus Tollens cu această schemă de raționament defectuos avertizează sfaturi de a nega o declarație condiționată de a încheia ancheta la negarea baza acestei declarații poate fi, și de la baza la negarea negarea anchetei - nr.