йський філософ, логік і математик Б. Рассел (1872-1970) спільно з А. Уайтхед (18б 1-1947) в тритомній фундаментальній праці В«Принципи математикиВ» в цілях її логічного обгрунтування спробував здійснити в систематичній формі дедуктивно-аксіоматична побудова логіки.
Символічна логіка - інтенсивно розвивається область логічних досліджень, що включає безліч розділів, або, як їх прийнято називати, В«логікВ» (наприклад, логіка висловлювань, логіка предикатів, імовірнісна логіка і так далі). Велика увага приділяється розробці багатозначної логіки, в якій крім прийнятих у традиційній логіці двох значень істинності - В«істинноВ» і В«хибноВ» - допускається багато значень істинності. Відзначимо, що у зв'язку з двозначністю традиційної логіки її ще називають пропозіціональной логікою. У розробленій польським логіком Я. Лукасевичем (1878-рр.) Тризначній логіці вводиться третє значення - В«можливоВ» (В«нейтральноВ»). Їм же побудована система модальної логіки зі значеннями В«можливоВ», В«неможливоВ», В«необхідноВ» і т.п., а також чотиризначна і бесконечнозначная логіки. Перспективними є такі розділи, як імовірнісна логіка, що досліджує висловлювання, що приймають безліч ступенів правдоподібності - від 0 до 1, тимчасова логіка та інші. Особливе значення для правознавства має розділ модальної логіки, що отримав назву деонтіческой логіки, який досліджує структури мови приписів, тобто висловлювань зі значенням В«обов'язковоВ», В«дозволеноВ», В«забороненоВ», В«байдужеВ», які широко використовуються у правотворчій і правоохоронної діяльності.
Дослідження процесів міркування в системах символічної логіки зробило помітний вплив на подальший розвиток формальної логіки в цілому. Разом з тим символічна логіка не охоплює всіх проблем традиційної формальної логіки і не може повністю замінити її. Це два напрямки, два щаблі у розвитку формальної логіки. p align="justify"> Так відкрився новий, сучасний етап у розвитку логічних досліджень. Мабуть, найбільш важлива відмінна особливість цього етапу полягає у розробці та використанні нових методів вирішення традиційних логічних проблем. Це розробка і застосування штучного, так званого формалізованої мови - мови символів, тобто буквених і інших знаків (звідси і найбільш загальне найменування сучасної логіки - В«символічнаВ»).
Застосування символічної логіки
Значення символічних мов в логіці важко переоцінити . Г. Фреге порівнював його зі значенням телескопа і мікроскопа. А німецький філософ Г. Клаус (1912-1974) вважав, що створення формалізованої мови мало для техніки логічного висновку таке ж значення, яке у сфері виробництва мав перехід від ручної праці до машинного. Виникаючи на основі традиційної формальної логіки, символічна логіка, з одного боку, уточнює, поглиблює та узагальнює колишні уявлення про логічні закони і форми, особливо в теор...
