>>Не пройдет. Утверждение "Бог создал все" предполагает что все осуществляется только его попущением. То есть твою программу/отчет создал бог. И ты был его орудием. Иначе это будет уже какой-то ограниченный, не всесильный и всемогущий Бог.
>
>Ващ згляд противоречит христианству - в частности, догмате о свободе воли. Так что пройдет.
>Но бог с ним, с христианством. Важно то, что опять,как и в случае с воронами, потребовались уточнения, в слкчае с Богом плавно перетекающие в теологические бесконечные дискуссии. Опять ничего не работает на "автомате", на уровне ыормальной логики.
Скажем, не всегда работает на автомате.
>>>>Это ключевое. В множестве из одного элемента не существует отрицания.
>>Отрицание - это всегда элемент исходного множества. Так в теории множеств.
>
>Не очень понял, как эти два твоих высказывания можно совместить.
"отрицание, если оно существует - всегда подмножество исходного множества"
Может на примере? Если мы хотим использовать отрицание, то должны всегда начинать с
определения всего множества М. Пусть оно состоит из элементов a,b,c,d,e. Высказывание - это подмножество М. Рассмотрим высказывание ( подмножество) А, состоящее из элементов a,b. Тогда отрицание А - множество элементов, входящих в М но не входящих в А. Т.е. не-А= (c,d,e).
Если М состоит из одного элемента, то теоретико множественое отрицание А - не существует (пусто).
>>Я не понял, почему высказывание "Поппер существовал" не пройдет "фэйс контроль". Да, высказывание "Поппер не существовал" неверно, но оно допустимо. И может быть экспериментально (документально) опровергнуто. Следовательно "Поппер существовал" научно. Мне так кажется.
>Я опять о "чистом" криерии Поппера, виноват. Он гласит: высказываение научно, если его можно (в принципе) опровергнуть экспериментом, т.е. подтвердить экспериментом "отрицание" высказывания. Отрицание данного высказывания - "Поппер не существовал". Приведи эксперимент, подтверждающий это высказывание. :)
Не знаю, может ты прав. В принципе я не слишком огорчусь, если высказывание "Поппер существовал" окажется правильным, но не научным.
>Эксперимент, опровергающий высказывание "Поппер не существовал" (элементарно) здесь не интересен - это будет верификация высказывания "Поппер существовал", а не его фальсификация.
Вообще-то фальсификация утверждения А есть верификация утверждения не-А. Так что верификация и фальсификация тесно связаны. Соответствено сама по сеье замена верификации на фальсификацию не может внести ничего нового. Новое появляется только в том случае, когда А проверять сложно, а не -А - намного проще. Но это бывается только если А принадлежит достаточно сложной теорией.
Т.е. возможно, нужно сформулировать подход так:
1.Применяем принцип верификации. Если он работает, то теория ( утверждение) научна. 2.Если он не работает, применяем принцип фальсификации. Если проходит, то научно.
3.Если не проходит, то мы не можем признать, что теория научна.