Навігація
Головна
 
Головна arrow Логіка arrow Логіка
< Попередня   ЗМІСТ   Наступна >

Модальна логіка

Модальні поняття

З погляду гуманітарних наук особливий інтерес з некласичних гілок логіки представляє модальна логіка. Їй присвячується окрема глава. Надалі з різних розділів цієї логіки більш детально розглядаються оцінки і норми, що грають особливу роль в соціальних і гуманітарних науках.

Модальні висловлювання - це висловлювання, в які входять модальні поняття, або модальності (від лат. Modus - міра, образ, спосіб).

Прикладами модальних понять можуть служити поняття: «можливо», «необхідно», «випадково», «переконаний», «знає», «вважає», «обов'язково», «дозволено», «заборонено», «добре», «байдуже» , «погано», «краще», «гірше» і т.д.

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

Модальна логіка - розділ сучасної (некласичної) логіки, що займається міркуваннями, в які входять модальні висловлювання.

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

Дійсний хід подій, в якому є тільки «так» і «пет», можна розглядати як реалізацію однієї з багатьох мислимих можливостей, а дійсний світ, в якому ми знаходимося, - як один з незліченної безлічі можливих, поступово реалізуються світів. Н. А. Васильєв висловив цю думку так:

... У можливого безмежному океані Дійсне - маленький Гольфстрім.

Мова немодального висловлювань занадто бідний, щоб на ньому вдалося передати міркування не тільки про реальні події (що мають місце в дійсному світі), але і про події можливих (відбуваються в якихось можливих світах) або про необхідні (наступаючих у всіх таких світах). На цій мові неможливо говорити про обов'язкове і дозволеному, доведеному або тільки передбачуваному, хорошому або байдужому і т.д.

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

Ще Аристотель почав вивчення таких, що найчастіше зустрічаються модальних понять, як «необхідно», «можливо», «випадково». У Середні століття коло модальностей був істотно розширений, і в нього увійшли також «знає», «вважає», «було», «буде», «обов'язково», «дозволено» і т.д. У минулому столітті, коли модальна логіка почала розвиватися особливо бурхливо, до числа модальних понять були віднесені «доказово», «спростовно», «краще», «гірше», «байдуже», «переконаний», «сумнівається», «відкидає» і т.д.

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

Таким чином, модальні поняття, або модальності, служать для оцінки висловлювань, даної з тієї чи іншої точки зору.

До модальним висловлювань відносяться всі висловлювання, що містять хоча б одне з модальних понять.

Модальні поняття, як неважко помітити, дуже різняться за своїм змістом. Здавалося б, що є спільного між поняттями «доказово» і «добре», «переконаний» і «обов'язково» і т.д.?

Спільною для всіх модальних понять є та роль, яку вони відіграють у висловлюваннях. За допомогою даних понять конкретизується фиксируемая у висловленні зв'язок, уточнюється її характер.

Візьмемо, для прикладу, вислів «Злочинець завжди залишає сліди». Воно допускає двояке уточнення: кількісне і якісне. Можна скористатися якимись з слів «всі», «деякі», «більшість» і т.п. і уточнити, про всі злочинців йдеться або ж тільки про деякі. Це буде кількісна конкретизація висловлювання. Можна також спробувати уточнити якісний характер встановленої в ньому зв'язку. Для цього використовуються модальні поняття. Результатом їх застосування будуть висловлювання: «Передбачається, що злочинці завжди залишають сліди», «Доведено, що злочинці завжди залишають сліди», «Можливо, що злочинці завжди залишають сліди» і т.п.

Модальні поняття - поняття, конкретизують якісний характер зв'язку, встановленої у висловлюванні.

Кожна з груп модальних понять дає характеристику встановлюваної у висловленні зв'язку з деякою єдиної точки зору.

Так, для теоретико-пізнавальної конкретизації тверджень використовуються поняття «доказово», «спростовно» і «нерозв'язно», для нормативної - поняття «обов'язково», «дозволено» і «заборонено», для оціночної - поняття «добре», «погано» і «байдуже» або поняття «краще», «гірше» і «рівноцінно» і т.д.

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

Ще раз підкреслимо, що модальні поняття різних груп виконують одну й ту ж функцію: уточнюють встановлювану у висловленні зв'язок, конкретизують її. Правила їх вживання визначаються переважно цією функцією і не залежать від змісту включають їх висловлювань. Тому дані правила є подібними для всіх груп понять і мають формальний характер. За своїми логічним характеристикам поняття «обов'язково» мало чим відрізняється від поняття «переконаний», «нормативно байдуже» - від «випадково» і т.д.

 
Якщо Ви помітили помилку в тексті позначте слово та натисніть Shift + Enter
< Попередня   ЗМІСТ   Наступна >
 
Дисципліни
Агропромисловість
Аудит та Бухоблік
Банківська справа
БЖД
Географія
Документознавство
Екологія
Економіка
Етика та Естетика
Журналістика
Інвестування
Інформатика
Історія
Культурологія
Література
Логіка
Логістика
Маркетинг
Медицина
Нерухомість
Менеджмент
Педагогіка
Політологія
Політекономія
Право
Природознавство
Психологія
Релігієзнавство
Риторика
Соціологія
Статистика
Техніка
Страхова справа
Товарознавство
Туризм
Філософія
Фінанси
Пошук