Логика Аристотеля и его учение о методе
В философии стоицизма, выступившего несколькими десятилетиями позже Аристотеля, логика понималась как некая специальная наука, составляющая часть науки в более обширном смысле слова. Напротив, для Аристотеля логика — не отдельная наука, а орудие (organon) всякой науки. Аристотель называет логику «Аналитикой»; в специальном трактате, который получил название «Аналитик» (Первой и Второй), он изложил ее основные учения: об умозаключении и о доказательстве. Задача логики, как ее понимает Аристотель, — исследование и указание методов, при помощи которых известное данное может быть сведено к элементам, способным стать источником его объяснения. Из этого видно, что основной метод логики Аристотеля — «сведение». Учение об этом искусстве Аристотель называет «наукой», но здесь этот термин он понимает не в смысле специальной по предмету отрасли науки, а широко, как умозрительное исследование, дающее возможность различить условия доказательства, его виды, степени, а также выяснить последние предложения, достигнув которых мы уже не можем продолжать сведение данного к элементам, объясняющим это данное.
«Аналитики» — не единственный труд Аристотеля по логике. Важным вопросам логики посвящены также его «Топика», «Об истолковании», «Опровержение софистических умозаключений», «Категории», а кроме того отдельные места «Метафизики» и даже «Этики».
Изучение всех сочинений Аристотеля, посвященных вопросам логики или, по крайней мере, рассматривающих эти вопросы, показывает, что в логических исследованиях Аристотеля наибольшее его внимание привлекали три проблемы:
1) вопрос о методе вероятностного знания; этот отдел логических исследований Аристотель называет «диалектикой», он рассматривает его в своей «Топике»;
2) вопрос о двухосновных методах выяснения уже не вероятного только знания, а знания достоверного; эти методы — определение и доказательство;
3) вопрос о методе нахождения посылок знания; это индукция.