Символічна логіка

Стань розумнішим
  • Головна
  • Реферат
  • Філософія
  • Символічна логіка

Символічна логіка

Логіка – одна з найдавніших наук. Точно встановити, хто, коли і де вперше звернувся до тих аспектів мислення, які становлять предмет логіки, нині неможливо. Окремі витоки логічного вчення можна знайти ще Індії, наприкінці II тисячоліття е. Однак якщо говорити про виникнення логіки як науки, тобто про більш менш систематизовану сукупність знань, то справедливим вважатиме батьківщиною логіки велику цивілізацію Стародавньої Греції. Саме тут у V-IV століттях до н. у період бурхливого розвитку демократії та пов'язаного з ним небувалого пожвавлення суспільно-політичного життя працями Демокріта, Сократа та Платона було закладено основи цієї науки. Родоначальником ж, «батьком» логіки, по праву вважається найбільший мислитель давнини, учень Платона - Аристотель (384-322 рр. до н.е.). Саме він у своїх працях, об'єднаних загальною назвою «Органон» (знаряддя пізнання), вперше докладно проаналізував та описав основні логічні форми та правила міркувань. Логіку, засновану Аристотелем, прийнято називати формальною чи традиційною логікою. У другій половині ХІХ століття склалася символічна, чи математична логіка. Логіка як наука включає багато розділів, такі, як формальна логіка, діалектична, символічна, модальна та інші. У своєму рефераті я розглядатиму символічну логіку.

логіка символічний науковий

Логіка має довгу та багату історію, нерозривно пов'язану з історією розвитку суспільства загалом.

Виникненню логіки як теорії передувала практика мислення, що сягає глибини тисячоліть. З розвиткомтрудової, матеріально-виробничої діяльності людей йшло поступове вдосконалення та розвиток їх розумових здібностей, насамперед здатності до абстракції та умовиводу. А це рано чи пізно, але неминуче мало призвести до того, що об'єктом дослідження стало саме мислення з його формами та законами.

Історія свідчить, що окремі логічні проблеми постають перед думкою людини вже понад 2,5 тис. років тому - спочатку в Стародавній Індії та Стародавньому Китаї. Потім вони отримують повнішу розробку в Стародавній Греції та Римі. Лише поступово складається більш менш струнка система логічних знань, оформляється самостійна наука.

Засновником логіки - або, як іноді кажуть, «батьком логіки» - прийнято вважати найбільшого давньогрецького філософа та вченого-енциклопедиста Аристотеля (384-322 рр. до н.е.). логічних проблем фактично дав більш ранній давньогрецький філософ і дослідник природи Демокріт (460 - приблизно 370 р. до н.е.). Серед його численних праць був і великий трактат у трьох книгах «Про логічне, або Про канони» (від грец. kanon – припис, правило). Тут не тільки були розкриті сутність пізнання, його основні форми та критерії істини, а й показана величезна роль логічних міркувань у пізнанні, дана класифікація суджень, піддані рішучій критиці деякі види вивідного знання та спроба розробити індуктивну логіку – логіку досвідченого знання.

На жаль, цей трактат Демокріта, як і решта, до нас не дійшов. Однак він був широко використаний Аристотелем у його розробці грандіозної системи логіки. А від неї безпосередньо веде початок сучасна логіка.

Аристотелю належить низка трактатів з логіки, об'єднаних пізніше під назвою «Органон» (від грец. organon - знаряддя, інструмент).

Створення та предмет символічної логіки

Справжню революцію у логічних дослідженнях викликало створення у другій половині ХІХ ст. математичної логіки, яка отримала ще назву символічної та позначила новий, сучасний етап у розвитку логіки.

Зачатки цієї логіки простежуються вже в Аристотеля, і навіть у його послідовників, стоїків як елементів логіки предикатів і теорії модальних висновків, і навіть логіки висловлювань. Однак систематична розробка її проблем відноситься до набагато пізнішого часу.

Зростання успіхів у розвитку математики і проникнення математичних методів інші науки вже у другій половині XVII в. наполегливо висували дві фундаментальні проблеми. З одного боку, це застосування логіки розробки теоретичних підстав математики, з другого - математизація самої логіки як науки. Найбільш глибоку і плідну спробу вирішити проблеми, що виникли, зробив найбільший німецький філософ і математик Г. Лейбніц (1646-1416). Тим самим він став, по суті, основоположником математичної (символічної) логіки. Лейбніц мріяв про той час, коли вчені займатимуться не емпіричними дослідженнями, а обчисленням із олівцем у руках. Він прагнув винайти при цьому універсальний символічний мову, з якого можна було б раціоналізувати будь-яку емпіричну науку. Нове знання, на його думку, буде результатом логічної калькуляції – обчислення.

Ідеї ​​Лейбніца отримали деяку розробку у XVIII ст. та першій половині XIX ст. Однак найбільш сприятливі умови для потужного розвитку символічної логіки склалися лише здругої половини ХІХ ст. На той час математизація наук досягла особливо значного прогресу, а самої математиці виникли нові фундаментальні проблеми її обгрунтування. Англійський вчений, математик і логік Дж. Буль (1815-1864) у своїх роботах насамперед застосовував математику до логіки. Він дав математичний аналіз теорії висновків, виробив логічне обчислення («Булева алгебра»). Німецький логік та математик Г. Фреге (1848-1925) застосував логіку для дослідження математики. З допомогою розширеного числення предикатів він побудував формалізовану систему математики. Англійський філософ, логік і математик Б. Рассел (1872-1970) спільно з А. Уайтхедом (18б 1-1947) у тритомній фундаментальній праці «Принципи математики» з метою її логічного обґрунтування спробував здійснити в систематичній формі дедуктивно-аксіомічну.

Символічна логіка - область логічних досліджень, що інтенсивно розвивається, що включає безліч розділів, або, як їх прийнято називати, «логік» (наприклад, логіка висловлювань, логіка предикатів, імовірнісна логіка і так далі). Велика увага приділяється розробці багатозначної логіки, в якій, крім прийнятих у традиційній логіці, двох значень істинності – «істинно» і «хибно» – допускається багато значень істинності. Зазначимо, що у зв'язку із двозначністю традиційної логіки її ще називають пропозиційною логікою. У розробленій польським логіком Я. Лукасевичем (1878 р.) тризначною логікою вводиться третє значення – «можливо» («нейтрально»). Їм же побудовано систему модальної логіки зі значеннями «можливо», «неможливо», «необхідно» тощо, а також чотиризначна та нескінченнозначна логіки. Перспективними є такі розділи, як імовірнісна логіка, що досліджує висловлювання, що приймаютьбезліч ступенів правдоподібності – від 0 до 1, тимчасова логіка та інші. p align="justify"> Особливе значення для правознавства має розділ модальної логіки, який отримав назву деонтичної логіки, що досліджує структури мови розпоряджень, тобто. висловлювань зі значенням «обов'язково», «дозволено», «заборонено», «байдуже», які широко використовуються у правотворчій та правоохоронній діяльності.

Дослідження процесів міркування в системах символічної логіки мало помітний вплив на подальший розвиток формальної логіки в цілому. Разом про те символічна логіка не охоплює всіх проблем традиційної формальної логіки і може повністю замінити її. Це два напрями, два щаблі у розвитку формальної логіки.

Так відкрився новий, сучасний етап у розвитку логічних досліджень. Мабуть, найважливіша відмінність цього етапу полягає у розробці та використанні нових методів вирішення традиційних логічних проблем. Це розробка та застосування штучної, так званої формалізованої мови – мови символів, тобто. літерних та інших знаків (звідси й найбільш загальне найменування сучасної логіки – «символічна»).

Застосування символічної логіки

Значення символічних мов у логіці важко переоцінити.Г. Фреге порівнював його зі значенням телескопа та мікроскопа. А німецький філософ Г. Клаус (1912-1974) вважав, що створення формалізованої мови мало для техніки логічного висновку таке ж значення, яке у сфері виробництва мав перехід від ручної праці до машинної. Виникаючи на основі традиційної формальної логіки, символічна логіка, з одного боку, уточнює, поглиблює та узагальнює колишні уявлення про логічні закони та форми, особливо в теорії висновків, а з іншого - дедалі більшезначно розширює та збагачує логічну проблематику. Сучасна логіка - найскладніша та високорозвинена система знань. Вона включає в себе безліч напрямів, окремих, щодо самостійних «логік», що все більш повно виражають запити практики і в кінцевому рахунку відображають різноманіття і складність навколишнього світу, єдність і різноманіття самого мислення про цей світ.

Символічна логіка знаходить дедалі ширше застосування інших науках - у математиці, а й у фізиці, біології, кібернетиці, економіці, лінгвістиці. Вона призводить до нових галузей знань (метаматематика). Особливо вражаюча та наочна роль сучасної логіки у сфері виробництва. Відкриваючи можливість автоматизувати процес міркувань, вона дозволяє передати деякі функції мислення технічним пристроям. Її результати знаходять дедалі ширше застосування у техніці: під час створення релейно-контактних схем, обчислювальних машин, інформаційно-логічних систем тощо. За образним виразом одного з учених, сучасна логіка - це не тільки «інструмент» точної думки, а й «думка» точного інструменту, електронного автомата. Спеціально зазначимо, що досягнення сучасної логіки використовуються у правовій сфері. Так було в криміналістиці різних етапах дослідження виробляється логіко-математична обробка зібраної інформації. Зростаючі потреби науково-технічного прогресу зумовлюють подальший інтенсивний розвиток сучасної логіки. Залишається сказати, що у розробку систем символічної логіки зробили важливий внесок українські вчені. Серед них особливо виділяється П. Порецький (1846–1907). Так, він першим в Україні почав читання лекцій з математичної логіки. Його власні праці в цій галузі не тільки були на рівні сучасних праць.йому західноєвропейських вчених, але й у ряді випадків перевершували їх.

Сучасна формальна логіка відрізняється від арістотелівської широким застосуванням математичних методів та граничною строгістю побудов. У логіці завжди використовувалася символіка (досить проста). Але у сучасній логіці роль символічного апарату колосально зросла. Без нього сучасна логіка не змогла б існувати та проводити дослідження з теорії висновку та доказу, проаналізувати низку важливих проблем природознавства. Без апарату символічної логіки що неспроможні працювати кібернетичні устрою, ці «думаючі» автомати, управляючі виробничими процесами, регулюючі транспортні потоки, які виробляють найскладніші обчислення, здійснюють облік, встановлюють діагноз захворювань, розшифровують письма давно вимерлих народів, які у шахи тощо. Все це та багато іншого електронні пристрої роблять не тому, що вони мислять, а тому, що люди – програмісти – щоразу дають їм особливу програму, написану мовою символічної логіки.

Список використаної літератури

1. Терлюкевич І.І., Булиго Є.К., Струтинська Н.В., - Логіка. – 2010.

2. Анісомов А. Сучасна логіка. - М., 2003.

. Івін А.А. логіка. - М: Гардаріки, 2003.

. Кирилов В.І., Орлов Г.А., Фокін Н.І. – Логіка-2003.

. Челпанов Г.І. Підручник з логіки. - М., 1996.