2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение16.07.2023, 19:59 
Аватара пользователя
Но все равно это как-то чуднО...

 
 
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение16.07.2023, 20:19 

(Оффтоп)

alisa-lebovski в сообщении #1601249 писал(а):
чуднО
О ком-то мне это слово напоминает... Вы где его подхватили, если не секрет?

 
 
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение17.07.2023, 10:22 
Аватара пользователя
Утундрий в сообщении #1600656 писал(а):
Поиски смысла в бесконечнозначных логиках

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

 
 
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение19.07.2023, 22:30 
Аватара пользователя
epros
Вах!

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

 
 
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение20.07.2023, 18:56 
Аватара пользователя
epros в сообщении #1601336 писал(а):
мысла нет, потому что в нечёткой логике нет закона непротиворечия

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

 
 
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение21.07.2023, 11:29 
Аватара пользователя
Doctor Boom в сообщении #1601793 писал(а):
epros в сообщении #1601336 писал(а):
мысла нет, потому что в нечёткой логике нет закона непротиворечия

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

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

 
 
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение21.07.2023, 18:39 
Аватара пользователя
epros
А паранепротиворетивые логики вы тоже хейтите? (Зиновьева там) :roll:

 
 
 
 Re: Поиски смысла в бесконечнозначных логиках
Сообщение22.07.2023, 11:33 
Аватара пользователя
Doctor Boom в сообщении #1601932 писал(а):
А паранепротиворетивые логики вы тоже хейтите? (Зиновьева там) :roll:

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

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

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

 
 
 [ Сообщений: 23 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group