обусловлена, тогда как связь дыма с огнем является безусловной. Общее суждение: "все случаи огня суть случаи дыма" – неприемлемо, тогда как суждение "все случаи огня от сырого топлива суть случаи дыма" – приемлемо. Условие не обязательно является дефектом, ибо оно приводит к ошибке только тогда, когда его упускают из виду. Где можно подозревать наличие условий, там необходимо исследовать сопровождающие обстоятельства и показать, что сосуществование имеет место даже тогда, когда предполагаемое условие отсутствует. Положительные случаи опровергают возможность условий, поскольку они показывают, что средний и больший термины присутствуют, хотя все остальное еще отсутствует. Отрицательные же случаи поддерживают возможность условий тем, что показывают, что средний и больший термины отсутствуют даже тогда, когда все другие существенные обстоятельства не отсутствуют. Позднее логика особенно подчеркнула роль отрицательных случаев и даже определила "вьяпти" как то, что выявляет полную адекватность знака с обозначаемой вещью211. Наяйик требовал, чтобы дисциплинированный ум контролировал свою фантазию и беспрекословно подчинялся фактам. Точные объяснения с помощью экспериментальных методов возможны только с развитием экспериментальных наук. При отсутствии же таковых взгляды индийского логика на научный метод не представляют большого интереса. Наяйик имел представление об общей проблеме индукции и методе тщательного наблюдения фактов природы, посредством которого получаются общие суждения.
Природа не всегда предоставляет нам положительные и отрицательные случаи нужного рода, чтобы помочь нам установить истинность или ложность тех или иных теорий. Наяйик говорит, что мы можем пользоваться методом тарки, или непрямого доказательства, чтобы получить отрицательную достоверность. Если общее суждение, например "везде, где есть дым, есть и огонь", неверно, тогда должно быть верным противоречащее ему суждение: "иногда дым не сопровождается огнем". Другими словами, огонь не есть неизменный антецедент дыма. Но мы не можем отрицать, что огонь есть причина дыма. Таким образом, тарка используется, чтобы усилить общее суждение, основанное на положительных случаях непрерывного совпадения. Она является также и способом проверки гипотезы212.
Выявляя абсурды, которые получаются, когда мы отрицаем выставленную гипотезу, непрямое доказательство помогает подтверждению гипотезы. Оно показывает, что никакая другая гипотеза не способна объяснить