[userpic]

Интерфейс КИЛС поддержания логики счисления предикат ↑

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

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

10 комментариев

сначала старые сначала новые