Время поднять вопрос о фальсифицируемости и о функциональных ("живых") теориях.
На этот вопрос меня натолкнули две вещи: аргумент в вики-статье о философском зомби "если мир с философскими зомби мыслим [может существовать], значит, аргумент верен" и тема какого-то человека о сверхсветовом телефоне, якобы его существование не нарушит ничего.
И у меня появился вопрос: если есть теория, описывающая поведение каждого предмета данного мира, можно ли считать её верной, если вообразим такой предмет, который может быть добавлен в этот мир, не изменив его законы (не изменив поведение всей системы), но который не может быть описан настоящей теорией?
Возможно, в такой постановке недостаточно ясно, в чём проблема, тогда можно так:
Допустим, есть мир. В нём есть Учёный, он может описать своим словом (теорией) поведение всех предметов, находящихся в данном мире. Но шутливый Бог на это отвечает добавлением в мир новых предметов.
Это не может быть любой предмет, есть определённые рамки, условия, но предметов этих бесконечно. Это как с функцией.
Что же делать учёному, он никогда не опишет такой мир? Или он придумает слово, описывающее все предметы, которые может добавить Бог, не нарушая условие? Например, как матан (его раздел) предлагает описание миров с разным числом измерений, или с разным числом... (здесь эрудиция кончается) так и эта теория будет делать нечто подобное.
Какое это имеет отношение к проблемам насущным?
Наука хвалится над религией опровергаемостью своих теорий. Конечно, всё уже давно опровергнуто, какую ни возьми теорию. Но. Переписывают. И как опровергнуть изменяющееся, корректирующееся слово?
Вот если бы у слова было условие, что такие-то расхождения с опытом - допустимы, это просто подправить надо, а вот такие расхождения - нет, слово опровергнуто.
Вот тогда бы и можно было что-то говорить про опровергаемость, хоть, конечно, всё равно бред (можно запилить широкое условие или просто дать другую теорию).
Предлагаю рассмотреть на каком-нибудь конкретном случае, но не особо сложном, чтоб и несведущий мог порассуждать.