Cuvântul "modus" în logică înseamnă un fel de formă generală de raționament.
Regula de ieșire este modusponens (modus ponens). numită în mod obișnuit o regulă de separare sau un silogism ipotetic. permite din declarația declarației condiționate și din declarația bazei acesteia (antecedent) să treacă la afirmația consecinței (consecinței) acestui lucru.
Dacă A, apoi B. A. Prin urmare, B.
Datorită acestei reguli din premisa "dacă A, apoi B", folosind parcela "A", avem o concluzie separată "B".
Dacă o persoană are gripa, este bolnav.
Persoana are gripa.
Pentru prima dată, această regulă a fost formulată, în măsura în care poate fi judecată, de elevul lui Aristotel, Theophrastus, în secolul al III-lea. BC
Legea logică corespunzătoare regulii de separare este formulată după cum urmează:
Dacă este adevărat că, dacă A, atunci B, și A este adevărat B.
Un exemplu. Dacă bismutul este un metal, acesta conduce un curent electric. Bismutul este un metal.
Bismutul conduce un curent electric.
Motivarea conform regulii modusponensului vine din afirmarea bazei afirmației condiționale adevărate la afirmarea 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.
Un exemplu de concluzie incorectă:
Dacă o persoană colectează timbre, este un colector. Omul este un colector.
O persoană colectează ștampile.
Nu toți colectorii colectează brandurile. Din faptul că o persoană este colecționar, nu se poate concluziona că el colectează doar ștampile.
Adevarul premiselor nu garanteaza adevarul concluziei.
Împotriva confuziei normelor modusponens cu schema incorectă indicată, consiliul avertizează: de la confirmarea motivelor până la confirmarea investigației, se poate concluziona, de la confirmarea investigației până la confirmarea motivelor - nr.
Modus tollens
Deci logica medievală a numit următoarea schemă de raționament:
Dacă A, apoi B; nu este adevărat că V.
Dacă A, apoi B. Nu-B. Prin urmare, non-A.
Această schemă este adesea numită principiul falsificării: dacă dintr-o declarație urmează o consecință care se dovedește a fi falsă, aceasta înseamnă că afirmația însăși este falsă. Prin intermediul schemei, din afirmația afirmației condiționate și negarea efectului ei, se efectuează o tranziție spre negarea bazei acestei declarații.
Dacă heliul este un metal, el este conductiv electric.
Heliul nu este un metal.
Modus ponendo tollens (modus ponendo tolens)
Prin acest nume, logica medievală a denotat următoarele scheme de raționament:
Fie A sau B; A
Fie A sau B; În
Fie A sau VA A. Prin urmare, non-B.
Fie A, fie B. V. Prin urmare, non-A.
Prin intermediul acestor scheme, de la aprobarea a două alternative reciproc exclusive și de a determina care dintre acestea are loc, trecerea la negarea celei de-a doua alternative se realizează: fie prima, fie a doua, dar nu ambele; există primul; atunci nu există secundă.
Un exemplu. Dostoievski sa născut fie la Moscova, fie la Petersburg. Sa născut la Moscova.
Nu este adevărat că Dostoievski sa născut în Petersburg.
Disjuncția inclusă în acest sistem este strictă. Aceasta inseamna: adevarata prima sau adevarata a doua, dar nu ambele. Același raționament, dar cu o disjuncție nestrictă (prima sau a doua, dar este posibil ca prima și a doua) să fie logic greșite. Din premisele reale, aceasta poate duce la o concluzie falsă.
Un exemplu. La Polul Sud era Amundsen sau a fost Scott. La Polul Sud era Amundsen.
Nu e adevărat că a fost Scott.
Ambele premise sunt adevărate: atât Amundsen, cât și Scott au ajuns la Polul Sud, dar concluzia este falsă.
Corect este concluzia:
La Polul Sud, Amundsen sau Scott a fost primul. La acest pol Amundsen a fost primul.
Nu e drept că Scott a fost acolo mai întâi.