ЭДЛ. Квадрат логики субъектов.
ЭДЛ. Квадрат логики субъектов.
В этой теме рассмотрены различия ЭДЛ предикатов Xy и ЭДЛ субъектов XY. Представлен логический квадрат логики субъектов с учетом разложения отрицания ¬ на две противоположности ! и !!. Операция формального отрицания заменена двумя последовательными заменами логического субъекта. Для хоть какого то сходства с логическим квадратом Аристотеля, квадрат логики субъектов пришлось развернуть на 90 градусов. Современников приучили думать квадратами, а не кругами Эйлера. Пришлось произвести трансформацию квадратуры круга.
1. развернутая постановка проблемы.
В моей картинке с чебурашками ничего квадратного нет,
потому видимо логика субъектов и непонятна современникам, что подтверждается комментариями к моим предыдущим темам.
vlopuhin, 30 Сентябрь, 2025 - 19:19, ссылка
Формально вроде бы понятно, но ведь я не формалист :)...
Я тут подумал, и сначала пришла мысль, что примеров не хватает, так сказать для усвоения материала. Но потом меня посетила другая мысль, вот то, что есть, то и есть, то есть других примеров скорее всего нет, и не может быть, в смысле во всей полноте смыслов.
В общем уже два раза перечитал, впитываю :)...
Кормин Михаил, 30 Сентябрь, 2025 - 09:22, ссылка
Сокращая табличку с 16 столбцов до 8, работаем в привычной системе 1:0. А вот сокращение с 8 столбцов до 4 уже происходит в системе !:!!.
vlopuhin, 30 Сентябрь, 2025 - 19:19, ссылка
Иначе и не могло быть. От отрицания ведь избавились! Но то, что это возможно, я интуитивно догадывался. Как ты это сделал, - надо втыкаться... Пока предполагаю, что в результате избавились от так сказать тупиковых (терминаторы, или заглушки) логических операций, таких как "тождественный ноль" и "тождественная единица", то есть это такие операции, которые выдают один и тот же результат не зависимо от аргументов.
Кормин Михаил, 30 Сентябрь, 2025 - 19:31, ссылка
Я ж догадывался, что ты про это спросишь. Как раз думаю над примерами. Математику свести одна задача, а вот с примерами, это еще та пропедевтика. Подумаю отвечу.
2. Для наглядности необходимо представить логику субъектов не в виде набора чебурашек, а привести к форме похожей на логический квадрат.
3. Развернутое решение проблемы.
Начал я вроде ответ на комментарий писать, а в итоге насобирал материала, который заслуживает отдельной записи. Тем более смотрю, предыдущая тема почти в архив ушла. Ну и пусть идет, чего ее забалтывать.
Для начала еще раз разберу чем ЭДЛ субъектов различается с ЭДЛ предикатов. Тем более вопрос такой уже был,
vlopuhin, 29 Сентябрь, 2025 - 13:31, ссылка
Я умышленно "y" заменил на "Y", поскольку не знаю, чем они отличаются.
и я старался на него ответить, но видимо словарного запаса не хватило, либо картинок дельных. В систему пришлось ввести комбинации противоположные исходным.
У меня были
Х(1001) Y(0011) и X(0011) y(0101)
Добавились
X(0011) Y(1001) и X(0101) y(0011)
Теперь в работе одновременно 4 комбинации таблиц истинности из 24 возможных. Черные комбинации из ЭДЛ субъектов, а красные из ЭДЛ предикатов.
Черная граница находится в пределах одной таблицы истинности, неважно черной, или красной пары аргументов. В пределах этой таблицы истинности можно отзеркалить любую часть и получить 8 контрадикторных отношений. На левой части картинки я именно это и сделал. Использовать отрицание никто не запрещает, поскольку предикат, обозначенный строчной буквой, присутствует. А вот красная граница, это уже переход из одной таблицы истинности в другую. Поскольку элементов в булевой функции всего два, появляется нужда избавиться от предикатов, переменных обозначенных строчными буквами. А поскольку субъект отрицать нельзя, отрицание замещается сменой логического субъекта. Рассмотрю более подробно на следующей иллюстрации.
Таблицы истинности для черных аргументов были выведены искусственно, и изначально противоположны друг другу. Имеют возможность сокращения до 8 и даже до 4 элементов. Эти вопросы были рассмотрены в теме посвященной таблицам истинности ЭДЛ. Но разложение отрицания на ! и !! действенно для любой из 24 комбинаций пар аргументов. Наглядность теряется, а закон разложения отрицания работает. Если посмотреть на таблицы истинности черного цвета то там первыми тремя битами в порядке слева направо единичками показано какие цвета присутствуют на картинке. Для красных таблиц истинности это не работает. Машине наглядность не нужна, поэтому в ЭДЛ можно использовать любую комбинацию аргументов, доступную машинному железу и прошивке.
Самый левый столбец, это состояние системы до !!. Следующий столбец состояние системы после !!, но до !. По идее следующее диалектическое отрицание ! должно привести булеву функцию к формальному отрицанию ¬, в соответствии с законом.
Кормин Михаил, 30 Сентябрь, 2025 - 09:22, ссылка
!!! Х (0011)= ¬Х(1100)
! Х v !! Х = 1
! Х ^ !! Х = 0
Вместо того чтобы применять формальное отрицание, аргументы меняются местами. Перед тем как приступить непосредственно к логическому квадрату рассмотрим еще одну иллюстрацию.
Здесь система приведена в исходный вид. Я убрал !! из самого левого столбика и нарисовал треугольники. Рассмотрим красный треугольник слева.
!! (x v Y) (0111) = x<=>Y (1001)
! (x<=>Y)(1001) = x↓Y (1000)
¬(x v Y) (0111) = x↓Y (1000)
Выполняется закон разложения формального отрицания как для красных, так и для черных аргументов. В черном треугольнике выполняется, и в зеленом логическом квадрате справа тоже выполняется. Закон универсален, но все же для черного треугольника есть специфика. Если посмотреть на правый зеленый квадрат, то три его угла это составные булевы функции. Например (X<=> y) = (X->y)^(X<-y) Для ЭДЛ предикатов никаких проблем. Но вот для ЭДЛ субъектов, это уже очень сложные конструкты, в них скрытно присутствует отрицание. Квадрат ЭДЛ субъектов выглядит значительно проще. Чтобы он хоть чуток смахивал на логический квадрат Аристотеля мне пришлось развернуть его на 90 градусов.
Два раза поменяли и вернули логический субъект на место. В контрадикторных отношениях логический субъект не меняется, как и в квадрате Аристотеля. Пожалуй это все сходство между ними. Такой вот детский кубик рубика. Берем два субъекта: мышки, грызуны. Расставляем по углам квадрата и получаем закономерность под квантором общности. Все мышки суть грызуны. Так много теории, а на выходе игрушка для ребятишек из начальной школы.
4. Вывод.
Задачу по упрощению понимания логики субъектов в ЭДЛ, я считаю выполненной. Что то еще более простое для понимания работы отрицания через смену логического субъекта, мне сложно себе представить. Оквадрачивание выводка чебурашек на сегодняшний момент считаю успешно выполненным.
Я написал очередной текст в форме трактата.
1. Развернутая актуальная постановка проблемы.
2. Вывод постановки проблемы.
3. Развернутое решение проблемы.
4. Вывод решения проблемы, соответствующий поставленной задаче.
Конструктивная критика состоит из первых двух пунктов.
Если писать конструктивную критику не получается, лучше вообще ничего не пишите. Я не обижусь. Голые оценки меня не интересуют.
- Кормин Михаил
- Для комментирования войдите или зарегистрируйтесь
Философский штурм | Совместное философское творчество © 2006-2014
Сайт представляет собой площадку для функционирования философского интернет-сообщества, участники которого заинтересованы не только в индивидуальном, но и в коллективном философском творчестве.
Комментарии
У меня не будет критики, а будут вопросы. Вот это: ЭДЛ предикатов Xy и ЭДЛ субъектов XY. Что это вообще такое? Xy и XY. Чем Y отличается от y? Как я понимаю, субъекты это субъекты высказывания, а предикаты - их свойства. Или Xy это одноместный предикат, типа S есть P?
Приветствую Виталий! Я уже отвечал на подобный вопрос.
В моих ранешных ответах я не знаю что улучшить. Х - подлежащее предложения, у - сказуемое. Y- снова подлежащее. XY - логическая связь между двумя подлежащими.
Грека человекоподобного>> а есть разве не человекоподобный грек? Сатир хвостатый - тоже грек?
Понятия не имею, существуют такие или нет. Я говорю о логической связи между двумя подлежащими X и Y. ЭДЛ - логика языковой системы. А там систематизируй чего хочешь. Хоть зомбаков, хоть троллей, хоть ангелов, хоть демонов. Если структура иерархии в голове есть, то формальный аппарат ЭДЛ ее выявит. К тому, что существует на самом деле ЭДЛ отношения особо не имеет. Какой есть в голове понятийный аппарат, тот и систематизирует.
Смотрите, что получается. S есть Р. Субъект есть предикат. Так в традиционной логике. Это синтаксис. Здесь субъект - это субъект высказывания. В зависимости от того, какое положение он занимает в высказывании. Так в классической логике. Грек в одном высказывании может быть субъектом, а в другом - предикатом. Все то же самое что и в естественных языках.
Вам зачем то понадобилось оторвать субъекта от высказывания, и вот я хочу узнать - зачем? Что это даёт? Может, вы хотите заниматься не синтаксисом, а семантикой слов и понятий?
Почему хочу то, я занимаюсь семантикой. У же много лет здесь на ФШ в качестве хобби я развиваю формальный аппарат логики вложения лексем. С помощью этого формального аппарата благодарные потомки когда нибудь обучат машину обрабатывать контекст, оперировать смыслами.
Я уже отвечал на этот вопрос в старт топике.
Оторвав логический субъект от предиката можно совместить две различные таблицы истинности. Когда пишешь прогу при помощи которой машина самостоятельным образом создает тезаурус для своих нужд, это позволяет в несколько раз сократить длину программного кода. В бытовых нуждах возможно тоже где то пригодится.
Так для этого есть Сема и Семема. Греймас и Апресян. Зачем размазывать понятие субъекта?
Сема и семема являются двумя разными понятиями в лингвистической теории.
Семема — это единица значения языкового знака, представляющая собой совокупность всех смысловых компонентов лексического значения слова. Семема отражает общий смысл слова и охватывает все возможные оттенки значений, присущие данному слову в языке. Например, слово «дом» имеет общую семему, включающую значение строения, жилища, семейного очага и т.п.
Сема, предложенная А.-Ж. Греймасом, является одним из элементов структуры семемы. Это минимальный компонент смысла, неделимый далее элемент значения. Каждая семема состоит из набора сем, которые определяют конкретные признаки и характеристики значения. Например, в значении слова «дом» можно выделить такие семы, как «строение», «место обитания», «частная собственность».
Таким образом, семема представляет собой общее смысловое содержание слова, тогда как сема — это отдельный, атомарный аспект этого содержания, участвующий в формировании общего значения.
Юрий Апресян также выделяет понятие семантического компонента («семы») и общей единицы значения («семемы»), однако терминология и подходы немного отличаются от концепции Греймаса.
▌ Основные положения подхода Юрия Апресяна:
1. Сема: Минимальная содержательная единица значения, элементарный признак. Ю.Апресян вводит иерархию сем, различая разные типы сем: денотативные, коннотативные, коммуникативно-прагматические и др. Эти компоненты составляют основу лексического значения.
Примеры сем:
- «живое существо»
- «имеющее органы чувств»
- «способное передвигаться самостоятельно»
2. Семема: Общая единица значения слова, состоящая из совокупности конкретных сем. Семема определяется как целостное значение, которое формируется благодаря взаимодействию разных типов сем.
Например, значение глагола «бежать»:
- двигательное действие (+ движение)
- направленное движение (+ направление)
- быстрое передвижение (+ скорость).
▌ Отличия от Греймаса:
- У Греймаса основное внимание уделяется структурному подходу к языку и изучению взаимосвязей внутри системы знаков.
- Юрий Апресян больше ориентирован на изучение индивидуальных особенностей каждого конкретного значения, обращаясь к проблемам полнозначимости, синонимии, омонимии и т.д., а также уделяя особое внимание когнитивным механизмам формирования значений.
Таким образом, хотя оба ученых используют близкие понятия ("сема" и "семема"), их теоретический подход и методологические акценты различаются. Апресян сосредоточился на глубоком анализе отдельных единиц значения и роли контекста, в то время как Греймас делал упор на формализованном описании знаковых систем.
А в последнее время появилась векторная семантика
Подход, в рамках которого слово рассматривается как сумма векторов в контексте, называется векторной семантикой. Этот подход активно используется в современной компьютерной лингвистике и обработке естественного языка (NLP). Рассмотрим подробнее этот метод.
▌ Объектно-ориентированная семантика
Традиционная объектно-ориентированная семантика рассматривает слова как объекты, обладающие определенными свойствами и отношениями друг с другом. Каждый объект характеризуется набором признаков (атрибутов), определяющих его свойства и поведение. Однако классический подход ограничен статичностью описания объектов и недостаточностью учета динамических свойств, возникающих в зависимости от контекста употребления.
▌ Векторная семантика
В отличие от традиционного объектно-ориентированного подхода, векторная семантика описывает каждое слово как точку в многомерном пространстве, координатами которой служат частоты совместного появления с другими словами в тексте. Такой подход позволяет учитывать связи между словами, возникающие в реальных контекстах их употребления.
Например, рассмотрим слово «собака». Его вектор будет представлять сумму частот встречаемости рядом с такими словами, как «лаять», «хвост», «гулять», «шерсть» и т.д. Таким образом, представление слова становится гибким и зависимым от окружения, в котором оно употребляется.
Преимущества векторной семантики:
- Гибкость представления значений слов.
- Возможность автоматического анализа больших объемов текста.
- Применение в системах машинного перевода, классификации документов, кластеризации и других областях NLP.
Недостатки:
- Высокая размерность пространства представлений.
- Необходимость обработки большого объема тренировочных данных.
- Трудности интерпретации полученных результатов.
▌ Практическое применение
Современные модели глубокого обучения, такие как Word2Vec, GloVe, BERT и другие, успешно применяют принципы векторной семантики для решения широкого круга задач, включая классификацию текстов, распознавание именованных сущностей, извлечение ключевых понятий и автоматическое создание аннотаций.
Таким образом, объектно-ориентированный подход в сочетании с методами векторной семантики позволяет создавать эффективные инструменты для автоматической обработки и понимания естественного языка.
А кто включил? Человек интуитивно и включил. У человека есть тезаурус языковой системы. С ним он и сравнивает значение строения, жилища, семейного очага и т.п Находит в собственном тезаурусе общую семему "дом". Потом фиксирует эту семему в словаре каком нибудь, или библиотеке тезаурусов созданных человеком. ЭДЛ позволяет машине самостоятельно создавать тезаурус для своих нужд. Потом сверяться с ним, в точности так же как делают люди.
Ну и Виталий! Какое отношение эта лекция по семантике имеет к старттопику. При чем здесь логический квадрат логики субъектов?
Я не понимаю ваш текст, потому что в моей голове субъект связан с синтаксисом. Может вы о логической константе? Стул, на котором я сейчас сижу - константа, он один единственный. Он занимает объём, его нельзя отрицать.
Логический субъект связан с синтаксисом. Я этого не отрицаю. Это подлежащее в предложении. Но если убрать из предложения подлежащее, то вся семантика контекста предложения посыпется. Смысловую нагрузку передать не получится. Потому и нельзя отрицать. Ну и посмотрите на логический квадрат еще раз. Вы там видели отрицание субъекта. Нет конечно. Отрицается всегда только предикат.
В экзистенциальном высказывании нет предиката, только субъект.Сократ существует. Сократ НЕ существует. Можно отрицать существование субъекта.
Давайте попробуем.
По мне так опыт не удался, семантика посыпалась.
Ваши слова: «Сократ существует. Сократ НЕ существует. Можно отрицать существование субъекта». Сократ не существует, существует его самое себе, то есть только его время бытия, потому что мышление Сократа есть вечное.
Можно отрицать существования субъекта? Можно, если он вне самое себе верни своего существования.
Самое себе Сократа существует и сегодня почему? Не почему, а с какой целью. И какая цель у него? Самое себе- это и есть Сократ? Верно. Время есть Сократ?
Все есть время! С уважением.
это логическая переменная в том смысле, что греками были и Сократ, и Платон и Аристотель. Тут произошла некоторая путаница с предикатом. В классической логике предикаты - это свойства вещей. А в логике предикатов это уже всё высказывание S есть P. Он же функция Все х(p)x. Мне это сильно не нравится, эта вся мешанина. А наш дорогой Михаил Петрович размазывает и само понятие субъекта. У него субъект - сторона в споре.
Типа реплика из зала. Так ведь уже пригодилась, и не только в бытовых. В информатике, в частности в операционной системе виндовоз, это называется API. Попробую пояснить. Это означает перенос основной "работы" на операционную систему. Делаем запрос в двух словах (несколько букв в командной строке), получаем развёрнутый ответ на четырёх страницах печатного текста. Казалось бы всё так просто, исполняемый файл должен был сократиться в разы. Но что-то пошло не так, как задумывалось, и в результате пошли плодиться терабайты мусора.