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

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

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

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

 

ПОШУК:   

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

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

РЕФЕРАТ

 

на тему:

 

„СУЧАСНА ЛОГІКА”

 

Термін “логіка” сьогодні загалом застосовується у трьох головних

значеннях. По-перше, ним позначають будь-яку необхідну закономірність у

взаємозв’язку об’єктивних явищ – “логіка фактів”, “логіка історичного

розвитку” тощо. По-друге, словом “логіка” позначають закономірності у

зв’язках і у розвитку думок – “логіка міркування”, “логіка мислення”.

Нарешті, логікою називають окрему науку, яка розглядає мислення з

позиції його формальної правильності.

 

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

 

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

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

 

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

 

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

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

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

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

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

 

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

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

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

розвиток.

 

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

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

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

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

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

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

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

 

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

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

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

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

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

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

 

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

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

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

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

до логіки.

 

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

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

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

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

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

 

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

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

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

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

 

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

-----> Page:

0 [1] [2]

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