Логіка Давньої Індії
Умовиводи в школі ньяя поділялися на три види:
— умовивід від попереднього до наступного, від причини до наслідку (наприклад, від констатації скупчення хмар до висновку про необхідне настання дощу);
— умовивід від наступного до попереднього, від наслідку до причини (наприклад, від констатації факту наявності великої кількості води в гірському потоці до висновку Про зливу, що пройшла в горах);
— умовивід за аналогією.
Для кращого розуміння вчення про умовивід школи ньяя та інших індійських філософських шкіл необхідно зупинитися на теорії "проникнення". Звернемося до улюбленого в індійських підручниках логіки прикладу: «Я сприймаю, що на горі піднімається дим, а звідси роблю висновок про вогонь, який має бути на горі (хоч безпосередньо я його й не сприймаю)». Тут «дим» є ознакою, а «вогонь» — носієм цієї ознаки. Між димом і вогнем, між ознакою і носієм цієї ознаки, існує відношення проникнення - При цьому ознака розглядається як «проникнуте» (бо, де дим, там завжди і зо-гонь), а вогонь —• як «проникаюче», оскільки буває вогонь і без диму
Важливе місце в індійській логіці займає аналогія; «Порівняння е доведення порівнюваного із Його подібності З відомим (сутра 16),
Наприклад: «Бик може бути мені відомим, але про буйвола я знаю тільки те, що за зовнішністю він схожий на бика. На підставі цього знання я можу, хоча ще ніколи раніше не бачив буйвола, при зустрічі з ним пізнати його і вказати іншим»
Існує думка, що будь-який умовивід в розумінні школи ньяя — в кінцевому підсумку аналогія. І для таких висновків є вагомі підстави, оскільки засновник школи ньяя Готама навчав: в умовиводі підстава доводить те, що має бути доведено, вказівкою на подібність із прикладом або на відмінність від нього.
Вчення ньяя проникнуте традиційною для індійської філософії ідеєю: осмислення категорій виступає не як простий засіб істинного пізнання, а як сама справжня повна істина, що несе звільнення стражденному людству.
Третій період
Цей період індійської логіки називають періодом її розквіту. Історія знає багатьох видатних індійських теоретиків у сфері буддистської логіки середини першого тисячоліття нової ери. Проте справжнім творцем буддистської логіки вважається Дигнага, який відокремив її від філософії й розробив струнку систему логіки як самостійної науки. Головним твором цього мислителя є праця «Про джерела пізнання».
Сутність умовиводу, на думку Дигнаги, ґрунтується на нерозривному зв'язку понять, які створюються нашим мисленням.
Дигнага створив учення про три властивості логічної підстави, згідно з яким вона (підстава) має бути:
— пов'язаною з об'єктом умовиводу, тобто з меншим терміном (наприклад; «на горбі є вогонь»);
— пов'язаною з однорідними об'єктами (наприклад: «дим є скрізь, де є вогонь»);
— не пов'язаною з неоднорідними об'єктами (наприклад: «диму немає там, де немає вогню»).
Відповідно до цих трьох властивостей логічної підстави дається і класифікація неправильних підстав (логічних помилок), які поділяють на три види, оскільки три вказані властивості логічної підстави є й умовами правильності умовиводу.
Одним з найвидатніших буддистських теоретиків логіки був Дхармакірті, якого називають Аристотелем Давньої Індії. Про його внесок у розвиток індійської логіки свідчить хоча б перелік його логічних трактатів. «Про достовірність пізнання», «Крапля логіки» (короткий підручник логіки), «Короткий підручник про логічну підставу», «Дослідження про логічний зв'язок», «Повчання про наукові диспути», «Пояснення відмінності в синтезі уявлень». Головний його трактат має форму коментаря до твору Дигнаги «Про джерела пізнання» Цей трактат написано у віршованій формі.