[d | an-b-bro-fr-gf-hr-l-m-maid-med-mi-mu-ne-o-old_o-p-ph-r-s-sci-sp-t-tran-tv-w-x | bg-vg | au-mo-tr | a-aa-abe-azu-c-dn-fi-hau-jp-ls-ma-me-rm-sos-tan-to-vn | misc-tenma-vndev | dev-stat]
[Burichan] [Futaba] [Gurochan] [Tomorrow] [Архив-Каталог-RSS] [Главная]

Файл: Тачикома.jpg -(123 KB, 434x592, Тачикома.jpg)
123 No.5126687  

Я всегда только вру! Я никогда не говорю правду. Но если я только что сказала правду - значит, я вру не всегда, а если я соврала - значит, я всегда говорю правду. Как разрешить это противоречие?

>> No.5126688  
Файл: 1234123412341234.jpg -(67 KB, 401x602, 1234123412341234.jpg)
67

Никак, смотри в пол, не отвечай. Просто ты - тян, но для феи это нормально и нет никаких парадоксов.

>> No.5126689  

>>5126688

> тян

Как именной суффикс может лгать?

>> No.5126690  
Файл: 1600116681149.jpeg -(382 KB, 597x868, 1600116681149.jpeg)
382

>>5126689
Возможно он имел женский пол. Разве здесь такие бывают?

>> No.5126691  

>>5126687

> если я соврала - значит, я всегда говорю правду

Нет, это значит что ты когда-нибудь говоришь правду.

>> No.5126692  

>>5126690

> раковое использование именных суффиксов
> шовинизм

Тогда 265 и на неназывач.

> Разве здесь такие бывают?

Полон Ычан девочек-волшебниц.

>> No.5126694  

Это не парадокс. Это глупость

>> No.5126696  
Файл: Erm.jpg -(55 KB, 1180x663, Erm.jpg)
55

>>5126692

>265

Очень мило. Лурколюб кого-то прогоняет.

>> No.5126700  

>>5126691
Зависит от трактовки слов. Является ли "когда-то" антомимом для "никогда"? Или все-таки "всегда"?

>> No.5126704  
Файл: 23432432543.jpg -(423 KB, 1775x2507, 23432432543.jpg)
423

>>5126687
Если в эти слова ты вложила цель "соврать" или же "доложить правду", то тогда это действительно парадокс и можно поломать голову.
Но если же ничего этого нет, то это просто слова. Не каждое же слово/предложение, что мы говорим является правдой/ложью?

>> No.5126705  

>>5126704
Конечно, является. Простая фраза "это выражение ложно" - уже парадокс.

>> No.5126712  

>>5126687
Какой-то поэт говорил о том, что люди всегда врут. Потому что полностью правдиво пересказать мысли речь не в состоянии и мы вынуждены упрощать истину чтобы мочь её высказать. Есенин что ли...

>> No.5126715  

>>5126691
На борде, полной погромистов, кто-то должен мочь в логику.

>> No.5126720  

>>5126700
"не (для каждого X)" эквивалентно "существует o, который не X", это стандартное логическое правило. Ну, то есть можно, конечно, использовать слова нестандартно, но тогда тебя не поймут.

>> No.5126721  

>>5126705
Такую фразу нельзя записать языком формальной логике, а значит нет смысла рассматривать её формальную истинность или ложность. Для фразы "фгсдсгф" тоже нельзя. Вот может ли тот ОП, который всегда говорит правду говорить "фгсдсгф" или нет? Ответ в том, что вопрос не имеет смысла.

>> No.5126723  
Файл: Cirno 3 (Touhou Project).jpg -(49 KB, 566x800, Cirno 3 (Touhou Project).jpg)
49

>>5126721
Подожди, ты меня совсем запутал, мы же не программисты и даже не программы. Но у нас есть утверждение, которое звучит так: это выражение ложно.

Следовательно, если мы считаем, что оно истинно, то оно на самом деле является ложным, что невозможно. Если мы считаем, что оно ложно, то на самом деле оно истинно, что тоже не возможно.

Я ничего не понимаю.

>> No.5126727  

>>5126723
Из этого делаем вывод, что надо не считать, а смотреть в пол. Вот компьютеры так не умеют.

>> No.5126733  
Файл: i.jpg -(87 KB, 680x720, i.jpg)
87

>>5126727

> Вот компьютеры так не умеют

Умеют

>> No.5126735  

https://ru.wikipedia.org/wiki/Крокодилит_(софизм)

>> No.5126760  
Файл: DpPjOJSW4AEPgUk.jpg -(58 KB, 1024x768, DpPjOJSW4AEPgUk.jpg)
58

>>5126687

>Я всегда только вру!

"Нет" — ответ на вопрос?

>> No.5126774  

>>5126733
>>5126723
Кстати, примерно из-за этого и возникают такие фигни как синие экраны и зависания. Какой-нибудь бакакодер напишет какую-нибудь фигню в стиле
If (X < 10):
return false
else:
return false
А бедная машинка потом не знает, что ей делать и виснет.

>> No.5126792  

>>5126712
Тютчев к этим мыслям ближе.
https://youtu.be/9_1jNZyGZik

>> No.5126796  

>>5126687
Никак. Существуют неразрешимые логические противоречия. Как взаимоисключающие параграфы.

>> No.5126799  
Файл: __yagokoro_eirin_touhou_drawn_by_koto_inari__db79be5ad75a118e177f0d0dae0010d5.png -(787 KB, 600x670, __yagokoro_eirin_touhou_drawn_by_koto_inari__db79be5ad75a118e177f0d0dae0010d5.png)
787

>>5126687
Достаточно ввести категории "истинный-не истинный" наряду с "правдивый-ложный". Первая дихтомию можно использовать для фактического положения вещей, вторую для субьективной оценки от участника взаимодействия.

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

>> No.5126800  

>>5126799
Достаточно не оперировать наивной теорией множеств.

>> No.5126804  

>>5126800
У тебя есть более продвинутая математика для этой задачи?

>> No.5126809  

>>5126804
Нечёткая логика, например.

>> No.5126811  

>>5126809
Не, ну это как-то не по-пацански! Надо чёткую.

>> No.5126957  

>>5126687
Всё просто! Ты не надёжный источник информации. Вывод: игнорировать.

Во фразе "Я всегда только вру" есть 4 слова из которых можно сделать логичных выводов: 1) (самое логичное) Данное утверждение является исключением из создаваемого правила и источник всегда только врёт, исключая это утверждение; 2) Источник всегда врёт, включая данное утверждение, то есть а) всегда только врёт не он один, б) он только врёт, но не всегда, в) он всегда врёт, но не только, г) он всегда только, но не врёт; 3) Данное утверждение призвано ввести в заблуждение и источник врёт только сейчас. Это что касается логики со стороны человека.

А компьютеры работают иначе: не имея обратной совместимости правил, такое утверждение задаст правило только для всех последующих высказываний.




[d | an-b-bro-fr-gf-hr-l-m-maid-med-mi-mu-ne-o-old_o-p-ph-r-s-sci-sp-t-tran-tv-w-x | bg-vg | au-mo-tr | a-aa-abe-azu-c-dn-fi-hau-jp-ls-ma-me-rm-sos-tan-to-vn | misc-tenma-vndev | dev-stat]
[Burichan] [Futaba] [Gurochan] [Tomorrow] [Архив-Каталог-RSS] [Главная]