Основными в формальной логике считаются закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Их более или менее подробная характеристика будет дана в разделе пятом «Основные законы мышления». Они называются основными потому, что, во-первых, носят наиболее общий, универсальный для всего мышления характер, а во-вторых, определяют собой действие других, неосновных законов, которые могут выступать как форма их проявления. К неосновным, как будет показано ниже, относятся закон обратного отношения между содержанием и объемом понятия, законы распределенности терминов в суждении, законы построения умозаключений и т. п.
В каком отношении к действительности находятся логические законы? Здесь важно избежать двух крайностей: отождествления их с законами действительности и противопоставления ей, отрыва от нее.
1. Все законы, раскрываемые логикой, есть законы мышления, а не самой действительности. Это обстоятельство приходится подчеркивать потому, что в истории логики нередко игнорировалась их качественная специфика и они рассматривались как законы и мыслей, и вещей. Например, закон тождества толковался не только как закон однозначности мысли, но и как закон неизменности вещей; закон противоречия — как отрицание не только логических противоречий, но и объективных противоречий самой действительности; закон достаточного основания — как закон не только обоснованности мыслей, но и обусловленности самих вещей.
2. Как и все другие законы, открываемые науками, законы мышления носят объективный характер, т. е. существуют и действуют в мышлении независимо от желания и воли людей. Они лишь познаются людьми и используются ими в их мыслительной практике. Объективной основой этих законов служат коренные свойства окружающего нас мира — качественная определенность предметов и явлений, их закономерные связи и отношения, их причинная обусловленность и т. п. Это необходимо подчеркнуть потому, что в истории логики иногда предпринимались попытки рассматривать их как законы «чистого» мышления, никак не связанного с действительностью.
3. От самих логических законов, существующих и действующих в мышлении, следует отличать требования, вытекающие из них. Если первые, как уже подчеркивалось, носят объективный характер; то вторые — нормативный: в них зафиксированы правила, нормы мышления, или принципы, формулируемые самими людьми, чтобы обеспечить достижение истины. Необходимость подчеркнуть это вызывается тем, что первое и второе зачастую смешиваются. В формулировки объективно действующих законов вводятся нормативные выражения типа «должны», «следует», «требуется» и т. д. В действительности сам закон никому ничего не «должен». Он есть лишь объективная, устойчивая, повторяющаяся связь между самими мыслями. А что должен в этом случае делать человек, это уже совсем иное дело. Он не может нарушить такой закон, как невозможно нарушить, например, закон всемирного тяготения. Можно лишь не выполнять его требований — предположим, выпустить драгоценную вазу из рук. Разбившись, она лишь с особой силой подчеркнет нерушимое действие объективного закона тяготения. В этой связи вспоминается образное сравнение моего учителя и духовного наставника проф. П. С. Попова. «В старину, — писал он, — промысел бортничества в не освоенных культурой лесах обставлялся следующим остроумным приспособлением против медведей, которые любили лакомиться медом, скоплявшимся в пчелиных колодах. Над колодами устраивалась жердь, на которой привешивался чурбан. Медведь отстранял чурбан, чтобы добраться до меда. Чурбан своей тяжестью, приходя в равновесие, ударял медведя по голове. Засвидетельствовано, что повторявшиеся удары чурбана по голове доводили медведей до изнеможения. Но объективно медведи не могли устранить ударов чурбана, так же мы не можем устранить и законы мышления. Как бы мы ни хотели увильнуть от них, строя свои махинации, все равно они ударят по нашим процессам мышления, как возмездие за непризнание их»[3].
4. Все законы, которые выявляются и изучаются логикой, внутренне связаны между собой и находятся в органическом единстве. Это единство определяется тем, что они обеспечивают соответствие мышления действительности, а следовательно, служат духовной предпосылкой успешной практической деятельности.
5. Истинность и правильность мышления
Наконец, остановимся еще на том, что логика изучает не всякое, а правильное мышление, ведущее к истине.
3
Попов П. С. Некоторые основные вопросы логики... //«Ученые записки» Московского областного педагогического института. Т. XXIII. Труды кафедры философии. Вып. 1. М., 1954. С. 186—187.