К слову. В классической логике существуют два основных метода, которые до некоторой степени противопоставляются друг другу – дедукция и индукция. Первая означает переход от общих положений, законов и т. п. к частному конкретному выводу; ее посылками являются аксиомы, постулаты или просто гипотезы, которые имеют характер общих утверждений, а выводом – следствия из посылок, теоремы («частное»). Например: все люди смертны, Я – человек, следовательно, смертен и я. В отличие от него, второй способ рассуждения от частных фактов, положений восходит к общим выводам. Например: солнце всходило вчера, позавчера, поза… поза… позавчера, следовательно, оно взойдет завтра, послезавтра… в любой следующий день. Впрочем, чаще всего оба метода действуют одновременно, и стерильной чистоты каждого из них нет. Так, серия частных наблюдений позволяет сделать общий вывод, но этот (индуктивный) вывод опирается на чисто дедуктивное умозаключение: поскольку утверждение верно для всей серии наблюдений, оно обязано быть справедливым и для данного и для предстоящего случая. В свою очередь, любое общее утверждение в дедукции армировано результатом каких-то предшествующих индукций: все мужики – сволочи, [все] деньги не пахнут… Даже здесь, в империи формальной логики, мы видим то же единство противоположностей, каждая из которых открывает более глубокое понимание природы вещей. Другими словами, все то же, что открылось Рафаэлю…
В этой связи нужно заметить, что о Шерлоке Холмсе спорили и спорят, иногда даже упрекают в элементарном незнании логики, – и все только на том основании, что его метод на самом деле индуктивен, поскольку вывод получается из анализа единичных фактов. Но, во-первых, как уже замечено, никакая индукция не может не опираться на свою противоположность. Во-вторых (вспомним отличие слова от понятия), в речевом обиходе дедукция существовала (и продолжает существовать) еще и как общелитературная единица, как нерасчлененное на противоположные процедуры интегральное представление о некоем безупречном выводе по строгим правилам, о нерасторжимой никакими опровержениями цепи умозаключений, звенья которой связаны отношением строгого логического следования. Иначе говоря, как начало, растворяющее в себе оба метода.
На протяжении всей истории познания поиск пути открытия