Лог і чний зак о н, загальна назва законів, що утворюють основу логічної дедукції. Поняття про Л. з. сходить до старогрецького поняття про l ó gos'e як передумові об'єктивної ( «природною») правильності міркувань. Власне логічний зміст воно вперше отримує у Аристотеля , Який поклав початок систематичному опису і каталогізації таких схем логічних зв'язків довільних елементарних висловлювань в складні висловлювання, переконливість (общезначімость) яких випливає з однієї лише їх форми, а точніше - з одного тільки правильного розуміння сенсу логічних зв'язків, безвідносно до істинності значення елементарних висловлювань. Більшість Л. з., Відкритих Аристотелем, це - закони силогізму . Пізніше були відкриті і інші закони і навіть встановлено, що безліч Л. з. нескінченно. У певному сенсі оглянути це безліч Л. з. стало можливим завдяки різного типу формальним теоріям логічного міркування - т. зв. логічним формалізмам, або логічним исчислениям , В яких Л. з. виражаються певного виду формулами і визначаються - кожен по відношенню до «свого» обчисленню - виведеними формулами даного виду (т. зв. «загальнозначущими формулами», або теоремами числень, див. логіка ). Існуюче різноманіття логічних числень природно породжує ідею відносності Л. з. Однак типом логічного числення покладаються одночасно і кордони цієї відносності, оскільки тип обчислення не є виключно справою довільного вибору, а диктується (або підказується) «логікою речей», про які хочуть міркувати, а також, в даному разі, суб'єктивної впевненістю в тому чи іншому характері цієї логіки. Всі обчислення, засновані на одній і тій же гіпотезі про характер «логіки речей», є еквівалентними в тому сенсі, що вони описують ( «породжують») одні й ті ж Л. з. Наприклад, обчислення, засновані на двозначності принципі , Т. Н. числення класичної логіки, не дивлячись на всі їх «зовнішнє» різноманітність, описують один і той же «світ» класичний Л. з. - тотожних істин, які здавна отримали загальноприйняту онтологічну філософську характеристику «вічних істин», або «істин у всіх можливих світах». Л. з. интуиционистской логіки ніякої загальноприйнятої онтологічної інтерпретації поки не отримали. «Логікою речей», віддзеркаленням якої вони історично з'явилися, була логіка розумових математичних побудов - логіка «знання», а не логіка «буття».

Вивчення Л. з. утворює природний вихідний пункт логічного аналізу прийнятних ( «хороших») способів міркувань (висновків), оскільки саме поняття «прийнятне, або логічно правильне, міркування» уточнюється через поняття «Л. з. ». Зв'язок логічно правильних міркувань з Л. з. виражається в логіці т. н. теоремою про дедукції, що фіксує ту, помічену ще стоїками, особливу роль, яку Л. з. грають при обгрунтуванні або перевірці наших висновків: щодо будь-якого затвердження про виводимості укладення В з посилок А1, А2, ..., An питання про його істинність стоїть розвідкою серед Л. з. висловлювання A1 É (A2 É) (... É (An É B) ..)), де É виражає логічний союз «якщо ..., то ...». Зазначена зв'язок Л. з. з висновками має загальнонаукове значення і виходить далеко за межі власне логіки, забезпечуючи загальний метод формального доказу засобами логіки (див. аксіоматичний метод ).

М. М. Новосьолов.

Термін «Л. з. »застосовувався в традиційній логіці по відношенню до т. зв. «Законам мислення»: закону тотожності ( «будь-яка сутність збігається сама з собою»), закону протиріччя ( «ніяке судження не може одночасно бути істинним і хибним»), закону виключеного третього ( «для довільного висловлювання або воно само, або його заперечення істинно ») і закону достатньої підстави (« всяке прийняте судження має бути належним чином обґрунтоване »). Перший з перерахованих принципів (термін «закон» тут взагалі представляється недоречним) є важливою передумовою міркувань, що відноситься, однак, не до логіки, а до онтології і до теорії пізнання і до того ж застосовна всякий раз в точно обумовлених межах; останній принцип також не відноситься до логіки, а має чітко виражений методологічний характер. Виключеного третього принцип дійсно належить логіці, але не у всякій логічній системі відповідна формула (А ù А) общезначима (див. математичний інтуїционізм , конструктивний напрям в математиці і логіці). І лише принцип суперечності (в сучасній логічній символіці: ù (А & ù А) являє собою твердження, не тільки доказові в будь-який логічної системі, а й лежить в деякому сенсі в основі всієї сучасної формальної логіки.

Ю. А. Гаст.

Літ. см. при ст. логіка .