От Игорь Куртуков
К Добрыня
Дата 13.10.2005 18:33:00
Рубрики Прочее;

Ну. это неправда.

>Иногда это утверждение объявляет законом логики. Скажем, в онлайн-версии одного учебника логики это утверждение давалось как закон

Очень странный учебник логики. Отсутствие чего-то легко доказываетыса в опредленных случаях. Вот Bokker привел пример: https://www.vif2ne.su/nvk/forum/2/co/1114958.htm
От Добрыня
К Игорь Куртуков (13.10.2005 18:33:00)
Дата 13.10.2005 19:45:52

Только в частном случае можно доказать. Но только в частном, в общем - нельзя.

Приветствую!

И доказательство в этом частном случае будет доказательством не отсутствия - а присутсвия чего-то, что противоречит предположению, которое требуется опровергнуть. Например, алиби.

ЗЫ. Кстати, Теорема Ферма, ЕМНИП, признана доказанной в конце 80х.

С уважением, Д..
От Игорь Куртуков
К Добрыня (13.10.2005 19:45:52)
Дата 13.10.2005 19:53:05

Про частное-общее не понял.

>И доказательство в этом частном случае будет доказательством не отсутствия - а присутсвия чего-то, что противоречит предположению, которое требуется опровергнуть.

Совершенно согласен. Отсутствие доказывается именно так. Но не понимаю почему вы ограничиваете это дело частным случаем.

> Например, алиби.

Да, хороший пример.
От Добрыня
К Игорь Куртуков (13.10.2005 19:53:05)
Дата 14.10.2005 13:31:50

Есть такая детская игра "докажи что не верблюд" :-)

Приветствую!
>>И доказательство в этом частном случае будет доказательством не отсутствия - а присутсвия чего-то, что противоречит предположению, которое требуется опровергнуть.
>
>Совершенно согласен. Отсутствие доказывается именно так. Но не понимаю почему вы ограничиваете это дело частным случаем.

Ну тут я малость погорячился. Отсутствие в частном случае можно доказать не только предъявлением несовместимой сущности, но и перебором. Например, доказать что в коробке ничего нет - открыть коробку. Но это опять же частный случай.

В общем же случае, когда невозможен ни перебор, ни предъявление несовместимой сущности - доказать отсутствеи невозможно. Например, невозможно доказать отсутствие Бога. Или подозреваемй не может доказать свою невиновность, если у него нет алиби или если не предъявлен истинный преступник - "докажи что не верблюд".

С уважением, Д..