Головна Головна -> Реферати українською -> Логіка -> Можливість та теорія можливих світів

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

Назва:
Можливість та теорія можливих світів
Тип:
Реферат
Мова:
Українська
Розмiр:
3,26 KB
Завантажень:
360
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2 
Реферат
на тему:
Можливість та теорія можливих світів


Для класичної логіки річ існує або не існує, і немає ніяких інших варіантів. Але як у звичайному житті, так і в науці постійно приходиться говорити не тільки про те, що є в дійсності і чого немаэ, але і про те, що повинно бути чи не повинне бути і т.д. Дійсний хід подій можна розглядати як реалізацію однієї з багатьох мислимих можливостей, а дійсний світ, у якому ми знаходимося, — як один з незліченної безлічі можливих світів.
Мова класичної логіки занадто бідна, щоб на ній вдалося передати міркування не тільки про реальні події (маючих місце в дійсному світі), але і про можливі події ( що відбуваються в якихось можливих світах) чи про необхідні події ( що настають у всіх таких світах).
Прагнення збагатити мову логіки і розширити її виразні можливості привело до виникнення модальної логіки. Її задача — аналіз міркувань, у яких зустрічаються модальні поняття, що служать для конкретизації встановлюваних нами зв'язків, їх оцінки з тієї чи іншої точки зору.
Ще Арістотель почав вивчення таких, найбільш часто модальних понять, що зустрічаються, як «необхідно», «можливо», «випадково». У середні століття коло модальностей було істотно розширене, і в нього ввійшли також «знає», «думає», «було», «буде», «обов'язково», «дозволене» і т.д.
У принципі число груп модальних понять, що виражаються ними, не обмежено. Сучасна логіка виділяє найбільш важливі з цих груп і робить їх предметом спеціального дослідження. Вона вивчає також загальні принципи модальної оцінки, справедливі для всіх груп модальних понять.
Цікаву групу складають, зокрема, поняття «думає», «сумнівається» і т.п. Розділ модальної логіки, що досліджує ці і подібні їм поняття, одержав назву епистемической логіки. У числі найпростіших законів цієї логіки такі положення: «Неможливо думати щось і разом з тим сумніватися в цьому», «Якщо суб'єкт переконаний у чомусь, невірно, що він переконаний також у протилежному» і т.п.
Тимчасові модальні поняття «було», «буде», «раніш», «пізніше», «одночасно» і т.п. вивчаються логікою часу. Серед елементарних її законів містяться твердження: «Невірно, що відбудеться логічно неможлива подія», «Якщо було, що завжди буде щось, то воно завжди буде», «Жодне подія не відбувається раніш самого себе» і т.п.
В останні десятиліття модальна логіка бурхливо розвивається, утягуючи у свою орбіту всі нові групи модальних понять. Істотно удосконалені способи її обґрунтування. Це додало модальній логіці новий подих і поставило її в центр сучасних логічних досліджень.
Наука непримиренна до протиріч і успішно бореться з ними. Але в житті багатьох наукових теорій, особливо на початку їх розвитку, є періоди, коли вони не вільні від внутрішніх протиріч.
Логіка, яка вимагає виключення протиріч, повинна вважатися з цією обставиною. До того ж їй самій характерні внутрішні протиріччя (логічні парадокси), що періодично доставляють чимале занепокоєння.
Класична логіка підходить до протиріч трохи прямолінійно. Відповідно до одному з її законів, із протиріччя випливає усе, що завгодно. Це означає, що протиріччя забороняється, притім забороняється під погрозою, що у випадку його появи в теорії виявиться доказовим будь-яке твердження. Очевидно, що тим самим теорія буде зруйнована.
Однак реально ніхто не користається цим дозволом виводити з протиріч усе, що потрапило. Практика наукових міркувань різко розходиться в даному пункті з логічною теорією.
Як реакцію на цю неузгодженість в останні десятиліття почали розроблятися різні варіанти пар несуперечливої логіки. Трохи незвичайна її назва покликана підкреслити, що вона інакше трактує протиріччя, ніж класична логіка.
Виключається, зокрема, можливість виводити з протиріч будь-які твердження. Довідність у теорії протиріччя перестає бути смертельно небезпечною погрозою, що нависла над нею. Цим не усувається, звичайно, принципова необхідність рятуватися від протиріч у процесі подальшого розвитку теорії. Цікаво відзначити, що одним з перших (ще в 1910 р.) сумніви в необмеженій застосованості закону непротиріччя висловив російський логік Н.

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2 



Реферат на тему: Можливість та теорія можливих світів

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок