ії висновків, а з іншого - все більш значно розширює і збагачує логічну проблематику. Сучасна логіка - складна і високорозвинена система знань. Вона включає в себе безліч напрямків, окремих, відносно самостійних В«логікВ», все більш повно виражають запити практики і в кінцевому рахунку відображають різноманіття і складність навколишнього світу, єдність і різноманіття самого мислення про цей світ.
Символічна логіка знаходить все більш широке застосування в інших науках - не тільки в математиці, а й у фізиці, біології, кібернетиці, економіці, лінгвістиці. Вона призводить до виникнення нових галузей знань (метаматематика). Особливо вражаюча і наочна роль сучасної логіки у сфері виробництва. Відкриваючи можливість як би автоматизувати процес міркувань, вона дозволяє передати деякі функції мислення технічним пристроям. Її результати знаходять все більш широке застосування в техніці: при створенні релейно-контактних схем, обчислювальних машин, інформаційно-логічних систем і т.д. За образним висловом одного з учених, сучасна логіка - це не тільки В«інструментВ» точної думки, але і В«думкаВ» точного інструменту, електронного автомата. Спеціально відзначимо, що досягнення сучасної логіки використовуються і в правовій сфері. Так, в криміналістиці на різних етапах дослідження проводиться логіко-математична обробка зібраної інформації. Зростаючі потреби науково-технічного прогресу обумовлюють подальший інтенсивний розвиток сучасної логіки. Залишається сказати, що в розробку систем символічної логіки внесли важливий внесок російські вчені. Серед них особливо виділяється П. Порецький (1846-1907). Так, він першим у Росії почав читання лекцій з математичної логіки. Його власні праці в цій галузі не тільки були на рівні праць сучасних йому західноєвропейських учених, а й у ряді випадків перевершували їх. p align="justify"> Висновок
Сучасна формальна логіка відрізняється від арістотелівської широким застосуванням математичних методів і граничної строгістю побудов. У логіці завжди використовувалася символіка (досить проста). Але в сучасній логіці роль символічного апарату колосально зросла. Без нього сучасна логіка не змогла б існувати і проводити дослідження з теорії виводу і докази, проаналізувати ряд важливих проблем природознавства. Без апарату символічної логіки не можуть працювати кібернетичні пристрої, ці В«думаючіВ» автомати, керуючі виробничими процесами, регулюючі транспортні потоки, що виробляють найскладніші обчислення, здійснюють облік, встановлюють діагноз захворювань, що розшифровують письмена давно вимерлих народів, які грають у шахи і т.д. Все це і багато іншого електронні пристрої роблять не тому, що вони мислять, а тому, що люди - програмісти - щоразу дають їм особливу програму, написану мовою символічної логіки. br/>
Список використаної літератури
1. Терлюкевіч І.І., Булига...
