[userpic]

СХЕМЫ К. НЕ СВОДИМЫ К ДИАГРАМ. ЭЙЛЕРА ↑

eugzol в посте Metapractice (оригинал в ЖЖ)

—Когда опыт говорит лишь о "некоторых", в итоге это в ээ мышлении обобщается до "все", как вы и сделали на картинке.
—Логика не обращается к опыту, логика работает только с формами высказываний. Никаких три пишем два в уме. Что сказано, то и сказано.
—Вообще говоря, вы сами писали, что разбираться с книгами К. надо именно по той причине, что феномен логических ошибок широко распространен.
—Распространен.
Угу, ну я уже несколько раз переформулировал свой тезис/отмечаемые мной две логических ошибки слайда без всяких ссылок на "опыт".
—Я не возражаю, чтобы некая "математическая" (ибо настоящие логики в адрес Кэрроловской логики счисления предикатов плюются довольно ядовито. Я это не придумываю, я это точно знаю от них в зачетных лицах. Ибо в мою бытность в ин-те математики СОРАН внедрял кэрроловскую игру в качестве вспомогательного алгоритма для чатбота + переводчик смысл-текст.) была у кого-то в голове, типа как у Гриндера его схемы трансформационной грамматики.
—Но, я за то, чтобы был разработан специальный интерфейс для экспрессии навыков счисления предикатов неким средним обывателем.
Вы ругаетесь на математическую логику — а обладатели навыка использования математической логики (в теме про математическую логику) категоризируют отдельные проявления так называемой «бытовой логики» как логические ошибки.
И я только за то, чтобы разработать специальный интерфейс для навыков счисления предикатов. Но опять же, вы и на слайде говорите про "силлогизмы" и "суждения", и здесь снова про "счисления предикатов". Если занимаетесь счислением предикатов, следуйте правилам счисления предикатов ПО СУТИ (интерфейс я не критикую).
По этой логике счисления предикатов высказывание "все Х есть М" это не два совпадающих кружочка. И высказывание "некоторые Х есть М" это не один целиком включённый в другой кружочек.
А касательно интерфейса конструктивный вывод всё же получился — стандартные формы логических высказываний ПРИНЦИПИАЛЬНО НЕ СВОДИМЫ К ДИАГРАММАМ ЭЙЛЕРА. ИМЕННО ПОЭТОМУ КЭРРОЛУ И ПРИШЛОСЬ СВОИ ДИАГРАММЫ ПРИДУМЫВАТЬ, А НЕ ИСПОЛЬЗОВАТЬ КРУГИ ЭЙЛЕРА, ИЗОБРЕТЁННЫЕ ЗА ДВА ВЕКА ДО НЕГО! :)