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