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

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

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

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

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

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

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

Закон несуперечливий.

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

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

- Значить, це сама нова тканина?

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

- А вона не лінючая?

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

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

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

побудований не правильно, бо поняття "матерія" у першій та другій посилкахтрактується в різних сенсах, - у філософському і звичному, отже,відбулося порушення закону тотожності. "Закон тотожності формулюється так:
"У процесі певного міркування всяке поняття і судження повиннізалишатися тотожними самим собі "". [1, с.46]
Закон тотожності у традиційній логіці (Двозначна логіка) для судженьзаписують як "а є а", а для понять "А є А". У математичнійлогіки закон тотожності представляється в логіці висловлювань як а а, або Так
- А, де а позначає будь-яке висловлювання (судження). У філософії тотожністьрозуміється як рівність, подібність двох або кількох предметів в якомуякому відношенні. Наприклад, всі гейзери тотожні в тому, що вони єджерелами, періодично викидають фонтани гарячої води і пари довисоти 20-40 м і більше. У природі і суспільстві немає навіть двох абсолютнототожних предметів (наприклад, двох близнюків, двох однакових квітокі т.д.), тотожність існує у зв'язку з відмінністю. Але ми відволікаємося відіснуючих розбіжностей і фіксуємо свою увагу тільки на тотожності.
Закон тотожності в мисленні є нормативне правило
(принцип), що говорять що в процесі міркування не можна підміняти одну думкуінший, одне поняття іншим, інакше виникнуть логічні помилки, звані
"Підміною поняття" або "підміною тези". Закон тотожності означає також,що тотожні думки не можна видавати за різні, і навпаки, різні
- За тотожні. Люди, що виступають не за обговорюваної теми абовживають терміни і поняття в іншому сенсі, ніж прийнято, і нещо попереджають про це, порушують закон тотожності. Наприклад, іноді людивкладають різний зміст у такі поняття, як "материалист", "ідеаліст",
"Наука", "демократія", "свобода слова" та інші, тому відбуваєтьсяототожнення нетотожні, то є порушення закону тотожності.
Логічні помилки часто відбуваються при вживанні омонімів, тобто слів,що мають дві або більше значень ( "рух", "слідство", "ребро", "поле",
"Коса", "світ" і т.д.). Наприклад, "Із-за неуважності шахіст не раз натурнірах втрачав очки ". На порушення закону тотожності будуються анекдоти,каламбури, двозначності. Наприклад, один з габровський анекдотів підназвою "Логіка":

- Яка температура в кімнаті? - Запитав габровец у дружини.

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

- А на вулиці?

- Двадцять.

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

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

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

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