[userpic]

Re: Связал модальность с причинно-следственной схемой. ↑

bavi в посте Metapractice (оригинал в ЖЖ)

-Тема: Модальные операторы. Интересная вещь получается. На выходе (после классического реагирования на МО) получаются в одном случае конструкции с формулировкой ближе к "достаточному условию", в другом к "необходимому условию". В кавычки беру, потому что, все-таки, это не логика, как таковая.
-- Если ты описываешь нечто доказуемое, то всё это весьма значимо.
Могу показать на примере:
-Должен делать Х
-Иначе что?
-Y
-Если не получаешь Х, то происходит Y?
-Да.
Дела в том, что "Y" это конструкция с отрицанием, даже если без "не" (например, просплю)
Поэтому получаем: Нет Х, нет Y
Добавляем обязательность и получаем: Если нет X, то обязательно всегда нет и Y
Если ответ: Да, всегда
То это подтверждение того, что X это действительно необходимое условие для Y
Если ответ нет, то можно говорить, что Х не необходимое условие для Y. Дальше можно проверить на "достаточное условие".
Если в этом есть смысл и польза, могу расписать дальше)))
Или какую доказуемость мне привести?

1 комментарий