В«Про логічне, або Про канониВ» (від грец. Kanon - припис, правило). Тут не тільки були розкриті сутність пізнання, його основні форми та критерії істини, але і показана величезна роль логічних міркувань в пізнанні, дана класифікація суджень, піддані рішучій критиці деякі види вивідного знання і зроблена спроба розробити індуктивну логіку - логіку досвідченого знання.
На жаль, цей трактат Демокріта, як і всі інші, до нас не дійшов. Однак він був широко використаний Арістотелем в його розробці грандіозної системи логіки. А від неї безпосередньо веде початок сучасна логіка. p align="justify"> Аристотеля належить ряд трактатів з логіки, об'єднаних пізніше під назвою В«ОрганонВ» (від грец. organon - знаряддя, інструмент).
Створення і предмет символічної логіки
Справжню революцію в логічних дослідженнях викликало створення в другій половині XIX в. математичної логіки, яка отримала ще назву символічної і позначила новий, сучасний етап у розвитку логіки.
Зачатки цієї логіки простежуються вже у Арістотеля, а також у його послідовників, стоїків у вигляді елементів логіки предикатів і теорії модальних висновків, а також логіки висловлювань. Однак систематична розробка її проблем відноситься до набагато більш пізнього часу. p align="justify"> Зростаючі успіхи у розвитку математики і проникнення математичних методів в інші науки вже в другій половині XVII в. настійно висували дві фундаментальні проблеми. З одного боку, це застосування логіки для розробки теоретичних основ математики, а з іншого - математизація самої логіки як науки. Найбільш глибоку і плідну спробу вирішити котрі стали проблеми зробив найбільший німецький філософ і математик Г. Лейбніц (1646-1416). Тим самим він став, по суті, зачинателем математичної (символічної) логіки. Лейбніц мріяв про той час, коли вчені будуть займатися не емпіричними дослідженнями, а обчисленням з олівцем у руках. Він прагнув винайти для цього універсальний символічний мова, за допомогою якого можна було б раціоналізувати будь-яку емпіричну науку. Нове знання, на його думку, буде результатом логічної калькуляції - числення. p align="justify"> Ідеї Лейбніца отримали деяку розробку в XVIII в. і першій половині XIX ст. Однак найбільш сприятливі умови для потужного розвитку символічної логіки склалися лише з другої половини XIX ст. До цього часу математизація наук досягла особливо значного прогресу, а в самій математиці виникли нові фундаментальні проблеми її обгрунтування. Англійський учений, математик і логік Дж. Буль (1815-1864) у своїх роботах, перш за все, застосовував математику до логіки. Він дав математичний аналіз теорії висновків, виробив логічне числення (В«Булева алгебраВ»). Німецький логік і математик Г. Фреге (1848-1925) застосував логіку для дослідження математики. За допомогою розширеного числення предикатів він побудував формалізовану систему арифметики. Англі...
