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