суббота, 13 декабря 2014 г.

Парадоксальное - необъяснимое

Если есть вероятность, то что есть невероятность?


Так как в целом блог склоняется к парадоксам, то немного уточню понятие парадоксального.
Крипке разработал семантические конструкции, которые позволили уточнить понятие парадоксального предложения и выявить его отличие от других самоприменимых предложений, включающих предикат истинности.

Итак

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

Итого.
Конечно - это все необоснованно.
Но - что важно - это парадоксально.
Осталось лишь обосновать...

***

"Пусть... " это стандарт математического вводного предложения.
Типа, как в сказке "Жили-были..."
И
"Пусть..." это как раз и есть наивысшее достижение науки.

То есть наука есть
- проблема реальности (какой кусок мира рассматривать)
- проблема предмета (какие главные две-три особенности из куска мира взять в качестве предмета)
- проблема метода (как исследовать две-три особенности из куска мира, чтобы они предсказывали в основном поведение того куска мира, на которые нацелилась данная наука)

Так вот когда пишеть "Пусть..", это значит наука как наука состоялась. Она определила реальность, определила предмет и определила метод. И ей глубоко наплевать на поведение реальности до тех, пока сносно предсказывается поведение реальности.

Парадокс?
Парадокс.
Но объяснимый и очень незаметный.

Комментариев нет:

Отправить комментарий