Isbotlash usuli – demonstratsiya tezis bilan argumentlar o‘rtasidagi mantiqiy aloqadan iborat. U xulosa chiqarish shaklida bo‘ladi, ya’ni tezis argumentlardan xulosa sifatida mantiqan keltirib chiqariladi.
4. Isbotlash turlari: bevosita va bilvosita isbotlash Isbotlashning ikki turi mavjud: bevosita isbotlash, bavosita isbotlash. Bevosita isbotlashda tezisning chinligi to‘g‘ridan-to‘g‘ri argumentlar bilan asoslanadi, unda tezisga zid bo‘lgan mulohazalardan foydalanilmaydi. Tezis ko‘p hollarda yakka hodisani ifoda qilib keladi va ma’lum bir umumiy bilimdan, masalan, qonundan argument sifatida foydalanilib, uning chinligi asoslanadi. Masalan, “O‘zbekiston – mustaqil davlatdir”, degan mulohaza (tezis)ning chinligi “O‘zbekistonning mustaqil davlat deb e’lon qilinishi, uning xalqaro miqyosda e’tirof etilishi” kabi asoslar yordamida isbotlanadi.
Bavosita isbotlashda esa tezisning chinligi unga zid bo‘lgan mulohazaning (antitezisning) xatoligini ko‘rsatish orqali asoslanadi. Antitezis qanday shaklda ifodalangan bo‘lishiga qarab apagogik isbotlash va ayiruvchi isbotlash farq qilinadi. Apagogik isbotlash tezis (a) va antitezis (ùa) o‘rtasidagi munosabatga asoslanadi. Masalan, “Materiya harakatsiz mavjud emas”, degan mulohazaning chinligini asoslash uchun unga zid bo‘lgan “Materiya harakatsiz mavjud”, degan mulohaza olinadi.
Apagogik isbotlashda antitezis topilib (1-bosqich), vaqtincha chin deb qabul qilinadi va undan ma’lum bir natija keltirib chiqariladi (2-bosqich), so‘ngra bu natijalarning xatoligi ko‘rsatiladi (3-bosqich) va demak, tezisning chinligi isbotlanadi. Masalan, “Materiya harakatsiz mavjud”, degan mulohaza chin bo‘lsa, “Moddiy predmetlar strukturasiz mavjud”, degan fikr (antitezisdan kelib chiqqan natija) ham chin bo‘ladi. Bizga ma’lumki, moddiy predmetlar tarkibsiz (uni tashkil qiluvchi elementlar va ularning o‘zaro aloqasisiz) mavjud emas. Demak, “Materiya harakatsiz mavjud”, degan fikr xato, shu tariqa “Materiya harakatsiz mavjud emas”, degan fikrning chinligi asoslanadi.
