Lögin um að útiloka miðju - grundvallarregla rökfræði

Undirstöðu lög rökfræði má líkja við þær meginreglur og reglur sem gilda í náttúrunni. Hins vegar hafa þeir eigin sérstöðu sína, að minnsta kosti að starfa ekki í heiminum í kringum okkur, og í flugvél mannlegrar hugsunar. En, á hinn bóginn, meginreglum samþykkt í rökfræði, mismunandi frá lagareglum, svo að þeir geta ekki hægt að afturkalla. Þau eru markmið og vinna gegn vilja okkar. Auðvitað getur þú ekki rökrætt í samræmi við þessar reglur, en þá er sanngjarnt ályktun varla einhver hugsar.

Rökrétt lög - meginstoð vísinda, bæði náttúruleg og mannleg. Ef í daglegu lífi getur þú enn undan í flæði tilfinningar sem eru ósamrýmanleg reglum byggingu og þróun hugsunar, það er hægt að leyfa eyður í rökfræði, alvarleg vinnu eða umfjöllun um slík nálgun er óásættanlegt. Fyrir stofnun hvers sönnunargildis grunni eru meginreglur rétta dómgreind.

Hvað eru þessar reglur? Þrír þeirra voru uppgötvuð í fornöld eftir Aristóteles: það er reglan um samkvæmni, reglan um sjálfsmynd og lögmál útilokaðir miðju. Öldum síðar Leibniz uppgötvaði annar meginreglu - nægilega ástæðu. Öll þrjú lögum formlega rökfræði, lýst því Aristóteles óaðskiljanlega samtengd. Ef við gerum ráð fyrir um stund að einn hlekkur umopostroeny vantar, þá sem hús spil, og restin haust.

Lögin um að útiloka miðju má lýsa á eftirfarandi hátt: «Tertium non datur» eða «enga þriðja valkost". Ef við látum tvær misvísandi setningar um sama viðfangsefni (eða röð af hlutum eða fyrirbærum), einn uppástunga mun vera satt, og hinn - nei. Milli þessar yfirlýsingar er ekki hægt að byggja fyrir nokkrum þriðja, sem hefði fært saman tvo stóra eða setið á milli tengir brú rökfræði. Einfaldasta dæmið um útilokaðir miðju: "Þessi hlutur er hvítur" og "Þessi hlutur er ekki hvítt." En það virkar aðeins þegar tvær gagnstæðar viðhorf hafði verið lýst um sömu hlutina í þetta sinn og á sömu kjörum.

útiloka miðja Law öðlast gildi og þegar dómur milli A og B eru contraries eða kontradiktornaya ósamrýmanleiki. Fyrsta - yfirlýsing gagnstæða skoðun. Til dæmis er uppástunga "Jörðin snýst í kringum sólina" og "sólin snýst í kringum jörðina" eru contraries. Kontradiktornoe mótsögn kemur upp þegar Orðasambandið A kröfur og B afneitar neitt: "Fire hitar," og "Fire er kalt". Það er líka mótsögn sér stað á milli einkum og almennar ákvarðanir, þegar einn jákvætt og hitt - ". Nei nemandi hefur engin prófskírteini" neikvæð "Sumir nemendur hafa þegar prófskírteini" og

Með því að hugsa, einkum í vísindum, sérstakar kröfur: samkvæmni, samkvæmni ákvörðun. Lögin um að útiloka miðju - mælikvarði á sannleika rökum okkar. Til dæmis, ef við segjum að "Guð - allt gott", þá setningin "Guð gaf eilífa pínu helvítis fyrir syndara" er hégómi. Ef við segjum að Guð hafi skapað stað eilífar kvalir fyrir einhvern annan, þá er það ómögulegt að halda því fram að hann - Gott. Þar sem Guð sem hlut niðurstöðum okkar má ekki vera haldið í bága við merki, sum tvær setningar af ofangreindu er rétt, þá seinni - falskur. Þriðja er ekki gefið.