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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 
< Попер   ЗМІСТ   Наст >