WWW.REFERATCENTRAL.ORG.UA - Я ТУТ НАВЧАЮСЬ

... відкритий, безкоштовний архів рефератів, курсових, дипломних робіт

ГоловнаЛогіка → Сучасна логіка - Реферат

Сучасна логіка - Реферат


Реферат на тему:
Сучасна логіка
В історії логіки виділяють два етапи: перший - від логіки Давнього світу до виникнення у другій половині 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) має великі заслуги у сфері розробки мови сучасної логічної символіки. Він систематично виклав теорію числення висловлювань і теорію класів. У книзі "Принципи математики" разом з Уайтхедом розвинув математичну логіку способом аксіоматизації й формалізації числень висловлювань, класів і предикатів, а також теорію типів як способу переборення парадоксів. Крім того, Рассел досліджував логічний аспект проблеми існування, логічний статус дескрипції, природу деяких парадоксів тощо.
Платан Порецький (1846-1907) першим у Росії розробив і читав курс математичної логіки. Він узагальнив і розвинув досягнення Дж. Буля, У.-С. Джевонса, Е. Шредера у сфері алгебри логіки. Значне місце у працях Порецького займала "теорія наслідків". Ним узагальнена теорія силогістики традиційної логіки, проаналізовані деякі несилогістичні міркування тощо.
Значним є внесок у розвиток сучасної логіки і деяких інших учених, зокрема представників львівсько-варшавської школи, до якої належали К. Твардовський, Я. Лукасе-вич, С. Лесьневський, А. Тарський, Т. Котарбіньський, К. Айдукевич та ін. Вони багато зробили для розвитку логічної семантики, теорії множин, модальної й багатозначної, математичної логіки, для розв'язання металогічних і мето-дологічних проблем тощо.
Мислення людини підкоряється логічним законам і протікає в логічних формах незалежно від науки логіки. Вона є лише наслідком існування певного закономірного стану речей і є його систематизоване і упорядковане відображення. Так як для фізики причиною її виникнення є закони Всесвіту, так логіці передують закони мислення. Як фізика, вона знаходиться в постійному становленні і розвитку, тому що можливості і предмет її дослідження і відображення безмежно широкий, і не пізнаний. Багато людей мислять логічно, не знаючи правил логіки, так само як для падіння (комусь або чомусь) необов'язково знати закони тяжіння або для розмовляння - закони граматики.
Логіка -
Loading...

 
 

Цікаве