Мудрость Запада

Хотя логика должна иметь дело со словами, она, по Аристотелю, не просто связана со словами. Поскольку большинство слов - это более или менее случайные обозначения, которые выступают вместо реальных вещей. Поэтому логика - это не то же самое, что грамматика, хотя логика может влиять на грамматику. Логика - и не то же самое, что метафизика, так как она не столько говорит о том, каково это, сколько о способе, как нам узнать это. Именно здесь важно отрицание Аристотелем теории идей. Для человека, который придерживается этой теории, логика в ее узком смысле может приравниваться к метафизике. Аристотель же, напротив, различает их. Он пытается разрешить проблему всеобщего с помощью того, что мы можем назвать "понятия", которые в любом случае не существуют в ином мире, чем наш. И наконец, логика - это не то же самое, что психология. Это становится особенно ясным в случае с математикой. Дедуктивная последовательность элементов Евклида - это одно, уклончивость человеческих описаний, вовлеченных в математическое исследование, которые вынесли это знание на свет, - это совсем другое. Логическая структура науки и психология научного исследования - это две отдельные и различные вещи. То же самое мы видим и в эстетике: достоинства произведения искусства не имеют ничего общего с психологией их создателя.

Исследование логической основы знания должно где-то обратиться к структуре языка и тому, что может быть сказано. Это объяснено в Аристотелевом "органоне", с которым мы имеем дело в "Категориях". Начало этому было положено Платоном, как мы видели при обсуждении "Софиста". Обсуждение этого вопроса у Аристотеля, однако, значительно более приближено к земле и более тесно связано с фактами языка. В нем выделяются десять общих категорий, которые могут быть различены в речи. Это - сущность, качество, количество, отношение, место, время, положение, состояние, действие и склонность. Первая - сущность, то есть то, о чем любое утверждение. Остальные категории распространяются на различные виды утверждений, которые могут быть сделаны о сущности. Так, если мы говорим о Сократе, мы можем сказать, что у него есть определенное качество, то есть что он философ. Существует определенное количественное измерение его, это может быть рост. Это соответствует количеству. Он находится в определенных отношениях с другими вещами, расположенными в пространстве и времени, и взаимодействует с окружающим, делая и испытывая на себе определенные вещи. У теории категорий было много выдающихся сторонников, как мы увидим позднее, хотя в большинстве случаев они были более заражены метафизикой, чем лингвистическое исследование Аристотеля. Особенно это касается Канта и Гегеля.

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

Логика Аристотеля - это первая попытка установить в систематизированном виде общую форму языка и доказательства. Многое в ней вдохновлено Платоном, но это не уменьшает ее значения. У Платона вопросы логики разбросаны там и сям по диалогам, и какой-то отдельный вопрос может быть поднят и вновь оставлен, как диктует логика произведения в этот момент. В любом случае Аристотель сделал для логики то, что вскоре сделал Евклид в геометрии. Аристотелева логика полностью господствовала вплоть до XIX в. Как и многому другому, логике Аристотеля стали учить в устаревшей манере людей, которые испытывали такой благочестивый страх перед его авторитетом, что даже не решались задавать вопросы. Для большинства новых философов периода Возрождения характерно, что они были совершенно не удовлетворены школьными учителями - последователями Аристотеля. Это вызывало реакцию против всего, что было связано с именем Аристотеля. И это печально, потому что у него можно научиться многому ценному. Однако в одном важном отношении логика Аристотеля была неполной. Она не затрагивала относительные доказательства, которые особенно важны в математике. Возьмем простой пример: А больше В, В больше С, следовательно, А больше С.

Один из видов относительного доказательства. Аристотель не признавал их.

Существенным здесь является переходный характер связи "больше, чем". При некоторой изобретательности это доказательство может быть втиснуто в форму силлогизма, но в более сложных случаях это не удается;

относительный характер такого доказательства был упущен из виду.