А чем индексная запись удобней расширенных (на три переменных) диаграмм Кэррола?

---

Хм.

---

- Индексная запись очень удобна для решения соритов.

---

- Удобна для мгновенного/не делая записи решения силлогизма (на диаграммы необходимо время, даже если строить в пространстве перед собой)

---

- Строя диаграммы мы все равно обращаемся/делаем эту формальную запись в голове, т.е переворачиваем знак.

---

Например: Все X есть М

---

Ход создания диаграммы:

---

- два черных кружка на XM'

---

- красный кружок на XM

---

- Сейчас с 3-правилами можно делать вывод "не делая даже эту запись". Что я имею ввиду?

---

1. Смотрим совпадающие термины (средние)

---

2. Смотрим Посылки ( есть ли начинающаяся с Некторые...)

---

3. Берем оставшиеся посылки и формируем ответ - выставляя квантор и знак. Все.

Ладно, но ты указывай мне какие слайды в первую очередь ты хотел бы увидеть в моей эээ системе подачи.

---

Как работать с отрицаниями, например:

---

Все Х есть M' (как это будет отражено на слайде?)

---

Или

---

Ни один M' не есть X

---

Ни один M' не есть X'

---

Или, как изобразить на слайде этот силлогизм:

---

П1 - Все m суть x'.

---

П2 - Ни одно m не есть y.

---

В - Ни один Х' не есть Y'

По сути там где ты поставил вопрос там тоже можно ставить кружок. На всех схемах Не Х и Не М будет пересекаться. Об этом и писал ЛК, что привело его к ограничению -Не в границах.

Обрати внимание, что в 2/4 и 3/4 есть принцип эээ обращение предиката

---

Т.е

---

Некоторый Х есть М = Все М есть Х

---

И он возможен, когда есть черный кружок

Хорошо, как используя эти схемы мы можем сделать вывод, например даны посылки:

---

1. Все М есть X

---

2. Ни один М не есть Y

---

Как сделать вывод?

"все женщины глупые". Чтобы его показать диаграммой Эйлера, надо нарисовать кружок "женщины" ВНУТРИ кружка "глупцы"

---

Не обязательно, круги могут быть одинаковы. (Ничего не меняет, но все таки)

Ладно

Уточняем. Мы делаем две взаимо-дополнительные, но разные между собой вещи:

---

--ты ищешь кэрролловские-"гриндеровские" схемы более емкого и простого прочтения "исходного правила"

---

--а я ищу рабочий коммуникативный интерфейс, для текущей пофразовой реализации навыка счисления предикатов в текущую речь/экспрессию

---

Хорошо. Продолжу, что делал, для облегчения прочтения/запоминания

--т.е Запись силлогизма будет выглядеть так: Все Х есть Y это и есть формальная запись (такая какую делают все кто занимаются логикой и круги Эйлера тоже для этой записи)

---

---Для КИЛСА на этом все заканчивается.

---

---

А как учесть, что в суждении "Все Х есть Y"

---

зашито много других, например:

---

-Ни один x не есть не-y

---

-Некоторые y суть x

---

-Некоторые y суть не-x

---

-Некоторые не-x суть не-y

---

... т.д

---

каждый из которых можно нарисовать по другому

в дополнение к ФОРМАЛЬНОЙ И ИНДЕКСНОЙ кэрролловским записям я ищу третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).

---

Чем отличается этот третий тип от первых двух?

---

Как это перевернуть знак Y' во внешней экспрессии?