Изучение системы последовательного рассуждения. Анализ логических следования и доказательства. Исследование универсальности и необходимости применения основных законов логики: тождества, противоречия, исключенного третьего и достаточного основания.
Аннотация к работе
В логике, как и во всякой науке, главное - законы. Однородные законы объединяются в логические системы, которые тоже обычно именуются логиками.Подобно всем иным научным законам, логические законы являются универсальными и необходимыми. Они действуют всегда и везде, распространяясь в равной мере на всех людей и на любые эпохи.Иначе говоря, каждое высказывание вытекает из самого себя и является необходимым и достаточным условием своей истинности. В приложениях закона тождества к конкретному материалу с особой наглядностью обнаруживается общая черта всех логических законов. Закон тождества нередко ошибочно подменяется требованием устойчивости, определенности мышления. Действительно, в процессе рассуждения значения понятий и утверждений не следует изменять. Если мы начали говорить, допустим, о спутниках как небесных телах, то слово «спутник» должно, пока мы обсуждаем эту тему, обозначать именно такие тела, а не каких-то иных спутников.И вместе с тем в истории логики не было периода, когда бы этот закон не оспаривался и когда бы дискуссии вокруг него совершенно затихали. Закон противоречия говорит о противоречащих друг другу высказываниях, т.е. о высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания «Луна - спутник Земли» и «Луна не является спутником Земли», «Трава - зеленая» и «Неверно, что трава зеленая» и т.п. Если обозначить буквой А произвольное высказывание, то выражение не-А (неверно, что А) будет отрицанием этого высказывания. Идея, выражаемая законом противоречия, проста: высказывание и его отрицание не могут быть вместе истинными.Закон исключенного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. Само название закона выражает его смысл: дело обстоит так, как говорится в рассматриваемом высказывании, или так, как говорится в его отрицании, и никакой третьей возможности нет. Человек говорит прозой или не говорит прозой, кто-то рыдает или не рыдает, собака выполняет команду или не выполняет ее и т.п. В частности, Аристотель сомневался в приложимости этого закона к высказываниям о будущих событиях. Значит, заключает Аристотель, хотя и без особой уверенности, данный закон следует ограничить одними высказываниями о прошлом и настоящем и не прилагать его к высказываниям о будущем.Сущность закона: всякая мысль может быть признана истинной только тогда, когда она имеет достаточное основание, всякая мысль должна быть обоснована. В - логическое основание, то есть мысль, из которой вытекает другая мысль. Предметы и явления действительности связаны таким образом, что часто знание наличия одного из них может быть основанием для знания другого. Таким образом, достаточное основание - это любая другая мысль, уже проверенная и признанная истинной, из которой с необходимостью вытекает истинность другой мысли. Закон достаточного основания требует обоснованности всякого положения, но он не может указать, каким должно быть конкретное содержание данного основания.Среди множества логических законов логика выделяет четыре основных-это закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Закон тождества нередко ошибочно подменяется требованием устойчивости, определенности мышления. Закон противоречия говорит о противоречащих друг другу высказываниях, т.е. в одном из противоречащих высказываний что-то утверждается, в другом - это же самое отрицается. Закон исключенного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями.