|
|
|
2025 год, номер S5
|
S. Saeed
Plaksha University, Пенджаб, Индия
saesal@gmail.com
Ключевые слова: algorithm, halting probabilities, information
Страницы: 3-9
Аннотация >>
Предложено рассмотрение определения вероятности остановки с точки зрения логической и алгоритмической теории информации.
DOI: 10.15372/PS20250501 |
|
В.О. Лобовиков
Институт философии и права Уральского отделения Российской академии наук, Екатеринбург, Россия
Ключевые слова: модальности, de-dicto, de-re, принцип эквивалентности модальностей de-dicto и de-re, логически формализованная мультимодальная аксиоматическая система философии
Страницы: 10-61
Аннотация >>
Предмет исследования - нетривиальная модально-логическая проблема эквивалентности de-dicto и de-re типов модальностей. Цель - прояснение, точная формулировка, и добавление уточненного принципа эквивалентности этих типов модальностей в качестве новой схемы собственных аксиом в мультимодальную аксиоматическую систему формальной философии Φ+∃. Научная новизна : для достижения этой цели, уже опубликованная формальная аксиоматическая теория Φ+∃ преобразована в некую качественно отличную от нее логически формализованную мультимодальную аксиоматическую систему, названную ΦDR, благодаря принятию во внимание и систематическому использованию в ней упомянутых различных типов модальностей, именуемых dicto и de-re. Для осуществления такой трансформации, (1) изменены определения алфавитов языка-объекта и метаязыка теории Φ+∃: в алфавит метаязыка теории ФDR добавлены новые символы ΩD и ΩR, обозначающие некие (любые) модальности совершенства упомянутых типов D и R, соответственно; (2) ко множеству аксиомных схем теории Φ+∃, в теорию ΦDR добавлена одна новая схема аксиом, содержащая символы ΩD и ΩR; (3) на искусственном языке ΦDR дана точная формулировка принципа эквивалентности типов модальностей dicto и de-re , а также определено то конкретное эпистемическое условие, при котором этот принцип эквивалентности имеет законную силу. Впервые предложена некая нетривиальная мультимодальная интерпретация традиционного формально-логического квадрата и гексагона логической оппозиции абстрактных понятий. Также впервые упомянутые геометрические фигуры использованы в качестве наглядных моделей системы формально-аксиологических отношений между качественно различными de-re- модальностями-совершенства как ценностными функциями .
DOI: 10.15372/PS20250502 |
|
П.Н. Барышников
Пятигорский государственный университет, Пятигорск, Россия
Ключевые слова: интенсиональный контекст, генеративаный ИИ, эмбеддинг, семантика возможных миров
Страницы: 62-72
Аннотация >>
В данной работе рассматривается проблема семантики интенсиональных контекстов, в особом ракурсе, связанном с принципами работы генеративного искусственного интеллекта (ИИ). Интенсиональные контексты, такие как верования, желания, знания и убеждения представляют особую сложность для современных языковых моделей, поскольку требуют учета значений выражений в логических возможных мирах или когнитивных состояниях субъектов. Данная работы - это своеобразный эскиз к постановке проблемы, у которой есть инженерное и философское измерение. Здесь анализируются механизмы работы трансформеров которые используют контекстуальные эмбеддинги для моделирования значений слов через self-attention. Выявлено, что современные языковые модели способны эффективно обрабатывать анафорические зависимости и контекстуальные связи, но при этом они сталкиваются с ограничениями при интерпретации интенсиональных конструкций. Особое внимание уделяется экспериментам с векторными представлениями объектов в многомерном пространстве, в ходе которых при различении субъективных верований и объективной реальности возникают затруднения. Характер затруднений указывает на то, что работа с интенсиональными контекстами требует не только простого анализа вероятностных связей между словами, но и более глубокого понимания семантики языковых выражений.
DOI: 10.15372/PS20250503 |
|
Е.Н. Лисанюк
Институт философии Российской академии наук, Москва, Россия
elenalisanyuk@gmail.com
Ключевые слова: логика аргументации, диалектика, разрешение спора, немонотонная логика, диалог
Страницы: 73-85
Аннотация >>
В статье функции понятия спора в формальной теории аргументации проиллюстрированы при помощи двух хорошо известных примеров из теории аргументации: примера о Гарри с Бермудских островов, использованного С. Тулмином, и примера о пингвине Твити, которая не летает, хотя и птица, используемого в немонотонной логике. Путем реконструкции этих примеров обосновывается важность понятия спора в логике аргументации для выработки путей решения задачи поиска и отбора наиболее сильных аргументов, с которыми можно отождествлять исходы аргументации между сторонами. Решение этой задачи является объединением усилий двух ведущих направлений современной формальной теории аргументации - логики аргументации и диалектической теории аргументации.
DOI: 10.15372/PS20250504 |
|
И.И. Борисова
Национальный исследовательский Томский государственный университет, Томск, Россия
i.borisova2@g.nsu.ru
Ключевые слова: гибридная логика, кросс-мировая квантификация, модальная логика первого порядка, табличная теория доказательств
Страницы: 86-95
Аннотация >>
В данной статье излагается язык, семантика и теория доказательств для гибридной модальной логики первого порядка, решающей проблему кросс-мировой квантификации.
DOI: 10.15372/PS20250505 |
|
Е.В. Борисов
Институт философии и права СО РАН, Новосибирск, Россия
borisov.evgeny@gmail.com
Ключевые слова: познаваемость, логическая формализация, de re, de dicto, эпистемическая логика, гибридная логика
Страницы: 96-105
Аннотация >>
В статье рассматривается предложенная К. Проиетти репрезентация познаваемости средствами гибридной эпистемической логики первого порядка. Данная логика содержит алетическую и эпистемическую модальности, а также сентенциональные и термовые гибридные операторы. Выявлены два недостатка данной формализации и предложены две ее модификации, устраняющие эти недостатки.
DOI: 10.15372/PS20250506 |
|
И.В. Берестов
Институт философии и права Сибирского отделения Российской академии наук, Новосибирск, Россия
berestoviv@yandex.ru
Ключевые слова: Критика чистого разума, единство самосознания у Канта, трансцендентальная апперцепция, субъектность у Канта, «Я мыслю» у Канта, синтетическое единство апперцепции
Страницы: 106-120
Аннотация >>
Мы показываем, что изложенное в «Критики чистого разума» (2-е изд.) описание изначальной апперцепции, необходимой для любого рассудочного синтеза, содержит противоречие. По Канту, для рассудочного синтеза единого представления из элементов созерцаемого многообразия необходимо признать представления, которые входят в это многообразие, принадлежащими мне самому. Для этого необходимо осуществить синтез некоторого представления. Этот синтез, по Канту, не требует каких-либо дальнейших синтезов. Но для осуществления последнего синтеза необходимо осуществить новый синтез. Следовательно, синтез, который не требует для своего осуществления других синтезов, невозможен. Наш аргумент использует семантический анализ синтезируемых рассудком представлений (Vorstellungen), таким образом, в настоящей статье мы намерены продемонстрировать изменение интерпретации Канта в свете «семантического поворота».
DOI: 10.15372/PS20250507 |
|
А.А. Шевченко
Институт философии и права СО РАН, Новосибирск, Россия
shev@philosophy.nsc.ru
Ключевые слова: неявное знание, эпистемология, философия науки, искусственный интеллект, «черный ящик», коллективное знание, Deep Blue, AlphaZero, эпистемологический сдвиг
Страницы: 121-133
Аннотация >>
В статье анализируется концепция неявного знания, введённая М. Полани, и её актуальность в современном научном и технологическом контексте. Рассматривается исторический фон идеи, её эпистемологические последствия и социальное измерение коллективного неявного знания в науке. Особое внимание уделено проблеме «чёрного ящика» в искусственном интеллекте на примере эволюции шахматных алгоритмов от Deep Blue к AlphaZero, демонстрирующих переход от формализованного явного знания к непрозрачному неявному знанию. В статье подчёркивается, что неявное знание сохраняет ключевое значение для понимания природы научного познания и современных когнитивных систем.
DOI: 10.15372/PS20250508 |
|
А.С. Зайкова
Институт философии и права СО РАН, Новосибирск, Россия
zaykova.a.s@gmail.com
Ключевые слова: соизмеримость, тест Тьюринга, машинное мышление, сознание, имитационная игра, философия ИИ, эпистемология, поведенческий критерий
Страницы: 134-144
Аннотация >>
В статье проводится критический анализ соизмеримости двух центральных вопросов в философии искусственного интеллекта: «Может ли машина мыслить?» и «Может ли машина победить в имитационной игре?». Показано, что, несмотря на прагматическую замену, предложенную Аланом Тьюрингом в 1950 году, вопросы концептуально и онтологически различны. На основе анализа аргументов Д. Деннета, Дж. Сёрла, Д. Чалмерса и др. демонстрируется, что соизмеримость возможна лишь в ограниченном, индуктивном смысле, но не в логическом или онтологическом. Подчеркивается необходимость различения поведенческой симуляции и подлинного мышления.
DOI: 10.15372/PS20250509 |
|
А.В. Хлебалин
Институт философии и права СО РАН, Новосибирск, Россия
sasha_khl@mail.ru
Ключевые слова: логика, практика, априорное знание, обоснование в логике
Страницы: 145-155
Аннотация >>
В статье рассматривается противостояние практико-ориентированного и классического подходов в философии логики. Анализируется критика классической традиции сторонниками практико-ориентированного подхода. Анализируются перспективы практического поворота в философии логики.
DOI: 10.15372/PS20250510 |
|
В.М. Резников
Институт философии и права СО РАН, Новосибирск, Россия
mathphil1976@gmail.com
Ключевые слова: Философия науки, методология науки, физика, история квантовой физики, теория вероятностей, применение теории вероятностей, философия информатики
Страницы: 156-173
Аннотация >>
В статье я защищаю тезис о недооценивании научным сообществом значимости философских идей и эффективного участия философов, обладающих знаниями математики, информатики и естествознания в научных исследованиях. В первой части статьи я показал, что мешающим фактором для развития науки и философии науки является отсутствие консенсуса философского сообщества о философском статусе методологии науки, и как следствие недостаточное внимание исследованиям по этой дисциплине. Я рассмотрел две известные группы аргументов против методологии науки. Первая группа основана на признании философским сообществом релятивистского характера физического знания после открытий теории относительности и квантовой физики. Вторая группа аргументов основана на отношении к науке классиков философии науки. Так, П. Фейерабенд отрицал универсальный характер научных методов, а Т. Кун зачастую отрицал объективное развитие науки. Я сформулировал следующие контраргументы. Во-первых, несмотря на определенный релятивизм науки, абстрагирование философов от научных достижений приводит к снижению качества исследований в философии науки. Во-вторых, в своей автобиографии Фейерабенд признал иронический характер его знаменитого аргумента, обосновывавшего научный релятивизм. Во второй части статьи я описал определенные перспективы участия философов, обладающих знаниями специальных наук в научной деятельности в основном в качестве критиков несовершенств науки, некорректного использования учеными философских идей. Однако имеются определенные перспективы для участия философского сообщества в проектах некритического характера, например, конструирование новых критериев объяснения и понимания для естественнонаучных и формальных дисциплин.
DOI: 10.15372/РS20250511 |
|
Н.В. Головко
Институт философии и права СО РАН, Новосибирск, Россия
golovko@philosophy.nsc.ru
Ключевые слова: эпистемология, эвиденциализм, обоснование, прагматические соображения, эпистемическое отношение укоренения
Страницы: 174-189
Аннотация >>
Цель работы - показать, что пример, который приводят Дж. Фантл и М. Макграт (2002), (прагматические соображения относительно риска приписать желаемый эпистемический статус данному убеждению в данной ситуации влияют на само понятие «эпистемический факт» и, как следствие, мы должны отказаться от эвиденциализма, как представления о том, что необходимые и достаточные условия обоснования определяются исключительно доступными эпистемическими данными), не достигает своей цели. Идея Б. Уэзерсона (2005) заключается в том, чтобы показать, что Дж. Фантл и М. Макграт не проводят различия между «степенью доверия по отношению к истинности пропозиции» (прагматические условия на обоснование) и «степенью доверия к убеждению» (прагматические условия на убеждение). Мы полагаем воспользоваться логикой поиска адекватного эпистемического отношения укоренения, т.е. «мета-убеждений, которые объясняют то, почему эти основания являются именно теми основаниями, в силу которого убеждение принимается» (Г. Харман, К. Коркз и др.), связывающего соответствующее убеждение и его основания. Б. Уэзерсон указывает лишь на один возможный вариант фиксации отношения укоренения - через «аналогию с лотерей», - но в более общем случае логика поиска адекватного эпистемического отношения укоренения позволяет более полно указать на то, что мы можем обосновать «практический характер рассуждения» не прибегая к допущениям, которые уже предполагают, что мы обязаны интерпретировать обоснование в терминах «прагматических соображений».
DOI: 10.15372/PS20250512 |
|
А.Ю. Сторожук
Институт философии и права СО РАН, Новосибирск, Россия
stor71@mail.ru
Ключевые слова: проблема измерения, влияние наблюдателя, энтропия, информатика
Страницы: 190-203
Аннотация >>
В статье исследуется проблема измерений в квантовой механике, тесно связанная с принципом неопределённости Гейзенберга и философскими дискуссиями об онтологической или эпистемологической природе квантовой неопределённости. Автор прослеживает эволюцию взглядов на данную проблему - от концепции скрытых параметров Эйнштейна до современных трактовок, рассматривающих измерение как нарушение замкнутости квантовой системы и процесс получения информации. Цель исследования - связать современные трактовки проблемы наблюдения с пониманием М. Планком основных термодинамических величин (в частности, энтропии) и сопоставить его с современным информационным подходом к проблеме квантовых измерений, в основе которого лежит понятие энтропии по Шеннону. В работе излагается смысл принципа неопределённости Гейзенберга и его интерпретаций (онтологической - Бора и Гейзенберга, эпистемологической - Эйнштейна); показывается связь между термодинамической трактовкой процесса измерения (на основе идей М. Планка) и теорией информации (подход К. Шеннона); проводится сравнительный анализ понятий энтропии у Планка и Шеннона: их физической и информационной интерпретации, области применения и смысловых акцентов; рассматриваются конкретные примеры, иллюстрирующие изменение энтропии системы при удалении частицы (идеальный газ, кристалл при температуре, близкой к абсолютному нулю, система со связанными состояниями).
DOI: 10.15372/PS20250513 |
|
О.А. Власова
Санкт-Петербургский государственный университет, Санкт-Петербург, Россия
o.a.vlasova@gmail.com
Ключевые слова: междисциплинарность, нейрофеноменология, трудная проблема сознания, энактивизм, нейробиология, интенциональность, опыт, воплощенность
Страницы: 204-218
Аннотация >>
В статье анализируется проблема междисциплинарности на примере нейрофеноменологии Т. Фукса. Воссоздается история диалога философии и психиатрии как история антиномизма научных подходов. Вскрываются основания энактивизма как основания преодоления антиномизма в философии психиатрии, выделяются две волны энактивизма в психиатрии. Уточняются энактивистские установки современной нейрофеноменологии. Показывается значение нейрофеноменологии в дискуссиях о «трудной проблеме сознания». Последовательно анализируется проект нейрофеноменологии Томаса Фукса, его критические установки, в качестве которых называются: критика нейробиологизма, редукционизма и репрезентационизма. Воссоздается структура yейрофеноменологии и ставится центральная для нее проблема воплощенности. Обсуждаются основные патологические трансформации сознания как поля интенциональности: изменения телесности, темпоральности и социальных отношений. Показывается, что особенно продуктивным является учение Фукса о реляционной психиатрии и полидисциплинарности. Проясняются особенности взаимодействия нейробиологии и философии, психотерапии в их анализе и последующей коррекции психических состояний. Подчеркивается продуктивность модели Фукса для интеграции специалистов помогающих профессий и возможности ее развития в контексте отечественной традиции нейропсихологии и психотерапии
DOI: 10.15372/PS20250514 |
|
А.К. Гуц
Сочинский государственный университет, Сочи, Россия
aguts@mail.ru
Ключевые слова: возможные миры, модальный реализм
Страницы: 219-226
Аннотация >>
Представлена история появления различных концепций возможных миров, которые вошли в науку разными путями - как открытие в квантовой механике, так и в ходе решения семантических проблем в математической логике, или через желание математиков внедрить в физику категорный аппарат, альтернативный аппарату, основанному на теории множеств. Критерием реальности возможных миров в теоретическом плане, по мнению автора, может стать, применительно к ним, развитие такой же физики, как и в случае известной нам теоретической физики, прародителями которой были Ньютон и Лейбниц.
DOI: 10.15372/PS20250515 |
|
О.И. Елхова
Уфимский университет науки и технологий, Уфа, Россия
oxana-elkhova@yandex.ru
Ключевые слова: человек в контуре, ограниченная рациональность, искусственный интеллект, практическая рациональность, рациональный агент, принятие решений
Страницы: 227-241
Аннотация >>
В статье рассматриваются философские основания и ограничения рациональности искусственного интеллекта в контексте принятия решений. Автор анализирует различие между эпистемической и практической рациональностью, акцентируя внимание на последней как основе работы рациональных агентов. Центральное место занимает концепция ограниченной рациональности, согласно которой принятие решений осуществляется в условиях неполной информации, когнитивных ограничений и ограниченных вычислительных ресурсов. Обосновано, что идеальная рациональность недостижима, а наиболее адекватной моделью для ИИ является ограниченная рациональность. Рассмотрены четыре типа рациональности: идеальная, вычислительная, ограниченная и ограниченная оптимальность , с выводом о практической применимости именно ограниченной рациональности в разработке интеллектуальных систем. Сделан вывод о практической применимости ограниченного подхода при разработке интеллектуальных систем. Автор отмечает, что необходимо учитывать указанные ограничения при создании адаптивных алгоритмов, а также значимость участия человека в процессе принятия решений для повышения надёжности результатов. Модель «человека в контуре» трактуется не просто как техническая форма взаимодействия, а как выражение ситуационной рациональности, предполагающей учёт контекста, моральных последствий и уникальности каждой конкретной ситуации. Присутствие человека придаёт алгоритмическому мышлению ценностный и интерпретативный характер, восстанавливая связь между рациональностью и практической мудростью ( phronesis ). В условиях, когда алгоритмы ограничены ресурсами и подвержены ошибкам, именно человек способен выявлять контекстуальные нюансы и осуществлять осмысленную корректировку решений. Таким образом, включение человека в контур является важнейшим фактором, обеспечивающим повышение надежности решений, принимаемых искусственным интеллектом.
DOI: 10.15372/PS20250516 |
|
Е.В. Ускова
Уральский Федеральный университет им. Первого президента России Б.Н. Ельцина, Екатеринбург, Россия
e.v.uskova@urfu.ru
Ключевые слова: философия сознания, метафизика сознания, онтологический статус сознания, натурализм, физикализм, сциентизм, редукционизм
Страницы: 242-251
Аннотация >>
В статье рассмотрены метафизические основания натурализма по отношению к сознанию. Натурализм - это самая естественная и распространённая, но не лишённая противоречий философская позиция. Её слабыми местами является утверждение приоритета научного знания, в то время как критерии научности часто оказываются неопределёнными; провозглашение редукции как основного принципа, следование которому может лишить предмет исследования его специфики; отрицание значимости онтологических оснований при решении гносеологических вопросов. Натурализм в отношении сознания в свою очередь сталкивается с необходимость утверждения онтологического статуса сознания: оно является отдельной онтологической сущностью и тогда по отношению к нему должны действовать все известные науке законы, либо не является отдельной онтологической сущностью и должно рассматриваться как свойство мозга или подобным образом. Нередуктивный натурализм в отношении сознания предстаёт как внутренне противоречивая философская позиция: отказываясь от редукции сознания к мозгу в попытке отстоять уникальность квалитативных качеств ментальных состояний, мы тем самым нарушаем один из основных постулатов натурализма. Получается, что онтологический статус сознания не может быть оставлен без внимания при рассмотрении сознания как особого феномена, от определения этого статуса напрямую зависит и любая наша теория сознания.
DOI: 10.15372/PS20250517 |
|
А.Ю. Миронкина
Смоленская государственная сельскохозяйственная академия, Смоленск, Россия
alina24m@mail.ru
Ключевые слова: РИНЦ, наукометрия, индекс цитирования, индекс Хирша
Страницы: 252-259
Аннотация >>
В статье предлагаются методические рекомендации для наиболее точного отслеживания наукометрического показателя индекса публикационной активности и востребованности публикаций учёного, известного в науке как индекс Хирша (h-индекс). Автор знакомит с разработанной формулой нахождения роста прибавленных за определённый период времени цитат учёного, влияющих на повышение индекса Хирша, рассказывает о параметрах его зависимости, даёт советы по практическому неавтоматизированному и автоматизированному расчёту индекса, описывает область его применения. Ежегодный, или же полугодовой, мониторинг индекса роста активных цитирований, по мнению автора, призван стимулировать учёных к дальнейшей публикационной деятельности.
DOI: 10.15372/PS20250518 |
|
