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

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

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

Существуют и дополнительные законы логики. К ним относят:

• двойное отрицание;
• контрапозицию.

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

Видео: Информатика. Выпуск 7. Алгебра логики. Основные законы алгебры логики.

Законы логики

Первым законом является закон тождества. Суть в том, что в любой мысли в процессе рассуждения должно присутствовать какое-либо четкое, внутреннее содержание. Важно также то, чтобы это содержание не изменялось в процессе. Определенность в каком-то смысле является коренным свойством мышления. На ее основании и выводится закон тождества: все мысли должны быть целиком и полностью тождественными сами себе. Различные мысли не могут отождествляться ни при каких обстоятельствах. Часто данный закон нарушается тем, что одни и те же мысли выражаются разными способами. Также проблемы возникают в тех случаях, когда употребляются слова, имеющее несколько совсем непохожих значений. При этом мысли могут быть отождествлены ошибочно.

Видео: Алгебра логики: Законы алгебры логики. Центр онлайн-обучения «Фоксфорд»

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

Законы логики включают в себя закон непротиворечия. Начнем с того, что логическое мышление – это мышление непротиворечивое. Любая содержащая противоречие мысль, способна заметно затруднить процесс познания. Формально-логический анализ основан на необходимости непротиворечия мышления: если существует два противоречивых понятия, то хотя бы одно из них должно быть ложным. Одновременно быть истинными они не могут ни при каких обстоятельствах. Данный закон может действовать только на два абсолютно противоречивых суждения.

Закон исключенного третьего также входит в основные законы логики. Его действие распространяется на находящиеся в противоречии суждения. Суть в том, что два противоположных суждения не бывают одновременно ложными – одно обязательно является истинным. Отметим, что противоречащими суждения называют такие высказывания, одно из которых что-либо отрицает о предмете либо же явлении нашего мира, а второе в тот же самый момент утверждает то же самое, о том же самом явлении или предмете. В некоторых случаях речь может идти не совсем явлении или предмете, а только о какой-то конкретно определенной части. В случае, если удается доказать истинность одного из противоречащих суждения, то ложность другого доказывается автоматически.

Завершает законы логики закон достаточного основания. Он выражает те требования, которые предъявляются к обоснованности мыслей. Суть в том, что любая имеющая достаточное основание мысль может быть признана истинной. Иначе говоря, если есть мысль, то должно быть и ее обоснование. В большинстве случаев достаточным основанием является какой-либо опыт человека. В некоторых случаях доказать истинность можно только путем предоставления фактов, дополнительного сбора информации и так далее. Для подтверждения каких-либо частных случаев для подтверждения истинности не обязательно обращаться к какому-либо опыту – в мире существует множество аксиом, то есть того, что ни в каком доказательстве не нуждается.