загрузка...
загрузка...
На головну

логічна модальність

модальні судження

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

модальність (Від лат. "Modus" - міра, спосіб) - це характеристика особливого зв'язку між поняттями або судженнями даного висловлювання. Цей зв'язок може бути:

сильною позитивною - "Необхідно", "обов'язково", "доведено", "завжди", "добре", "відомо", "краще";

слабкою - "Випадково", "можливо", "проблематично", "сумнівно", "іноді "," нерозв'язною "," рівноцінно "," байдуже ";

сильною негативною - "Спростовано", "неможливо", "ніколи", "погано", "гірше", "невідомо", "заборонено".

Слова, які виражають модальність, називаються в логіці, або модальними поняттями, або модальними операторами, або модальними функторами.

Одним з перших звернув увагу на існування модальних суджень Аристотель. Він сформулював ряд правил вживання модальних понять "необхідно", "можливо", "випадково", "неможливо". У середні століття У. Шервуд, У. Оккам, Ж. Буридан, займаючись модальними висновками, говорили про функтором "дійсно", "неминуче", "істинно", "хибно", "нерозв'язною", прагнучи звести їх до трьох основних: " необхідність "," можливість "," неможливість ". У вісімнадцятому столітті І. Кант за ознакою модальності розділив всі судження на ассерторіческіе (судження дійсності), аподиктичні (судження загальності та необхідності) і проблематичні (судження можливості). У сучасній логіці загальної теорії модальних систем поки немає. В рамках символічної (математичної) логіки розроблено безліч аксіоматичних систем, що використовують методи обчислення висловлювань, пов'язаних з багатозначною і ймовірнісної логиками.

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

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

приклад: Логічно необхідно, що якщо йде дощ, то йде дощ.

логічно можливо все, що внутрішньо несуперечливо.

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

приклад: Логічно можливо, що НЛО - явище позаземного розумного життя.

логічно неможливим є висловлювання внутрішньо суперечливе.

приклад: Логічно неможливо, що якщо ця людина спить, то він не спить.

основними законами відносин логічних модальностей є:

- Якщо висловлювання логічно необхідно, то воно істинне, але не навпаки;

- Якщо висловлювання логічно необхідно, то воно логічно можливо, але не навпаки;

- Якщо висловлювання істинно, то воно логічно можливо, але не навпаки.

Закони логіки, т. Е. Логічно необхідні істини, є абсолютно необхідними, незалежно ні від яких обставин, вони надприродного. Наприклад, логічно можливо, що люди ходять по стелі, хоча за природними законами це неможливо.

складні судження «-- попередня | наступна --» епістеміческі модальність
загрузка...
© om.net.ua