Можно применить такой метод доказательства или нет?

[igorelki]

Справедлив или нет предложенный метод опровержения теории?

Есть теория $T$. Основной вывод теории - $B$.
В $T$ есть утверждение $A$. Из $A$ следует $B$.

Для $T$ применяют предположение $C$, чтобы получить $A$. Это $C$ не противоречит $B$.
Но существует другое предположение $L$, из которого тоже можно вывести $A$.
Но $L$ противоречит $B$.

Теория (основанная на $B$) будет считаться опровергнутой, если можно найти такую $L$?

[Someone]

Насколько я понял, предположения $L$ в теории $T$ нет. В таком случае любые рассуждения, использующие предположение $L$, к теории $T$ не имеют ни малейшего отношения.

-- Ср июн 01, 2011 13:14:14 --

Более того, поскольку $L\Rightarrow A\Rightarrow B$ и $L\Rightarrow\neg B$, то предположение $L$ противоречиво, и использовать его нельзя.

[igorelki]

Someone в сообщении #452558 писал(а):

то предположение $L$ противоречиво, и использовать его нельзя.

Это понятно, что $L$ использовать нельзя. Вопрос немного другой.
Если существует $L$, такое что $L\Rightarrow A\Rightarrow B$ и $L\Rightarrow\neg B$, то тогда может доказано, что $A$ - противоречиво?

[Someone]

igorelki в сообщении #452578 писал(а):

Если существует $L$, такое что $L\Rightarrow A\Rightarrow B$ и $L\Rightarrow\neg B$, то тогда может доказано, что $A$ - противоречиво?

Нет, не доказано. Причём тут $A$, если противоречие выводится из $L$? Выведете его из $A$, тогда и будете говорить о противоречивости $A$.

[gris]

А если перевести в некоторую бытовую плоскость?
Например, у меня есть прибор, который определяет начальные и конечные параметры некоторого процесса. И теория протекания этого процесса.
При наблюдении некоторого конкретного процесса показания прибора разошлись с теоретическими.
Возможные выводы: - прибор сломался; - теория неверна; - этот конкретный процесс не соответствует условиям применения теории; - действуют какие-то сторонние факторы.
Нет ли аналогии с тем, как некоторые эксперименты приводили с созданию более общих теорий.
Пардон, если влез не по делу в чистую логику. А для чистой логики скорее всего утверждение $L$ будет просто ложным, и из него можно что угодно вывести.