Показаны записи 18891 - 18900 из 56300
Ну это смотря как ЛК строит универсум (U). В общем случае "не Х и одновременно не М" может:
— существовать — значит имеет место третье множество/свойство/предикат U-X-M
— не существовать — U=X+M
— существовать — значит имеет место третье множество/свойство/предикат U-X-M
— не существовать — U=X+M
Угу, примерно понимаю. Усиление предиката типа происходит. А чем индексная запись удобней расширенных (на три переменных) диаграмм Кэррола?
Ну, с другой стороны, диаграммами Эйлера (пересекающимися кругами) невозможно достаточно точно изобразить эти высказывания.
Почему это?
В книге Кэрролла «История с узелками», главе «Символическая логика» есть параграф «Приложение, адресованное преподавателям». Там в том числе изложены мысли автора по поводу недостатков кругов Эйлера, диаграмм Венна. Давайте я попробую рассказать, чем, на мой взгляд, диаграмма Кэррола лучше названных выше методов.
Рассмотрим ваш слайд «Виды суждений». Серая область вокруг кругов – вместилище определенного класса предметов, «вселенная рассмотрения» в терминах Кэрролла.
Кругами из «вселенной рассмотрения» выделены предметы, обладающие признаками (признак Х и признак М).
Таким образом, на слайде будут изображены:
1. Предметы, имеющие признак Х;
2. Предметы, имеющие признак М;
3. Предметы, имеющие одновременно признаки Х и М;
4. Предметы, имеющие признак не-Х и признак не-М. Вот тут и появляется загвоздка, с помощью кругов Эйлера неудобно/ненаглядно изображать предметы, которые имели бы признак не-Х и одновременно не имели бы признак не-М (только что сообразил, что этот мой тезис неверен.)
Кроме того, кругами Эйлера невозможно показать, что информация о существовании предметов, имеющих одновременно 2 признака, не получена из посылок силлогизма.
Теперь диаграммы Кэрролла.
«Вселенная рассмотрения» обозначена границами диаграммы.
Диаграммами Кэрролла можно показать что:
1. Предметы, имеющие одновременно 2 признака, существуют (некоторые Х суть Y)
2. Предметы, имеющие одновременно 2 признака, не существуют (ни один Х не есть Y)
3. Предметы, имеющие признак Х, существуют (при этом не сказано имеют ли они признак Y или нет)
4. Если после расстановки фишек остались пустые ячейки, значит информация о предметах, имеющих соответствующие признаки, не была получена из посылок.
Получается, что диаграммами Кэрролла можно отобразить больше информации, чем кругами Эйлера.
в дополнение к ФОРМАЛЬНОЙ И ИНДЕКСНОЙ кэрролловским записям я ищу третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).
Чем отличается этот третий тип от первых двух?
Третий тип не держит практически ничего в уме.
Разве это не справедливо для диаграмм Кэрролла?
Почему это?
В книге Кэрролла «История с узелками», главе «Символическая логика» есть параграф «Приложение, адресованное преподавателям». Там в том числе изложены мысли автора по поводу недостатков кругов Эйлера, диаграмм Венна. Давайте я попробую рассказать, чем, на мой взгляд, диаграмма Кэррола лучше названных выше методов.
Рассмотрим ваш слайд «Виды суждений». Серая область вокруг кругов – вместилище определенного класса предметов, «вселенная рассмотрения» в терминах Кэрролла.
Кругами из «вселенной рассмотрения» выделены предметы, обладающие признаками (признак Х и признак М).
Таким образом, на слайде будут изображены:
1. Предметы, имеющие признак Х;
2. Предметы, имеющие признак М;
3. Предметы, имеющие одновременно признаки Х и М;
4. Предметы, имеющие признак не-Х и признак не-М. Вот тут и появляется загвоздка, с помощью кругов Эйлера неудобно/ненаглядно изображать предметы, которые имели бы признак не-Х и одновременно не имели бы признак не-М (только что сообразил, что этот мой тезис неверен.)
Кроме того, кругами Эйлера невозможно показать, что информация о существовании предметов, имеющих одновременно 2 признака, не получена из посылок силлогизма.
Теперь диаграммы Кэрролла.
«Вселенная рассмотрения» обозначена границами диаграммы.
Диаграммами Кэрролла можно показать что:
1. Предметы, имеющие одновременно 2 признака, существуют (некоторые Х суть Y)
2. Предметы, имеющие одновременно 2 признака, не существуют (ни один Х не есть Y)
3. Предметы, имеющие признак Х, существуют (при этом не сказано имеют ли они признак Y или нет)
4. Если после расстановки фишек остались пустые ячейки, значит информация о предметах, имеющих соответствующие признаки, не была получена из посылок.
Получается, что диаграммами Кэрролла можно отобразить больше информации, чем кругами Эйлера.
в дополнение к ФОРМАЛЬНОЙ И ИНДЕКСНОЙ кэрролловским записям я ищу третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).
Чем отличается этот третий тип от первых двух?
Третий тип не держит практически ничего в уме.
Разве это не справедливо для диаграмм Кэрролла?
![[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
Как сделать вывод?
Дочитали до конца.