Парадоксальное необоснованно

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

Итак

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

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