История изменений
Исправление Nervous, (текущая версия) :
Если ты про противоречие в рамках рассматриваемой теории
Не совсем.
только они могут быть опровергнуты экспериментально, когда рассматривается корректность теории не самой себе (т.е. ее внутренняя непротиворечивость), а реальному миру.
Еще нет никакой теории. Мы (люди, разумные существа, действующие в нашем мире) формулируем некоторое высказывание. Если процесс опровержения этого высказывания любым человеком приводит к противоречию, это высказывание неопровержимо, априори истинно. Приобретает статус аксиомы. И из него можно делать выводы, которые тоже будут (при соблюдении правил логического вывода) априори истинными.
То есть да — будут истинными, при этом не будут требовать эксперимента для установления своей истинности и не могут быть опровергнуты экспериментом. Магия! %)
Исправление Nervous, :
Если ты про противоречие в рамках рассматриваемой теории
Не совсем.
только они могут быть опровергнуты экспериментально, когда рассматривается корректность теории не самой себе (т.е. ее внутренняя непротиворечивость), а реальному миру.
Еще нет никакой теории. Мы (люди, разумные существа, действующие в нашем мире) формулируем некоторое высказывание. Если процесс опровержения этого высказывания любым человеком приводит к противоречию, это высказывание неопровержимо, априори истинно. Приобретает статус аксиомы. И из него можно делать выводы, которые тоже будут (при соблюдении правил логического вывода) априори истинными.
Исходная версия Nervous, :
Если ты про противоречие в рамках рассматриваемой теории
Не совсем.
только они могут быть опровергнуты экспериментально, когда рассматривается корректность теории не самой себе (т.е. ее внутренняя непротиворечивость), а реальному миру.
Еще нет никакой теории. Мы (люди, разумные существа, действующие в нашем мире) формулируем некоторое высказывание. Если процесс опровержения этого высказывания любым человеком приводит к противоречию, это высказывание неопровержимо, априори истинно. Приобретает статус аксиомы. И из него можно делать выводы, которые тоже будут априори истинными.