modus ponens (modus ponens)
termenul de logică medievală, care denotă regula deducției și legea logică corespunzătoare.
. O n regulă M regula numită în mod obișnuit de separare (uneori silogism ipotetic), aceasta permite aprobarea declarației condițională și declarația sa de fondator (antecedent), la o afirmație a corolarul (în consecință) a acestei declarații:
Aici A și B sunt câteva afirmații, "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". Ex.:
Dacă o persoană are febră, este bolnav.
La persoană temperatura ridicată.
Persoana este bolnavă. 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. e.
Legea logică corespunzătoare regulii de separare, folosind logica simbolică, este formulată după cum urmează (p, q sunt câteva afirmații; - conjuncție, "și"; -> implicație, "dacă, atunci"):
dacă este adevărat că dacă p, atunci q și p, atunci q este adevărat. De exemplu. "Dacă ploaia este umedă sub ploaie, pământul este ud."
Argumentând de regula lui M.P. vine de la stabilirea bazei unei afirmații condiționale adevărate la afirmarea efectului 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 unei afirmații condiționale adevărate la afirmarea fundamentării sale. De exemplu. concluzia corectă este următoarea:
Dacă bismutul este un metal, acesta conduce un curent electric.
Bismutul este un metal. _______________
Bismutul conduce un curent electric.
Dar o concluzie aparent similară
Dacă bismutul este un metal, acesta conduce un curent electric.
Bismutul 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ă. Ex.:
Dacă o persoană are febră, este bolnav.
Are febră.
Multe boli, după cum se știe, au loc fără o creștere a temperaturii; de la prezența bolii nu se poate concluziona despre creșterea temperaturii. Adevarul premiselor nu garanteaza adevarul concluziei.
Împotriva confuziei regulilor capitalismului cu schema incorectă indicată, consiliul avertizează: de la confirmarea motivelor până la confirmarea investigației, este permisă raționamentul, de la confirmarea investigației până la confirmarea motivelor - nr.
Vezi ce este "modus ponens" în alte dicționare:
MODUS PONENS - (modus ponens), regula de separare, derivarea regulii în logica formală. sisteme. Regula unui spațiu metric este scrisă sub forma unei scheme în care A și B sunt notații pentru formulele de logică formală. sistem și logică. o grămadă de implicații. M. p. Permite obținerea vizei parcelelor ... ... Enciclopedia matematică
modus Tolendo ponens - (latin modus tollendo ponens) este termenul de logică medievală, care denotă o concluzie catehică separativă: prima sau a doua; nu prima; apoi al doilea. Prima premisă a inferenței este pronunțarea separativă (disjunctivă); al doilea ... ... Dicționar de termeni de logică
modus - (măsura modus latină, modul în care imaginea, un fel.) pe termen filosofic pentru proprietatea subiect, inerente numai în anumite state, și în funcție de subiectul mediului și relațiile în care se află. M. contrastat atribut ... ... Dicționar de logica termenilor
LOGICA DE SUGESTII este o secțiune a logicii în care sunt studiate interrelațiile veridice dintre afirmații. În cadrul acestei secțiuni, afirmațiile (propunerile, propunerile) sunt luate în considerare numai de la t.r. adevărul sau falsitatea lor, indiferent de subiectivitatea lor interioară ... Enciclopedia filosofică
LOGICĂ CONCLUZIE - CONCLUZIE Un argument logic în care se face o tranziție în conformitate cu regulile de la pronunțarea sau sistemul de rostiri la exprimarea sau sistemul de exprimare. Concluzia logică este de obicei prezentată (în comun sau separat) ... ... Enciclopedie filosofică
inferență condiționată - inferență, inclusiv premisele, care sunt propoziții condiționate (a se vedea declarația condiționată). W. la. poate consta dintr-o singură premisă condiționată, poate include, pe lângă condițional, alte parcele care nu sunt condiționate și pot, de asemenea, ... ... Glosar de termeni de logică
concluzia logică este încheierea unui argument logic în care, conform anumitor reguli, există o tranziție de la roluri sau un sistem de rostiri la o declarație sau un sistem de pronunțare. La V. l. de obicei prezentat (o dată sau separat) următoarele ... ... Enciclopedia de epistemologie și filozofie a științei
CONCLUZIE () - CONCLUZIE (în logica matematică) B. se numește, de obicei, raționament, în cursul căruia se obțin succesiv o serie de propoziții înrudite, precum și chiar succesiunea acestor propoziții. Unele dintre aceste propuneri nu sunt ... ... Enciclopedie filosofică
CALCUL PROPOSITIONAL - calculul propozițiilor, calculul logic, în care obiectele deductibile sunt formule propoziționale. Fiecare P. și. este dată de un set de axiome (formule propoziționale arbitrare) și de derivare a regulilor. Formula dedusă în P. și. Enciclopedia de matematică
Concepte de calcul - „Concepte de calcul“ ( „Înregistrarea în ceea ce privește“) componența matematicianului german și logicianul Gottlob Frege, a marcat începutul formei moderne a logicii matematice (simbolic). Titlul complet al acestei lucrări a inclus o referire la faptul că ... ... Enciclopedia de epistemologie și filosofia științei
Articole similare
Trimiteți-le prietenilor: