Контрольная работа: Основні формально-логічні закони і їх використання в діяльності спеціаліста
Тобто, закон тотожності не забороняє нам міркувати в різних випадках про один і той самий предмет, враховуючи різні його ознаки. Але він вимагає, щоб в усіх міркуваннях про цей предмет міркували як саме про цей предмет, скільки б разів він не з'являвся в думці і як би думка про цей предмет не пов'язувалася б з іншими думками про нього самого або про інші предмети.
За інших умов зруйнується процес міркування, що призводить до непорозумінь між людьми під час обміну інформацією.
Для прикладу візьмемо таке міркування:
«Хтось стверджує, що логіка виникає на певному етапі розвитку наукового пізнання, тобто тоді, коли виникає необхідність систематизувати результати пізнання. А хтось стверджує, що логіка виникає разом з виникненням людини, яка володіє мовою і мисленням».
Зрозуміло, співрозмовники, яким належать ці думки, не зможуть порозумітися. І саме тому, що вони в одну і ту саму думку, взяту в один і той самий час, в одному і тому самому відношенні, вкладають різний зміст. Під словом «логіка» перший розуміє поняття про науку, яка вивчає форми і закони мислення, а другий — здатність людини відображати довкілля за допомогою мислення.
Таким чином, закон тотожності не означає, що наші поняття фіксують у собі раз і назавжди встановлений і незмінний зміст. Саме цінність поняття як форми мислення полягає в тому, що воно щоразу здатне фіксувати все нове і нове знання про предмет, збагачуючи зміст нашого пізнання. Але в тому випадку, коли встановлено і домовлено, в якому обсязі і відношенні слід брати зміст даного поняття, то у даному міркуванні це поняття слід брати лише в цьому смислі, інакше в наших міркуваннях не буде ніякої визначеності, зв'язку і послідовності.
Закон протиріччя
Коли глибше осягнути зміст закону тотожності, то стає очевидним, що із його змісту випливає така вимога до процесу міркування:
не можуть бути одночасно істинними два судження, з яких одне дещо стверджує про предмет, а друге — заперечує те саме про цей же предмет, у той самий час, в одному і тому ж самому відношенні.
Ця вимога в логіці отримала назву «закон протиріччя».
Аристотель, який відкрив цей закон, визначає його так: «Неможливо, щоб суперечливі твердження були водночас істинні»; «Неможливо, щоб одне і те саме водночас було і не було притаманне одному і тому самому, і в одному і тому самому смислі».
Взявши за основу аристотелівське визначення закону протиріччя, можна дати таке стилізоване його формулювання:
закон протиріччя — це така вимога до процесу міркування, яка передбачає, що два протилежні судження не можуть бути одночасно істинними; у крайньому разі одне з них буде обов'язково хибним, а то й обидва можуть бути хибними. Яке саме з цих суджень хибне, а яке — істинне, логіка не встановлює.
Розглянемо такі два судження:
1. Будь-який мешканець нашого будинку має вищу освіту;
2. Жоден із мешканців нашого будинку не має вищої освіти.
Щоб визначити, яке з них істинне необхідно звернутися до перевірки. Логіка ж у цій ситуації стверджує:
1) ці два судження не можуть бути одночасно істинними;
2) якщо встановлена істинність одного з протилежних суджень, то з цього обов'язково випливає хибність другого;
3) якщо встановлена хибність одного з них, то друге може бути будь-яким.
Враховуючи вищезазначене, можна виділити структури суджень, які будуть знаходитися у відношенні протиріччя.
1. «а є Р» і «а не є Р»;
2. «Жодне S не є Р» і «Усі S є Р»;
3. «Усі S є Р» і «Деякі S не є Р»;
4. «Жодне S не є Р» і «Деякі S є Р»
де а і S — символи, що вказують відповідно на індивідуальний предмет і на клас предметів думки у судженні, а Р — позначає ознаку предмета думки. Якщо відомо, що ознака предмета думки Р стверджується і заперечується відносно предмета думки S в одному і тому самому смислі, в один і той самий час, то незалежно від конкретного змісту, з якого абстраговані ці структури, вони репрезентуватимуть протилежні судження.
Наприклад, якщо S — місто, Р — населений пункт, то, підставивши ці поняття у будь-яку з наведених структур, отримаємо судження, які не можуть бути одночасно істинними:
1. «Київ — населений пункт» і «Київ не є населеним пунктом».
2. «Жодне місто не є населеним пунктом» і «Будь-яке місто є населеним пунктом».