Поиски смысла в бесконечнозначных логиках

[alisa-lebovski]

Но все равно это как-то чуднО...

[KhAl]

(Оффтоп)

alisa-lebovski в сообщении #1601249 писал(а):

чуднО

О ком-то мне это слово напоминает... Вы где его подхватили, если не секрет?

[epros]

Утундрий в сообщении #1600656 писал(а):

Поиски смысла в бесконечнозначных логиках

Смысла нет, потому что в нечёткой логике нет закона непротиворечия.

[Утундрий]

epros
Вах!

Остальным: интерпретации истинности могут быть разными. Например, широта применимости некоторой теоретической конструкции. Взять хотя бы ту же "силу" и её крах в ОТО.

[Doctor Boom]

epros в сообщении #1601336 писал(а):

мысла нет, потому что в нечёткой логике нет закона непротиворечия

Он только сужает область рассуждений

[epros]

Doctor Boom в сообщении #1601793 писал(а):

epros в сообщении #1601336 писал(а):

мысла нет, потому что в нечёткой логике нет закона непротиворечия

Он только сужает область рассуждений

Это да, когда смысла нет, "область рассуждений" может быть бесконечной.

[Doctor Boom]

epros
А паранепротиворетивые логики вы тоже хейтите? (Зиновьева там)

[epros]

Doctor Boom в сообщении #1601932 писал(а):

А паранепротиворетивые логики вы тоже хейтите? (Зиновьева там)

Ну, я не хейтю, просто, хм, слегка критично отношусь.

Если говорить о всяких диалектизмах, то есть о попытках формализации логик без закона непротиворечия, то нужно чётко понимать, что в них при желании можно вывести что угодно. И это, разумеется, бесценно для разных демагогов.

Что касается паранепротиворечивых логик, то по определению это такие логики, в которых нет закона ex falso quodlibet ("из противоречия следует всё"). Но если посмотреть на примеры таких логик, то там почему-то окажется куча таких вещей, которые отрицают не только ex falso quodlibet. Например, т.н. "релевантная логика" отказывается от аксиомы $\beta \to (\alpha \to \beta)$, а это вещь более фундаментальная, чем ex falso quodlibet.