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