Франсуа Рабле "Гаргантюа і Пантагрюель", Детальна інформація

F-і ( F-x .

Фактична модальність – визначається об’єктивною дійсністю.

Реальні зв’язки між предметами виражаються фактичною модальністю за допомогою алетично модальних понять: необхідна і випадкова. Фактично необхідними є судження, в яких міститься інформація про закони науки. (Слова модальності – необхідно, обов’язково, непременно і ін.

“S необхідно є (не є) Р”. В символічній мові для поняття необхідності загальноприйнятий знак (, - оператор необхідності. (( ( (~Р). Фактично випадкові – це судження, які не містять інформації про закони науки, і їх істинність чи хибність визначаються конкретними емпіричними умовами. “Наполеон вмер 5 травня 1821 року”. До випадкових відносять судження, які не є необхідними. Іншою еквівалентною необхідності і випадковості є пари модальних понять – можливість і неможливість.

Фактично можливими є судження, які містять інформацію про принципову сумісність двох явищ: “Команда А може виграти у В команди”, а може і не виграти. В мові це слова: можливо, може бути, не виключено, допускається і ін. “S може бути (може не) P”. В символічній мові для поняття можливості прийнято знак \x25CA - оператор можливості. \x25CA р – “можливо р”. Судження \x25CA є істинним чи хибним і складає клас фактично можливих суджень (\x25CA ( \x25CA~Р). Доповнення до цього класу є клас фактично неможливих суджень – це судження, які містять інформацію про принципову несумісність двох явищ. (“На Місяці неможливе життя) (~\x25CA~Р чи ~\x25CAР).

В узагальненому вигляді фактично детерміновані судження в модальних термінах “можливості” і “неможливості” можуть бути представлені в наступному виді:

F(p) ( \x25CAР ( ~\x25CAР.

Модальні поняття необхідності випадковості нерідко виражають через поняття неможливості і можливості: оператори ( і \x25CA - взаємовизначаємі.

Необхідність Р ( неможливості ~Р;

Можливість Р ( запереченню необхідності ~Р;

\x25CAР( ~( ~Р .

PAGE

PAGE 1