Логічні закони

Логические законы.

Помимо законів матеріалістичної діалектики людське мислення підпорядковується ще законам логіки. Ось основні закони логіки: закон тотожності, закон непротиріччя, закон виключеного третього, закон достатніх підстав тощо. Їх використовують при оперуванні поняттями і чи судженнями, застосовують у умовиводах, доказах і спростування. Перші три було відкрито Арістотелем, четвертий — У. Р. Лейбніцем. Логічні закони відбивають у свідомості людини певні відносини, що існують між об'єктами, чи відбивають такі звичайні властивості предметів, як його відносна стійкість, визначеність, несумісність щодо одного й тому самому предметі одночасного наявності і відсутності одним і тієї ж ознак. Закони логіки відбивають об'єктивне в суб'єктивному свідомості людини, тому їх можна скасувати або замінити іншими. мають загальнолюдський характер, т. до. вони єдині для таких людей всіх рас, націй, професій. Основні логічні закони склалися історично в результаті багатовікової практики пізнання. Вони відображають такі важливі властивості правильного мислення, як він визначеність, несуперечність, обгрунтованість, чіткість мислення, вибір «або-або «у певних «жорстких «ситуаціях. Крім корінних, є багато неосновних законів логіки, що треба виконувати при оперуванні поняттями, чи судженнями, чи думками. Закони логіки, як основні, і неосновні в мисленні функціонують як принципів правильного міркування під час докази істинних суджень і теорій і спростування хибних суджень і хибних гіпотез. Закони логіки грають роль універсальних зв’язків мислення та загальних принципів будь-який мисленнєвої діяльності, виражають вимоги методологічного характеру. Порушення Законів логіки призводить до логічного помилці - як ненавмисного — паралогизму (від грецьк. paralogismos), і свідомої - софізму (від грецьк. sophisma — викрут, вигадка, головоломка), хоча ці типи помилок відбуваються у інших ситуациях.

Закон достатнього основания.

Данный закон, сформульований в 17 столітті Р. У. Лейбніцем, «говорить, що одне явище може бути дійсним, жодна твердження істинним без достатніх підстав, чому саме справи такі, а чи не інакше. У час вона таке: «Будь-яка справжня думку мусить бути достатньо обгрунтованою «» [1, з. 40]. І йдеться про обгрунтуванні лише істинної думки, бо досить обгрунтувати помилковий теза (хибне судження) неможливо. На відміну від законів тотожності, непротиріччя, виключеного третього, які мають змістовну формулювання, а математичної логіці виражаються формулами, у закону достатніх підстав формули немає, т. до. йому притаманний лише змістовний характер.

Достаточным основою обгрунтування істинності тези є доказ із застосуванням засвідчених фактів, визначень понять, аксіом і постулатів, законів науку й теорем. Т. до. реальною причиною та досудове слідство (наприклад, ми включили електричну піч, й у кімнаті потеплішало) який завжди збігаються з логічним підставою і логічним наслідком (термометр показує вищу температуру, ніж раніше, отже, у кімнаті потеплішало), то найчастіше доводиться умозаключать від наслідків, їх виводячи причину тієї чи іншої явища. Так надходять, наприклад, слідчі, які у пошуках реальної причини злочину формулюють різноманітні версії, щоб потім, відкинувши хибні, залишити істинні. Лікарі, щоб дати діагноз хвороби, також йдуть від наслідків до реальних причин. Проблема доказовості висунутих положень істотна нічого для будь-якого творчого процесу, тому знання закону достатніх підстав вберігає наше мислення від голослівності і немотивированности.

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

У предметів об'єктивного світу будь-якої ознака, чи присутній, або його немає. Приміром, з цих двох суджень: «У птахи крила », і «У птахи немає крил », перше істинно, друге — брехливо, і третього — проміжного — судження може бути. Закон виключеного третього уперше був в відкрито й сформульований Арістотелем. Двозначна логіка оперує жорсткої ситуацією, де судження може або істинним, або хибним і кожен судження може мати не лише одна з цих истинностных значень. Формулювання закону виключеного третього така: «Із двох протилежних суджень, одне істинно, інше брехливо, а третього просто немає «[1, із 42-го]. У суперечать (контрадикторных) судженнях, котрі заперечують одне одного, одне судження істинно, а інше — брехливо. До суперечить ставляться судження прості наступних трьох типів, де P. S — однакові терміни і P — однакові терміни: 1. — «Дане P. S є P «та О — «Дане P. S не є Р ». 2. А — «Усі P. S є Р «і Про — «Деякі P. S не є Р ». 3. Є - «Жодна P. S не є Р «і J — «Деякі P. S є Р ». Один із цих суджень у кожному з пар можна позначити перемінної а, а інше — а. Формула закону виключеного третього в обчисленні висловлювань двозначною логіки записується так: а / а (де знак «/ «позначає нестрогую диз’юнкцію, союз «чи »). Точніше цього закону выражатся формулою, а / чи «/ «позначає сувору диз’юнкцію, що характеризує несумісність чи а. У мисленні закон виключеного третього передбачає чіткий вибір одній з двох взаємовиключних альтернатив («так «чи «немає «). З іншого боку, чинність закону обмежена наявністю невизначеності розуміння, причинами якої є різні перехідні гніву й ситуації, т. е. зміни, перехід предметів та його окремих властивостей на свій протилежність (наприклад, тепла їжа кілька днів вистигає і ГЗК стає холодної, нова взуття зі часом стає давньої і ін.). З іншого боку, відбиток об'єктивного світу певному етапі пізнання завжди неповно, неточно, т. до. відповідає лише цього етапу знань людини про мир. Наприклад, не можна сказати наперед, яке судження про якомусь майбутньому подію буде істинним, до того часу поки дію не закінчиться. Приклад таких суджень: «Завтра я неодмінно справлюся із завданням «чи «Завтра жодного внаслідок чого не справлюся із завданням ». Закон виключеного третього не діє, коли є три чи більше значень істинності суджень. У тризначної логіці використовуються три значення істинності суджень (наприклад, соціологічних анкетах пропонуються три відповіді: «так », «немає «і «не знаю »; під час голосування передбачаються такі позиції: «за », «проти «і «утримався ». У некласичних багатозначних логіках закон виключеного третього, т. е. формула, а / а чи не є тавтологією (чи виведеної формулой).

Закон непротиворечия.

В предметах об'єктивного світу неможливо одночасна наявність і відсутність будь-якого властивості чи добросусідські відносини (наприклад, неможливо до одного і хоча б момент робити якусь роботи й не робити). Одночасне твердження про якомусь предметі, дії, ознаці предмети й т. буд. і заперечення цього твердження є формально-логічне протиріччя. Закон непротиріччя формулюється так: «Два протилежних судження що неспроможні бути істинними за одну і те час й у тому ж відношенні «[1, з. 44]. До протилежним ставляться судження прості наступних 4 типів (тут P. S — однакові терміни і Р — однакові терміни). 1. А — «Дане P. S є Р «та О — «Дане P. S не є Р ». 2. А — «Усі P. S є Р «та О — «Жодна P. S не є Р ». 3. А — «Усі P. S є Р «і Про — «Деякі P. S не є Р ». 4. Є - «Жодна P. S не є Р «і J — «Деякі P. S є Р ». 1, 3, 4-та пари суджень такі, що й одна з суджень цієї пари істинно, то інше обов’язково брехливо, тому вони називаються суперечать чи заперечують одне одного, і можна позначити чи, а (неа). Сполучення їх, т. е. формула, а / а висловлює формально-логічне протиріччя. Судження 2-ї пари Проте й Є може бути одночасно хибними, тому їх можна позначити як чи, а (наприклад, «Усі багаті люди щасливі «і «Жоден багата людина перестав бути щасливим »). У обчисленні висловлювань двозначною логіки закон непротиріччя виражається формулою, а, / а.(Неверно, що чи не-а). Але це формула в повному обсязі, неадекватно представляє закон непротиріччя, відкритий Арістотелем, т. до. вона поширюється на судження Проте й Є, а закон непротиріччя Аристотеля поширюється ними. Суперечності не виникають, коли мова про різних предметах чи про один предметі, але взятому по-різному відношенні чи аналізованому у різний час (наприклад, судження «Ця книга є нової «і судження «Ця книга перестав бути нової «не суперечать одна одній, якщо йдеться одну й тієї книзі, але аналізованої на певний время).

Закон непротиріччя не чи діє у логіці «розмитих» множин, оскільки у ній до «розмитим» безлічам, «розмитим» алгоритмам можна одночасно застосовувати затвердження Кабміном і заперечення (напр., «Цей чоловік літній» і «Він не є літнім», т.к. поняття «літній чоловік» є «нечітким» поняттям, які мають чітко окресленого обсягу). До цього часу йшлося і про вираженні формально-логічного протиріччя формі а а, але це може виражатись і без заперечення, коли беруться несумісні позитивні судження (звідси див. Закон тотожності). Такою протиріччі побудований габровський анекдот під назвою «Реклама»:

— Отже, це найбільш нова ткань?

— Тільки вчора отримав, просто з фабрики!

— А вона линючая?

— Та що ви! Понад місяць висіла на вітрині, і нічого їй не зробилося! Закон непротиріччя кваліфікує формально-логічне протиріччя як серйозну помилку, несумісну з логічним мышлением.

Закон тождества.

Закон тотожності - одна з основних законів правильного мислення, дотримання якого допомагає определённости, точності й діють ясності вживання понять і суджень. Умовивід: Матерія вічна. Сукно — матерія. Сукно вечно.

построенно неправильно, бо поняття «матерія» У першій і друге посилках трактується у різних сенсах, — у філософському і повсякденному, отже, сталося порушення закону тотожності. «Закон тотожності формулюється так: „У процесі певного міркування всяке поняття і судження повинні залишатися тотожними самим себе“». 1, с.46] Закон тотожності у традиційній логіці (Двозначна логіка) для суджень записують як «а є а», а понять «А А». У математичної логіці закон тотожності представляється з логіки висловлювань як, а а, чи, а — чи, а позначає будь-яке висловлювання (судження). У філософії тотожність сприймається як рівність, подібність двох або кількох предметів що не або відношенні. Наприклад, все гейзери тотожні у цьому, що є джерелами, періодично выбрасывающими фонтани гарячої води і пара до висоти 20−40 метрів і більш. У природі та суспільстві немає двох абсолютно тотожних предметів (наприклад, двох близнюків, двох однакових квіток тощо.), тотожність існує у в зв’язку зі відмінностями. Але ми відволікаємося від існуючих розбіжностей фіксуємо своє увагу тільки на тотожність. Закон тотожності в мисленні є нормативне правило (принцип), які проголошують у процесі міркування не можна підміняти одну думку інший, одне поняття на інше, інакше виникнуть логічні помилки, звані «підміною поняття» чи «підміною тези». Закон тотожності означає також дії, що тотожні думки не можна видавати за різні, і навпаки, різні - за тотожні. Люди, виступаючі за обговорюваної темі чи употребляющие терміни й поняття будь-якому іншому сенсі, ніж заведено, і попереджуючі звідси, порушують закон тотожності. Наприклад, іноді люди вкладають різний зміст на такі поняття, як «матеріаліст», «ідеаліст», «наука», «демократія», «свобода слова» та інших., тому відбувається ототожнення нетотожного, тобто порушення закону тотожності. Логічні помилки часто відбуваються за умови вживання омонімів, тобто слів, мають чи більш значень («рух», «слідство», «ребро», «полі», «коса», «світ» тощо.). Наприклад, «Через неуважності шахіст неодноразово на турнірах втрачав окуляри». На порушення закону тотожності будуються анекдоти, каламбури, двозначності. Наприклад, одне із габровских анекдотів під назвою «Логика»:

— Яка температура у кімнаті? — запитав габровец у жены.

— П'ятнадцять градусів, — відповіла жена.

— На улице?

— Двадцать.

— Тоді відкрий вікно, — розпорядився він, — нехай ввійдуть ще п’ять градусів. Дотримання закону тотожності в мисленні допомагає уникнути непонимания.

Список використаної литературы.

Гетманова А.Д. Логіка: Словник і задачник: Учеб. посібник для студентів вузів. — М.: Гуманит. вид. центр ВЛАДОС, 1998;336с.

Яшин Б. Л. Завдання і вправи за логікою. — М.: Гуманит. вид. центр ВЛАДОС, 1996; 224с.: илл.