Закон мислення, чи логічний закон, - це судження, що виражає внутрішню необхідну істотну зв'язок між думками або їх елементами в процесі міркування або докази.
У формальній логіці виділяють чотири основних закони: тотожності, протиріччя, виключеного третього і достатньої підстави. Ці закони є основними тому, що виражають найбільш загальні властивості мислення: визначеність, несуперечність, послідовність і обгрунтованість.
Закони формальної логіки - це закони побудови і зв'язку думок. Вони відображають схеми правильних міркувань, що склалися в процесі багатовікової практики мислення. Ці закони лежать в основі різних логічних операцій, умовиводів, доказів, носять об'єктивний характер, т. Е. Залежать від свідомості і волі людей.
Хоча закони логіки є законами мислення, але не самих речей, вони мають глибоку об'єктивну основу - відносну стійкість, якісну визначеність, взаємообумовленість предметів матеріального світу.
Закон тотожності фіксує одне з корінних властивостей мислення - його визначеність. Згідно з цим законом будь-яка думка в процесі міркування повинна бути тотожна самій собі. Це означає, що предмет думки повинен розглядатися в одному і тому ж змісті своїх ознак на всьому протязі міркування або докази.
З істоти цього закону випливає важлива вимога: не можна нетотожні думки приймати за тотожні, не можна різні думки приймати за тотожні. Думка повинна бути сформульована таким чином, щоб не допускалася багатозначність використовуваних термінів.
У математичній логіці цей закон виражається у вигляді тожде- ного-істинних формул:
р -> р - якщо р, то р
р р (х)) - для будь-якого предмета х вірно, що якщо х має р, то х має цю властивість.
Порушення вимоги, що випливає із закону тотожності, веде до логічної помилки - «підміні поняття». Суть її полягає в тому, що замість даного поняття вживається інше.
Ототожнення понять найчастіше відбувається несвідомо, в силу багатозначності мови, проте іноді підміна проводиться навмисно, свідомо.
Закон суперечності виражає вимогу несуперечності і послідовності мислення. Це означає, що, визнавши відомі положення в якості справжніх і розвиваючи висновки з цих положень, ми не можемо допустити в своєму міркуванні або доказі ніяких тверджень, що суперечать тому, що було сказано раніше.
Закон суперечності говорить: два знаходяться в відношенні заперечення судження не можуть бути одночасно істинними; принаймні одне з них необхідно брехливо. Слід мати на увазі, що даний закон дійсний лише щодо тих суджень, в яких йдеться про одне й тому самому предметі, взятому в один і той же час і в одному і тому ж відношенні. У випадках, де ця умова не виконується, закон суперечності непридатний.
Закон протиріччя має силу як щодо контрарних (протилежних), так і контрадікторних (суперечать) висловлювань.
У математичній логіці закон суперечності виражається формулою:
р л р - невірно, що можуть бути одночасно істинними судження р і його заперечення р.
Закон виключеного третього.
Згідно з цим законом, з двох суперечать висловлювань одне і тільки одне істинно. Це той випадок, коли «третього не дано», т. Е. Справжнє висловлювання не може укладатися між такими, що суперечать висловлюваннями.
Такими, що суперечать називаються судження, в одному з яких щось стверджується (або заперечується) про кожен предмет деякого безлічі, а в іншому заперечується (затверджується) про деякі сторінки безлічі. Ці судження не можуть бути одночасно ні істинними, ні хибними: якщо одне з них істинно, то інше неодмінно помилково і навпаки.
Подібно закону протиріччя закон виключеного третього виражає послідовність і несуперечливість мислення. Він тре-бует ясних певних відповідей, вказуючи на неможливість відповідати на один і той же питання в одному і тому ж сенсі і «так» і «ні», на неможливість шукати щось середнє між затвердженням чого-небудь і запереченням того ж самого.
У математичній логіці цей закон має формулу pvp - р чи невірно, що р.
Закон достатньої підстави висловлює вимога доказовості, обгрунтованості думки. Згідно з цим законом, будь-яка істинна думка повинна бути обгрунтована іншими думками, істинність яких вже доведена. Думки (судження), які наводяться для обгрунтування істинності інших думок, називаються логічною підставою. Думка, яка випливає з інших як з підстави, називається логічним наслідком.
Логічний зв'язок між підставою і наслідком необхідно відрізняти від причинно-наслідкового зв'язку. Причинно-наслідковий зв'язок є вираженням об'єктивних відносин між предметами матеріального світу. Логічне відношення підстави та слідства висловлює зв'язок між висловлюваннями, не завжди причинно-наслідковий зв'язок збігається з логічною.
Закон достатньої підстави має важливе теоретичне і практичне значення.
Фіксуючи увагу на вимозі вказівки аргументів (осно-ваний), що володіють достатньою силою доказовості, цей закон допомагає відокремити істину від хибності і тим самим прийти до вірних висновків. Надзвичайно велике значення закон достатньої підстави має в юридичній практиці.
Формально-логічні закони - це закони нормативного мислення. Дотримання вимог законів логіки оберігає мислення від логічних помилок і гарантує отримання істинного знання за умови, якщо вихідне знання буде істинним.
Питання для повторення
Що таке логіка і яке значення вона має для інших наук?
Що таке логічна форма і логічний закон?
Яке співвідношення між формальною правильністю та істинністю думки?
Які основні вимоги мислення виражають закони логіки?