1.2. ОСНОВОПОЛОЖЕНИЯ ЛОГИКИ

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

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

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

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

4. Principium rationis sufficientis — закон достаточного основания: в формулировке Лейбница он гласит: «никогда ничто не случается без

187

какой-либо причины или по крайней мере без достаточного основания».¹¹

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

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