Основні напрямки сучасної логіки

Основні напрямки сучасної логіки.


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