Цели. Несмотря на широкое применение термина «онтология» в философии и социальных науках, в области информатики онтология и, тем более, онтологическое моделирование остаются мало изученными. Также мало исследована онтология в области информационного поля. Цель работы – разработка методики информационного онтологического моделирования и исследование технологии информационного поиска в широком смысле и как части онтологического моделирования. На основе онтологического моделирования необходимо показать различие между закономерностью и функциональной зависимостью.
Методы. Для достижения цели применен логически структурный подход, включающий построение концептуальных схем и логический формализм их описания. Логически структурный подход включает построение концептуальных схем, которые служат для применения логического формализма. Основой логического моделирования является выделение родственных моделей. Для этой цели предлагается применить расширенную технологию информационного поиска, которая ищет не отдельные объекты, а группы объектов. Онтологическое исследование строится на применении перехода от качественного описания к количественному. К числу применяемых методов относится метод количественно-качественных переходов.
Результаты. Вводится новое понятие – информационное онтологическое моделирование. Обоснованы условия онтологического моделирования. Исследованы отношения между понятиями закономерности и функциональности. На этой основе дается трактовка закономерности и функциональной зависимости. Показано структурное и формальное различие между информационным моделированием, технологиями информационного поиска и онтологическим моделированием. Раскрыты три задачи информационного поиска. При онтологическом моделировании решают вторую и третью задачи информационного поиска, соответственно, поиск группы связанных между собой объектов и поиск отношений или связей внутри группы связанных между собой объектов. Даны формальные схемы онтологического моделирования. Показан переход от отношений к связям в случае онтологического моделирования.
Выводы. Доказано, что онтологическое моделирование можно применять только к родственным моделям или к моделям, между которыми существует общность. Предложена технология онтологического моделирования, в варианте которой информационный поиск является начальной частью онтологического моделирования. Вторым вариантом является применение технологии кластерного анализа. Онтологическое моделирование использует качественно-количественные переходы и в предлагаемом варианте может служить для извлечения неявного знания.
Цели. Для управления процессом разработки современного программного обеспечения нередко применяются системы контроля версий, которые позволяют фиксировать изменения в программном коде и передавать контекст этих изменений при помощи сообщений коммитов. Релевантное и качественное описание внесенных изменений при помощи таких сообщений требует от разработчика высокой компетенции и времени, но современные методы машинного обучения позволяют решать эту задачу автоматически. Целью работы является статистический и сравнительный анализ собранной выборки данных с наборами изменений в программном коде и их описаниями на естественном языке.
Методы. В исследовании использован комплексный подход, включающий сбор данных с популярных репозиториев на GitHub, предварительную обработку и фильтрацию данных, а также статистический анализ и метод обработки естественного языка (векторизация текста). Для оценки семантической близости между первым предложением и полным текстом сообщений коммитов было использовано косинусное сходство.
Результаты. Проведено исследование структуры и качества сообщений коммитов, включающее сбор данных из репозиториев GitHub и их предварительную очистку. Осуществлена векторизация текста сообщений коммитов и оценка семантической близости между первыми предложениями и полными текстами сообщений с использованием косинусного сходства. Выполнен сравнительный анализ качества сообщений в собранном датасете и в нескольких аналогичных наборах данных с помощью классификации при помощи модели CodeBERT.
Выводы. Проведенный анализ выявил низкий уровень косинусного сходства между первыми предложениями и полными текстами сообщений коммитов (0.0969), что свидетельствует о слабой семантической связи между ними и опровергает гипотезу о том, что первые предложения выступают в качестве обобщения содержания сообщений. Процентная доля пустых сообщений в собранном наборе данных составила лишь 0.0007%, что существенно ниже ожидаемого значения и указывает на высокое качество собранных данных. Классификационный анализ показал, что доля сообщений, отнесенных к категории «плохих», в собранном датасете составляет 16.82%, что значительно ниже аналогичных показателей в других сопоставимых наборах данных, где этот процент варьируется от 34.75% до 54.26%. Данный факт подчеркивает высокое качество собранного набора данных и его адекватность для дальнейшего применения в системах автоматической генерации сообщений коммитов.
Статья является обзором избранных фрагментов из книги Стива Фуллера “To Justice and To Justify: Profiles of the Academic Vocation”. Основное внимание уделяется эпистемологическим аспектам научной деятельности Галилео Галилея, чьи контриндуктивные методы предоставления доказательств в пользу гелиоцентрической модели мира могут быть оценены с современных позиций как типичное научное мошенничество. Анализируются различные формы научных фальсификаций и незлонамеренных случаев введения в заблуждение на примере ключевых исторических кейсов: от селекционных экспериментов Грегора Менделя и опытов Роберта Милликена до скандалов, связанных с Хендриком Шёном и Хваном У Соком. Рассматриваются проблемы различных мотиваций ученых, совершающих нечестные манипуляции с данными. Поднимается вопрос о путях и пределах допустимой легитимизации мошеннических действий в науке.
В статье исследуется эпистемология тайны Пола Фейерабенда, прослеживается ее эволюция от раннего эпистемологического анархизма до кульминации в метафизике, подчеркивающей невыразимость предельной реальности. Критика Фейерабендом научного материализма, основанная на его отказе от жестких методологических правил, подчеркивает историческое взаимодействие рациональных и иррациональных элементов в научном прогрессе. Опираясь на концепцию метафизики Аристотеля как свободной и божественной, автор рассматривает динамические отношения между Бытием и познанием в диалоге с плюралистическим подходом Фейерабенда. Анализ показывает, что настойчивость Фейерабенда в отношении условной и нарративной природы человеческого знания согласуется с греческим признанием невыразимости, но расходится в отрицании метафизического абсолютизма. Поздняя метафизика Фейерабенда охватывает изменение, множественность и взаимосвязанность человеческих практик и Бытия, бросая вызов редукционизму научного реализма. «Явная реальность» Фейерабенда, вероятно, выдает влияние на него идей Фреге, что проявляется в его критике монизма Парменида. В статье также рассматривается динамическая метафизика Фейерабенда в свете влияния Псевдо-Дионисия – идея непознаваемости предельной реальности, которая тем не менее отзывчива к человеческому взаимодействию. Сопоставление этих перспектив обосновывает необходимость нового обращения к метафизике в современной философии. В этом фокусе акцентируется роль метафизики в преодолении эпистемологических ограничений, что способствует такому пониманию реальности, которое интегрирует онтологию и эпистемологию. В целом работа Фейерабенда рассматривается как мост между классической метафизикой и современным философским исследованием, что позволяет бросить вызов доминированию редукционистских концепций и отстаивать плюралистический, нарративный подход к науке и эпистемологии.
В статье анализируются некоторые разновидности структурного реализма и предлагается расширенная версия информационного структурного реализма (ИСР). Подвергается критике вариант неэлиминативного онтического структурного реализма (ОСР), допускающий сущности и структуры как онтологические примитивы и отвергающий существование теоретических объектов. Приводятся аргументы из области философии науки и физики (научного реализма, квантовой механики и ее информационной интерпретации, цифровой онтологии, инструментов струнных моделей) в пользу того, что ИСР, утверждающий информацию в качестве фундаментальной реальности, позволяет избежать проблем, с которыми сталкиваются существующие подходы, в частности, за счет расширения ИСР идеей об альтернативных описаниях реальности (моделях), эквивалентных друг другу. Показывается, что принципиально разные теории (имеющие в основе различные метрики пространства-времени) в действительности дают одно и то же описание реальности и, следовательно, делают одинаковые предсказания относительно наблюдаемого поведения физических систем. При этом они, являясь эквивалентными, изначально предполагают разные видения фундаментального устройства, например с разным числом пространственных измерений. Философская интерпретация этих результатов состоит в том, что фундаментальной оказывается не традиционно понимаемая физическая реальность (с субстанциональным пространством-временем как ее главным атрибутом), а сами описания, выражаемые в виде альтернативных моделей – научных представлений реальности. Поскольку только они и доступны исследованию, когда речь идет о ненаблюдаемом, оправданным становится тезис о том, что теоретические объекты существуют как онтологические примитивы. Таким образом, обосновывается, что реальна и фундаментальна сама информация, являясь инструментом и предметом исследования.
В статье рассматривается современная научная астрономическая терминология китайского языка в связи с тезисом о противоречии между универсальностью/объективностью научной картины мира (НКМ) и субъективностью языковых картин мира (ЯКМ) отдельных этносов, описывающих НКМ. Показано, что в китайской астрономии присутствует ряд терминов, имеющих под собой традиционные натурфилософские и культурные основания. Среди заимствованных терминов отмечены примеры перевода западных понятий как по смыслу денотата, так и по внешнему виду денотата с опорой на визуальный образ, исторически характерный для китайской культуры. Несмотря на большое количество заимствований из западных языков, астрономическая терминология китайского языка обладает уникальным сочетанием современных знаний и традиционных культурных паттернов. Это указывает на взаимосвязь научных картин мира с национальными культурами и языками, а также на то, что глобальная научная картина мира в терминологическом смысле теряет универсальность при ее описании различными языками.
Статья представляет собой отклик на текст К. Морозова «Нормативная проблема для панпсихизма». Я показываю, что аргумент против панпсихизма, основывающийся на демонстрации нормативной проблемы, в действительности является моральным аргументом против метафизической теории. Я провожу аналогию между данным аргументом К. Морозова и моральным аргументом М. Хеллера против модального реализма. Я исследую вопрос о том, в какой мере аргументы подобного рода могут быть допустимы в философской дискуссии. Я рассматриваю три способа отношений между моральными фактами, предположительно имеющимися в мире, и метафизическими фактами. Эти способы можно назвать воспрепятствованием, свидетельствованием и различием в степени разумной уверенности со стороны познающих агентов. Я заключаю, что ни один из этих способов отношений не является трактовкой, позволяющей выдвигать моральные аргументы против метафизических теорий. Затем я рассматриваю прагматическую трактовку этого морального аргумента и нахожу её единственно приемлемой. При этом я привожу независимые доводы против сентиентизма от морального статуса доброй памяти умерших людей и возможных моральных ограничений в отношении Бога.
Статья посвящена нормативной проблеме для панпсихистских взглядов на сознание. Эта проблема возникает, когда панпсихизм сочетается с сентиентизмом. Согласно сентиентизму, сущности, наделенные феноменальным сознанием, обладают особым моральным статусом. Согласно панпсихизму, все сущности во вселенной в той или иной форме имеют феноменальное сознание. Синтез этих позиций приводит к нарушению нормативной асимметрии между живыми и неживыми сущностями и потенциально ведет к пересмотру устоявшихся моральных убеждений. В статье утверждается, что у нас есть хорошие основания в пользу как панпсихизма, так и сентиентизма, а потому мы не можем избежать нормативной проблемы, просто отклоняя одну из позиций. Выделяются четыре стратегии, которые панпсихисты могли бы использовать для решения стоящего перед ними нормативного вызова: сужение морально значимых феноменальных свойств до валентных, отказ от панпсихизма в пользу панпротопсихизма, диссоциация феноменального и нормативного аспектов переживаний, а также пересмотр нашей этики на основе включения в нее новых сущностей. Однако ни одна из стратегий не предоставляет окончательного решения нормативной проблемы, потому что они либо допускают контринтуитивные следствия, либо подрывают мотивацию развития панпсихистских теорий сознания. В заключении делается вывод о том, что нормативная проблема является серьезным препятствием на пути к обоснованию панпсихизма как теории сознания, удовлетворяющей требованиям рефлексивного равновесия.
В статье показывается, что в современной аналитической философии сознания по-разному применяются критерии обоснования к дуализму и физикализму. В то время как аргументы в пользу дуализма нередко сталкиваются с повышенными требованиями доказательности, к физикалистской позиции зачастую относятся более снисходительно. Показано, что такой разрыв в стандартах не обязательно является ошибкой, однако он предполагает неявные метафизические допущения в пользу физикализма. В статье подчеркивается, что дуализм может рассматриваться как серьезная конкурентоспособная теория в объяснении природы сознания, но лишь при условии более равноправного применения критериев обоснования и учета онтологических издержек обоих подходов.
В современных исследованиях по теории аргументации заметную роль играет так называемая «структурированная аргументация», или «структурированный аргументативный подход». Эту методологию изучения аргументации можно рассматривать как уточнение другого и, пожалуй, более фундаментального «абстрактного аргументативного подхода», разработанного Ф. М. Дунгом. Структурированная аргументация знаменательна тем, что это одна из тех областей, где аргументация может быть эффективно исследована с применением аппарата современной символической логики. Ключевым в этом отношении является то, что с точки зрения структурированного аргументативного подхода понятие «аргумент» принято сводить к понятию «дедуктивное рассуждение» в том его привычном содержании, которое используется в логике. При этом чаще всего под «дедуктивными рассуждениями» здесь имеется в виду достаточно ограниченный класс «прямых рассуждений» (непосредственных переходов от высказываний к высказываниям). Однако практика логически ориентированной аргументации не ограничивается прямыми рассуждениями и очень часто основана на использовании «непрямых рассуждений» (например, «сведение к абсурду», «рассуждение от противного», «рассуждение разбором случаев» и др.). В данной статье показано, что этот класс рассуждений не поддается анализу с помощью традиционного структурированного аргументативного подхода. Для решения этой проблемы предложено новое понятие «аргумента», объем которого будет включать не только прямые, но и непрямые дедуктивные рассуждения. Вдобавок показано, что использование нового подхода позволяет существенно расширить выразительные возможности отношения «аргументативной атаки». Автор формулирует восемь новых разновидностей «опровергающих» и «подрезающих» аргументов, с помощью которых станет возможным формальный анализ аргументативных ситуаций, где непрямые рассуждения могут атаковать друг друга, могут использоваться для атаки прямых рассуждений либо же вовсе могут быть атакованы прямыми рассуждениями.