Re: Ожидаемое мета-логическое моделирование ↑
eugzol в посте Metapractice (оригинал в ЖЖ)
Понятно.
—Потому что "некоторые М есть Х", например, может в частных случаях означать два взаимоисключающих варианта: либо "все М есть Х", либо "есть такие М, которые не есть Х".
—Блин, но ежели в начале сказано "некоторые", то зачем рассматривать "все"?
Так «силлогизм» и есть механизм того, как делать точные выводы о том, о чём прямо не сказано. С другой стороны, полемически говорить о том, о чём изначально не сказано, надо для того, чтобы выявить индивидуальные различия понимания отдельных высказываний. Вот мы и пришли к тому, что у вас своеобразное на уровне естественного понимание стандартной формы логических высказываний: вы подразумеваете второй квантор ээ на пустом месте.
Вы меня никогда не убедите, что это некая общераспространённая "бытовая логика" :)
Например, если некто говорит "все женщины есть глупцы", он не будет подразумевать "все женщины есть все глупцы". А у вас картинки нарисованы, как если бы именно это подразумевалось.