Хаймо Хофмайстер - Что значит мыслить философски [Поиск фундамента всего знания и всего сущего]

Существуют четыре основоположения:

Principium identitatis: А = А. Этот закон высказывает тождество чего-то с самим собой. В качестве логического требования рriпсiрiит identitatis притязает на то, чтобы любое понятие, любой символ применялся всегда в одном и том же значении.

Рriпсiрiит contradictionis: A ≠ A. Этот закон противоречия, считающийся основным логическим законом, гласит о том, что в одном и том же высказывании невозможны одновременно утверждение и отрицание. Его формулировку мы находим — как уже упоминалось — в «Метафизике» Аристотеля, для которого этот закон представлялся онтологическим основоположением, а не просто логическим.

Principium exclusi tertii — закон исключенного третьего: В = А или B ≠ A — третьего не дано (tertium поп datur). Это основоположение имеет значение в первую очередь для двойственной логики, для множественной же он имеет значение только в модифицированной форме: рriпсiрiит exclusi quarti, quinti и так далее.

Principium rationis sufficientis — закон достаточного основания: в формулировке Лейбница он гласит: «никогда ничто не случается без какой-либо причины или по крайней мере без достаточного основания». [296]

По своей структуре традиционная логика подразделяется на три отличных друг от друга части: на учение о понятии, учение о суждении и учение о заключении.

Давайте рассмотрим более подробно прежде всего формы, о которых трактует логика.

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

Далее, традиционная логика различает индивидуальные и универсальные понятия. Индивидуальные понятия — это имена, а именно имена собственные, которые сказываются об индивидуальном, которое не является общепознаваемым. Но вместо собственного имени могут применяться также и указующие признаки, такие как «этот здесь», «тот там»; например, когда я говорю: «Эта скрипка здесь». Имя «Сократ» означает то, что составляет индивидуальность Сократа, или понятие «греческий мир» подразумевает специфическое в имевшей в истории место греческой культуре. Другими индивидуальными понятиями являются «Дунай», «Рейн», «Неккар». Далее к индивидуальным понятиям причисляются также понятия отдельных вещей, таких как «скрипка, на которой я играл», «камень, о который я споткнулся». Индивидуум как таковой, соответственно отдельную вещь невозможно высказать с помощью универсального понятия, напротив, благодаря ему она может быть только описана; универсальные и всеобщие понятия высказывают об индивидууме лишь что-то. Предложение «Скрипка, на которой я играл» описывает совершенно определенный музыкальный инструмент. Но понятие «скрипка» как универсальное понятие не подразумевает лишь один конкретный экземпляр, именно тот, на котором я играл, а подразумевает множество экземпляров, которые принадлежат к определенному виду музыкальных инструментов. Вид музыкальных инструментов, к которым причисляются скрипки, можно определить понятийно, т. е. благодаря родовым характеристикам (genus proximum). В случае со скрипкой родовое понятие — это «музыкальные инструменты», но ведь могли бы быть и «ударные инструменты», пока мы не выявили их отличительные признаки (differentia specified). Таким образом, мы определяем универсальное понятие в логическом смысле с помощью родовой характеристики и отличительных признаков между понятиями на равной ступени: « definitio fit per genus proximum et differentiam specificam».

Отношение между видовыми и родовыми понятиями отчетливо видно на примере дерева Порфирия. [297]Здесь следует заметить, что при отсутствии высшего родового понятия любое самое низшее видовое понятие может быть любым из этих понятий — как видовым, так и родовым.

Следующая схема изображает arbor porphyriana и заканчивается на индивидуумах и более не схватываемых в понятиях единичных вещах. [298]

Сам Порфирий описывает это дерево так: