Похожие чаты

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

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

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

1 ответов

13 просмотров

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

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

Обсуждают сегодня

This is a question from my wife who make a fortune with memes 😂😂 About the Migration and Tokens: 1. How will the old tokens be migrated to the new $LGCYX network? What is th...
🍿 °anton°
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Anyone knows where there are some instructions or discort about failed bridge transactions ?
Jochem
21
есть ПО, которое лежит папкой, по сути и не инсталится, а просто запускается. Надо раскидать по машинам в домене. Я так понял, что прям настройками GPO, копировать я смогу тол...
Dmitriy
8
any reference of this implementation?
BitBuddha
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
Привет)) уже кажется эту тему перемусолили, но вот я так и не понял. Я сейчас сижу на 27дюймов 2к мониторе. На Актуальной макоси, если я куплю 27д 4к монитор: - будет ли изобр...
Vladislav Piskunov
16
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Also, why can’t the community have a vote/ say when it comes to initiatives like buybacks. Isn’t the point of crypto decentralisation? Don’t we deserve input as long term supp...
👨🏽‍🦰
13
Карта сайта