Метастемология. Вместо манифеста
Краткое программное изложение метастемологии как проекта реконфигурации рациональности, эпистемических протоколов и экзокортикальной инфраструктуры.
#эпистемология
58 статей
Уровни интероперабельности Euzenat: знаниевый протостек
Нашёл у J. Euzenat в "Towards a principled approach to semantic interoperability" структуру "уровней интероперабельности", подобную знаниевому стеку, только собранную лет на 20 раньше (2001) и без эпистемологического фреймворка на бекенде. В модели коммуникации/интероперабельности Озена (это француз) отсутствует сигнальный уровень, за то синтаксис разорван пополам на lexical и собственно...
К окончательному решению вопроса с "сознанием"
Дебаты вокруг вопроса "что такое сознание?" нередки как для академического сообщества, так и в среде инженеров - разработчиков в сфере искусственного интеллекта. Для многих ценность вопроса и поисков ответа на него является самоочевидной, и редко подвергается самостоятельной оценке. Я возму на себя смелость утверждать, что, безотносительно содержания этих споров, они являют собой в большей...
Поставить разрыв представлений с головы на ноги
Читаю вот у Загорулько Ю.А. в "Семантическая технология разработки интеллектуальных систем, ориентированная на экспертов предметной области" (2015): Представляется очевидным, что чем меньше будет разрыв между знаниями и представлениями эксперта и средствами представления знаний инструментальной системы , тем легче ими будет пользоваться эксперту. Когда встречаю подобное про "разрыв", хочется...
Немного оптимизма
Очередная пара тематических обзоров (1, 2) SotA от А.Левенчука ещё раз показывает долгосрочный дрейф понимания интеллект-стека, где важными, если не ключевым узлами стоят "эпистемология" и "действие". Т.е. именно то, что для УЭ является частями ядерной теоретической архитектуры. УЭ находится уже в точке, куда этот процесс пытается (часто весьма неуклюже) продвинуться. Например, ценность...
Эпистемологическая рекурсия в "Постправде" Фуллера
В дискуссиях про структуру современного знания мне приходится часто указывать на неосознаваемые, неуправляемые онтологические рекурсии при осмыслении предельных вопросов, и про то, что закостыливание этих проблем, инстинктивное или представляемое в виде некой прогрессивной конструкции, продолжающееся веками, привело к архитектуре эпистемических костылей, которую локальными перестройками уже не...
"Разделяемые онтологии действия" Метцингера
Metzinger T., Gallese V. - The emergence of a shared action ontology. Building blocks for a theory (2003) Прекрасная статья Томаса Метцингера заслуживает подробного разбора, но здесь я запишу лишь свои реакции на отдельные выдержки. Перевод "shared action ontology" на русский позволяет более одного варианта, включая "онтологию разделяемого действия", но содержательно авторы прорабатывают...
Эпистемный, эпистемический, эпистемологический
Небезынтересное видео "Битва за истину. Война эпистем" от Натальи Луковниковой и Сергея Переслегина посвящено особой ситуации противостояния знаниевых систем, разворачивающейся в США. Помимо иных замеченных дискуссионных моментов, слух резануло то, что для обозначения указанной ситуации используются термины "эпистемный конфликт", а также "эпистемический" и "эпистемологический конфликт"....
Эпистемологичное определение понятие технология
Определение технологии от Emmanuel Mesthene из книги "More from Less": "организация знания для достижения практических целей". Знакомые какие обертоны. Если понятие "технология" определить через максиму управляемой эпистемологии, то определение будет звучать как "технология: структура разделяемого знания, обеспечивающая повторяемое действие". Отсюда: технологии это про структуры исполнимого...
Эпистемологическая слепота в проекте сильного ИИ
Разговоры об определении "смысла", "информации" и "сознания" в контексте ИИ-разработок всплывают регулярно, но в подавляющем большинстве случаев заканчиваются там же, где и начинались. Количество альтернативных формулировок, предлагаемых в качестве определений, может рассчитываться по формуле из анекдота: на двух исследователей 3 варианта. Ни одно определение из множества не выглядит для...
"Представление знание с помощью гомотопической теории типов"; проблема в эпистемологии, не в синтаксисе
Работа Андрея Родина "Knowledge Representation with HoTT" \- об использовании гомотопической теории типов для представления знания. Я слабо владею теорий типов на теоретическом уровне, чтобы обсуждать специфические моменты именно предлагаемого формализма, но сам автор обращается к эпистемологии, и тут у меня есть замечания. В сообществах, связанных с KR, бытует надежда, что для продвижения в...
Ограничения логики в перспективе эволюции рацио
Разница существенна и это один из главных вызовов. Язык человекомерен. Но мир человека уже не человекомерен. Точнее, здесь такая иерархия разнообразий: 1 Индивидуальный или мелкогрупповой рацио Главным мотивом можно утвердить повышение степени согласованности дискурса для повышения управляемости практик малых групп (первая степень числа Данбара, условная сотня человек) - унисоциумов....
Заря когнитивной эпистемологии в Jane Lave "Cognition in Practice. Mind, Mathematics and Culture in Everyday Life" 1988
В своих теоретических изысканиях я, как Алёнушка из сказки, "ссылка за ссылкой" в статьях, захожу в дебри, где лежат забытые и запыленные, но очень интересные артефакты знания. Археология знания, как есть. Нынче, несколько тоннелей привели меня к книге Jane Lave "Cognition in Practice. Mind, Mathematics and Culture in Everyday Life" 1988 года, выложенный пиратами (да продлит Ктулху их дни)...
Плыть против нетечения в аналитической философии сознания
FAQ по аналитической философии Я за прогрессами а аналитической философии не слежу особо пристально, но образованная в теме Kate Khan меня как-то просветила, что Чалмерс и Метцингер - это ныне уже не модно, а модно Харман, Брасье, Мейясу и объектно-ориентированные онтологии (тут философские, не инженерные, совсем другое). Я с интересном дёрнулся осматривать новую философскую зарю, пробежался...
Эпистемическая управляемость теории на примере её потери
Я нередко употребляю понятие "эпистемическая управляемость теории". В академическом обороте я оного не видел. Оно в некотором аспекте значения обобщает такие понятия, как "несогласованность", "неполнота" или "семантическая коллизия", но к ним несводимо. Используя эти термин обычно имеют ввиду логическую согласованность, однако она может свидетельствовать лишь о качестве логической...
Эпистемическая управляемость теории на примере её потери
Я нередко употребляю понятие "эпистемическая управляемость теории". В академическом обороте я оного не видел. Оно в некотором аспекте значения обобщает такие понятия, как "несогласованность", "неполнота" или "семантическая коллизия", но к ним несводимо. Используя эти термин обычно имеют ввиду логическую согласованность, однако она может свидетельствовать лишь о качестве логической...
Нерешённые задачи Шеннона
Возможно, первая целостная формулировка архитектуры исполняемого знания. Клод Шеннон, Уоррен Уивер, "Математическая теория коммуникации" 1949. "Математическая" - про вычисления, "коммуникация" - про агентный подход. В сумме, имеем одно из оснований агентно-центричной вычислительной эпистемологии. "Целостная" - не столько значит "хорошая", сколько "покрывающая весь эпистемический спектр"....
Нерешённые задачи Шеннона
Возможно, первая целостная формулировка архитектуры исполняемого знания. Клод Шеннон, Уоррен Уивер, "Математическая теория коммуникации" 1949. "Математическая" - про вычисления, "коммуникация" - про агентный подход. В сумме, имеем одно из оснований агентно-центричной вычислительной эпистемологии. "Целостная" - не столько значит "хорошая", сколько "покрывающая весь эпистемический спектр"....
Разработка Тёмного Моделера. Call to action
Уже многие годы, прорабатывая разные проекты (и бизнес-схемы, и эпистемические модели), вою воем от досады по поводу отсутствия хороших инструментов для моделирования. Качественное схватывание и выражение сложных доменов, вроде юриспруденции, требует своего, особого выразительного подхода. Ни один из существующих сейчас и известных мне подходов к моделированию таких доменов И инструментов...
Computational Law as an engineering discipline
Русская версия здесь Revision 3 Original '2019 Revision 1 version published in Recht Innovative 01-2019 1 Currently, there is no widely accepted definition for Computational Law. The term itself also has several related, often almost synonymous forms: AI in Law, Computational Legal, Artificial Legal Intelligence, etc. The literature mostly contains inductive definitions when the notion is...
Определение Вычислительного права как инженерной дисциплины
English version is available 1 В настоящее время для Вычислительного права не существует широко принятого определения. Сам термин также имеет несколько родственных, часто используемых почти как синонимы: Computatonal Law, AI in Law, Computational Legal, Artificial Legal Intelligence и пр. В литературе встречаются в основном индуктивные определения, где понятие фиксируется как зонтичный термин...
Алхимическая проблема эпистемологии
Есть гипотеза (или уж не гипотеза, а принятый факт), что разум примата развился в человеческий в значительной мере по причине наличия рук - свободных конечностей, которые предоставляют особый манипулятивный (от manus, рука) доступ к миру. То бишь, фронтальное расположение глаз, дающее особую оптику, и возможность подносить к ним предметы руками дали приматам больший и более богатый опыт...
Три уровня генерализации и великая тайна МакКарти
Из работы на тему теории прототипов, как опереть юридический язык на "prototypical perceptual semantics" (это сами переводите): "Каким-то образом требование о том, что экземпляр концепции должен быть «подобен» прототипу (своего рода «горизонтальное» ограничение), кажется, усиливает требование о том, что образец должен быть помещен на некоторый определенный уровень иерархии концепта (своего...
Три уровня генерализации и великая тайна МакКарти
Из работы на тему теории прототипов, как опереть юридический язык на "prototypical perceptual semantics" (это сами переводите): "Каким-то образом требование о том, что экземпляр концепции должен быть «подобен» прототипу (своего рода «горизонтальное» ограничение), кажется, усиливает требование о том, что образец должен быть помещен на некоторый определенный уровень иерархии концепта (своего...
Towards epistemological model-based approach in Computational Law
Доступна русская версия. December speech by Daniel Greenwood, the Head of Computational Law R&D at MIT. [youtube:AjXtIA4f9j4] The speaker clearly outlines objectives of Computational Law; on the other hand I do not agree with how the boundaries of the discipline are defined. This is the neopositivist mainstream to bring it all down to language and semantics: let's split laws into semantic...
Чем заменить язык? К эпистемически-центричной моделе-ориентированности в инженерии знания
English version available Декабрьское выступление главы law.mit.edu Daniel Greenwood. Он там с одной стороны неплохо очерчивает задачи computational law, но я не согласен с тем, как он определяет границы дисциплины. У него, и это позитивистский мэйнстрим, всё упирается в семантику: давайте нарежем законы на семантические атомы, а потом будем связывать его логикой, статистикой, онтологиями,...
Чем заменить язык? К эпистемически-центричной моделе-ориентированности в инженерии знания
English version available Декабрьское выступление главы law.mit.edu Daniel Greenwood. Он там с одной стороны неплохо очерчивает задачи computational law, но я не согласен с тем, как он определяет границы дисциплины. У него, и это позитивистский мэйнстрим, всё упирается в семантику: давайте нарежем законы на семантические атомы, а потом будем связывать его логикой, статистикой, онтологиями,...
Прогноз зависимости затрат от вида теоретической поддержки практик
Любая нетривиальная практика требует теоретической поддержки, которая необходима для обеспечения переносимости, масштабирования, работ по снижению стоимости/увеличению эффективности и проч. На графике прогноз по росту затрат на поддержку практик с ростом их сложности для теорий с разного качества эпистемологической поддержкой. И указание, где сейчас мы все находимся. 1 Большая часть...
Событие и факт в коммуникации
Из дискуссии. Pavel Vetokhin Субъект собирается описать событие. По жизни он играет роли каких-то стейкхолдеров. Не исключено что время от времени он застревает в каких-то позициях. Чтобы описать событие по-настоящему межсубъектно ему следует максимально избавиться от "налета" всех методов описаний всех стейкхолдеров, роли которых он играет по жизни? Это вообще возможно? Может человек...
Ген, аллель и дракон
1 Чтобы публика не подумала чего плохого, нужно заметить, что борьба с объективистским и позитивистским мышлением не является для меня чем-то самоценным, смыслом жизни. Эта эпистема естественным образом уходит, потому воображать себя Зигфридом, в яростной схватке освобождающим золото Истинного Знания, было бы как-то неправильно: Фафнир и так на издыхании. Хотя, рано или поздно найдётся герой с...
Онтологическая борьба в "Расширенном фенотипе"
"Эгоистичный ген" Докинза я прочитал в 1997-ом. Помню книгу формата А4 толщиной в два пальца, которую я заглотил дня за два. Прошло немножко лет, и я добрался до "Расширенного фенотипа", который считается (и самим Докинзом) ключевой работой в развитии его теории. Читать тяжело. Каждые полстраницы в мозгу индуцируется мысль, требующая если не записи, то обсуждения в узком кругу меня. Конспект...
Духи интуиционистской логики
Из Плиско, Хаканян "Интуиционистская логика". "Рождены мыслью", "сознание", "какие-то общие свойства мышления".. . Так определяются эпистемические основания математического подхода. Эпистемология - это изучение подобных положений, определяющих порядок некоторой системы понятий, онтологию или группу онтологий. Эпистемическое конструирование - это создание таких порядков. Математики определяют...
Об онтология деятельности Г. П. Щедровицкого
Дубровский В.Я. - Онтология деятельности Г. П. Щедровицкого. Пока что самое внятное, компактное и объемлющее найденное мной изложение темы. Обозревая в целом, не могу не констатировать, что для 60х-80х годов такой подход в мышлении, несомненно, особенно на фоне остальной философии, был авангардом и должен был вдохновлять. Сейчас же многие вещи смотрятся уже не так привлекательно. Попытка...
Об определение тождественности от Лейбница
«Тождественные [аргументы] суть те, один из которых может быть поставлен вместо другого с сохранением истинности». (Лейбниц) Операционное определение, а не просто "по понятиям". Даже если не придираться к "истинности", предположив вместо оного понятия управляемую норму, нужно задать вопрос "Когда, кем, как, куда и для чего поставлен?" Нормальный математик, наверно, покрутит пальцем у виска от...
Эпистемология как духовный подвиг
Фреге Труъ эпистемология - это не про ещё одно "правильное" определение единицы, или томик пространных рассуждений на тему. Это экспликация некоторой когнитивной механики, определение частных состояний, определяющих поведение. "Единица" демистифицируется также, как некневсе другие сакральные и эзотерические вещи, в относительно простых схемах. Главная проблема, что тогда, что сейчас - в том,...
Об "Основания арифметики" Г.Фреге
У Фреге в "Основаниях арифметики" налетел на фразу, вполне ординарную для любой позитивистской позиции: "Итак, под объективным я понимаю то, что независимо от нашего ощущения, созерцания и представления, от проектирования внутренних образов из воспоминания предшествующих ощущений" Если, опять же, включить тут онтологическую строгость и эпистемологический теораппарат, можно увидеть здесь...
Телеокибернетический монизм как эпистемологическая установка
В курсе разработки технологии мышления избавление от дуализма - это не избавление от различения доступных эпистемических модусов, это избавление от необходимости иметь два набора интеллектуальных инструментов, "для бытия" и "для сознания". До самого последнего времени разрыв между этим двумя практиками описаний в европейской культуре был велик, а "восточные" холистичные подходы плохо...
Откуда дуализм и почему к нему такое тяготение?
"Бытие-сознание", "дух-материя", "объективное-субъективное", "физическое-психологическое" и пр. представления о несводимости одной части мира к другой стары как мир и растут из одного корня. Природу дуализм можно подсветить на показательное паре концепций из новейшей истории. M. West (большой человек в инженерии, со- и просто автор много чего, включая монументальный ISO 15926) "Developing...
Об междисциплинарность и эпистемологический вызов
Существует и множество дисциплин или практик, и множество философских оснований, на которых дисциплины/практики строятся. В отношении проблем сознания в европейской науке таких платформ как минимум три: \- эмерджентизм-физикализм (сознание сводимо к объективно фиксируемым физическим состояниям) \- дуализм-антифизикализм (сознание логически не супервентно физическому миру) \- функционализм...
Об междисциплинарность и эпистемологический вызов
Существует и множество дисциплин или практик, и множество философских оснований, на которых дисциплины/практики строятся. В отношении проблем сознания в европейской науке таких платформ как минимум три: \- эмерджентизм-физикализм (сознание сводимо к объективно фиксируемым физическим состояниям) \- дуализм-антифизикализм (сознание логически не супервентно физическому миру) \- функционализм...
Об чтение французских постмодернистов
Давеча Максим Доброхотов саркастически попенял мне за моё нежелание читать Жиля Делеза, который в своих работах, дескать, изложил ценные мысли по поводу времени, пространства, а также соотношения перцептивных и концептуальных практик. А все, кто не опирается в своих изысканиях на такого рода "честных рыцарей" - мошенники. Все указанные топики мне интересны, и ценность работ Делеза для...
Проблема со статистической трактовкой смысла
А в определённых - не соответствует. "Смысл знака" в лингвистически замкнутых репрезентационных системах трактуется через другие знаки, или, как в данном случае, через принадлежность данной метки к кластеру меток со статистически близкими "семантическими" метриками. Эпистемологическое вскрытие такой системы означает обращение к вопросам вида "почему мы имеем данные метки" и "почему эти метки...
Энтропия, эпистемология и теории времени
К статье "Тяжёлая рука энтропии" Формулировка Больцмана, XIXый век: "Энтропия — это мера количества индивидуальных микроскопических расстановок атомов, которые для макроскопического наблюдателя неразличимы." Как видно, формулировка эпистепологически-зависима, присутствует отсылка к наблюдателю. При этом, наблюдатель никак не входит в формулы или теории сколь-нибудь определенным способом....
Эпистемология и компилятор
Разработка языка программирования требует также разработки по него компилятора, интерпретатора и/или виртуальной машины. Это - тривиальный факт из жизни программистов. Без строго контроля за тем, что и как язык выражает, ничего хорошего из текста программы не выйдет. У разработчиков есть своеобразное чувство юмора - создавать "эзотерические языки", такие что the worse, the better в самом...
Вертикальная интеграция вычислительных архитектур - проблема медиатора
14 октября в Минске состоялся митап с темой "Вертикальная интеграция вычислительных архитектур - проблема медиатора", на котором я представлял доклад на данную тему. Тезисы, вокруг которых строилась презентация и обсуждение: CA = connectonist architecture; SA = symbolic architecture (or approach) 1. "Вертикальная" архитектура - это про целостное решение некоторой проблемы, "сверху донизу". В...
Об решение symbol grounding problem
Статья Luc Steels "The Symbol Grounding Problem has been solved. So what’s next?" меня привлекла оптимизмом в названии. Живо написано, и приводятся интересные сведения по экспериментам с символьной коммуникацией роботов. По Стилзу, проблема, в том виде, как была сформулирована Сёрлом ("Can a robot deal with grounded symbols?") решена, Shakey robot в 70ых уже демонстрировал всё необходимое. А...
Ограничения онтологизации как метода представления знания
Для функционирования автономных искусственных агентов или просто для развитых систем обработки информации качественное представление знания является одной из ключевых задач, определяющих общую способность системы решать задачи. Можно считать, что для широкого ряда узкоспециализированных задач наука и инженерия сумела найти достаточно успешные частные решения. Однако, и построение...
Чем отличаются "нейро-" и "когно-" подходы?
Эпистемологическое введение Наука, как минимум, позитивистская, в частности включает в себя деятельность по установлению факта существенной связности между некими феноменальными ситуациями, а так же по формальной фиксации моментов общности и вариативности этой связи. Любой "закон" - это символическое отражение наблюдаемых корреляций, позволяющий, например, на основании данных о микроповедении...
Схема теоретических представлений о времени и пространстве
В философии существуют несколько теорий времени, где теоретики пытаются найти форму осознания нестатичного мира. Вариантов вопросов и ответов достаточно много. Описать всю совокупность их – крайне тяжёлое и небезопасное занятие. Ниже представлен короткий список наблюдаемых в европейском контексте (Wikipedia approved) тематик и теорий. Исключены масса мелких (на полтора теоретика) вариаций, а...
О "чёрном ящике" и необъектно-ориентированном мышлении
Метафора "чёрного ящика", используемая при рассмотрении систем, является пережитком объектно-ориентированного мышления, когда для того, чтобы думать о чём-то, обязательно нужно представлять объект - нечто потенциально осязаемое, а значит - трёхмерное. Собственно, "ящик". Я давно развиваю тему генезиса сознания, где некоторая часть когнитивной механики человека очерчивается как "животная", и...
Схема отношения когнитивных теорий по Дацюку
Продолжаем разбирать "Теорию Виртуальности" С.Дацюка. Схематизация всего набора семантических-когнитивных-лингвистических теорий в базисе переходов между нормированиями. Абзац показался мне полезным компасом, дополнил его визуальной схемой. Если теоретик находится в позиции структурного нормирования и занимается генерированием лингвистического содержания из глубинных структур, то есть изучает...
Кибернетическая редукция
Гуссерль ввёл ряд известных «редукций», заменивших натуралистическую установку на феноменологическую, которая состоит в том, чтобы воздерживаться от суждений о «мире вне феноменов», о некоем внешнем по отношении к сознанию бытии. Эйдетическая и трансцедентальная редукции углубляют этот разрыв. Редукция определена в операционном модусе, как исполнение «выключений» в теле натурализма. Результат...
Пять уровней сложности теории
В приватной беседе один знакомый эксперт сообщил, что не понимает, о чём в некоторых непростых текстах идёт речь, и что в них «не хватает конкретики, за которую можно ухватиться, нет субъекта и объекта». Проблема на нова, и указания на сложность и «неконкретность» аналогичного рода текстов возникают постоянно. Размышления на этот счёт привели меня к нескольким выводам: 1. Тексты высокого...
О пост-системном подходе
В современном научном дискурсе, либо в дискурсе, который пытается эксплуатировать научность, "система" превратилась в buzz-word, моднючее словечко, а "системный подход" - в buzz-methodology, моднючую методологию. И то и другое употребляют настолько часто, что уже невооружённым взглядом видно, что дело с системностью плохо очень хорошо. То бишь, количество "системного понимания" растёт гораздо...
С Хокингом о "верной теории"
Хокинг : Прогресс состоит не в замене неверной теории на верную, а в замене одной неверной теории на другую неверную, но уточнённую. Чурилов : Хокинг - угрюмый пессимист. Прогресс состоит в замене одной верной теории на ещё более верную. Д.П.: да нет-он реалист. История не знала еще ни одной полностью верной теории Хокинг, как астроном, уже не верит в твердь небесную, хотя каждый может видеть...
О животных в пространстве
Человек разумный в своей познавательной рациональной деятельности сильно ограничен тем наследством, которое досталось ему от животных. Много из того, что мы считаем отличительной особенностью человека - лишь высокая степень развития того, что есть у других зверей. Сюда входит и абстрактное мышление, и сложные эмоциональные и социальные отношения. В последние 100-150 лет этологи и социобиологи...
Принцип подчинённости философии
Философия Действования, как область деятельности, явным образом полагает собственное подчинённое положение по отношению к деятельности более высокого организационного порядка, осознавая свои границы и решая только те задачи, которые предписаны этим положением. Поэтому, явно формулируется Принцип подчинённости [философии]: Философия, как рациональная дисциплина, предназначена для управления...
Функции философии
Философия в практиках саморефлексии обычно выделяет несколько собственных функцией, вида "мировоззренческая, методологическая, мыслительно-теоретическая, гносеологическая, критическая, аксиологическая" и пр., однако, этот ряд лишён внятной системности. Нижеследующее описание не столько отрицает остальные, сколько рассматривает функции через оригинальную призму. Результирующий спектр...