- термин традиционной логики, обозначавший требование к логически совершенному мышлению, имеющее формальный характер, т. е. не зависящее от конкретного содержания мыслей. 3. м. назывались также законами логики или (формально-) логическими законами. Из множества З.м. выделялись т. наз. основные З.м. (логики), связанные, как считалось, с наиболее существенными свойствами мышления - такими, как определенность, непротиворечивость, последовательность, обоснованность. Основные 3. м. рассматривались как наиболее очевидные из всех утверждений логики, являющиеся чем-то вроде аксиом этой науки. Под неясное понятие основного 3. м. подводились чаще всего непротиворечия закон, тождества закон, закон исключенного третьего. Нередко к ним добавляли достаточного основания принцип и принцип "обо всех и ни об одном" ("сказанное обо всех предметах какого-то рода верно и о некоторых из них, и о каждом в отдельности; неприложимое ко всем предметам неверно также в отношении некоторых и отдельных из них"). В концепции основных 3. м. собственно логическое содержание смешивалось с теоретико-познавательным и с расплывчатыми методологическими рекомендациями (требованиями обосновывать каждое выдвигаемое утверждение, доводить исследование любого вопроса до полной определенности, выделять обсуждаемые объекты по достаточно устойчивым признакам и т. п.). Логика современная (математическая, символическая) показала, что логических законов бесконечно много и нет оснований делить их на основные и второстепенные. Построены логические системы, в которых не являются законами закон исключенного третьего (интуиционистская логика, некоторые системы многозначной логики), непротиворечия закон (паранепротиворечивая логика). Термин "3. м." в логике современной не употребляется (см.: Логический закон).