пример формального доказательства

[avva]

Либо надо объяснять, либо не надо объяснять. Но если надо объяснять, то не надо объяснять (потому что "если надо объяснять, то не надо объяснять"). Так что "надо объяснять" приводит к противоречию. Поэтому не надо объяснять.

P.S. Практическое руководство к действию, из трех пунктов:

1. молчи
2. скрывайся
3. таи

Comments

[tomotom.livejournal.com]

но если стоит объяснить, То ничего не стоит объяснить, что уж там

[valery-pavlov.livejournal.com]

Да. Это свобода. Вы- свободный человек.

[gad-benami.livejournal.com]

Шото я не врубился. не могли бы Вы объяснить,п-та? Или не надо объяснять?

[tomotom.livejournal.com]

Свобода это рабство :-)

[avva.livejournal.com]

Я в принципе не могу стать свободным :( тут нет ни тиранов, ни отчеств.

Ну да ничего, есть много других проблем!

[sphayros.livejournal.com]

Хм. Если исходить из "Либо надо объяснять, либо не надо объяснять", то если надо объяснять, то не не надо объяснять, то необходимо объяснять

[avva.livejournal.com]

Я предполагаю, в своем доказательстве, истинность афоризма "если что-то надо объяснять, то ничего не надо объяснять".

[avva.livejournal.com]

http://avva.livejournal.com/2131774.html?thread=64431678#t64431678

[valery-pavlov.livejournal.com]

Но в этом вашем посте был вполне улавливаемый бунт.

[graf-vk.livejournal.com]

Простите, не удержусь.

1. молчи
2. скрывайся
3. таи
4. ????????
5. Profit

[gad-benami.livejournal.com]

Интересно, а когда я учился в строительном ПТУ в г. Саранске, нам все объясняли. Так что, зря,что-ли объясняли?! Там,правда, тем кто не понимал, сразу по ебалу. Вы это имели ввиду? Это считается "формальной логикой"?

[valery-pavlov.livejournal.com]

Ну необходимо представлять себе направления, розу ветров. Но вообще, конечно, есть изрядная доля иронии.

[avva.livejournal.com]

:)

[(Anonymous)]

если надо объяснять, что здесь предполагается закон исключенного третьего, то надо объяснять, что еще бывает параконсистентная логика.

[miaoulex.livejournal.com]

угу, угу :-))

[pesec.livejournal.com]

Сколько часов ночного сна?

[dmarck.livejournal.com]

Браво!

[alexey-rom.livejournal.com]

Закон исключённого третьего в ней, как ни странно, верен. Скорее следовало бы упомянуть интуиционистскую логику.

[migmit.vox.com (from livejournal.com)]

В кофе-машину теперь заливают коньяк?

назидательно так..

[color-de-zafiro.livejournal.com]

потому как есть вещи, которые либо понимаешь сразу,
либо не понимаешь никогда

[tomotom.livejournal.com]

Да, понял Вашу мысль. Благодарю за ответ.

[999999.livejournal.com]

"If you don't understand it, I can't explain it"
- Gian-Carlo Rota, dovedja dokazatel'stvo do bezuprechno intuitivnogo dlja zemljanina vida

[999999.livejournal.com]

t.e. Vy medium, publika mozhet s nim pogovorit'
(sorry za lat.)

[inuliss.livejournal.com]

гениально!

[bg8s.livejournal.com]

короче и яснее :)

kako privarcevati denar

[(Anonymous)]

Starcelebs. [url=http://www.submitarticleforfree.in/celebrity-stolen-dvds/]submitarticleforfree[/url]

[ganja-jungle.livejournal.com]

Вообще-то здесь языковая игра, основанная, во-первых, на безличных конструкциях без местоимений (которые не позволяют сразу заметить, что субъект первого и второго высказывания - не один и тот же), а, во-вторых, на многозначности слова "надо". Трюк легко обнаружить, если попытаться перевести данный афоризм на какой-нибудь язык, где такая игра невозможна или затруднена. Например, на немецкий: Wenn man eine Erklaerung braucht, muss man IHM keine Erklaeurung geben. Или на английский - но тут пусть кто-нибудь другой попытается, английским я не настолько хорошо владею.

Для монолингв поясню по-русски: "если надо объяснять" = "если кто-то требует объяснения" или "если кто-то не понимает без объяснения"; "то не надо объяснять" = "то вы не должны ему ничего объяснять" (ибо это пустая трата времени, коль скоро он сам не понял). Субъект первого высказывания - некто, не понимающий без объяснений, субъект второго - некто более понятливый, у которого этих объяснений требуют. "Надо" в первом случае = "требуется", "надо" во втором случае = "дОлжно" или "следует". Вот, собственно говоря, и вся логика.