Логический закон и правило

В логике по сей день точно не установлено, что называется законом и что правилом. Правда, то или иное употребление слов «закон» и «правило» зависит и от соглашения, но всё-таки нужно внести ясность в этот вопрос.

Логическим законом должен быть принцип, который действует в каждой форме логического, несмотря на то, будет ли этот закон основным или неосновным законом односторонности или сущности логического. Логическим правилом называется положение, которое действует только в какой-нибудь форме мысли.

Надо сказать, что логический закон можно назвать правилом, но не наоборот, не каждое правило есть закон, поскольку законом может быть только такое правило, которое является общим для всех логических форм.

Как это мы увидим в последующем, существует такое умозаключение, которое вместе с тем является и доказательством. Поэтому не будет разницы между его законом и правилом; ему подчиняются также и составные части умозаключения-суждения. Такой закон, или правило есть закон и правило категории логического или бесконечного умозаключения.

Слова «закон» и «правило» имеют совершенно другой смысл в математической логике. Логическим законом называется тавтологичное или всегда истинное положение, т.е. такое предложение, которое является истинным несмотря на истинность или ложность его составных частей, функцию истинности которых оно представляет. Логическое правило в математической логике в действительности есть не логическое, а металогическое правило, как напр., способ подстановки, применение которого носит механический характер. Функциональное отношение также не является логическим отношением (понятие функции есть основное понятие математики, а не логики) и механический процесс не имеет характера логической необходимости. Поэтому в логике логический закон и правило, мы должны понимать так, как это было сказана выше.

ЧАСТЬ ВТОРАЯ.
ЛОГИЧЕСКИЕ ФОРМЫ МЫСЛИ

ГЛАВА ПЕРВАЯ (5)
СУЖДЕНИЕ