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

Всього в базі: 75850
останнє поновлення: 2016-12-08
за 7 днів додано 17

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

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

 

ПОШУК:   

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

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

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

 

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

 

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

 

1. Від логіки Давнього світу до виникнення у другій половині XIX ст.

сучасної логіки.

 

2. Від другої половини XIX ст. до наших днів.

 

На першому етапі логіка переважно вирішувала проблеми, поставлені ще

Арістотелем. В останні півтора століття в ній відбулись якісні зміни.

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

запропонував ідею числення і відповідну формалізовану мову. Цю ідею, як

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

половині XIX ст., а тим більше в XX ст. на людство чекала ціла злива

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

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

 

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

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

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

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

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

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

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

 

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

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

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

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

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

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

 

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

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

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

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

до логіки.

 

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

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

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

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

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

 

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

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

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

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

 

Чарлз-Самдерс Пірс (1839—1914) — родоначальник семіотики (загальної

теорії знаків). У своєму численні він використовував як строгу, так і

нестрогу диз'юнкції. Пірс сформулював закони матеріальної імплікації.

Тривалий час його праці не були відомі широкій науковій громадськості.

 

тоду формалізації в тлумаченні логічних умовиводів, у розробці числення

висловлювань і предикатів, у дослідженні аксіоматизації знань. Він

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

визначило подальший розвиток досліджень з аксіоматизації наукового

-----> Page:

0 [1]

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