Если есть вероятность, то что есть невероятность?
Так как в целом блог склоняется к парадоксам, то немного уточню понятие парадоксального.
Крипке разработал семантические конструкции, которые позволили уточнить понятие парадоксального предложения и выявить его отличие от других самоприменимых предложений, включающих предикат истинности.
Итак
Предложение ПАРАДОКСАЛЬНО, если оно не имеет истинностного значения ни в одной фиксированной точке. Иное возможно.
Всякое парадоксальное предложение НЕОБОСНОВАННО, но не наоборот.
Пример.
Предложение, утверждающее свою собственную неистинность ("это предложение не истинно") - ПАРАДОКСАЛЬНО. И тем самым НЕОБОСНОВАННО.
Предложение, утверждающее свою собственную истинность - НЕ ПАРАДОКСАЛЬНО, но тем не менее НЕ ОБОСНОВАННО.
То есть не всякое НЕОБОСНОВАННОЕ утверждение является ПАРАДОКСАЛЬНЫМ.
Итого.
Конечно - это все необоснованно.
Но - что важно - это парадоксально.
Осталось лишь обосновать...
***
"Пусть... " это стандарт математического вводного предложения.
Типа, как в сказке "Жили-были..."
И
"Пусть..." это как раз и есть наивысшее достижение науки.
То есть наука есть
- проблема реальности (какой кусок мира рассматривать)
- проблема предмета (какие главные две-три особенности из куска мира взять в качестве предмета)
- проблема метода (как исследовать две-три особенности из куска мира, чтобы они предсказывали в основном поведение того куска мира, на которые нацелилась данная наука)
Так вот когда пишеть "Пусть..", это значит наука как наука состоялась. Она определила реальность, определила предмет и определила метод. И ей глубоко наплевать на поведение реальности до тех, пока сносно предсказывается поведение реальности.
Парадокс?
Парадокс.
Но объяснимый и очень незаметный.
Комментариев нет:
Отправить комментарий