17 Логіка формальна і діалектична
Розрізняють логіку формальну і діалектичну Засновником традиційної формальної логіки є, як відомо, Аристотель Термін «діалектична логіка" був введений в науку німецьким філософом, об'єктивним ідеаліст тому Г Гегелем (1770 - 1831), вперше на ідеалістичній основі виклав основні закони і принципи діалектичної логіки як вчення про загальний розвиток абсолютного духолютного духу.
Діалектична логіка - вищий ступінь у розвитку логічного науки, але вона не скасовує і не поглинає формальну логіку, останню не слід розглядати як пройдений етап
Діалектична логіка, як і формальна, вивчає мислення, але з іншого боку і іншими методами Формальна логіка - це логіка, що вивчає структуру мислення, досліджує закони будови нашу думку Вона покликана дати відповідь, якою має бути структура думки, щоб вона стала справжньою і правильно відтворювала дійсність Діалектична логіка досліджує те, як в абстрактному мисленні, пізнає істину, діють спільні з Аконі діалектики Діалектична логіка вивчає природу логічних форм, їх пізнавальну суть, розкриває зв ' зь форм і законів мислення із законами об'єктивного світу Формальна логіка досліджує структуру г отов, що склалися логічних форм, не цікавлячись їх генетичними зв'язками і взаимопереход, діалектична ж логіка вивчає форми мислення в їх зв'язках, переходах, у розвитку, рус Русі.
Обмеженість формальної логіки полягає в тому, що дотримання одних тільки його законів для пізнання недостатньо, а не в тому, ніби вона застосовується тільки для пізнання якихось елементарних зв'язків і відносин, а при дослідженні складних явищ і зв'язків Її закони ніби не діють В процесі пізнання на ступені абстрактного мислення має місце постійне поєднання двох моментів - формального дотримання в кожному акті думки і діалектичного напрямки думки в цілому і формальна, і діалектична логіка діють всюди, при пізнанні будь-яких об'єктів, як простих, так і складних, при пізнанні як щодо нер вухом предметів, так і предметів, що рухаються меняютсяся.
Не існує якоїсь особливої області елементарних відносин, які б дізнавалися за допомогою тільки формальної логіки, а діалектична логіка в них була б непридатна, як не існує і такий області пізнання я, де мислення підлягає тільки законам діалектичної логіки і де необов'язково дотримання вимог формальної логіки там, де дотримуються закони формальної логіки, дійсно діалектичне мислення стає неможливість ним, там діалектика підмінюється софістикою і еклектикою Формальна логіка забезпечує визна ділення, ясність, послідовність мислення, то, без чого мислення як логічний процес по суті невозможнове.
Складним є питання про співвідносність формальної і математичної логіки Існують різні точки зору Одні вважають, що сучасній формальною логікою є математична логіка і однією з інших (загальна, традицій йна, класична), крім математичної, в наші дні не існує математичної логіки, виникла з потреб математики, як гілка традиційної логіки, увібрала все цінне, досягнуте останньої, і є новим, вищим етапом м розвитку формальної логікікі.
Інші виходять з того, що існує загальна формальна логіка і логіка математична, що це хоч і близькі, але різні науки і їх не можна ототожнювати Кожна з цих наук має свій предмет, свої завдання і методи і Прихильники цього погляду вважають, що математична логіка не охоплює всіх проблем формальної логіки, тому вона не може бути зведеною до математичної логіки, підмінена НЕею.
Деякі вчені відносять математичну логіку до математики і вважають її логікою у власному розумінні
Цієї ж точки зору дотримується і Г Клаус Він зазначає, що "існує тільки одна логіка, вилучення математичної логіки зі складу формальної логіки неможливо і будь-яка така спроба пов'язана з повним замкнув пропозицією сучасної логіки - все стійке, все цінне, що є в традиційній логіці, знаходить собі місце в сучасній логіці і саме з її допомогою може бути зрозумілий краще і глибше "лібше" 4.
Дж Шенфільд, навпаки, вважає, що "логіка вивчає ті типи умовиводів, якими користується математика" 6 Такої ж точки зору дотримується і Б Мендельсон: "Глибокі і спустошливі результати Гегеля, Тарськог го, Рассела, Кліні і багатьох інших були багатою нагородою за вкладену працю і завоювали для математичної логіки положення незалежної гілки математики "Подібного погляду на математичну логіку дотримується ється і Р Л Гудстеін:" Математична логіка має на меті вираження і систематизацію логічних процесів, котор е вживаються в математичному міркуванні, а також роз'яснення математичних понять Сама вона є гілкою математики, яка використовує математичну символіку і техніку "7" Предметом логіки як філософської науки, - зазначає Б Фогараші, - є не тільки математичне, а все людське мислення Але логіка має математичного Ічні основи, а математика - логічні "має математичні основи, а математика - логічні" 8.
Мислення людини не зводиться і не може бути зведене до математичного мислення, а значить, і логіка як наука про мислення, не може бути зведена до математичної логіки
18 Значення логіки для судового пізнання
Судове дослідження, як і будь-яке пізнання, підлягає не тільки законам діалектики, діалектичної логіки, воно відбувається також за законами і правилами формальної логіки З огляду на це знання законів формальної логіки і свідоме їх використання мають для судового пізнання виняткове значеніея.
Предметом судового пізнання є, як правило, подія, яка мала місце в минулому і недоступна безпосередньому сприйняттю Судове пізнання - це в основному пізнання опосередковане, вивідний Головна роль тут на Алеж логічним засобам пізнання, і перш за все - умовиводи Так, судове дослідження, спрямоване на встановлення об'єктивної істини кримінальною справою, відбувається у формі висування і докази судових ве рсій Щоб встановити істину у справі, необхідно зібрати факти (докази), що відносяться до прест пного події, логічно їх опрацювати, висунути версії, розвинути їх, перевірити і довести істинність одного версії і хибність последніенніх.
Вся розумова діяльність слідчого і судді відбувається в певних логічних формах, підлягає законам і правилам логіки Дотримання їх є необхідною умовою пізнання об'єктивної істини судовою справою Без дотримання правил логіки не може бути встановлена. об'єктивна істина у справі Нігілістичне ставлення до законів логіки і процесу розслідування може мати вкрай негативні наслідки для практичної слідчо й робототі.
Наука логіка вчить, як правильно будувати умовиводи, прищеплює вміння оперувати поняттями і судженнями, застерігає від можливих логічних помилок Незнання законів і правил логіки, невміння користуватися ися ними в процесі судового пізнання нерідко призводять до різних логічних помилок, які в судовій практиці з логічних перетворюються в судовим помилкам помилки ж у судовій практиці, оскільки в вони відображаються безпосередньо на долю конкретної людини, особливо неприпустимі Мабуть, немає іншої сфери суспільного житт і, де порушення законів логіки, побудова неправильних умовиводів, приведення х ібніх аргументів могли б заподіяти такої істотної шкоди, як в області права9 Тому законодавець визнав за необхідне закріпити вимоги основних законів логіки в нормах права, перевести їх в ранг нормативними них требованіяміімог.