Вариант парадокса лжеца

[psilogic]

Тут в одном диалоге проскочило. Один человек сказал:

"Логики имеют другое мнение"

Того человека, в принципе, можно считать логиком. Забавно, что получается, если под "мнением" подразумевать саму эту фразу (о том, что логики имеют другое мнение). Если эта фраза истинна, то логики имеют совсем не такое мнение, а другое, так что фраза ложна. Если фраза ложна, то логики имеют не другое, а это самое мнение... о том, что другое. Получается, что если логики имеют другое мнение, они имеют то самое, и наоборот: если то самое - то другое.

Comments

[miss-lenchick.livejournal.com]

хе-хе...
дело в том, что множество мнений не исчерпывается х и !х.
Поэтому парадокс Бертрана Рассела, сформулированный в терминах бинарной логики, в этом случае неприменим :)

[psilogic.livejournal.com]

Множество мнений разбиваетс на два класса: "то самое" и "другие". Соответственно, вопрос становится бинарным: принадлежит ли данное мнение к первому или второму классу.

[miss-lenchick.livejournal.com]

Разве так... Но дело в том, что мнения еще имеют тенденцию быть "почти такими", "немного не такими", в общем, достаточно трудно на практике разграничить эти два класса. Но в общем случае Вы, конечно, правы.

[psilogic.livejournal.com]

Бывают, конечно, и "почти", и "немного". Просто тогда мы вступаем уже в область нечеткой логики. Кстати, в области нечеткой логики парадокс лжеца тоже не получается :)

[miss-lenchick.livejournal.com]

Если применять нечеткую логику, очень много условностей выходит.
Во всяком случае, если подходить с содержательной точки зрения, то парадокс брадобрея (я как-то больше к нему привыкла :)) будет разрешим утверждением вроде "Брадобрей бреет сам себя, но очень редко и исключительно тайком" :)

[psilogic.livejournal.com]

про Брадобрея - жжоте! :))))

[alisarin.livejournal.com]

"Логики имеют другое мнение"

Вначале вроде было совсем непонятно. А потом - да ... этот "логик", он всегда вне онтологии! :(

Ваше определение понятия "мнение" - ??, плиз!

[psilogic.livejournal.com]

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

[alisarin.livejournal.com]

При чем тут онтология?

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

Если строго, "то" и "другое" мнение - два каких-нибудь высказывания

"Высказыванию" тоже свойственно определение, скажем так, фиксирующее эту сущность ... как ОПРЕДЕЛЕННУЮ СТРУКТУРУ.

[psilogic.livejournal.com]

А что такое "внутрионтологическая"? Объясните, может быть, я сразу соглашусь :)

"Высказыванию" тоже свойственно определение

ага, ну и что?

[alisarin.livejournal.com]

"Высказыванию" тоже свойственно определение

ага, ну и что?

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

А что такое "внутрионтологическая"? Объясните, может быть, я сразу соглашусь :)

Да вот есть такое моё высказывание:

Для логики проблематика "описательной истинности" ни в коей мере не может составлять никакого начального основания.,

а анализ, как я "дошел до такой жизни", лежит здесь.

[psilogic.livejournal.com]

Оно в таком случае разложимо и структурировано[...]

Как это все связано с тем парадоксом?

Да вот есть такое моё высказывание:

Понятно. Да, тема большая и несколько удаленная от этой. Как-нибудь копну, если не забуду.

[alisarin.livejournal.com]

Оно в таком случае разложимо и структурировано[...]

Как это все связано с тем парадоксом?

ИМХО, довольно просто: мнение может быть только "мнением о чем-то", а не "мнением вообще". Например, "логикам свойственно другое мнение об утреннем кофе, чем физикам". Парадокса нет ...

[psilogic.livejournal.com]

Это мнение о том же самом мнении (цикл).

[alisarin.livejournal.com]

ясно даже детям: прежде построения такого цикла необходима "проверка на рефлексивность". Для "5" все проходит - всякое "5" есть "5", для мнения - нет, мнение неотделимо от "предмета мнения".

Говорю же - логика ущербна забвением своей онтологической подчиненности.

[hoholusa.livejournal.com]

Следствие - он не логик.

[mp-gratchev.livejournal.com]

Дело совсем в другом. Фраза "Логики имеют другое мнение" является не высказыванием, а высказывательной формой. Ясно, что говорящий имел ввиду следующее: "Логики имеют другое мнение, а именно, мнение А". Вот теперь можно вместо А подставить любое конкретное высказывание.

Например, А = "Диалектическая логика - не логика". Предыдущее предложение: "Диалектики рассуждают о некой Диалектической логике" и далее реконструкция -
"Логики имеют другое мнение: диалектическая логика - не логика".

[antiminddamping.livejournal.com]

Таким образом, получается - либо логики имеют мнение, либо мнение имеет логиков? ))

[melkore.livejournal.com]

предложение, подписанное именем "М." ложно.

М.

[paradoksovnet.livejournal.com]

Этот кажущийся парадокс мною решён!
Если по простому, то слушайте.

Берём Я-ЛЖЕЦ!
Если это предложение истинно, то из его содержания вытекает, что оно ложно.
В случае парадокса формальное суждение, что это истина, должно быть одновременно и истинным и ложным, но в данном случае оно является только истинным! Поэтому никакого парадокса просто не существует! Формально - истина, содержание - ложно! Здесь нет просто противоречия, а люди столько времени путались и даже создали мета-языки, многозначные логики. Вот где бред так бред!