Главная – Журналы – Поиск по журналам

В данной работе описано новое явление генерации устойчивого двойного прецессирующего вихря в сильнозакрученном турбулентном течении, определен диапазон режимных условий, когда указанный эффект наблюдается наиболее отчетливо, выявлены основные особенности внутренней структуры течения и кинематической схемы прецессионного движения двойного вихря, измерены геометрические параметры винтового вихря в зависимости от режима течения. Полученные результаты важны не только с практической точки зрения в плане возможностей управления структурой потока в промышленных аппаратах, данное направление исследований представляет большой интерес с точки зрения фундаментальных проблем динамики вихрей. Прецессия спиральной структуры представляет собой канонический случай самоиндуцированного движения вихревой нити с винтовой осью вращения.

Работа посвящена линейному анализу устойчивости закрученного потока в модельной камере сгорания. Поток характеризуется наличием сильно выраженной когерентной компонентой, соответствующей прецессии вихревого ядра. С использованием осредненных данных, полученных с помощью метода моделирования крупных вихрей, проведен глобальный анализ устойчивости с учетом турбулентной вязкости. В спектре собственных значений была выявлена мода с безразмерной частотой 0.76. Распределения собственной функции свидетельствуют о соответствии этой моды прецессирующему вихревому ядру (ПВЯ). Исследование подтверждает, что ПВЯ является глобальной неустойчивой модой, развивающейся на среднем турбулентном потоке, и послужит основой для дальнейших работ по развитию стратегий управления ПВЯ.

Предмет исследования - нетривиальная модально-логическая проблема эквивалентности 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- модальностями-совершенства как ценностными функциями .

В данной работе рассматривается проблема семантики интенсиональных контекстов, в особом ракурсе, связанном с принципами работы генеративного искусственного интеллекта (ИИ). Интенсиональные контексты, такие как верования, желания, знания и убеждения представляют особую сложность для современных языковых моделей, поскольку требуют учета значений выражений в логических возможных мирах или когнитивных состояниях субъектов. Данная работы - это своеобразный эскиз к постановке проблемы, у которой есть инженерное и философское измерение. Здесь анализируются механизмы работы трансформеров которые используют контекстуальные эмбеддинги для моделирования значений слов через self-attention. Выявлено, что современные языковые модели способны эффективно обрабатывать анафорические зависимости и контекстуальные связи, но при этом они сталкиваются с ограничениями при интерпретации интенсиональных конструкций. Особое внимание уделяется экспериментам с векторными представлениями объектов в многомерном пространстве, в ходе которых при различении субъективных верований и объективной реальности возникают затруднения. Характер затруднений указывает на то, что работа с интенсиональными контекстами требует не только простого анализа вероятностных связей между словами, но и более глубокого понимания семантики языковых выражений.

В статье функции понятия спора в формальной теории аргументации проиллюстрированы при помощи двух хорошо известных примеров из теории аргументации: примера о Гарри с Бермудских островов, использованного С. Тулмином, и примера о пингвине Твити, которая не летает, хотя и птица, используемого в немонотонной логике. Путем реконструкции этих примеров обосновывается важность понятия спора в логике аргументации для выработки путей решения задачи поиска и отбора наиболее сильных аргументов, с которыми можно отождествлять исходы аргументации между сторонами. Решение этой задачи является объединением усилий двух ведущих направлений современной формальной теории аргументации - логики аргументации и диалектической теории аргументации.

В данной статье излагается язык, семантика и теория доказательств для гибридной модальной логики первого порядка, решающей проблему кросс-мировой квантификации.

В статье рассматривается предложенная К. Проиетти репрезентация познаваемости средствами гибридной эпистемической логики первого порядка. Данная логика содержит алетическую и эпистемическую модальности, а также сентенциональные и термовые гибридные операторы. Выявлены два недостатка данной формализации и предложены две ее модификации, устраняющие эти недостатки.

Мы показываем, что изложенное в «Критики чистого разума» (2-е изд.) описание изначальной апперцепции, необходимой для любого рассудочного синтеза, содержит противоречие. По Канту, для рассудочного синтеза единого представления из элементов созерцаемого многообразия необходимо признать представления, которые входят в это многообразие, принадлежащими мне самому. Для этого необходимо осуществить синтез некоторого представления. Этот синтез, по Канту, не требует каких-либо дальнейших синтезов. Но для осуществления последнего синтеза необходимо осуществить новый синтез. Следовательно, синтез, который не требует для своего осуществления других синтезов, невозможен. Наш аргумент использует семантический анализ синтезируемых рассудком представлений (Vorstellungen), таким образом, в настоящей статье мы намерены продемонстрировать изменение интерпретации Канта в свете «семантического поворота».

В статье анализируется концепция неявного знания, введённая М. Полани, и её актуальность в современном научном и технологическом контексте. Рассматривается исторический фон идеи, её эпистемологические последствия и социальное измерение коллективного неявного знания в науке. Особое внимание уделено проблеме «чёрного ящика» в искусственном интеллекте на примере эволюции шахматных алгоритмов от Deep Blue к AlphaZero, демонстрирующих переход от формализованного явного знания к непрозрачному неявному знанию. В статье подчёркивается, что неявное знание сохраняет ключевое значение для понимания природы научного познания и современных когнитивных систем.

В статье проводится критический анализ соизмеримости двух центральных вопросов в философии искусственного интеллекта: «Может ли машина мыслить?» и «Может ли машина победить в имитационной игре?». Показано, что, несмотря на прагматическую замену, предложенную Аланом Тьюрингом в 1950 году, вопросы концептуально и онтологически различны. На основе анализа аргументов Д. Деннета, Дж. Сёрла, Д. Чалмерса и др. демонстрируется, что соизмеримость возможна лишь в ограниченном, индуктивном смысле, но не в логическом или онтологическом. Подчеркивается необходимость различения поведенческой симуляции и подлинного мышления.