[identity profile] psilogic.livejournal.com 2010-04-12 08:49 pm (UTC)(link)
Вы описали очень интересный лингвистический казус, спасибо вам, запомню для коллекции.

Вот вам пример из жизненного опыта. У бабки 4 кошки. Проверили одну - у ней лишай. Проверили вторую - у ней тоже лишай. Двух другие залезли на дерево, проверить не смогли. В такой ситуации можно сказать, что "некоторые кошки этой бабки с лишаями". Или: "по крайней мере некоторые кошки этой бабки с лишаями". Нельзя утверждать, что все кошки с лишаями. Нельзя утверждать, что с лишаями только некоторые.

Казус связан вот с чем. Во всех этих случаях вы неявно предположили, что известно состояние всех (в условиях, когда "все такие же"). Но это ни из чего не следует.

Замените кошек на раненых бойцов и рассмотрите ситуацию, когда вы видите состояние только 2 бойцов из отряда в 4 человека. В примере с лапухондриями мы, возможно, исследовали только несколько лапухондрий, а, может, и всех. Таким образом, вы с женой все-таки кое-что домыслили от себя, а ваш сын сумел отделить домыслы от того, что написано. ;)

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

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

[identity profile] wizard-sk.livejournal.com 2010-04-12 09:10 pm (UTC)(link)
Да, когда вас читаешь - со всем соглашаешься.
А начинаю про себя проговаривать, опять кажется, что в языке "принято" считать не совсем так, как в логике.
Некоторые люди- женщины.
Некоторые мужчины - блондины.
А если я скажу:"У некоторых людей - одна голова",- меня посчитают странным, хотя по формальной логике я допустил, как вы правильно заметили, только "недомолвку".

[identity profile] psilogic.livejournal.com 2010-04-12 09:18 pm (UTC)(link)
Ну и правильно посчитают странным, потому как недомолвка странная. Но в тесте ведь ничего не сказано, насчет того, странный автор тех высказываний или не странный. Сказано только, что одно из его высказываний логически истинно.

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