Без заголовка

Откуда эта уловка ad hoc? Предлагались не изменения формулировок, а изменение сути, содержательная коррекция. Полностью так, как описывается, например, у Дойча: фальсифицированная теория или прекращает развиваться, или наоборот — подхакивается, чтобы аргументы против неё перестали действовать, "указанные ошибки с благодарностью исправляются". Машинка типов как нужная для логики может ставиться только тогда, когда ты понимаешь, что логика имеет значение. Если логика значения не имеет, то и работа с типами, точностью высказываний и прочим не нужна. Но можно, например, заниматься выразительностью художественного чтения, повышением "психологической убедительности в интонации" и т.д. Машинку типов мы рутинно ставим, а вот опору на принятие рассуждений всерьёз — не факт, что ставим. Охота и собирательство тут, а надо бы осознанное земледелие: не обучение тех, у кого с логикой всё в порядке, а обучение и тому, что с логикой всё ОК, включая выход логики в жизнь, принятие её всерьёз. Ибо если всё в порядке, то не можешь быть уверен, что в соседней какой-нибудь предметной области вдруг окажутся проблемы с логикой. Вон, у математиков с логикой всё вроде в порядке, а потом какой-нибудь Фоменко изобретает новую историю человечества, и никакие аргументы его не прошибают.