Modus ponens și modus Tolens
Modul în logică este un fel de formă generală de raționament. Apoi, vor fi listate patru moduri apropiate, cunoscute de logicii medievali.
modus ponens, numit uneori silogism ipotetic, aceasta permite aprobarea situațiilor condiționate și aprobarea înființării sale merge la afirmarea Corolarul acestei declarații:
Aici afirmațiile "dacă A, apoi B" și "A" - premisele, propoziția "B" - concluzia. Linia orizontală se află în locul cuvântului "în consecință". O altă intrare:
Dacă A, apoi V. A. Prin urmare, B.
Datorită acestui modus din premisa "dacă A, apoi B", folosind parcela "A", avem o concluzie separată "B". Pe această bază, acest mod este uneori numit "regula de separare". De exemplu:
Dacă o persoană are diabet, este bolnav.
Persoana are diabet.
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ă taliul este un metal, acesta conduce un curent electric.
Thallium conduce un curent electric.
Dar o concluzie aparent asemănătoare cu aceasta:
Dacă electrolitul ar fi un metal, ar conduce un curent electric.
Electrolitul conduce un curent electric.
logic incorect. Argumentând în conformitate cu ultima schemă, se poate veni dintr-un loc adevărat până 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.
Următoarea schemă de raționament se numește modus Tolentus:
Dacă A, apoi B; greșit B
Aici afirmațiile "dacă A, apoi B" și "greșitul B" sunt premisele, iar expresia "greșit A" este o concluzie. O altă intrare:
Dacă A, apoi B. Nu-B. Prin urmare, non-A.
Prin intermediul acestei scheme, de la afirmația afirmației condiționale și negarea efectului ei, se efectuează o tranziție la negarea fundației. De exemplu: "Dacă heliul este metalic, acesta este conductiv din punct de vedere electric. Heliul nu este conductiv din punct de vedere electric. Prin urmare, heliul nu este un metal. "
În modul modus Tolens, are loc un proces de falsificare, care determină falsitatea teoriei sau ipotezei ca rezultat al verificării sale empirice. Din teoria testului T rezultă o afirmație empirică a lui A, adică o afirmație condiționată "dacă T, atunci A" este stabilită. Prin metode empirice de cunoaștere (observație, măsurare sau experiment), propoziția A este comparată cu starea reală a afacerilor. Se pare că A este falsă și adevărată este o propoziție non-A. Din spațiul "dacă T, atunci A" și "non-A" urmează "non-T", adică falsitatea teoriei lui T.
Cu modusul Tolensius, o concluzie aparent similară este adesea amestecată:
Dacă A, apoi B; greșit A
Î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. Motivarea printr-o astfel de schemă poate duce la o concluzie falsă de la premise adevărate. De exemplu:
Dacă ar fi fost metal, ar fi plastic. Dar lutul nu este metal.
Nu este adevărat că lutul este plastic.
Toate metalele sunt din material plastic, iar dacă lutul era metal, ar fi și plastic. Cu toate acestea, lutul nu este un metal. Dar nu rezultă din aceasta faptul că lutul nu este plastic. În plus față de metale, există și alte substanțe din plastic și argilă printre ele.
Î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.