UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75838
останнє поновлення: 2016-12-03
за 7 днів додано 15

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваСучасна логіка (реферат)
Авторdimich
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуРеферат
Продивилось6913
Скачало2402
Опис
ЗАКАЧКА
Замовити оригінальну роботу

Реферат на тему:

 

Сучасна логіка

 

В історії логіки виділяють два етапи: перший — від логіки Давнього

світу до виникнення у другій половині XIX ст. сучасної логіки; другий —

з того часу до наших днів. На першому етапі логіка переважно займалася

проблемами, поставленими ще Аристотелем. В останні півтора століття в

ній відбулись якісні зміни. Щоправда, передумови цих змін з'явилися ще

тоді, коли Лейбніц запропонував ідею числення і відповідну формалізовану

мову. Цю ідею, як зазначалось, сучасники не зрозуміли і зрештою забули.

Проте в другій половині XIX ст., а тим більше в XX ст. на людство чекала

ціла злива ідей, завдяки яким сучасна логіка пережила наукову революцію.

 

 

Сучасний етап розвитку логіки визначають як сучасна формальна логіка. Ще

Г Лейбниць писав: “Єдиний засіб поліпшити наші умовиводи – це зробити їх

такими, як у математиків, наочними”. Першу формалізовану мову створив

Готлоб Фреге у 1879 р. Сучасна логіка широко застосовується у

математиці, лінгвістиці, праві, філософії, психології, економіці,

інформатиці тощо.

 

З початком застосування математики логіку називають класичною. Її

засновниками також були Джордж Буль (1815-1864), Огастес (Августус) де

Морган (1806-1871), Готлоб Фреге (1848-1925) та ін. Назвемо лише деяких

видатних учених, які внесли істотний вклад у її розвиток.

 

Джордж Буль (1815—1864) — один із засновників математичної логіки.

Поклавши в основу своїх досліджень аналогію між алгеброю і логікою, він

розробив відповідне логічне числення, в якому застосував закони й

операції математики (додавання класів, множення тощо). Алгебро-логічний

метод дав можливість Булю виявити нові типи висновків, які не

враховувались у традиційній силогістиці. Він детально проаналізував

закони комутативності, асоціативності, дистрибутивності.

 

Огастес де Морган (1806—1871) — засновник логічного аналізу відношень,

зокрема запропонував формулу суджень відношення, яка нагадує сучасну

формулу «аRЬ». Він сформулював основні принципи логіки висловлювань і

логіки класів. У розробленій ним алгебрі відношень аналізував операції

додавання, множення тощо. В математичній логіці Морган сформулював

закони, які носять його ім'я — «закони де Моргана».

 

Готлгб Фреге (1848—1925) заклав основи логічної семантики. У своїй

фундаментальній праці «Основні закони арифметики» він побудував систему

формалізованої арифметики на основі розробленого ним розширеного

числення предикатів з метою обґрунтування ідеї про зведення математики

до логіки.

 

Ідеї Фреге багато в чому наперед визначили розвиток логіки XX ст.: він

увів поняття логічної функції й розрізнення властивостей речей і

відношень (а відповідно одномісних і багатомісних логічних функцій);

вперше увів символи для позначення кванторів; увів поняття істиннісного

значення тощо.

 

Фреге систематично досліджував відношення між мовними виразами і

предметами, які позначаються цими виразами; розкрив відмінність між

значенням і смислом мовних виразів. Його праці розцінюються як початок

нового етапу в розвитку математичної (символічної) логіки.

-----> Page:

0 [1] [2] [3]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ