По авторской интенции? Вполне вероятно. Хотя рефлексивные парадоксы Кэрролл изучал,

Question

Symbolic logic for math and destroy

Андреас Корвуас

По авторской интенции? Вполне вероятно. Хотя рефлексивные парадоксы Кэрролл изучал,

см. «Что Черепаха сказала Ахиллу».

Но по-настоящему хорошая книга всегда говорит много больше, чем закладывал автор.

0

05.06.2024

1 ответов

14 просмотров

Brenoritvrezorkre · Accepted Answer

Тут речь не о парадоксах, а о том, как получается, что modus ponens работает. А вдруг не работает? Окей, давай добавим новое правило вывода, которое из посылок и модус поненс выводит результат. А если это тоже сомнительное правило? Тогда вводим третье и до бесконечности. Тогда это было очень хорошее наблюдение, но другим наблюдением является то, что это вопрос о том, как обосновываются правила вывода. Какая их джастификация. А вдруг это не настоящее правило, т.е. мы можем от истинных посылок прийти к ложным выводам? А дедуктивная логика, желательно, не должна допустить такого. Так как обосновываются правила? Явно не другими вводимыми правилами.

Похожие чаты

По авторской интенции? Вполне вероятно. Хотя рефлексивные парадоксы Кэрролл изучал,

1 ответов

Похожие вопросы