Два анедота о логике

[chyyr]

Утверждение 1. Редкая птица долетит до середины Днепра.
Утверждение 2. Киви - редкая птица.
Следствие: Киви долетит до середины Днепра.



Утверждение 1. На стене висит портрет какого-то мужика.
Утверждение 2. Какой-то мужик нассал у нас в подъезде.
Следствие. На стене висит портрет того, кто нассал у нас в подъезде.

Comments

[klausnick.livejournal.com]

Верно.

[a-konst.livejournal.com]

Лошадь может быть белой.
Черная лошадь не может быть белой.
Следствие: черная лошадь - не лошадь.

[chyyr.livejournal.com]

Тоже хорошо, не слышал)

[a-konst.livejournal.com]

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

[mmekourdukova.livejournal.com]

Оба "анекдота" возможны только на русском языке. У нас нет определённых и неопределённых артиклей.

[a-konst.livejournal.com]

Нет.
Во втором есть слово "какой-то", логически гораздо точнее неопределенного артикля. Анекдот, собственно, в игноририровании этого логического смысла.

Да и первый анекдот, вообще-то, нисколько не нуждается в артиклях для правильного понимания обеих предпосылок.

[mmekourdukova.livejournal.com]

Дело же не в понимании, а в том, насколько просто и уютно в языке создаются и укореняются конструкции, допускающие смысловые подтасовки.

[a-konst.livejournal.com]

"Просто и уютно" и в русском языке такие конструкции не воспринимаются, чтобы создать логический парадокс, язык приходится насиловать.
Вот вам такой же парадокс, про белую лошадь, который я вспомнил выше:
https://en.wikipedia.org/wiki/When_a_white_horse_is_not_a_horse

Замечу, что в википедии на русском про него даже статьи нет, англоязычные авторы не видят никаких сложностей с артиклями в понимании парадокса, а сам парадокс идет из китайского.

Уточнение — в обсуждении там упоминаются артикли, но наличие вообще в английском языке артиклей никак не мешает формулировке парадокса на английском языке.

[mmekourdukova.livejournal.com]

Ну Вы ж сами там выше говорили про отсутствие кванторов :-)).

Т.е. утверждение, что для создания логического парадокса приходится насиловать язык математической логики, по меньшей мере так же справедливо.

Мужчина может быть китайцем.
Русский не может быть китайцем.
Русский — не мужчина.

А следовало бы сказать — "существуют (некоторые) мужчины, могущие быть китайцами".

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

[chyyr.livejournal.com]

>"существуют (некоторые) мужчины, могущие быть китайцами".

Тогда лучше
"Существуют мужчины, являющиеся китайцами".

Неформальные утверждения типа "X может быть Y" в математике чаще всего понимается именно в ключе "Существует Х, который является Y".

[mmekourdukova.livejournal.com]

Да, так лучше. Чтоб не думали, что оно от способностей зависит (вот как лошади, одна шмогла, другая не шмогла).

[fat-crocodile.livejournal.com]

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

видимо, ага

[mmekourdukova.livejournal.com]

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

[genuine-elka.livejournal.com]

"Косой, отдай корову!" (с)

[aziopik.livejournal.com]

Non sequitur.
Квантора всеобщности в первой посылке не хватает.

[volphil.livejournal.com]

первый силлогизм прекрасен