на "подумать"

[hgr]

интересная версия парадокса лжеца.

- Скажите, Рабинович, почему вы все время врете?
- Я никогда не вру.
- Нет вы все время врете. Вот куда вы сейчас едете?
- В Херсон.
- Ну вот вы опять врете.
- Да с чего вы взяли? Я никогда не вру.
- Вы сказали, что едете в Херсон, чтобы я подумал, что вы едете в
Николаев, хотя на самом деле вы едете в Херсон. Так зачем же вы врете?

Comments

[chuzoy283.livejournal.com]

таки поезд тихо ехал на бердичев

[andrei-platonov.livejournal.com]

Надо "обманываете". Потому что он обманывает, но при этом не врет!

[hgr.livejournal.com]

это одна из возможных трактовок. возможны и другие трактовки. напр. , что он врет (а не обманывает)...

[andrei-platonov.livejournal.com]

Парадокс в том, что можно обмануть, говоря правду.
А в том, что можно соврать ничего остроумного нет.

[hgr.livejournal.com]

это не парадокс в логическом смысле, а просто хитрость.

парадокс лжеца -- это когда заведомый лжец говорит "я лгу". это вызывает батхёрт у логиков, т.к. такое высказывание в классической логике невозможно.

[andrei-platonov.livejournal.com]

Я этого не понимал и не пойму. Почему нужно загонять себя в тупик, применяя не подходящее правило.
Да, если лжец по определению лжет всегда, то он это сказать не может. Если некто так говорит, значит, не походит к этому определению, т.е. лжет не всегда... Ошибка в условиях задачи.

[andrei-platonov.livejournal.com]

Парадокс не формальной логики, а языка.

[hgr.livejournal.com]

парадокс классической логики. он решается тем, что классическая логика неверна.

[andrei-platonov.livejournal.com]

Нет, я объяснил, в каком смысле я использовал слово "парадокс".
А вот почему не верна классич. логика до меня не доходит. Просто задача с противоречием в условиях, не верная постановка.

[hgr.livejournal.com]

в жизни постановка возможна, а логика говорит, что она неверна. значит, сама логика неверна (т.е. верна, но в ограниченном поле; она не является достаточно общей логикой, и это не та логика, которой мы мыслим).

чтобы парадокс лжеца перестал быть парадоксом, нужна такая логика, которая не отождествляет "ложность" и "неистинность" и на этом основании допускает противоречие.

[andrei-platonov.livejournal.com]

Не понимаю. Если в задаче написано: вычислите вес квадратного овала - математика не верна, или просто кто-то чушь написал...

[hgr.livejournal.com]

вес овального овала -- это тоже не то несколько.
а вот круглый квадрат -- это уже предмет для рассуждений и для логики, даже формальной (наш логик Васюков не так давно формализовал эту онтологию Майнонга, допускающую круглые квадраты).

[andrei-platonov.livejournal.com]

круглый квадрат //

А что это такое. Почему бы и нет. Есть же "железное дерево".