Показаны записи 18891 - 18900 из 56297
![[userpic]](http://localhost:4000/images/none.gif)
По сути там где ты поставил вопрос там тоже можно ставить кружок. На всех схемах Не Х и Не М будет пересекаться. Об этом и писал ЛК, что привело его к ограничению -Не в границах.
Обрати внимание, что в 2/4 и 3/4 есть принцип эээ обращение предиката
Т.е
Некоторый Х есть М = Все М есть Х
И он возможен, когда есть черный кружок
Т.е
Некоторый Х есть М = Все М есть Х
И он возможен, когда есть черный кружок
Я так и не говорил. Это ты меня довел до крайности. :)
Ну то есть и вам можно в ээ пылу полемики для иллюстрации тезиса говорить о том, о чём изначально сказано не было. Для того чтобы раскрыть/проиллюстрировать свой поинт.
Ну, и никаких проблем. На все эти три варианта я тебе/себе забабашу замечательные наглядные интерфейсы/слайды.
Если честно, мне сложно себе представить, что может быть наглядней диаграмм Кэррола, ПРИ СОХРАНЕНИИ ПОЛНОТЫ ПОДАЧИ ИНФОРМАЦИИ И ОТСУТСТВИИ ИСКАЖЕНИЙ. Круги Эйлера последнему свойству не отвечают. ИМЕННО ПОЭТОМУ КЭРРОЛУ И ПРИШЛОСЬ СВОИ СХЕМЫ ПРИДУМЫВАТЬ, КОГДА УЖЕ ДВА СТОЛЕТИЯ КАК БЫЛИ ИЗВЕСТНЫ КРУГИ ЭЙЛЕРА :)
Но, ты, в своих логических пресуппозициях, фактически, ими пользуешься!
Нет, я пользуюсь «в уме» схемами, которые работают примерно как диаграммы Кэррола.
да, мы должны построит лаконичную систему.
Ну, попробуем.
Навороты предлагаете вы :)
Никаких наворотов сверх того, которые заставляет создавать феноменологически сложный окружающий мир. Кстати, вот где я лаконично описал как работает три вида логики:
А вот и сравнение диаграмм К. с кругами Э. нарисовал:
http://metapractice.livejournal.com/406325.html?thread=10254133#t10254133
Ну то есть и вам можно в ээ пылу полемики для иллюстрации тезиса говорить о том, о чём изначально сказано не было. Для того чтобы раскрыть/проиллюстрировать свой поинт.
Ну, и никаких проблем. На все эти три варианта я тебе/себе забабашу замечательные наглядные интерфейсы/слайды.
Если честно, мне сложно себе представить, что может быть наглядней диаграмм Кэррола, ПРИ СОХРАНЕНИИ ПОЛНОТЫ ПОДАЧИ ИНФОРМАЦИИ И ОТСУТСТВИИ ИСКАЖЕНИЙ. Круги Эйлера последнему свойству не отвечают. ИМЕННО ПОЭТОМУ КЭРРОЛУ И ПРИШЛОСЬ СВОИ СХЕМЫ ПРИДУМЫВАТЬ, КОГДА УЖЕ ДВА СТОЛЕТИЯ КАК БЫЛИ ИЗВЕСТНЫ КРУГИ ЭЙЛЕРА :)
Но, ты, в своих логических пресуппозициях, фактически, ими пользуешься!
Нет, я пользуюсь «в уме» схемами, которые работают примерно как диаграммы Кэррола.
да, мы должны построит лаконичную систему.
Ну, попробуем.
Навороты предлагаете вы :)
Никаких наворотов сверх того, которые заставляет создавать феноменологически сложный окружающий мир. Кстати, вот где я лаконично описал как работает три вида логики:
Вкратце о логике математика vs логики моделистаМы с вами по ходу нашей дискуссии как раз сошлись на том, что обсуждаем в данной теме именно "математическую" логику. Поэтому все надлежащие формальности уместны и должны быть корректным образом учтены/применены.
http://meta-eugzol.livejournal.com/6383.html
А вот и сравнение диаграмм К. с кругами Э. нарисовал:
http://metapractice.livejournal.com/406325.html?thread=10254133#t10254133
"МОГУТ" БЫТЬ! Я о том и говорю, что диаграммы Кэррола не сводятся к кругам Эйлера.
На одно "логическое" высказывание существует ровно одна диаграмма Кэррола.
На одно "логическое" высказывание существует несколько вариантов кругов Эйлера — невозможно указать какой точно без остальных высказываний рассматриваемого ээ универсума высказываний.
На одну диаграмму Кэррола существует один или больше вариантов кругов Эйлера.
Сейчас нарисую всё и понятно станет.
На одно "логическое" высказывание существует ровно одна диаграмма Кэррола.
На одно "логическое" высказывание существует несколько вариантов кругов Эйлера — невозможно указать какой точно без остальных высказываний рассматриваемого ээ универсума высказываний.
На одну диаграмму Кэррола существует один или больше вариантов кругов Эйлера.
Сейчас нарисую всё и понятно станет.
Хорошо, как используя эти схемы мы можем сделать вывод, например даны посылки:
1. Все М есть X
2. Ни один М не есть Y
Как сделать вывод?
1. Все М есть X
2. Ни один М не есть Y
Как сделать вывод?
У меня соединены два утверждения в одном рисунке.
Понял. Тогда, по первой схеме вопросов нет. Осталось разобраться с "некоторые Х есть М".
Понял. Тогда, по первой схеме вопросов нет. Осталось разобраться с "некоторые Х есть М".
—Когда опыт говорит лишь о "некоторых", в итоге это в ээ мышлении обобщается до "все", как вы и сделали на картинке.
—Логика не обращается к опыту, логика работает только с формами высказываний. Никаких три пишем два в уме. Что сказано, то и сказано.
—Вообще говоря, вы сами писали, что разбираться с книгами К. надо именно по той причине, что феномен логических ошибок широко распространен.
—Распространен.
Угу, ну я уже несколько раз переформулировал свой тезис/отмечаемые мной две логических ошибки слайда без всяких ссылок на "опыт".
—Я не возражаю, чтобы некая "математическая" (ибо настоящие логики в адрес Кэрроловской логики счисления предикатов плюются довольно ядовито. Я это не придумываю, я это точно знаю от них в зачетных лицах. Ибо в мою бытность в ин-те математики СОРАН внедрял кэрроловскую игру в качестве вспомогательного алгоритма для чатбота + переводчик смысл-текст.) была у кого-то в голове, типа как у Гриндера его схемы трансформационной грамматики.
—Но, я за то, чтобы был разработан специальный интерфейс для экспрессии навыков счисления предикатов неким средним обывателем.
Вы ругаетесь на математическую логику — а обладатели навыка использования математической логики (в теме про математическую логику) категоризируют отдельные проявления так называемой «бытовой логики» как логические ошибки.
И я только за то, чтобы разработать специальный интерфейс для навыков счисления предикатов. Но опять же, вы и на слайде говорите про "силлогизмы" и "суждения", и здесь снова про "счисления предикатов". Если занимаетесь счислением предикатов, следуйте правилам счисления предикатов ПО СУТИ (интерфейс я не критикую).
По этой логике счисления предикатов высказывание "все Х есть М" это не два совпадающих кружочка. И высказывание "некоторые Х есть М" это не один целиком включённый в другой кружочек.
А касательно интерфейса конструктивный вывод всё же получился — стандартные формы логических высказываний ПРИНЦИПИАЛЬНО НЕ СВОДИМЫ К ДИАГРАММАМ ЭЙЛЕРА. ИМЕННО ПОЭТОМУ КЭРРОЛУ И ПРИШЛОСЬ СВОИ ДИАГРАММЫ ПРИДУМЫВАТЬ, А НЕ ИСПОЛЬЗОВАТЬ КРУГИ ЭЙЛЕРА, ИЗОБРЕТЁННЫЕ ЗА ДВА ВЕКА ДО НЕГО! :)
—Логика не обращается к опыту, логика работает только с формами высказываний. Никаких три пишем два в уме. Что сказано, то и сказано.
—Вообще говоря, вы сами писали, что разбираться с книгами К. надо именно по той причине, что феномен логических ошибок широко распространен.
—Распространен.
Угу, ну я уже несколько раз переформулировал свой тезис/отмечаемые мной две логических ошибки слайда без всяких ссылок на "опыт".
—Я не возражаю, чтобы некая "математическая" (ибо настоящие логики в адрес Кэрроловской логики счисления предикатов плюются довольно ядовито. Я это не придумываю, я это точно знаю от них в зачетных лицах. Ибо в мою бытность в ин-те математики СОРАН внедрял кэрроловскую игру в качестве вспомогательного алгоритма для чатбота + переводчик смысл-текст.) была у кого-то в голове, типа как у Гриндера его схемы трансформационной грамматики.
—Но, я за то, чтобы был разработан специальный интерфейс для экспрессии навыков счисления предикатов неким средним обывателем.
Вы ругаетесь на математическую логику — а обладатели навыка использования математической логики (в теме про математическую логику) категоризируют отдельные проявления так называемой «бытовой логики» как логические ошибки.
И я только за то, чтобы разработать специальный интерфейс для навыков счисления предикатов. Но опять же, вы и на слайде говорите про "силлогизмы" и "суждения", и здесь снова про "счисления предикатов". Если занимаетесь счислением предикатов, следуйте правилам счисления предикатов ПО СУТИ (интерфейс я не критикую).
По этой логике счисления предикатов высказывание "все Х есть М" это не два совпадающих кружочка. И высказывание "некоторые Х есть М" это не один целиком включённый в другой кружочек.
А касательно интерфейса конструктивный вывод всё же получился — стандартные формы логических высказываний ПРИНЦИПИАЛЬНО НЕ СВОДИМЫ К ДИАГРАММАМ ЭЙЛЕРА. ИМЕННО ПОЭТОМУ КЭРРОЛУ И ПРИШЛОСЬ СВОИ ДИАГРАММЫ ПРИДУМЫВАТЬ, А НЕ ИСПОЛЬЗОВАТЬ КРУГИ ЭЙЛЕРА, ИЗОБРЕТЁННЫЕ ЗА ДВА ВЕКА ДО НЕГО! :)
"все женщины глупые". Чтобы его показать диаграммой Эйлера, надо нарисовать кружок "женщины" ВНУТРИ кружка "глупцы"
Не обязательно, круги могут быть одинаковы. (Ничего не меняет, но все таки)
Не обязательно, круги могут быть одинаковы. (Ничего не меняет, но все таки)
Дочитали до конца.