Основні закони логіки мислення

 

У логіці можна навести велику кількість прикладів тотожно істинних суджень. Але найзагальнішими з них, які лежать в основі логічних операцій над поняттями, в судженні й умовиводах, є класичні, основні закони мислення: закон тотожності, закон суперечності; закон третього і закон достатньої підстави [9].

1.Закон тотожності.

Згідно з цим законом логічний зв'язок між думками можливий лише за умови, що ми, міркуючи про якийсь предмет, розглядатимемо саме його і весь час надаватимемо одного й того самого змісту його властивостям (ознакам). Так, з двох суджень „Усі піраміди –просторові тіла” і „Тетраедр піраміда” неминуче випливає висновок: „Тетраедр просторове тіло”. Але висновок цей випливає тільки тоді, коли ми в обох цих судженнях під словом „піраміда” розумітимемо один і той самий предмет і надаватимемо одного й того самого змісту його ознаками. Так само ми маємо мислити і про „просторові тіла” і про „тетраедр”.

Закон тотожності можна сформулювати так: кожна думка про конкретний предмет, про конкретну його властивість у конкретному міркуванні повинна зберігати один і той самий визначениий зміст. Формула цього закону: „ є ” або „ ” (читається: „ тотожно ”); його можна записати також у вигляді тотожно істинної формули „ ”. Закон тотожності поширюється на всі форми мислення: поняття, судження і умовиводи. Він найширше застосовується в практиці мислення, бо вимагає чіткості, визначеності наших думок.

2. Закон суперечності.

Закон суперечності говорить про суперечних один одному висловленнях (судженнях), тобто про такі судженнях, одне із яких є запереченням іншого. В одному із суперечних суджень щось затверджується, в іншому це ж саме заперечується.

Якщо позначити буквою А довільне висловлення, то вираження неА, буде запереченням цього висловлення.

Ідея, що виражається законом суперечності, здається простою і навіть банальною: висловлення і його заперечення не можуть бути разом щирими.

Закон протиріччя говорить про суперечні висловлення – звідси його назва. Але він заперечує протиріччя, ідентифікує їх як помилку й тим самим вимагає несуперечності – звідси інше розповсюджене ім'я – закон непротиріччя.

3. Закон виключеного третього.

Закон виключеного третього, як і закон протиріччя, встановлює зв'язок між суперечними один одному висловленнями (судженнями). І зновтаки ідея, що виражається їм, представляється спочатку простою і очевидною: із двох суперечних висловлень одне є щирим.

Істинність заперечення рівнозначна хибності твердження. У силу цього закон виключеного третього можна передати й так: кожне висловлення є щирим або помилковим.

4. Закон достатньої підстави

Четвертий основний закон формальної логіки виражає ту фундаментальну властивість логічної думки, що називають обґрунтованістю або доведеністю. Формулюється він звичайно так: усяка думка щира або помилкова не сама по собі, а в силу достатньої підстави. Це значить: будьяке положення, перш ніж стати науковою істиною, повинне бути підтверджене аргументами, достатніми для визнання його твердо й незаперечно доведеним. Закон достатньої підстави був уведений математиком Лейбницем і не відразу одержав визнання логіків.

 

РОЗДІЛ 2