p> У логіці оцінок поряд з абсолютними оціночними поняттями В«ДобреВ», В«(оціночно) байдужеВ» і В«поганоВ» досліджуються також порівняльні оціночні поняття В«кращеВ», В«рівноцінноВ» і В«гіршеВ».
У логіці причинності вивчаються відносини В«... є причина ...В» і В«... Є слідство ...В», які можна розглядати як порівняльні каузальні модальності. Їм відповідає абсолютна каузальна модальність В«Детерміновано (зумовлено)В». Вираз В«Подія А є причиною події В В»встановлює певне ставлення між двома подіями; вираз В«детерміновану настання події АВ» приписує цій події властивість зумовленість.
Влогіке істини до абсолютним модальностям відносяться поняття В«істинноВ», В«невиразноВ» і В«хибноВ». Цим поняттям можна поставити у відповідність порівняльне модальне поняття ймовірності: В«... більш імовірно, ніж ...В». Вираз В«Істинно висловлювання АВ» встановлює певну властивість висловлювання, а саме, його відповідність дійсності; вираз В«Висловлення А більш імовірно, ніж висловлення ВВ» вказує відношення двох висловлювань з точки зору їх ймовірності.
У теорії логічних модальностей абсолютними поняттями є В«логічно необхідно В»,В« логічно можливо В»,В« логічно неможливо В». Їм можна поставити в відповідність в якості порівняльного модального поняття поняття В«... логічно слід ... В». Вислів В«Логічно необхідно висловлювання АВ» приписує висловлюванню А певна властивість, а саме властивість бути логічно необхідним. Вираз В«З висловлення А логічно випливає висловлення ВВ» встановлює певне ставлення між висловлюваннями А і В.
У сучасній логіці відношення логічного слідування поки не розглядалося, однак, як порівняльна модальність.
Влогіке зміни поряд з абсолютним поняттям В«виникаєВ» досліджується також порівняльне поняття В«... переходить у ...В» (В«Виникає об'єкт АВ» і В«Стан А переходить у стан В В»).
Абсолютні модальні поняття іноді називаються А-поняттями, порівняльні - В-поняттями. А-і В-поняття не зводяться один до одному, вони являють собою як би два різних бачення світу, два взаємодоповнюючі способу опису одних і тих же речей і подій. В«ДобреВ» НЕ визначно через В«КращеВ», В«було" не визначно через В«ранішеВ» і т.д. Логіки абсолютних модальних понять не зводяться до логічних теоріям порівняльних понять, і навпаки.
У модальної логікою основна увага приділяється абсолютним модальностям. З порівняльних модальних понять щодо докладно досліджені поки тільки аксіологічні модальності В«кращеВ», В«рівноцінноВ», В«гіршеВ».
В
3.3 Єдність модальної логіки
Модальні поняття різних типів мають загальні формальні властивості. Так, незалежно від того, до якої групи відносяться ці поняття, вони визначаються один через одного по одній і тій же схемі. Щось можливо, якщо протилежне не є необхідним; дозволено, якщо протилежне не обов'язково; допускається, якщо немає переконання у протилежному. Випадково те, що не є ні необхідним, ні неможливим. Байдуже те, що не обов'язково і не заборонено. Нерозв'язно те, що неможливо довести і незаперечно і т.п.
Подібним же чином порівняльні модальні поняття різних груп визначаються за однією і тією ж схемою: В«перше краще другогоВ» рівносильне В«друге гірше першогоВ», В«перше раніше другого В»рівносильнеВ« друге пізніше першого В»,В« перше причина другого В» рав-носильними В«друге наслідок першогоВ» і т.д.
У кожному розділі модальної логіки доказова своя версія принципу модальної повноти, є модальним аналогом закону виключеного третього. У теорії логічних модальностей принцип повноти стверджує, що кожне висловлювання є чи необхідним, або випадковим, або неможливим; в нормативній логіці - що будь-яка дія або обов'язково, або нормативно байдуже, або заборонено; в логіці оцінок - що всякий об'єкт є чи хорошим, або оціночно байдужим, чи поганим і т.д.
У кожному розділі модальної логіки є і своя версія принципу модальної несуперечності, є модальним аналогом закону протиріччя: висловлювання не може бути необхідним і неможливим; дія не може бути як обов'язковим, так і забороненим; об'єкт не може бути і хорошим, і поганим, і т.д.
Модальні поняття, що відносяться до різних груп, мають різний зміст. При зіставленні таких понять (наприклад, В«НеобхідноВ», В«доказовоюВ», В«переконанийВ», В«обов'язковоВ», В«добреВ», В«завждиВ») складається враження, що вони не мають нічого спільного. Однак модальна логіка показує, що це не так. Модальні поняття різних груп виконують одну і ту ж функцію: вони уточнюють встановлювану у висловленні зв'язок, конкретизують її. Правила їх вживання визначаються тільки цією функцією і не залежать від змісту висловлювань. Тому дані правила є єдиними для всіх груп понять і мають суто формальний характер.
Логіки досить досліджувати найбільш цікаві та важливі з таких груп і поширити потім отримані результати на всі інші можливі групи модальних понять.
У Нада...
