Конечно. Но это не является что ее там нет на самом деле.
Эта та самая презумпция, о которой я говорил на какой-то древней лохматой странице этой темы, которую благополучно зафлудили. Именно. Мы можем принять что Бога нет, или что подсудимый не виновен; но это не будет означать что Бога действительно нет, или что подсудимый не совершал вменяемого преступления.
Насчет 3, в принципе вопрос терминологический: доказывать его не надо, но без доказательства оно истинным не будет.
Но это не важно.
Важно что 2 абсолютно справедливо лишь для модели. Т.е. модель нам покажет что кошки нет, а кошка там - есть. Результат в модели от этого не станет ложной. Вопрос лишь в адекватности.
В данном случае априори истинным является утверждение: кошки там нет, пока не доказано обратное.
То есть, при такой исходной посылке, доказательством является отсутствие доказательства обратного.
То есть, при такой исходной посылке, доказательством является отсутствие доказательства обратного.
Полагать нечто истинным - да, именно достаточность оснований тут является ключевым критерием.
Это одно и то же. Доказательство и истинность.
В доказательстве не нуждаются три вещи:
1. Предмет веры (мы постулировали его истинность). Кстати, обратите внимание, что, так как это сделано внелогическим путем, из данного постулата не вытекает и логических следствий. Потому, вера обременена парадоксами.
2. Исходная посылка или аксиома (она не истинна и не ложна, так как истинность определяется относительно нее).
3. Уже доказанное (то есть, истинное).
Это одно и то же. Доказательство и истинность.
В доказательстве не нуждаются три вещи:
1. Предмет веры (мы постулировали его истинность). Кстати, обратите внимание, что, так как это сделано внелогическим путем, из данного постулата не вытекает и логических следствий. Потому, вера обременена парадоксами.
2. Исходная посылка или аксиома (она не истинна и не ложна, так как истинность определяется относительно нее).
3. Уже доказанное (то есть, истинное).
Но это не важно.
Важно что 2 абсолютно справедливо лишь для модели. Т.е. модель нам покажет что кошки нет, а кошка там - есть. Результат в модели от этого не станет ложной. Вопрос лишь в адекватности.
Комментарий