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

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

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

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

 

ПОШУК:   

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

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

Реферат

 

на тему:

 

Можливість та теорія можливих світів

 

Для класичної логіки річ існує або не існує, і немає ніяких інших

варіантів. Але як у звичайному житті, так і в науці постійно приходиться

говорити не тільки про те, що є в дійсності і чого немаэ, але і про те,

що повинно бути чи не повинне бути і т.д. Дійсний хід подій можна

розглядати як реалізацію однієї з багатьох мислимих можливостей, а

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

можливих світів.

 

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

міркування не тільки про реальні події (маючих місце в дійсному світі),

але і про можливі події ( що відбуваються в якихось можливих світах) чи

про необхідні події ( що настають у всіх таких світах).

 

Прагнення збагатити мову логіки і розширити її виразні можливості

привело до виникнення модальної логіки. Її задача — аналіз міркувань, у

яких зустрічаються модальні поняття, що служать для конкретизації

встановлюваних нами зв'язків, їх оцінки з тієї чи іншої точки зору.

 

Ще Арістотель почав вивчення таких, найбільш часто модальних понять, що

зустрічаються, як «необхідно», «можливо», «випадково». У середні

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

також «знає», «думає», «було», «буде», «обов'язково», «дозволене» і т.д.

 

У принципі число груп модальних понять, що виражаються ними, не

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

предметом спеціального дослідження. Вона вивчає також загальні принципи

модальної оцінки, справедливі для всіх груп модальних понять.

 

Цікаву групу складають, зокрема, поняття «думає», «сумнівається» і т.п.

Розділ модальної логіки, що досліджує ці і подібні їм поняття, одержав

назву епистемической логіки. У числі найпростіших законів цієї логіки

такі положення: «Неможливо думати щось і разом з тим сумніватися в

цьому», «Якщо суб'єкт переконаний у чомусь, невірно, що він переконаний

також у протилежному» і т.п.

 

Тимчасові модальні поняття «було», «буде», «раніш», «пізніше»,

«одночасно» і т.п. вивчаються логікою часу. Серед елементарних її

законів містяться твердження: «Невірно, що відбудеться логічно неможлива

подія», «Якщо було, що завжди буде щось, то воно завжди буде», «Жодне

подія не відбувається раніш самого себе» і т.п.

 

В останні десятиліття модальна логіка бурхливо розвивається, утягуючи у

свою орбіту всі нові групи модальних понять. Істотно удосконалені

способи її обґрунтування. Це додало модальній логіці новий подих і

поставило її в центр сучасних логічних досліджень.

 

Наука непримиренна до протиріч і успішно бореться з ними. Але в житті

багатьох наукових теорій, особливо на початку їх розвитку, є періоди,

коли вони не вільні від внутрішніх протиріч.

 

Логіка, яка вимагає виключення протиріч, повинна вважатися з цією

обставиною. До того ж їй самій характерні внутрішні протиріччя (логічні

парадокси), що періодично доставляють чимале занепокоєння.

 

Класична логіка підходить до протиріч трохи прямолінійно. Відповідно до

одному з її законів, із протиріччя випливає усе, що завгодно. Це

-----> Page:

0 [1]

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