который изложил свои идеи в работе «Органон». Согласно Аристотелю «мышление – это не конструирование или создание умом некой новой сущности, но, скорее, уподобление в акте мышления чему—то, находящемуся вовне». Предметом формальной логики Аристотеля выступали:

1) основные виды бытия, которые подпадают под отдельные понятия и определения;

2) соединения и разделения этих видов бытия, которые выражаются в суждении;

3) способы, которыми ум при посредстве рассуждений может перейти от истины известной к истине неизвестной.

Аристотель также выделяет основные виды бытия и соответствующие им роды понятий. Всего их десять:

1) сущность (например, «человек» или «лошадь»);

2) количество (например, «в три метра длиной»);

3) качество (например, «белый»);

4) отношение (например, «больше»);

5) место (например, «в Ликее»);

6) время (например, «вчера»);

7) состояние (например, «ходьба»);

8) обладание (например, «быть вооруженным»);

9) действие (например, «рубить» или «жечь»);

10) претерпевание (например, «быть разрубаемым» или «быть сжигаемым»).

В перечисленных здесь основных понятиях каждый из видов бытия постигается именно таким, какой он есть, однако выступает при этом в виде образа. Поэтому само по себе ни одно понятие не является истинным или ложным. Оно есть просто некий взятый в абстракции вид бытия, существующего отдельно от ума. Истинными или ложными могут быть только высказывания или суждения, а не изолированные понятия. Разработку Аристотелем логики можно представить в определенной последовательности. Первым шагом в обосновании всякой истинной науки является обнаружение таких необходимых связей, которые не являются просто случайными и выражаются в необходимых суждениях. Далее из этих очевидных принципов с помощью силлогистического рассуждения может быть выведено последующее знание. Дедукция, или вывод, есть способ, с помощью которого ум переходит от уже известного к неизвестному. В основе науки – обнаружение очевидных, не нуждающихся в доказательстве посылок.

В Средние века (VI–XIV вв.) логика была в значительной мере подчинена богословию. В этот период теоретический поиск в логике развернулся вокруг проблемы объяснения общих понятий – универсалий. При этом на всем протяжении Средних веков систематическая разработка формальной логики почти не выходила за пределы силлогистики. Основателем арабо—язычной логики считается сирийский математик Аль—Фараби. Его логика направлена на анализ научного мышления. Аль—Фараби выделяет в логике две ступени: одна охватывает представления и понятия, другая – теорию суждений, выводов и доказательств.

В эпоху Возрождения логика переживала настоящий кризис. Она расценивалась в качестве логики «искусственного мышления», основанного на вере, которому противопоставлялось естественное мышление, базирующееся на интуиции и воображении.

Новый, более высокий этап, в развитии логики начинается с XVII в. Его начало было связано с появлением работы Ф. Бэкона «Новый Органон». В этом труде автор стремится разработать приемы исследования самой природы. Он положил начало созданию механизмов установления причинно—следственных связей в объективной реальности. Таким образом, Ф. Бэкон стал родоначальником индуктивной логики, в которой нашли отражение процессы получения новых общих знаний на основе данных, полученных путем эмпирических исследований.

В дальнейшем индуктивная логика была систематизирована и значительно расширена в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Последний в своем труде «Система логики» подверг критике те направления философии, согласно которым знание и поведение исходят из врожденных идей и морального чувства. «Напротив, – доказывал он, – знание имеет своим источником опыт, соединенный со способностью к ассоциации идей; моральные науки, как и науки физические, руководствуются принципом причинности».