Глава III

ОСНОВНЫЕ ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ

§ 23. Общие замечания

Любая наука стремится к раскрытию закономерных связей в описываемом ею содержании. Основной целью этого рроцесса' является выделение таких объективных условий, соблюдение которых приводит в конечном счете к правильному отражению окружающей действительности в сознании человека, к истйнЧ ным результатам познания. «Над всем нашим теоретическим?-мышлением, — писал Ф. Энгельс, — господствует с абсолютной силой тот факт, что наше субъективное мышление и объектив­ный мир подчинены одним и тем же законам и что поэтому они и не могут противоречить друг другу в своих результатах, а должны согласоваться между собой. Факт этот является бес­сознательной и безусловной предпосылкой нашего теоретнче-i ского мышления».¹⁶ Применительно к логике задача раскрытия закономерных связей ее содержания состоит в выявлении таких отношений между мыслями, которые, во-первых, находятся в* соответствии с общими связями и отношениями между вещами и, во-вторых, выступают условием истинного познания,

В законе логики своеобразно отражается общественно-источ! рическая практика людей. «...Практика человека, миллиарды! раз повторяясь, закрепляется в сознании человека фигурами логики. Фигуры эти имеют прочность предрассудка, аксиома­тический характер именно (и только) в силу этого миллиард­ного повторения».Маркс К. иЭнгельсФ. Соч., т. 20, с. 581. Ленин В. И. Поли. собр. соч., т. 29, с. 198.

Существует бесчисленное множество законов логики, отра­жающих различные виды связи между суждениями и понятия* ми. К числу логических законов относятся, например, те необ­ходимые условия, которым должны удовлетворять различные логические операции. Эти условия формулируются часто в виде правил. Таковы, например, правила определения, правила де­ления и т. п. Большое значение в логике имеют законы, выра­жающие зависимость истинности (или ложности) одних сужде­ний от истинности (или ложности) других. Эти законы опреде­ляют логически правильные формы умозаключений. Примером логического закона может служить утверждение: «Если все М суть Р и все 5 суть то все S суть Р». Какие бы конкретные по содержанию понятия мы не подставили вместо М, Р и 5 в указанное предложение, всякий раз все это предложение

будет истинным. Подобные выражения в современной символиче­ской (математической) логике получают название тождествен­но-истинных.

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