Законы логики (или логические законы) — это общее название множества законов, образующих основу логической дедукции.
В традиционной формальной логике термин «закон логики» имеет узкий смысл и применяется только к четырём, так называемым, основополагающим законам правильного мышления — к закону тождества, закону противоречия, к закону исключённого третьего и к закону достаточного основания:
- Закон тождества. В процессе умозаключения всякое высказывание и суждение должны оставаться тождественными самим себе.
- Закон противоречия. Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении.
- Закон исключённого третьего. Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано.
- Закон достаточного основания. Никакое суждение не может утверждаться без достаточного основания.
Первый и наиболее важный закон логики – это закон тождества, который был сформулирован Аристотелем в трактате «Метафизика» следующим образом: «…иметь не одно значение – значит не иметь ни одного значения; если же у слов нет (определенных) значений, тогда утрачена всякая …
Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут …
Суждения бывают противоположными и противоречащими. Например, суждения: «Сократ высокий», «Сократ низкий», – являются противоположными, а суждения: «Сократ высокий», «Сократ невысокий», – противоречащими. В чем разница между противоположными и противоречащими суждениями? Нетрудно заметить, что противоположные суждения всегда предполагают некий третий, средний, …
Закон достаточного основания утверждает, что любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана (обоснована) какими-либо аргументами (основаниями), причем эти аргументы должны быть достаточными для доказательства исходной мысли, т. е. она должна вытекать из них с необходимостью …