Ну, с другой стороны, диаграммами Эйлера (пересекающимися кругами) невозможно достаточно точно изобразить эти высказывания.
Почему это?
В книге Кэрролла «История с узелками», главе «Символическая логика» есть параграф «Приложение, адресованное преподавателям». Там в том числе изложены мысли автора по поводу недостатков кругов Эйлера, диаграмм Венна. Давайте я попробую рассказать, чем, на мой взгляд, диаграмма Кэррола лучше названных выше методов.
Рассмотрим ваш слайд «Виды суждений». Серая область вокруг кругов – вместилище определенного класса предметов, «вселенная рассмотрения» в терминах Кэрролла.
Кругами из «вселенной рассмотрения» выделены предметы, обладающие
признаками (признак Х и признак М).
Таким образом, на слайде будут изображены:
1. Предметы, имеющие признак Х;
2. Предметы, имеющие признак М;
3. Предметы, имеющие одновременно признаки Х и М;
4. Предметы, имеющие признак не-Х и признак не-М. Вот тут и появляется загвоздка, с помощью кругов Эйлера неудобно/ненаглядно изображать предметы, которые имели бы признак
не-Х и одновременно не имели бы признак
не-М (
только что сообразил, что этот мой тезис неверен.)
Кроме того, кругами Эйлера невозможно показать, что информация о существовании предметов, имеющих одновременно 2 признака,
не получена из посылок силлогизма.
Теперь диаграммы Кэрролла.
«Вселенная рассмотрения» обозначена границами диаграммы.
Диаграммами Кэрролла можно показать что:
1. Предметы, имеющие одновременно 2 признака, существуют (некоторые Х суть Y)
2. Предметы, имеющие одновременно 2 признака, не существуют (ни один Х не есть Y)
3. Предметы, имеющие признак Х, существуют (при этом не сказано имеют ли они признак Y или нет)
4. Если после расстановки фишек остались пустые ячейки, значит информация о предметах, имеющих соответствующие признаки, не была получена из посылок.
Получается, что диаграммами Кэрролла можно отобразить больше информации, чем кругами Эйлера.
в дополнение к ФОРМАЛЬНОЙ И ИНДЕКСНОЙ кэрролловским записям я ищу третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).
Чем отличается этот третий тип от первых двух?
Третий тип не держит практически ничего в уме.
Разве это не справедливо для диаграмм Кэрролла?