Сучасна логіка
Сучасна логіка
В історії логіки виділяють два етапи: перший — від логіки Давнього світу до виникнення у другій половині XIX ст. сучасної логіки; другий — з того часу до наших днів. На першому етапі логіка переважно займалася проблемами, поставленими ще Аристотелем. В останні півтора століття в ній відбулись якісні зміни. Щоправда, передумови цих змін з'явилися ще тоді, коли Лейбніц запропонував ідею числення і відповідну формалізовану мову. Цю ідею, як зазначалось, сучасники не зрозуміли і зрештою забули. Проте в другій половині XIX ст., а тим більше в XX ст. на людство чекала ціла злива ідей, завдяки яким сучасна логіка пережила наукову революцію.
Сучасний етап розвитку логіки визначають як сучасна формальна логіка. Ще Г Лейбниць писав: “Єдиний засіб поліпшити наші умовиводи – це зробити їх такими, як у математиків, наочними”. Першу формалізовану мову створив Готлоб Фреге у 1879 р. Сучасна логіка широко застосовується у математиці, лінгвістиці, праві, філософії, психології, економіці, інформатиці тощо.
З початком застосування математики логіку називають класичною. Її засновниками також були Джордж Буль (1815-1864), Огастес (Августус) де Морган (1806-1871), Готлоб Фреге (1848-1925) та ін. Назвемо лише деяких видатних учених, які внесли істотний вклад у її розвиток.
Джордж Буль (1815—1864) — один із засновників математичної логіки. Поклавши в основу своїх досліджень аналогію між алгеброю і логікою, він розробив відповідне логічне числення, в якому застосував закони й операції математики (додавання класів, множення тощо). Алгебро-логічний метод дав можливість Булю виявити нові типи висновків, які не враховувались у традиційній силогістиці. Він детально проаналізував закони комутативності, асоціативності, дистрибутивності.
Огастес де Морган (1806—1871) — засновник логічного аналізу відношень, зокрема запропонував формулу суджень відношення, яка нагадує сучасну формулу «аRЬ». Він сформулював основні принципи логіки висловлювань і логіки класів. У розробленій ним алгебрі відношень аналізував операції додавання, множення тощо. В математичній логіці Морган сформулював закони, які носять його ім'я — «закони де Моргана».
Готлгб Фреге (1848—1925) заклав основи логічної семантики. У своїй фундаментальній праці «Основні закони арифметики» він побудував систему формалізованої арифметики на основі розробленого ним розширеного числення предикатів з метою обґрунтування ідеї про зведення математики до логіки.
Ідеї Фреге багато в чому наперед визначили розвиток логіки XX ст.: він увів поняття логічної функції й розрізнення властивостей речей і відношень (а відповідно одномісних і багатомісних логічних функцій); вперше увів символи для позначення кванторів; увів поняття істиннісного значення тощо.
Фреге систематично досліджував відношення між мовними виразами і предметами, які позначаються цими виразами; розкрив відмінність між значенням і смислом мовних виразів. Його праці розцінюються як початок нового етапу в розвитку математичної (символічної) логіки.
Чарлз-Сандерс Пірс (1839—1914) — родоначальник семіотики (загальної теорії знаків). У своєму численні він використовував як строгу, так і нестрогу диз'юнкції. Пірс сформулював закони матеріальної імплікації. Тривалий час його праці не були відомі широкій науковій громадськості.
Давид Гільберт (1862—1943) досяг значних успіхів у застосуванні методу формалізації в тлумаченні логічних умовиводів, у розробці числення висловлювань і предикатів, у дослідженні аксіоматизації знань. Він здійснив строго аксіоматичну побудову геометрії Евкліда, що наперед визначило подальший розвиток досліджень з аксіоматизації наукового знання, запропонував розгорнутий план обґрунтування математики шляхом її повної формалізації. Щоправда, ця програма виявилась нездійсненною, проте її ідеї спричинили виникнення метаматематики (теорії доведень).
Альфред-Норт Уайтхед (1861—1947) у співавторстві з Б. Расселом написав тритомну працю «Принципи математики», яка внесла значний вклад у розвиток математичної логіки.
Бертран Рассел (1872—1970) має великі заслуги у сфері розробки мови сучасної логічної символіки. Він систематично виклав теорію числення висловлювань і теорію класів. У книзі «Принципи математики» разом з Уайтхедом розвинув математичну логіку способом аксіоматизації й формалізації числень висловлювань, класів і предикатів, а також теорію типів як способу переборення парадоксів. Крім того, Рассел досліджував логічний аспект проблеми існування, логічний статус дескрипції, природу деяких парадоксів тощо.