Формальная логика аристотеля

Как ни странно, название науки логики дал не Аристотель, а Александр Афродизийский 500 лет спустя, комментируя труды философа, хотя уже при жизни Стагирита логика практически достигла совершенства. Вплоть до тринадцатого века влияние Аристотеля в области метафизики было утеряно, но его авторитет в логике остался. Интересно то, что и в наши дни многие преподаватели логики как науки часто отвергают открытия современной логики и придерживаются со странным постоянством системы, которая устарела примерно так же, как и Птолемеева астрономия. Хотя нельзя отвергать тот факт, что основы логики уже долгое время остаются неизменными, и созданы они именно Аристотелем.

Что же такое логика по Аристотелю?

Аристотель воспринимает логику не как самостоятельное философское учение, а скорее как необходимый инструмент всех наук и философии в частности. Более позднее понятие о логике как «орудии», хотя сам Аристотель ее так не называл, возможно, соответствует его собственным представлениям. Понятно, что логика должна предшествовать философии. Саму философию Аристотель делит на две части – теоретическую, которая стремится к достижению истины, независимой от чьего-либо желания, и практическую, занятую умом и человеческими устремлениями, которые совместными усилиями стараются уяснить суть человеческого блага и его достигнуть. В свою очередь теоретическая философия делится на три части: исследование изменяющегося бытия (физика и естествознание, включая науку о человеке); исследование бытия абстрактных математических объектов (различные разделы математики); исследование бытия как такового (то, что мы называем метафизикой).

Логика Аристотеля - это “мышление о мышлении”1

Если говорить кратко, то Аристотелевская логика изучает:

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

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

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

Мышление - это суть логики. Согласно Аристотелю, мышление – это не конструирование или создание умом некой новой сущности, но скорее уподобление в акте мышления чему-то, находящемуся вовне. Понятие есть отождествление ума с каким-то видом бытия, а суждение – выражение соединения таких видов бытия в действительности. Наконец, к верным заключениям науку направляют правила вывода, законы противоречия и исключенного третьего, поскольку этим принципам подчиняется все бытие.

Вопрос о том, что такое бытие, Аристотель предлагал рассматривать путём анализа высказываний о бытии. «Высказывание» по-гречески – «категория». Согласно Аристотелю, все высказывания языка, так или иначе, отнесены к бытию, но ближе всего к бытию стоит аристотелевская категория сущности (поэтому её, как правило, и отождествляют с бытием). Все остальные категории – качества, количества, отношения, места, времени, действия, страдания, состояния, обладания – соотносятся с бытием через категорию сущности. Сущность по Аристотелю – это единичное, обладающее самостоятельностью, в отличие от его состояний и отношений, которые являются изменчивыми и зависят от времени, места, от связей с другими сущностями и т. д. Именно сущность может быть выражена в понятии и является предметом строгого знания – науки.

Говоря сущность, мы подразумеваем сущность вещей, поэтому необходимо понять, что такое существование вещи. “Если вещь действительно существует, то необходимым образом существует и идеи вещей, так что без идеи вещь не существует или сама вещь остается непознаваемой”1. Идея же вещи находится внутри самой вещи. Аристотель стремится познать сущность вещей через их родовые понятия, а поэтому в центре внимания у него находится отношение общего к частному. Сущность отвечает на вопрос: «Что есть вещь?» Раскрывая сущность вещи, мы, согласно Аристотелю, даём ей определение, понятие вещи. Приведенные выше девять категорий отвечают на вопрос: «Каковы свойства вещи?» - и определяют признаки, свойства вещи, её атрибуты. О сущности, таким образом, высказываются все категории, но она сама ни о чём не высказывается: она есть нечто самостоятельное, существующее само по себе, безотносительно к другому. Аристотелю характерно убеждение в том, что сущность первичнее отношений. Исходя из всего этого, Аристотель создаёт первую в истории систему логики – силлогистику, главную задачу которой он видит в установлении правил получения достоверных выводов из определённых посылок. Центр аристотелевской логики составляет учение об умозаключениях и доказательствах, основанных на отношениях общего и частного. Формальная логика, созданная Аристотелем, на протяжении многих веков служила главным средством научного доказательства.

Говоря в целом можно сказать, что бытие - это устойчивое, единое, неделимое, целое, в которой неделимы также и первичные сущности.

К логическим произведениям Аристотеля относятся “Категории”, “Об истолковании”, “Аналитики” первая и вторая, “Топика” и “О софистических опровержениях”.

Логика Аристотеля завершается анализом логических ошибок, сознательно или бессознательно совершаемых людьми. В своем последнем логическом трактате “О софистических опровержениях”, который иногда рассматривается как последняя (девятая) книга ”Топики”, он показывает, что все логические ошибки суть не что иное, как погрешности в силлогизме. Они, в свою очередь, разделяются на языковые ошибки (двусмысленность слов - омонимия или выражений - амфиболия; неправильность соединения или разделения мыслей, ошибки в ударениях и подстановка одной грамматической формы вместо другой) и ошибки внеязыковые (собственно логические: подмена сущности случайным признаком, смешение абсолютного и относительного, незнание сущности доказательства, предвосхищение основания, предположение причины в том, что не может ею быть, и соединение многих вопросов в один).

Такова классическая система аристотелевской логики. Она оправдана, поскольку логике в течение двух тысячелетий отводилась главным образом роль учебной дисциплины. Последние исследования по истории логики подводят к выводу, что путь исследования логических вопросов был противоположен пути изложения. Исследование начинается с реальной практики диалогического мышления, с платоновского диалога (“Топика”), отсюда переход к абстрактным формам умозаключения (“Аналитики”), и лишь затем идет теория суждения или высказывания (“Об истолковании”) и учение о терминах или понятиях (“Категории”). С этой точки зрения становится понятно, почему “Категории” могут рассматриваться и рассматривались как последний трактат логики и первый – “метафизики”. Исследованные там понятия действительно стоят ближе к тем причинам и являются предметом “первой философии”.