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