Діалектична і формальна логіка,їх співвідношення.

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

Мислення людини не зводиться й не може бути зведене до математичного мислення, а отже, і логіка, як наука про мислення, не може бути зведена до математичної логіки.

Роль логіки у процесі підвищення культури мислення особистості. 12.логічна культура людини і шляхи її формування.

Культура мислення – необхідна умова культури дослідження, пізнання, культури обґрунтування здобутих виводів, висунутих положень.Логіка, підвищуючи культуру мислення, безпосередньо впливає на процес пізнання судової істини, на розслідування і розгляд судових справ.Знання логіки допомагає юристу підготувати логічно вибудовану, добре аргументовану промову, викрити протиріччя в показах потерпілого, свідків, звинуваченого, спростувати необґрунтовані доведення своїх опонентів, побудувати судову версію, намітити логічно витриманий план огляду місця події; без суперечностей, послідовно і обґрунтовано скласти офіційний документ і т.д. Все це має важливе значення в роботі юриста, яка спрямована на закріплення законності і порядку.Крім того знання логіки підвищує культуру мислення, виробляє навики мислити більш “грамотно”, розвиває критичне мислення до своїх і чужих думок і тим більше вона потрібна, чим професійнішим юристом потрібно бути. Складання законів, правових актів, іншого роду документів, які мають особливе значення неможливе без застосування логіки.Культура мислення – необхідна умова культури дослідження, пізнання, культури обґрунтування здобутих виводів, висунутих положень.Логіка, підвищуючи культуру мислення, безпосередньо впливає на процес пізнання судової істини, на розслідування і розгляд судових справ.Закони логіки, будучи специфічними законами мислення, неодноразово пов’язані із законами об’єктивного світу, погоджуються з ними. “Закони мислення і закони природи необхідно погоджувати між собою, якщо тільки вони належно пізнанні” (Маркс. К., Енгельс Ф. Твори).Необхідною умовою її формування є вивчення всієї історії філософії, а отже, це зумовлює необхідність досліджувати всю історико-філософську базу діалектики в її культурологічному значенні як єдино істинного способу філософського мислення, його культури. Адже історія філософії – це й історія самопізнання діалектики. Традиція останньої завжди актуальна в аспекті духовної культури загалом і культури філософського мислення зокрема. Тому «людям, які бажають виховати в собі діалектичний розум, уміння діалектично мислити, діалектично оперувати поняттями і діалектично ставитися до них, вірним помічником буде вивчення історії філософії, розвитку найкращих взірців класичної і сучасної наукової думки»