silogism categoric condiționată - studopediya

Acesta are două modul corect de a da o concluzie, cu non-necesitatea următoarelor ipoteze.

I. modus aprobatorul (modus ponens).

Formula (1): - o lege a logicii.

Puteți construi o bază de concluzii fiabile din aserțiuni-TION la corolar. Iată două exemple.

Dacă doriți să se bucure de artă, trebuie să fie educat artistic persoană.

Vrei să se bucure de arte.

Trebuie să fii educat artistic persoană.

În cazul în care o persoană este liber de muncă fizică și nu este obișnuit să mental, ei au posedat o atrocitate.

Acest om a salvat de la munca fizică și nu este obișnuit cu mentale.

Această persoană intră în posesia de brutalitate.

Orice utilizare a normelor în limba română, matematică, fizică, chimie și alte discipline ale școlii se bazează pe modul de aprobare, oferind concluzii fiabile, astfel încât mii de practică, crezând că este utilizat cel mai larg.

Dacă metalul este sodiu, acesta este mai ușor decât apa.

Acest metal - sodiu.

Acest metal este mai ușor decât apa.

II. modus Negarea (modus tollens).

Ecuația (2): - este, de asemenea, o lege a logicii

(Acest lucru poate fi dovedit cu ajutorul tabelului).

Puteți construi un concluzii fiabile din ancheta la negarea motivelor negare.

Iată două exemple.

În cazul în care râul debordează malurile sale, apa inundă zonele înconjurătoare.

Apa râului nu este inundat zona înconjurătoare.

Fluviul nu a izbucni băncile sale.

În cazul în care persoana la vederea unui alt furie valor, este dezgustător.

Acest om nu este josnic.

Acest om la vederea altuia nu vitejie se dezlănțuie.

Primul mod de a nu da o soluție corectă.

Formula (3): - nu este o lege a logicii.

Nu se poate obține o soluție corectă, mergând prin afirmația-TION la baza declarației de investigare. De exemplu, în umozak pentru închisoare

În cazul în care golful este înghețat, atunci instanța poate să nu fie inclusă în golf.

Navele care nu pot intra în golf.

Probabil Bight congelate.

În cele din urmă, va numai probabil propunere, r. E. Bay, probabil, congelate, dar este posibil ca suflă un vânt puternic sau golf minat sau există un alt motiv pentru care navele nu pot intra în golf.

concluzie probabilă obținută în această încheiere-SRI:

În cazul în care acest organism - grafit, este conductor electric.

Acest organism este conductor electric.

Probabil, acest corp - grafit.

Al doilea mod de a nu da o soluție corectă.

Formula (4): - nu este o lege a logicii.

Nu se poate obține o soluție corectă, mergând de la baza la negarea negației anchetei. De exemplu:

Dacă o persoană are febră, el este bolnav.

Această persoană nu are o temperatură ridicată.

Probabil, această persoană nu este bolnavă.

Oamenii, uneori, face greșeli logice în construcția de raționament. Acestea pot trage concluzii după cum urmează:

În cazul în care organismul este supus la frecare, se încălzește.

Corpul nu este supus la frecare.

Corpul nu este încălzit.

Dar concluzia este doar probabilă, dar nu este sigur, deoarece organismul poate încălzi pentru alte motive (de la soare, în cuptor, și așa mai departe. D.).

Rețineți că astfel de exemple de conducere să fie pre-este suficientă pentru a arăta că formele de inferență sunt exprimate prin formulele (3) și (4) incorecte. Dar nici o cantitate de exemple de Formele de aplicare ale prim-plan-catîrii (1) și (2) nu sunt în măsură să - dacă operăm doar exemple - care să justifice logica lor este corectă. Pentru aceasta, este necesară o justificare pentru o teorie logică. O astfel de teorie, este practic absentă în tradițional log-ke, este conținută în algebra logicii. Dacă formula în care ipotezele co-nyunktsiya și încheierea anticipată a conectat implicație ZNA-com, nu este identic adevărat, t. E. nu exprimă logica legii, concluzia inferență nu este validă. (. Tabelul 9) Tabelul de adevăr arată că coloanele corespunzătoare formulei (1) (modus ponens) și (2) (modus tollens), constau din caracterele "I" ( "true"); Prin urmare, formulele (1) și (2) exprimă regulile logicii, ceea ce înseamnă că modus ponens și modus tollens sunt în mod logic forme corecte deducții.

silogism categoric condiționată - studopediya

Tabel pentru modurile incorecte oferă pentru a construi cititorului. Acesta, împreună cu semnele „și“ vom vedea semnul „L“ ( „false“), ceea ce înseamnă că expresia

Ele nu sunt identice-adevărate declarații, t. E. Legile logicii.

În cazul în care raționamentul se bazează pe afirmarea corolarul său ut-bază aprobat, ca urmare a mai multor cauze pentru care ar putea urma același rezultat, putem ajunge la o concluzie falsă. De exemplu, pentru a afla cauza bolilor umane, este necesar să se treacă prin toate cauzele posibile: o răceală, suprasolicitat, a fost în contact cu purtătorul bacili și așa mai departe ..

articole similare