У нас есть лябмда-исчисление, но лямбда - это, во-первых, буква не русская, во-вторых она для глаголов.
В русском языке есть не только глаголы, но и существительные. Поэтому одной лямбды недостаточно, нужно две буквы.
Кроме буквы П с хвостиком, ещё есть буква Л с хвостиком - Ԯ
ею можно заменить лямбду.
Теперь мы можем формировать описания как понятий, так и действий. Проблема только одна - логика не лезет в глубь предикатов, туда, где вычисляется истинность выражения, она пользуется тем, что предикаты это такие функции, которые возвращают истину или ложь, и уже после работает с этими булевскими значениями.
А нам надо создавать новые понятия, собирая их из других более простых понятий и противоречий (снимаемых в новом понятии). Можно, наверное, считать, что новое противоречие ровно одно (т.е. все производные понятия находятся от базовых (исходных) понятий на расстоянии одного противоречия).
Комментарии
Рассмотрим слова из книжек про понятия:
Что мы тут не видим?
Понятие
- и исходное понятие
- и критерии
- и мысли
- и объекты
- и противоречия
- и ситуация
- и снятое противоречие
И это о многом говорит?О чём это говорит? Анализ понятия не был достаточно всесторонним (диалектическим)!Обратите внимание, что автор книги не гнушается гносеологического, в отличие от автора ЭДЛ.
Исчезла понятийная функция. Поменялись (за 22 года) связи.
Что написано в книге 1967 ?
Здесь мы видим, что:
1) корректор книги Ахманова безграмотный и не знает правил оформления коротких списков в русском языке;
2) Войшвилло Е.К. не понимает разницу между понятиями "слово" и "термин";
3) книжка Войшвилло не была распознана, так как тексты не ищутся в интернете.
Боже, боже, сколько словоблудия. Интересного тут только «имеется тесная связь
между понятиями и суждениями о сущности». А выше был интересный фрагмент про «выделены Аристотелем различные термины: "логос" и "ноэма"»
Хорошо было бы проделать работу:
1) прочитать определения логоса, ноэмы и подумать, что это даёт;
2) прочитать определение сущности (я подозреваю, что это вещь, которая не предмет, но могу ошибаться);
3) подумать как соотносятся (чем различаются) суждения о сущности (предмета?) и мысли о денотате понятия;
4) подумать про "идеальное". Понятие ведь именно его описывает, отвлекаясь от конкретного.
Ага, раз не только человеку, значит компьютеры тоже могут. Впрочем, они уже доказали на практике.
Ну да, мы видим, что «понятие является общим представителем в нашем мышлении предметов
некоторого класса». А вот что "как мысль", как-то неубедительно. Этими словами автор пытается различить разные значения слова "понятие". А не передать идею о том, что понятие - это мысль (между прочим - не "форма мысли", а разновидность).
Понятие - это мысль. Мысль имеет форму и содержание. Логику интересует форма мысли, разновидности форм мысли. Психологию интересует содержание мыслей.
--
> «Мысль имеет форму»
Линейную, в измерении времени.
Вы бы не на отдельные комментарии охотились бы, а проработали бы диалектически понятия, на которые опирается ваша теория, да обновили бы толковый словарь.
>> «Мысль имеет форму»
> Мысль имеет форму и содержание
Нет формы предмета без содержания и нет содержания без формы. Логика отвлекается от содержания, исследует формы функционирования мысли в рассуждении.
"Линейную, в измерении времени" - С этого места поподробнее, разверните свою мысль (в пространстве рабочего стола).
--
Что значит диалектически проработать понятия? В ЭДЛ диалектически прорабатывается одно понятие - "правильное рассуждение с противоречием в его структуре".
"да обновили бы толковый словарь" - Что имеете ввиду под "обновлением"? Переформулировать имеющиеся понятия, добавить другие (какие)?
--
> «Что значит диалектически проработать понятия?»
Ой, всё.
> «В ЭДЛ диалектически прорабатывается одно понятие - "правильное рассуждение с противоречием в его структуре"»
- рассуждение
- правильное рассуждение
- структура рассуждения
- противоречие
- противоречие в структуре рассуждения
У вас структура рассуждения, очевидно, неправильная. Она не включает время, что не позволяет вашей теории проанализировать песню "С чего начинается Родина?".
Также у вас отсутствует понятие ситуации или контекста, что не позволяет проанализировать диалог "У коровы нет других забот".
Вы постоянно открещиваетесь от категорий "познания", "понятия", "знания", "истины" и всего такого. Мол есть гносеология, эпистемология, психология и что угодно. Как видно по книжке Войшвилло, логики так не делают.
Проработать понятие - значит перечислить понятия, и снятые противоречия, из которых диалектически сформировано рассматриваемое понятие.
Хорошо. Поставьте задачу проработать понятие Элементарной диалектической логики.
Во-первых, ЭДЛ - это результат развития понятия традиционной логики от ТФЛ к ТДЛ (традиционная диалектическая логика). Традиционная по эмпирическому существованию на практике, а не по теоретическому оформлению диалектической модели естественных рассуждений.
Теперь об ЭДЛ как понятии, сформированном из совокупности понятий, входящих в Элементарную диалектическую логику. Владеть понятием ЭДЛ - значит удерживать в оперативной памяти одновременно следующие десять понятий.
Напоминаю (ссылка):
Десятиместная сигнатура Элементарной
диалектической логики в общем виде:
ЭДЛ (a,b,c,d,e,f,g,h,i,k) (1)
a. Высказывание.
b. Субъектность.
c. форма.
d. Диалог.
e. Противоречие.
f. Аргументация.
g. Истинность.
h. Конъюнкция.
i. Критика.
k. Синтез.
Расшифровка.
a. Исходная клеточка логической системы: высказывание.
b. Логическая система - субъектная.
c. Четыре основные формы мысли: вопрос, суждение, оценка, императив (комбинации их перехода друг в друга - канон ЭДЛ). Плюс понятие.
d. Диалог - логическая форма.
e. Противоречие: диалектико-логическое (насущная проблема, подлежащая разрешению).
f. Доказательство в совместном рассуждении - аргументация.
g. Истинность локальная.
h. Конъюнкция утверждения и отрицания истинная - пружина развертывания совместной мысли (каждый обосновывает истинность своих высказываний и пытается опровергнуть оппонента).
i. Локальный критерий истины: критика.
k. Продукт: признание правоты противоположной стороны, консенсус, синтез.
Элементарная диалектическая логика — субъектная модель индивидуальных и совместных естественных рассуждений (b), в которой развертывание системы из исходной клеточки-высказывания (а) осуществляется через противоречие (е).
Формой связи высказываний в четырёх его видах (с): вопросы, суждения, оценки, императивы - истинностных и не истинностных, - служит логическая форма "диалог" (d).
В системе ЭДЛ, фиксирующей проблему в виде конъюнкции одновременно истинных утверждения и отрицания (h), процедурой доказательства выступает аргументация (f), где критерием локальной истинности высказываний (g) служит взаимная критика (i) и достигается консенсус, синтез (h) в качестве продукта договоренности обеих сторон.
--
> Переформулировать имеющиеся понятия, добавить другие (какие)?
Почему у вас Глава 8. Диалог в то время, как вы всё время говорите про рассуждение? Разные же понятия - "рассуждение", "монолог", "диалог".
Да, удобнее демонстрировать на диалоге, но разве противоречий не может возникать в одной голове (при рассуждении или монологе)? Если может, то как это явление называется?
В главе 8. Диалог записано: "Речь идет о диалоге как логической форме совместного рассуждения (внешняя форма: интерсубъектность) и диалогическом размышлении индивида (внутренняя форма: интрасубъектность).".
"Монолог, диалог" - литературные жанры. В ЭДЛ диалог - логическая форма. Разные понятия "рассуждение" и "диалог" имеют общий признак - это логические формы.
Отличие состоит в том, что в ТФЛ рассуждение связывает высказывания одного типа: истинностные суждения. А в ЭДЛ в логической форме "диалог" могут быть связаны как истинностные высказывания-суждения, так и неистинностные вопросы, оценки и императивы.
Итак,
в ЭДЛ о речь идёт не о литературном жанре "диалог", а о логической форме связи истинностных и неистинностных высказываний в совместном и индивидуальном рассуждении.
--
Это называется противоречием интрасубъектного рассуждения.
В интрасубъектном рассуждении желательно различать тривиальные формально-логические ошибки и продуктивные диалектико-логические противоречия.
--
Кирпич это дом
Диалектическое определение (понятия) действительно включает в себя не только характеристики, но и контекст, в котором эти характеристики проявляются.
В диалектике важны следующие аспекты:
Понятие рассматривается в его содержании (что оно собой представляет)
и форме (как оно проявляется).
на противоречиях, которые могут существовать внутри понятия
или между понятиями.
подверженные изменениям и развитию во времени.
Таким образом, диалектическое определение охватывает
более широкий спектр аспектов, чем просто характеристики,
и включает в себя взаимодействие, развитие и противоречия.
В ЭДЛ определение понятия то-ли не является диалектическим, то ли вовсе отсутствует.
Мысли составляются из понятий, а не наоборот. Верно, что с цитатой автора ЭДЛ что-то "не так".
//Мысли составляются из понятий, а не наоборот. Верно, что с цитатой автора ЭДЛ что-то "не так".//
Что положить в основание логики?
Варианты: понятие, суждение, умозаключение. Что первично? Умозаключение состоит из суждений, а суждение из понятий.
Но:
Понятие раскрывается через множество суждений.
С чего начать Науку логики? Вопрошая, тем самым Гегель начал непосредственно с вопроса.
К сожалению, вопрос не стал предметом рассмотрения Науки логики.
В теоретическое начало системы Гегель положил мысль-понятие "бытие". Бытие, чистое бытие без всяких каких бы то ни было дальнейших определений.
В начало логики ЭДЛ мною положено теоретическое начало "высказывание-суждение".
Что касается "понятия", то с ним ранее досконально разобрались в традиционной формальной логике и Гегель в своей спекулятивной философии.
--
У меня не "Понятие", а "Диалектическое понятие" (или по-вашему "Диаматическое понятие"). Выше на два сообщения написано чем они отличаются. Диалектическое понятие снимает, и отрицает, и всё такое. Меня вот что смущает: в postgre sql есть темпоральное, а есть пространственное (spatial). И ко всему этому прилагается язык, прагматика и т.д. А в диалектической логике нет пространственного.
Приветствую Аим.
Традиционная логика высказываний не лезет в глубь предикатов. Матаппарат булевой алгебры к этому очень хорошо приспособлен. В 22 году я этой тематикой интересовался. Даже картинки рисовал, для прояснения формул.
Неважно собирать из чего то, или разбирать на запчасти. С математической точки зрения это интегрирование оптом. Зайка без головы, значит зайка без глазок, ушек, зубок, косоглазия на глазках, и кариеса на зубах. Отрицание головы зайки отрицает весь этот ряд оптом. Но в математике интегрирование оптом почему то широко не представлено. Мне пришлось выводить рабочие формулы самостоятельно. Каждую можно проверить на калькуляторе. Она работает.
Для интегрирования оптом приспособлена константа Фи в степени эн. Основа золотого сечения. Но математики эту тему игнорят.
Но я пока забросил эту тематику. Ссылку на запись даю, но прошу ничего там не отвечать. Почитайте если не читали. Запись длинная и там много математики и матлогики. Но если использовать правила, как в орфографии, а не законы, как в математике, мы ничего к существующему языкознанию не добавим. Эдл в моей трактовке, в отличии от ЭДЛ Михаила Петровича, это рабочая математизация любой языковой системы. Проблема в том, что если философы, еще как то соображают в булевой алгебре, то вот в интегральном исчислении совсем плавают. Здесь кворума нет. Отвечаю только потому, что интересующая Вас проблематика очень близка к тому, чем я раньше интересовался.
В ЭДЛ в моей трактовке, математизация шести основных частей речи представлена набросками.
Успехов в Ваших исследованиях, возможно эта замена как то Вам поможет. Не поднимайте мои темы из архива.
Мне не ясно, почему на цветовых диаграммах прилагательное и наречие не нужно поменять местами.
Вы затронули интересную тему. Я всегда любой вопрос пытаюсь развернуть в эволюционной перспективе. Способствует.
У меня есть тема про понятия, но она устарела. Для меня
Настоящим так. Представление здесь и сейчас. Представлять текущую обстановку может и муха. Но она не может своим скудным умишком удерживать образ. Всё ее поведение инстинктивно.
Высшие животные. Образ. Образное мышление. Образ не здесь и сейчас. Он живёт отдельно от своего предмета (денотата) обладает свойством цельности, неразделенности, неструктурирован.
У человека образ соединяется с понятием, которое структурировано. Если есть понятие Кот, то в нем выделяются усы, лапы, хвост. И образ тоже начинает структурироваться. Причем уже в подсознании. Это позволяет человеку воображать.
Я сейчас выделяю этап понятийно-образного первобытного мышления. Это когда весь язык состоит из предметных понятий, чистые абстракции , например, Число - отсутствуют.
Современный человек (но не каждый) способен к абстрактному мышлению, высшим проявлением которого является математика. Я например, так мыслить не умею. Мне надо всегда пример из жизни для осмысления чего то.
Понятие имеет денотат (свой реальный предмет),образ, предикат (существенные свойства), сигнификат (объем), референт (несущественные свойства), коннотат (облако тегов), символ-слово. Я бы да сюда добавил концепт - векторно-орикньированные связи, то, как понятие взаимодействует в речевом акте с текущей ситуацией. Я спросил ИИ, как он понимает смысл речи, и там огромную роль играет контекст. Это особая технология.
Да, я могу представить векторную модель слова "Яблоко" в виде семантического вектора. Семантический вектор - это математическое представление слова или концепции в виде вектора в многомерном пространстве, где каждая ось соответствует определенному семантическому признаку или свойству.
**Векторная модель слова "Яблоко"**
Представим векторную модель слова "Яблоко" в виде 10-мерного вектора, где каждая ось соответствует определенному семантическому признаку или свойству. Вектор можно представить в виде:
Яблоко = [0,8; 0,6; 0,4; 0,3; 0,2; 0,1; 0,05; 0,01; 0,005; 0,001]
Где каждая ось соответствует следующим семантическим признакам:
1. **Фрукт** (0,8) - Яблоко является фруктом.
2. **Круглый** (0,6) - Яблоко имеет круглую форму.
3. **Красный** (0,4) - Яблоко часто имеет красный цвет.
4. **Сладкий** (0,3) - Яблоко сладкое на вкус.
5. **Хрустящий** (0,2) - Яблоко имеет хрустящую текстуру.
6. **Осень** (0,1) - Яблоко ассоциируется с осенью.
7. **Здоровье** (0,05) - Яблоко считается полезным для здоровья.
8. **Питание** (0,01) - Яблоко является источником питательных веществ.
9. **Дерево** (0,005) - Яблоко растет на дереве.
10. **Сад** (0,001) - Яблоко часто выращивается в садах.
**Интерпретация вектора**
Векторная модель слова "Яблоко" показывает, что это слово наиболее тесно связано с признаками "Фрукт", "Круглый", "Красный" и "Сладкий", что отражает его основные свойства и характеристики. Признаки "Осень", "Здоровье", "Питание" и "Дерево" также присутствуют в векторе, но с меньшим весом, что отражает более абстрактные и контекстно-зависимые связи.
Эта векторная модель может быть использована для различных задач обработки естественного языка, таких как поиск синонимов, определение семантических отношений между словами и т.д.
++Я как понимаю тут использовано что то вроде Евклидова пространства?
++Да, векторная модель слова "Яблоко", которую я представил, основана на концепции Евклидова пространства. Евклидово пространство - это математическое пространство, в котором каждая точка представлена набором координат, и расстояние между точками определяется по формуле Евклида.
В случае векторной модели слова "Яблоко" мы имеем 10-мерное пространство, где каждая ось соответствует определенному семантическому признаку или свойству. Каждый признак представлен координатой в этом пространстве, и вектор слова "Яблоко" представляет собой набор этих координат.
Расстояние между векторами в этом пространстве можно вычислить по формуле Евклида, которая определяет расстояние между двумя точками в n-мерном пространстве как:
d(x, y) = √(∑(xi - yi)^2)
где x и y - векторы, xi и yi - координаты векторов, а n - размерность пространства.
Использование Евклидова пространства для представления семантических векторов имеет несколько преимуществ:
1. **Удобство вычислений**: Расстояние между векторами можно вычислить по простой формуле, что упрощает сравнение и анализ семантических векторов.
2. **Геометрическая интерпретация**: Евклидово пространство позволяет визуализировать семантические векторы как точки в многомерном пространстве, что может помочь в понимании их свойств и отношений.
3. **Масштабируемость**: Евклидово пространство можно легко масштабировать до высоких размерностей, что позволяет представлять сложные семантические отношения между словами.
Однако, стоит отметить, что использование Евклидова пространства для представления семантических векторов имеет также некоторые ограничения. Например, оно не учитывает нелинейные отношения между словами и может не быть эффективным для представления сложных семантических концепций. В связи с этим, были разработаны другие методы представления семантических векторов, такие как word2vec и glove, которые используют более сложные математические структуры для представления семантических отношений между словами.
Приветствую Виталий! Я же уже писал.
Причем забросил с мой стороны, означает максимальную очистку кэша. Отправил в долгосрочный архив все эти наработки. Восстановить в голове можно в любой момент, но я пока не имею желания. При помощи языка python я вышел на реальные алгоритмы наделения чат ботов личностью. Но выпускать этого джина из бутылки не имею желания. Дальше нет ничего, что я мог бы хоть как то контролировать. Оставляю эту тему благодарным потомкам. Интересный рассказик был на конкурсе детективов новогоднем.
http://samlib.ru/r/r2d2/rd20podarocekdoc.shtml
Быть соучастником таких подарочков я не намерен. Успехов в ваших исследованиях. Отвечать не обязательно.
Размышляю на тему того, как рисовать значки, которых нет в Unicode.
Мысли такие:
- размер шрифта примерно 10 (чуть меньше 12)
- рисовать надо в нижней части изображения, потому что обычно буквы строчные, а не заглавные
Текст текст текст
слово текст текст.
Текст текст текст
слово текст текст.