Понятие сознания

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

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

Так же как любые буквы алфавита можно переставлять друг относительно друга, не изменяя при этом смысла этих букв, так и между формой высказывания и типами факторов, образующих ее, по всей видимости, не усматривалось никакого взаимодействия. Никакой связи между формальными свойствами высказываний, от которых зависит возможность или невозможность вывода определенных следствий, и формальными свойствами или категориями терминов и других пропозициональных факторов установлено не было. Открытые Аристотелем правила силлогизма основаны на понятиях, выраженных такими словами, образующими логические формы, как все, некоторые, этот, не, и, если…, то и т. д., но они не связаны с его классификацией категорий терминов.

Это то же самое, как если бы в первой главе грамматики давались определения частей речи, таких, как существительные, предлоги, глаголы, союзы и т. д., а в другой главе — совершенно независимые определения синтаксических правил, тогда как в действительности именно эти правила должны были уже содержаться в понятиях существительного, глагола, союза и т. д. Таким образом, факторы, типы которых зависят именно от той определяющей роли, которую они играют в словосочетаниях, в которые они входят, трактуются как произвольно переставляемые фишки.

Знать все о логической форме высказывания означает знать все о логических типах его пропозициональных факторов. (Я взял на себя смелость, возможно, излишнюю, заменив в этой статье традиционную терминологию — «пропозициональные функции», «переменные», «значения» и т. д. Однако я поступил так по той простой причине, что последняя ведет ко многим недоразумениям, в частности остается неясным, говорим ли мы, когда речь идет о функциях, переменных, значениях и т. п., о некоторых выражениях или же мы говорим посредством этих выражений об определенного рода вещах. Например, что считать значением переменной в выражении «х курносый» — Сократа или «Сократа»? Терминология, которую я предлагаю, по-видимому, более прозрачна с семантической точки зрения, а ее отдельные элементы выглядят достаточно самоочевидными.)

Формы суждения и категории Канта

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

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