Басты мәзірді ашу

Үшінші жоққа шығару заңылогика заңы. Осы заңға орай айтылған екі қайшы пікір бірін-бірі жоққа шығарса, оның бірі — ақиқат. Алғаш тұжырымдаған Аристотель. Мысалы, “Күнжұлдыз” (А дегеніміз — В) және “Күн — жұлдыз емес” (А дегеніміз — В емес) деген пікірлердің бірі сөзсіз ақиқат. Осындай пікірлерді ескере отырып, дәстүрлі формалды логика үшінші жоққа шығару заңы — “А дегеніміз В немесе В емес” (басқа үшінші болмақ емес) деп тұжырымдайды. Үшінші жоққа шығару заңы көбінесе дәлелдеу процесінде орындалады. Мысалы, қарсы жору арқылы дәлелдеуде қолданылады.

СілтемелерӨңдеу

"Қазақ Энциклопедиясы", 9 том