Контрольная работа: Закони виключеного третього та несуперечності

Рене Декарт, визнаючи середньовічну схоластику і схоластичну логіку, слідом за Беконом оголосив створення такої філософії і логіки, яка слугувала б практиці, посилюючи панування людини над природою. Як і Бекон, Декартвбачав головне завдання у створенні наукового методу. Але якщо Бекон як метод експериментального пізнання висував на перший план індукцію, то Декарт, виходячи з даних математики, віддавав перевагу дедукції. Послідовниками Декарта А. Арно і П. Ніколь у 1662 р. було написано підручник логіки — «Логіка, або Мистецтво мислити», відомим під назвою «Логіка Пор-Рояля», в якому ставилося завдання звільнити логіку Аристотеля від схоластичних перекручень. «Логіка Пор-Рояля» довгий час вважалася основним керівництвом із формальної логіки.

Важливий крок у розвитку ідей математичної (символічної) логіки зробив Г. В. Лейбніц. Застосувавши до логіки математичний метод, він намагався побудувати логіку як математичне обчислення («універсальна характеристика»). Лейбніц першим використав символи для позначення логічних постійних (символи для позначення перемінних були уведені Аристотелем), започаткувавши розробку принципів побудови дедуктивних теорій, першим дав чітке формулювання закону достатньої підстави.

Подальший етап розвитку логіки пов'язаний з іменем філософа-ідеаліста І. Канта (1724-1804). Кант надав логіці різко виражений формалістичний характер. Вона розглядається ним як наука про голі форми мислення, не тільки не пов'язані зі змістом мислення, а й незалежні від нього. Лексичні форми і закони мислення Кант оголосив апріорними (додослідними) нормами, які ніколи не виникали і не розвивалися, а просто дані людському розуму в готовому вигляді. На думку Канта, логіка з часу Аристотеля не зробила жодного кроку вперед і має абсолютно замкнений, викінчений характер.

Важлива роль в обґрунтуванні матеріалістичного погляду на логіку належить М. В. Ломоносову, О. М. Радищеву, О. І. Герцену, І. М. Сечинову,
К. А. Тимірязєву та ін. Логічні проблеми розроблялися й такими відомими логіками, як М. Коринський, Л. Рутковський.

У середині XIXст. виникла математична (символічна) логіка. Як уже зазначалося, основи математичної логіки були закладені Лейбніцем, а ряд ідей математичної логіки виник ще в середньовічній схоластиці і навіть у логіцідавніх стоїків. Але Лейбніц не залишив по собі школи, і його ідеї невдовзі були забуті. Тому виникнення математичної логіки як науки пов'язують із працями англійського математика Дж. Буля (1815-1854), німецького математика і логіка Е. Шредера (1841-1902), астронома і логіка П. С. Порецького (1846-1907) та ін. учених. В історії математичної логіки виділяють такі періоди. Історично першою формою математичної логіки був період алгебри логіки (Дж. Буль, Е. Шредер, П. С. Порецький). Цей період характеризується пристосуванням методів математики до логіки. Другий період розпочинається із появою праці Г. Фреге (1848-1925) «Обчислення понять» (1870) і характеризується використанням логіки з метою обґрунтування самої математики. Третій період — це сучасний період розвитку математичної логіки Він пов'язаний з появою тритомника Б. Рассела і А Уайтхеда «Принципи математики» (1910-1913), німецького математика Д. Гільберта (1862-1943) «Основні риси теоретичної логіки» (1928), працями К Геделя, А. Тюрінга, Е Поста, Р. Петер, А. М. Колмогорова, П. С. Новикова, А. А. Маркова, С. М. Яновської та ін.

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

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

Предметом судового пізнання є, як правило, подія, що мала місце в минулому і недоступне безпосередньому сприйманню. Судове пізнання - це в основному пізнання опосередковане, вивідне. Головна роль тут належить логічним засобам пізнання і, в першу чергу, умовиводу. Так, судове дослідження, спрямоване на установлення об'єктивної істини за карною справою, відбувається у формі висування і доказу судових версій. Щоб установити істину за справою, необхідно зібрати факти (докази), що відносяться до злочинної події, логічно їх опрацювати, висунути версії, розвинути їх, перевірити і довести істинність однієї версії і хибність останніх. Уся розумова діяльність слідчого і судді відбувається в певних логічних формах, підлягає законам і правилам логіки. Дотримання їх є необхідною умовою пізнання об'єктивної істини за судовою справою «Без дотримання правил логіки не може бути установлена об'єктивна істина за справою. Нігілістичне ставлення до законів логіки і процесу розслідування може мати вкрай шкідливі наслідки для практичної слідчої роботи». М. С. Строгович, надаючи особливого значення логіці в діяльності суду, підкреслює, що «рішення судом справи має бути бездоганним з логічного боку».

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

2. Несумісність думок. Закон несуперечності та його роль у діяльності законодавчих та правоохоронних органів

Закон суперечності твердить: два протилежні висловлювання не є одночасно істинними в крайньому разі одне із них неодмінно хибне. Наприклад, не можуть бути одночасно істинними судження: «Петренко є співучасником даного злочину», «Петренко не є співучасником даного злочину». Одне з цих суджень обов'язково хибне.

Питання про те, яке з двох протилежних суджень є хибним, закон суперечності не розв'язує. Це встановлює конкретна наука і практика. Закон суперечності говорить лише про те, що з двох суджень, із яких одне заперечує те, що стверджує в другому, одне неодмінно хибне. Яким буде друге судження, істинним чи хибним, закон суперечності також не розв'язує. Воно може бути як істинним так і хибним. Так, із двох суджень: «Усі обвинувачувані мають право на захист». «Деякі обвинувачувані не мають права на захист» - друге судження хибне, а перше істинне, А якщо візьмемо такі два судження як «Іваненко під час здійснення злочину перебував на «місці здійснення злочину», «Іваненко під час здійснення злочину був на роботі» — то хибним може бути не тільки одне з них, а й обидва, а істинним буде трете судження, наприклад: «Іваненко під час здійснення злочину був у Петренка».

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

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

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

Закон суперечності, як і будь-який формально-логічний закон, застосовний тільки до таких суджень, у котрих ідеться про один і той же предмет, в один і той же час і в тому ж самому відношенні. Якщо ж у судженнях ідеться про різні предмети або про різні ознаки одного і того ж предмета, то такі судження не є суперечними і, отже, до них закон суперечності незастосовний. Так, не є суперечним судження: «Пальто, викрадене у потерпілого, було коричневим» і «Пальто, знайдене у обвинуваченого, не було коричневим», якщо предметом думки цих суджень є різні пальта.

Закон суперечності не діє, якщо в судженнях ідеться про один і той же предмет, але предмет взято у різний час. Так судження «Петренко є осудний» і «Петренко є неосудний» - у обидва можуть бути істинними, якщо у першому них мається на увазі один час (наприклад, до здійснення злочину), а у другому — інший: час здійснення злочину або після нього).

Незастосовний закон суперечності також у тих випадках, коли в судженнях предмет думки береться у різних відношеннях. Наприклад, судження: «Петренко є здібний» те «Петренко не є здібним» - можуть бути одночасно істинними, якщо у першому судженні йдеться про здібності Петренка до гуманітарних наук, а у другому-про здібності до математичних наук.

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

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

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

У цілому ж формула читається так: «Не можуть бути одночасно істинними А і його заперечення - Ā».

Закон суперечності не заперечує реальних суперечностей, які існують в об'єктивній дійсності. Він забороняє лише логічні суперечності, суперечності «із самим собою». «Логічної суперечності, при умові, звичайно, правильного логічного мислення не повинно бути ні в економічному, ні в політичному аналізі». Дотримання вимог закону суперечності є необхідною умовою пізнання суперечностей, існуючих у дійсності, оскільки тільки несуперечливе мислення може правильно відобразити об'єктивні суперечності. Формально-логічних суперечностей не має бути в жодному міркуванні, в жодній науковій системі. Вони неприпустимі також у висновках суду та слідства.

Практичне завдання

1. Дати аналіз дефініції (визначити, чи правильна вона, коли ні – то яке правило порушено):

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

Це стосується поняття закони правильного мислення зміст яких не відомий.

2. Дати аналіз поділу (визначте, чи є він правильним, коли ні то яке правило порушено): «Складні судження поділяються на судження кон’юнкції, диз’юнкції, імплікації, еквіваленції та заперечення».

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