Сучасне поняття закону логіки виникло в рамках символічної логіки; при цьому було з'ясовано, що існує безліч за-конів цього типу. Деякі представники класичної (формальної) логіки називають чотири закони. Мається на увазі три закони - закон тотожності, закон суперечності, закон виключеного третього, сформульовані ще Арі-стотелем, і закон достатньої підстави, введений в логіку Демокритом і П.Лейбніцем.
Розрізняють такі види формально-логічних законів.
13 Див. Піаже Ж. Вибрані психологічні праці, М; 1969 С. 567-612.
Предмет і значення логіки 13
распределенности термінів в простих судженнях, закони різних видів умовиводів і т.д.
По-друге, це закони, про які ми вже говорили вище. Вони мають загальний характер для мислення, виявляються у всіх його формах. Це формально-логічні закони: закон тотожності, закон суперечності, закон іскгТючённого третього і закон достатньої підстави. Необхідно підкреслити, що виділення чотирьох формально-логічних законів здійснюється тільки в традиційній формальній логіці. Логіка ж сучасна (зокрема математична, символічна) стверджує, що логічних законів нескінченно багато і немає підстав ділити їх на основні та другорядні. Крім того, побудовані логічні системи, в яких не є законами, наприклад, закон виключення третього (интуиционистская логіка, деякі системи багатозначної логіки), закон суперечності (паранепротіворічівая логіка).
Найбільшу сферу докладання мають такі закони, або їх ще на-викликають принципами, оскільки вони нормують певну область чоло-веческое діяльності: закон суперечності, закон виключного третього, закон тотожності і достатньої підстави.
Слід назвати деяких законів сучасної логіки, такі як закон подвійного заперечення, контрапозиція, закон де Мйргана, закон приведення до абсурду, закон непрямого докази, закон клаві, закон Дунса Скотта
Записується закон так:
Таким чином, закон тотожності вимагає, щоб у процесі певного міркування всяка думка була тотожною самій собі, а різні думки ніколи не ототожнювалися.
Ототожнення різних понять являє собою логічну помилку - підміну поняття, яка може бути як неусвідомленої, так і перед-навмисної.
Порушення закону тотожності призводить до двозначності, неясності мис-ли, що особливо неприпустимо в юридичній практиці. Проілюструємо це на предметах, які вибираються зі справжніх процесуальних актів:
- «Він вчинив хуліганські дії в квартирі, при цьому завдав їй побої»
- «Захисник з матеріалами справи ознайомився, і від нього надійшло за-явище: звільнити його з-під варти»
Основи логіки з завданнями і вправами
Не рідко в законодавчих актах зустрічаються неясності і просто двусмис-лінощів, що веде до різного тлумачення одного і того ж закону. Закон тотожності вимагає виключення в ході міркувань довільної зміни предмета думки, підміни або змішання думки про предмет.
Закон несуперечливий. Згідно з традицією цей закон прийнято називати законом суперечності. Однак назви - закон несуперечливий - точніше виражає його дійсний сенс. Сутність закону полягає в тому, що два несумісних один з одним судження не могутбить одночасно істинними: принаймні, одне з них необхідно брехливо.
Для правильного розуміння закону несуперечливий необхідно мати на увазі наступне. Стверджуючи що-небудь про який-небудь предмет не можна, що не проти-реча собі, заперечувати те ж саме про те ж самому предметі, взятому в той же самий час і в тому ж самому відношенні.
Закон виключеного третього. Він формується таким чином: два суперечливих судження не можу бути одночасно хибними, одне з них необхідно істинно: а є або Б, або не Б.
Істинно або твердження деякого факту, або його заперечення.
Він вказує напрямок в знаходженні істини: можливо тільки два рі-ня питання, причому одне з них (і тільки одне) необхідно істинно.
Закон виключеного третього, не розглядаючи самих протиріч об'єк-єктивні світу, не допускає визнання одночасно істинними або одночасно хибними два суперечать один одного судження, що дуже важливо для теоретичної і практичної діяльності юриста.
Закон достатньої підстави. Будь-яка думка визнається істинною, якщо вона має достатню підставу. записується:
В є тому, що є А.
Предмет і значення логіки
У наведеній логічній схемі: В - це логічний наслідок, тобто думка, яка випливає з попередньої думки; А - логічне підгрунтя, тобто думка, з якої випливає інша думка.
Передумови істини повинні бути не тільки правдоподібними, але вони також зобов'язані пропонувати можливе рішення проблеми, завдання і т.д. тобто бути гіпотезами 15. На необхідні вимоги до відкриття нової істини вказує закон абдукції. Але наскільки нова істина обгрунтована, вирішується в спеці-ном акті, званому індукцією.