розробка її проблем відноситься до набагато більш пізнього часу.
Зростаючі успіхи у розвитку математики і проникнення математичних методів в інші науки вже в другій половині XVII в. настійно висували дві фундаментальні проблеми. З одного боку, це застосування логіки для розробки теоретичних основ математики, а з іншого - математизація самої логіки як науки. Найбільш глибоку і плідну спробу вирішити котрі стали проблеми зробив найбільший німецький філософ і математик Г. Лейбніц (1646-1416) Тим самим він став, по суті, зачинателем математичної (символічної) логіки. Лейбніц мріяв про той час, коли вчені будуть займатися не емпіричними дослідженнями, а обчисленням з олівцем у руках. Він прагнув винайти для цього універсальний символічний мова, за допомогою якого можна було б раціоналізувати будь-яку емпіричну науку. Нове знання, на його думку, буде результатом логічної калькуляції - числення. p align="justify"> Ідеї Лейбніца отримали деяку розробку в XVIII в. і першій половині XIX ст. Однак найбільш сприятливі умови для потужного розвитку символічної логіки склалися лише з другої половини XIX ст. До цього часу математизація наук досягла особливо значного прогресу, а в самій математиці виникли нові фундаментальні проблеми її обгрунтування. Англійський учений, математик і логік Дж. Буль (1815-1864) у своїх роботах, перш за все, застосовував математику до логіки. Він дав математичний аналіз теорії висновків, виробив логічне числення (В«Булева алгебраВ»). Німецький логік і математик Г. Фреге (1848-1925) застосував логіку для дослідження математики. За допомогою розширеного числення предикатів він побудував формалізовану систему арифметики. Англійський філософ, логік і математик Б. Рассел (1872-1970) спільно з А. Уайтхед (18б 1-1947) в тритомній фундаментальній праці В«Принципи математикиВ» в цілях її логічного обгрунтування спробував здійснити в систематичній формі дедуктивно-аксіоматична побудова логіки.
Так відкрився новий, сучасний етап у розвитку логічних досліджень. Мабуть, найбільш важлива відмінна особливість цього етапу полягає у розробці та використанні нових методів вирішення традиційних логічних проблем. Це розробка і застосування штучного, так званого формалізованої мови - мови символів, тобто буквених і інших знаків (звідси і найбільш загальне найменування сучасної логіки - В«символічнаВ»).
Розрізняють два види логічних числень: числення висловлювань і числення предикатів. При першому допускається відволікання від внутрішньої, понятійної структури суджень, а при другому ця структура враховується і відповідно символічна мова збагачується, доповнюється новими знаками. p align="justify"> Значення символічних мов в логіці важко переоцінити. Г. Фреге порівнював його зі значенням телескопа і мікроскопа. А німецький філософ Г. Клаус (1912-1974) вважав, що створення формалізованої мови мало для техніки логічного висновку таке ж значення, яке у сфері вироб...
