Логічний закон , загальна назва законів, створюючих основу логічної дедукції. Поняття про Л. з. сходить до старогрецького поняття про lógos''e як передумові об'єктивної («природною») правильності міркувань. Власне логічний вміст воно вперше отримує в Арістотеля, що поклав почало систематичному опису і каталогізації таких схем логічних зв'язків довільних елементарних висловів в складні вислови, переконливість (загальнозначуща) яких витікає з однієї лише їх форми, а точніше — з одного лише правильного розуміння сенсу логічних зв'язків, безвідносно до істиннісному значенню елементарних висловів. Більшість Л. з., відкритих Арістотелем, це — закони силогізму . Пізніше були відкриті і інші закони і навіть встановлено, що безліч Л. з. нескінченно. В деякому розумінні оглянути цю безконечну безліч Л. з. стало можливим завдяки різного типа формальним теоріям логічного міркування — т.з. логічним формалізмам, або логічним численням, в яких Л. з. виражаються певного вигляду формулами і визначаються — кожен по відношенню до «свого» численню — формулами даного вигляду (т.з. «загальнозначущими формулами», або теоремами числень, див.(дивися) Логіка ) , що виводяться . Існуюче різноманіття логічних числень природно породжує ідею відносності Л. з. Проте типом логічного числення вважаються одночасно і кордони цієї відносності, оскільки тип числення не є виключно справою довільного вибору, а диктується (або підказується) «логікою речей», про які хочуть міркувати, а також, у відомому сенсі, суб'єктивною упевненістю в тому або іншому характері цієї логіки. Всі числення, засновані на одній і тій же гіпотезі про характер «логіки речей», є еквівалентними в тому сенсі, що вони описують («породжують») одні і ті ж Л. з. Наприклад, числення, засновані на двозначності принципі, т.з. числення класичної логіки, не дивлячись на всю їх «зовнішню» різноманітність, описують один і той же «світ» класичний Л. з. — тотожних істин, які відвіку отримали загальноприйняту онтологічну філософську характеристику «вічних істин», або «істин у всіх можливих світах». Л. з. інтуїционістськой логіки жодної загальноприйнятої онтологічної інтерпретації доки не отримали. «Логікою речей», віддзеркаленням якої вони історично з'явилися, була логіка розумових математичних побудов — логіка «знання», а не логіка «буття».
Вивчення Л. з. утворює природний вихідний пункт логічного аналізу прийнятних («хороших») способів міркувань (висновків), оскільки само поняття «Прийнятне, або логічно правильне, міркування» уточнюється через поняття «Л. з.». Зв'язок логічно правильних міркувань с Л. з. виражається в логіці т.з. теоремою про дедукції, що фіксує ту, відмічену ще стоїками, особливу роль, яку Л. з. грають при обгрунтуванні або перевірці наших висновків: відносно будь-якого твердження про виводимість висновку В з посилок А 1 , А 2 ..., A n питання про його істинність вирішується розшуком серед Л. з. вислови A 1 É(A 2 É)(... É(AnéB)..)), де É виражає логічний союз «якщо..., то...». Вказаний зв'язок Л. з. з висновками має загальнонаукове значення і виходить далеко за межі власний логіки, забезпечуючи загальний метод формального доказу засобами логіки (див. Аксіоматичний метод ) .
М. М. Новоселів.
Термін «Л. з.» застосовувався в традиційній логіці по відношенню до т.з. «законам мислення»: закону тотожності («всяка суть збігається сама з собою»), закону протиріччя («жодна думка не може одночасно бути достеменною і помилковою»), закону виключеного третього («для довільного вислову або воно само, або його заперечення достеменне») і закону достатньої підстави («всяка думка, що приймається, має бути належним чином обгрунтоване»). Перший з перерахованих принципів (термін «закон» тут взагалі представляється недоречним) є важлива передумова міркувань, що відноситься, проте, не до логіки, а до онтології і до теорії пізнання і до того ж застосовна всякий раз в точно обумовлених межах; останній принцип також не відноситься до логіки, а має виразно виражений методологічний характер. Виключеного третього принцип дійсно належить логіці, але не у всякій логічній системі відповідна формула (Аù А) общезначима (див. Математичний інтуїционізм, Конструктивний напрям в математиці і логіці). І лише принцип протиріччя (у сучасній логічній символіці: ù (А&ù А) є твердженням, не лише доказовим в будь-якій логічній системі, але і лежачим в деякому розумінні в основі всієї сучасної формальної логіки.
