Загальна характеристика законів логіки

Під законом логіки розуміють внутрішній, необхідний, суттєвий зв'язок між думками.

Основними законами формальної логіки є закон тотожності закон суперечності, закон виключеного третього і закон достатньої підстави.

Формально-логічні закони — це закони правильної побудови і зв'язку думки. Закони логіки виражають такі суттєві, загальні, неодмінні властивості мислення, як визначеність, несуперечність, послідовність і обґрунтованість.

Закони логіки, будучи специфічними законами мислення, нерозривно пов'язані із законами об'єктивного світу, погоджуються з ними.

Закони логіки об'єктивні, вони не створені людським розумом, не продиктовані мисленню самим мисленням, як стверджує ідеалізм, а є відображенням закономірності об'єктивного світу.

Виражаючи основні властивості мислення, закони логіки мають свою основу, своє джерело в об'єктивних речах. Кожний логічний закон відображає певну сторону дійсності, її властивості і відношення, має свій аналог і подібність у природі. Так, закон тотожності є відображенням якісної визначеності речей і явищ, а закон достатнього обґрунтування відображає причинно-наслідковий зв'язок між предметами і явищами світу.

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

Закон тотожності формулюється так: будь-яка думка про предмет у процесі даного міркування тотожна сама собі, скільки б разів вона не повторялась.

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

Закон тотожності у вигляді формули записується так: А є А, або А = А.

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

Питання про те, яке з двох протилежних суджень є хибним, закон суперечності не розв'язує. Це встановлює конкретна наука і практика. Закон суперечності говорить лише про те, що із двох суджень, із яких одне заперечує те, що стверджує в другому, одне неодмінно хибне. Яким буде друге судження, істинним чи хибним, закон суперечності також не розв'язує. Воно може бути як істинним так і хибним.

Розглянемо формулу закону суперечності (А не є не-А), котра означає, що не можуть бути одночасно істинними судження А і його заперечення не-А.

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

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

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

Закон достатньої підстави формулюється так: будь-яка істинна думка має достатню підставу.

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

Закон достатньої підстави забезпечує обґрунтованість, доказовість нашого мислення. Він вимагає, щоб наші думки були внутрішньо пов'язані одна з одною, випливали одна з одної, обґрунтовували одна одну. Будь-яке положення, у відповідності до закону достатньої підстави, набуває логічної сили лише тоді, коли наведені достатні підстави його достовірності. Якою б правдоподібною не здавалася та чи інша думка, вона може бути визнана істинною лише після того, як її істинність буде доведена. Закон достатньої підстави забороняє визнавати істинність думки на віру. Порушення цих вимог призводить до того, що мислення стає необґрунтованим, бездоказовим, голослівним.