[QUOTE]Логик пишет:
а в чём тут может заключаться ложь?[/QUOTE]Согласно вашему определению "некоторые", курящих может быть 1 или 2 или 3. Четверо уже перебор.

Уважаемый Логик.
1- Мы с вами говорим о формальной логике и делаем это на русском языке.
2- В любом языке есть термины, которые имеют несколько значений и в каждом конкретном случае значение термина зависит от контекста. Это не означает другой язык.
3- В русскоязычных текстах посвящённых формальной логике (например, в этом логическом тесте) термин "некоторые" имеет значение "часть или все". Об этом ясно указывается в учебниках логики. Например[QUOTE]Из учебника А. И. Горлов. ЛОГИКА, курс лекций для вуза.
...
Изучающие логику часто недоумевают по поводу стандартной формы выражения суждений, и иногда доходит до резких выступлений против ее использования в какой бы то ни было практической деятельности. Заявляют, что эта форма - совершенно искусственная, что ее применение - насилие над русским языком, что если кто-то так говорит, то только потому, что к этому принуждают преподаватели логики.
Несмотря на явную неумеренность обвинений, подобные претензии не стоит игнорировать, ибо в них есть рациональное зерно: говорить стандартно всегда и везде - глупо. В повседневном общении мы обычно высказываем суждения короче и изящнее по сравнению с тем, что предлагает логика, но очень часто жертвой этой краткости и изящности становится точность выражения мыслей: фразы получаются расплывчатыми, двусмысленными, а иногда и многозначными. Если дело не требует максимальной точности общения, почему бы и не пренебречь ею? Но в некоторых случаях (например, в научных дискуссиях, при судебном разбирательстве и т.п.) нужно выражать свои мысли предельно четко, недвусмысленно. Вот для таких случаев и разработана стандартная форма выражения суждений.
 ... Что касается частных суждений, то здесь следует отметить следующее: формальная логика использует кванторное выражение "некоторые" в смысле "хотя бы один, а может, и все", но этот смысл редко встречается в повседневном общении. Гораздо чаще "некоторые" означает "два или больше, но не все". [/QUOTE]
4- Следовательно, мнение Ефремовой "некоторые значит не все", вообще говоря, ошибочно.
5- Мнение, что "некоторые значит меньшая часть", я никогда не слышал. Также удивительно, если логик не имеет представления о стандартной форме выражения суждений.

[QUOTE]Логик пишет:
Журналисты наврали, что бздыш болотный безграмотен и нахален, следовательно они солгали......?!!....[/QUOTE]Ну, ещё я могу сделать вывод, что некоторые журналисты иногда лгут. Так лучше?
Я соглашусь с вами, что это занятный пример. Казалось-бы, речь про бздыша болотного, однако единственный правильный вывод касается не его, а журналистов. Но хороший пример, в том смысле, что показывает сущность логического вывода. В формальной логике вывод делается из утверждений описывающих отношения между множествами безотносительно содержания этих множеств. Собственно, поэтому логика и называется формальной. Весь тест состоит из "бздышей" и "мухропендий" и вы делаете выводы про них понятия не имея, что это такое.
Жжот вывод, что журналисты лгут, потому что они соврали? И мне интересно, но не так уж удивительно. Математики любят и парадоксы и простые истины. Всем интуитивно очевидно, что всякое утверждение является следствием самого себя. (А может не так уж очевидно? Вот вы удивились. Но если поставить такой вопрос: является ли утверждение следствием самого себя?, то, поразмыслив, придётся ответить утвердительно. И, тогда, придти к выводу, что ответ "с" верен.). Да, так вот, когда это интуитивно очевидное сформулировано, у хорошего математика возникает вопрос: А всегда ли? И появляется идея создать логико-аксиоматическую систему, в которой утверждение не может быть следствием самого себя. Впрочем, я это чисто умозрительно и никогда таких логик не создавал. А для теста такие идеи и вовсе не нужны. Для теста нужна, как вы выразились "человеческая логика".

[QUOTE]Логик пишет:
Вы не ощущаете разницы в смысле слова "некоторые" в этих примерах? Для Вас они имеют одинаковое значение?
Уважаемый eLectric, неужели для Вас тоже?[/QUOTE]Да, я не вижу разницы.

Ещё про словоупотребления в этой области. Раньше для обозначения отношений между множествами использовали слова И, ИЛИ, ЛИБО... Например выражения "А ИЛИ В", а другое отношение "А ЛИБО В". Использовалось слово "либо", которое было совершенно ясно в этой области. А сейчас "ЛИБО" не пишут, а постоянно используют "Исключающее ИЛИ". Не знаю почему, возможно влияние норм технического английского. Стараются переводить буквально и забыли наше "ЛИБО".