Cuvântul "modus" în logică înseamnă un fel de formă generală de raționament. Modus ponens este termenul de logică medievală, care denotă o anumită regulă de inferență și legea logică corespunzătoare.
Regula inferenta modus ponens, denumit în mod obișnuit regula de separare sau silogism ipotetic, permite aprobarea unei declarații condiționată și declarația sa de fondator (antecedent), la o afirmație a corolarul (în consecință) a acestei declarații:
Aici "dacă A, atunci B" și "A" sunt premisele, "B" este concluzia;
linia orizontală se află în locul cuvântului "în consecință". O altă intrare:
Dacă A, apoi V. A. Prin urmare, B.
Datorită acestei reguli, din premisa "dacă A, apoi B", folosind parcela "A", avem o concluzie separată "B". De exemplu:
Dacă o persoană are gripa, este bolnav. Persoana are gripa.
Această regulă este folosită în mod constant în raționamentul nostru. Pentru prima dată 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ă:
daca este adevarat ca daca A, atunci B si A, atunci B este adevarat. De exemplu: "Daca iarba creste mai repede si ploua la ploaie, atunci iarba creste mai repede".
Rațiunea pentru regula modului a venit de la afirmarea bazei unei afirmații condiționate adevărate la afirmarea corolarului său. 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ă bismutul este un metal, acesta conduce un curent electric.
Bismutul conduce un curent electric.
Dar o concluzie aparent asemănătoare cu aceasta:
Dacă bismutul este un metal, acesta conduce un curent electric.
Bismutul conduce un curent electric.
logic incorect. Argumentând în conformitate cu ultima schemă, este posibil să se ajungă la o concluzie falsă din premisele adevărate. De exemplu:
Dacă o persoană colectează timbre, este un colector.
O persoană colectează ștampile.
Nu toți colectorii colectează mărcile; din faptul că o persoană este colecționar, nu se poate concluziona că el colectează doar timbre. Adevarul premiselor nu garanteaza adevarul concluziei.
Împotriva confuziei regulii modus ponens 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.
Articole similare
Trimiteți-le prietenilor: