MODUS PONENS
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 de retragere este modus ponens, numită de obicei regula de separare sau silogism ipotetic. permite din declarația declarației condiționate și din declarația de bază (antecedent) să treacă la afirmația consecinței (consecinței) acestei
Aici, dacă "A. atunci B" și "A" sunt sediul, "B" este concluzia; linia orizontală se află în locul cuvântului "în consecință". O altă intrare:
Datorită acestei reguli, din premisa "dacă A. atunci 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ă:
dacă este adevărat că dacă A. este B. și A. este adevărat B. De exemplu: "Dacă iarba crește mai repede și plouă la ploaie, apoi iarba crește mai repede".
Motivarea prin regula modus se bazează pe afirmarea bazei unei afirmații condiționale adevărate la afirmarea corolarului său. Această mișcare logică corectă a gândirii este uneori confundată cu o mișcare similară, dar logică incorectă, de la afirmarea efectului afirmației condiționale adevărate la afirmarea fundamentării sale.
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 amestecare ponens regula modus cu placa cu circuite menționată neregulat avertizează: de la baza pentru a confirma ancheta de validare se poate concluziona, din confirmarea anchetei pentru a valida baza - nr.
Articole similare
Trimiteți-le prietenilor: