Основные законы формальной логики

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

Закон тождества - согласно этому принципу всякое высказывание влечет само себя, он гласит, что если высказывание истинно, оно истинно. Например, «если сахар сладкий, то он сладкий». Принцип тождества выражает идею, что каждое высказывание является необходимым и достаточным условием своей собственной истинности.

Закон непротиворечия - принцип, согласно которому высказывание и его отрицание не могут быть одновременно истинными. В этом случае высказывания противоречат друг другу, что является ошибкой. Например, «Солнце встает на востоке» и «Солнце не встает на востоке». Этот закон подчеркивает, что никакое высказывание не является одновременно истинным и ложным, то есть никакое высказывание не может соответствовать реальному положению дел и одновременно не соответствовать ему.

Следствием этого закона является мысль, что из двух противореча­щих друг другу высказываний (то есть в том случае, когда имеется высказывание и его отрицание) одно является ложным. Противоречие в языковом контексте иногда является неявным. Так, широко известное утверждение древнегреческого философа Сократа «Я знаю, что ничего не знаю», содержит в себе противоречие. Если Сократ знает, что он ничего не знает, то ему уже что-то известно, пусть это и сведение об отсутствии знаний, либо он не должен знать что ничего не знает.

Закон исключенного третьего - принцип, со­гласно которому истинно или само высказывание, или его отри­цание. Он устанавливает связь между противоречащими друг другу высказываниями, которая заключается в том, что только одно из таких высказываний истинно. Например, «Вторая мировая война началась в 1939 году или она не началась в этом году», «завтра будет футбольный матч или завтра не будет футбольного матча» и т. п. Само название закона выражает его смысл: дело обстоит так, как описывается в рассматриваемом высказывании, или так, как говорится в его отрицании. Третьего варианта нет («третьего не дано»).

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

ВЫВОДЫ:

- Язык оперирует знаками – именами, которые характеризуются с точки зрения их смысла и значении

- Языки делятся на естественные и искусственные согласно способу их возникновения и описываемым ими предметам

- Естественные языки характеризуются такими свойствами, как многозначность, некомпозициональность и самоприменимость

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