Логика Аристотеля

Теорию силлогизма, можно  назвать «самой авторской». Аристотель наиболее полно раскрывает здесь  все свои знания. Основные элементы, введенные им, это фигуры и модусы силлогизма. Все это формы мысли, которые позволяют придти к какому-либо недвусмысленному выводу.

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

2. Основные логические законы.

1. Закон тождества.

Первый и наиболее важный закон логики — это закон тождества, который был сформулирован Аристотелем  в трактате "Метафизика" следующим  образом: "…иметь не одно значение —  значит не иметь ни одного значения; если же у слов нет значений, тогда  утрачена всякая возможность рассуждать друг с другом, а в действительности и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно". Можно было бы добавить к этим словам Аристотеля известное утверждение о том, что мыслить (говорить) обо всем — значит не мыслить (не говорить) ни о чем.

Закон тождества утверждает, что любая мысль (любое рассуждение) обязательно должна быть равна (тождественна) самой себе, т. е. она должна быть ясной, точной, простой, определенной. Говоря иначе, этот закон запрещает путать и подменять понятия в рассуждении (т. е. употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова), создавать двусмысленность, уклоняться от темы и т п. Например, непонятен смысл фразы: "Из-за рассеянности на турнирах шахматист неоднократно терял очки". Очевидно, что по причине нарушения закона тождества появляются неясные высказывания (суждения). Символическая запись этого закона выглядит так: а →а (читается: "Если а, то а"), где а — это любое понятие, высказывание или целое рассуждение.

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

Однако на нарушениях закона тождества строятся не только неясные  суждения и софизмы. С помощью  нарушения этого закона можно  создать какой-нибудь комический эффект. Например, Николай Bacильeвич Гоголь в поэме "Мертвые души", описывая помещика Ноздрева, говорит, что тот был "историческим человеком", потому что где бы он ни появлялся, с ним обязательно случалась какая-нибудь "история". На нарушении закона тождества построены многие комические афоризмы. Например: "Не стой где попало, а то еще попадет".

Нарушение этого закона также  лежит в основе многих известных  нам с детства задач и головоломок. Например, мы спрашиваем собеседника: "За чем (зачем) находится вода в стеклянном стакане?" — преднамеренно создавая двусмысленность в этом вопросе (зачем — для чего и за чем — за каким предметом, где). Собеседник отвечает на один вопрос, например он говорит: "Чтобы пить, поливать цветы", а мы подразумеваем другой вопрос и, соответственно, другой ответ: "За стеклом".

В основе всех фокусов также  лежит нарушение закона тождества. Эффект любого фокуса заключается в  том, что фокусник делает что-то одно, а зрители думают совершенно другое, т. е. то, что делает фокусник, не равно (не тождественно) тому, что думают зрители, отчего и кажется, что фокусник совершает  что-то необычное и загадочное. При  раскрытии фокуса нас, как правило, посещает недоумение и досада: это  было так просто, как же мы вовремя  этого не заметили.

2. Закон противоречия.

Закон противоречия говорит  о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. Например, два суждения: "Сократ высокий", "Сократ низкий" (одно из них нечто утверждает, а другое то же самое отрицает, ведь высокий — это не низкий, и наоборот), — не могут быть одновременно истинными, если речь идет об одном и том же Сократе, в одно и то же время его жизни и в одном и том же отношении, т. е. если Сократ по росту сравнивается не с разными людьми одновременно, а с одним человеком. Понятно, что когда речь идет о двух разных Сократах или об одном Сократе, но в разное время его жизни, например в 10 лет и в 20 лет, или один и тот же Сократ и в одно и то же время его жизни рассматривается в разных отношениях, например он сравнивается одновременно с высоким Платоном и низким Аристотелем, тогда два противоположных суждения вполне могут быть одновременно истинными, и закон противоречия при этом не нарушается. Символически он выражается следующей тождественно-истинной формулой: ¬ (а Λ ¬ а), (читается: "Неверно, что а и не а"), где а — это какое-либо высказывание.

Закон противоречия запрещает  одновременную истинность двух суждений, одно из которых нечто утверждает, а другое то же самое отрицает об одном и том же предмете, в одно и то же время и в одном и том же отношении. Однако этот закон не запрещает одновременную ложность двух таких суждений. Вспомним, суждения: "Он высокий", "Он низкий", — не могут быть одновременно истинными, если речь идет об одном и том же человеке, в одно и то же время его жизни и в одном и том же отношении (относительно какого-то одного образца для сравнения). Точно так же одновременно ложными (но не одновременно истинными!) могут быть суждения: "Эта вода горячая", "Эта вода холодная"; "Данная речка глубокая", "Данная речка мелкая"; "Эта комната светлая", "Эта комната темная". Одновременную ложность двух суждений мы часто используем в повседневной жизни, когда, характеризуя кого-то или что-то, строим стереотипные обороты типа: "Они не молодые, но и не старые", "Это не полезно, но и не вредно", "Он не богат, однако и не беден", "Данная вещь стоит не дорого, но и не дешево", "Этот поступок не является плохим, но в то же время его нельзя назвать хорошим".

3. Закон исключенного  третьего.

Суждения бывают противоположными и противоречащими. Например, суждения: "Сократ высокий", "Сократ низкий", — являются противоположными, а  суждения: "Сократ высокий", "Сократ невысокий", — противоречащими. В чем разница между противоположными и противоречащими суждениями? Нетрудно заметить, что противоположные суждения всегда предполагают некий третий, средний, промежуточный вариант. Для суждений: "Сократ высокий", "Сократ низкий", — третьим вариантом будет суждение: "Сократ среднего роста". Противоречащие суждения, в отличие от противоположных, не допускают или автоматически исключают такой промежуточный вариант. Как бы мы ни пытались, мы не сможем найти никакого третьего варианта для суждений: "Сократ высокий", "Сократ невысокий" (ведь и низкий, и среднего роста — это все невысокий).

Именно в силу наличия  третьего варианта противоположные  суждения могут быть одновременно ложными. Если суждение: "Сократ среднего роста", — является истинным, то противоположные  суждения: "Сократ высокий", "Сократ низкий", — одновременно ложны. Точно так же именно в силу отсутствия третьего варианта противоречащие суждения не могут быть одновременно ложными. Таково различие между противоположными и противоречащими суждениями. Сходство между ними заключается в том, что и противоположные суждения, и противоречащие не могут быть одновременно истинными, как того требует закон противоречия. Таким образом, этот закон распространяется и на противоположные суждения, и на противоречащие. Однако, как мы помним, закон противоречия запрещает одновременную истинность двух суждений, но не запрещает их одновременную ложность; а противоречащие суждения не могут быть одновременно ложными, т. е. закон противоречия является для них недостаточным и нуждается в каком-то дополнении. Поэтому для противоречащих суждений существует закон исключенного третьего, который говорит о том, что два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными (истинность одного из них обязательно означает ложность другого, и наоборот).

4. Закон достаточного  основания.

Закон достаточного основания  утверждает, что любая мысль (тезис) для того, чтобы иметь силу, обязательно  должна быть доказана (обоснована) какими-либо аргументами (основаниями), причем эти  аргументы должны быть достаточными для доказательства исходной мысли, т. е. она должна вытекать из них с  необходимостью (тезис должен с необходимостью следовать из оснований).

Приведем несколько примеров. В рассуждении: "Это вещество является электропроводным (тезис), потому что  оно — металл (основание)", —  закон достаточного основания не нарушен, так как в данном случае из основания следует тезис (из того, что вещество металл, вытекает, что  оно электропроводно). А в рассуждении: "Сегодня взлетная полоса покрыта  льдом (тезис), ведь самолеты сегодня  не могут взлететь (основание)", —  рассматриваемый закон нарушен, тезис не вытекает из основания (из того, что самолеты не могут взлететь, не вытекает, что взлетная полоса покрыта  льдом, ведь самолеты могут не взлететь и по другой причине). Так же нарушается закон достаточного основания в  ситуации, когда студент говорит  преподавателю на экзамене: "Не ставьте  мне двойку, спросите еще (тезис), я  же прочитал весь учебник, может быть, и отвечу что-нибудь (основание)". В этом случае тезис не вытекает из основания (студент мог прочитать  весь учебник, но из этого не следует, что он сможет что-то ответить, так  как он мог забыть все прочитанное  или ничего в нем не понять и  т. п.).