• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • О модификации Фиттинга теории истины по Крипке
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
16 сентября 2026 г.
Ученые НИУ ВШЭ - Санкт-Петербург разработали новые соединения для борьбы с раком
Ученые Лаборатории био- и хемоинформатики НИУ ВШЭ — Санкт-Петербург совместно с коллегами из Университета Цзинань (Китай) и Санкт-Петербургского государственного технологического института разработали малые молекулы, преодолевающие химическую защиту раковых клеток. В отличие от классических ингибиторов, которые только блокируют активность белка, новые соединения удаляют его целиком. Работа ведется при поддержке Российского научного фонда.
14 сентября 2026 г.
Когда картинка мешает понять: ученые НИУ ВШЭ выяснили, что сложным идеям не всегда нужны иллюстрации
Иллюстрации помогают запоминать конкретные действия, но не всегда облегчают понимание абстрактных идей. Исследователи НИУ ВШЭ и Университета Гумбольдта сравнили, как люди усваивают тексты разного уровня абстрактности. Выяснилось, что участники лучше запоминали иллюстрации и выполняли задания после чтения мультимедийного текста об асанах йоги, чем после чтения абстрактного текста о равновесии Нэша. Результаты помогут эффективнее подбирать иллюстрации для учебных и информационных материалов. Исследование опубликовано в журнале Learning and Instruction.
11 сентября 2026 г.
Научная экспедиция на Хайнань: ученые ВШЭ организовали конференцию по статистическому ИИ в Китае
С 24 по 28 августа 2026 года в городе Санья на острове Хайнань (Китай) прошла международная конференция Statistical AI («Статистический искусственный интеллект»). Мероприятие собрало ведущих специалистов в области статистики, машинного обучения и прикладного ИИ. Среди организаторов конференции — Алексей Наумов, директор Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ, и Сергей Самсонов, заведующий Международной лабораторией стохастических алгоритмов и анализа многомерных данных.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

О модификации Фиттинга теории истины по Крипке

Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2025. Т. 526. С. 36–39.
Сперанский С. О.

Вдохновляясь некоторыми идеями из логического программирования, Мелвин Фиттинг в [Fitting 1997] предложил свою собственную модификацию теории истины по Крипке. Пусть T обозначает соответствующий монотонный оператор. Мы показываем, что: 1) замыкающий ординал для T равен $\omega_1^{СК}$, т.е. наименьшему неконструктивному ординалу; 2) совокупность всех предложений, истинных согласно T_⋆ является $\Pi^1_1$-полной.

Язык: русский
DOI
Ключевые слова: сложностьистинаиндуктивные определениязамыкающий ординал
Похожие публикации
Научный реализм, истина и недоопределенность теорий эмпирическими данными
Макеева Л. Б., В кн.: Аналитическая философия: pro et contra.: СПб.: Издательство РХГА, 2025. С. 305–319.
На рубеже XIX и XX вв. споры о реальности атомов и молекул разделили научное сообщество на два лагеря: одни ученые и философы считали, что термины «атом» и «молекула» обозначают реальные структурные элементы вселенной, другие – в лице Эрнста Маха, Пьера Дюгема, Анри Пуанкаре и др. – занимали в отношении этих терминов скептическую позицию, развивая их ...
Добавлено: 14 сентября 2026 г.
О замыкающих ординалах инфинитарных вероятностных исчислений
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Ключевые понятия и идеи концепции бытийной истории Мартина Хайдеггера
Митлянская М. Б., Вестник Пермского университета. Философия. Психология. Социология 2020 № 3 С. 384–394
Предмет исследования — концепция бытийной истории Мартина Хайдеггера. Данная концепция — плод позднего периода творчества немецкого философа. Критически анализируя собственные пути экзистенциальной философии, раскрытые в «Бытии и Времени», Хайдеггер постепенно формирует спектр бытийно-исторических понятий, которые займут центральное положение в его размышлениях после «Поворота». Способы аналитики присутствия до «Поворота» создают видимость антропологического подхода к вопросу бытия, ...
Добавлено: 30 июля 2026 г.
Реальность как философская проблема
Тульчинский Г. Л., СПб.: Политех-Пресс, 2025.
Монография посвящена анализу реальности, одного из самых сложных и многозначных понятий в современной философии. Представлены различные подходы и разные способы аналитики реальности, - методологические исследования, историко-философский анализ, социально-критическая аналитика. В монографии соединились исследования из разных областей философского знания, – из философии науки, онтологии, логики, теории познания, эпистемологии, социальной философии, эстетики. Книга предназначена как для специалистов, ...
Добавлено: 29 января 2026 г.
О вычислительных аспектах максимальной специфичности в вероятностном объяснении
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Элементарные инварианты для кванторной вероятностной логики
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 8–12
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для ...
Добавлено: 26 декабря 2025 г.
Истина и аффект
Микиртумов И. Б., Эпистемология и философия науки 2024 Т. 61 № 2 С. 95–113
Идею экзистенциального поворота в философии науки, представленную Ильей Касавиным и Владимиром Порусом в их недавней статье, я сопоставляю с проблематикой кризиса рациональности и культуры и с оппозицией профессии и призвания из речи Макса Вебера о политике. Я предлагаю анализ структуры призвания политика и ученого как аффектов особого рода. Для этого я привлекаю анализ Жаком Лаканом истерии. Мои ...
Добавлено: 17 июня 2024 г.
Emerging complexity in the self-dual theory of superconductivity
Sarmento M. A., W Y Córdoba-Camacho, Шаненко А. А. и др., Journal of Physics: Condensed Matter 2024 Vol. 36 No. 25 Article 255602
Добавлено: 24 мая 2024 г.
History and Modern Landscape of Futures Studies
Marina Boykova, Князева Е. Н., Салазкин М. Г., Foresight and STI Governance 2023 Vol. 17 No. 4 P. 80–91
Вызовы, с которыми сталкиваются исследования будущего, характеризуются особенной сложностью, взаимосвязанностью, противоречивостью и не поддаются разрешению линейными подходами. Прогностическая наука нуждается в инструментах, соответствующих новой контекстуальной сложности, позволяющих охватывать гораздо больший спектр движущих сил и их потенциальных эффектов в нелинейной перспективе, чтобы повысить точность прогнозов и качество стратегий. В статье посредством ретроспективного анализа прогностической науки и ...
Добавлено: 25 января 2024 г.
Человек в системе общественных отношений
Сорвин К. В., Оганесян М. Р., Пащенко Т. В. и др., В кн.: Обществознание: 10 класс : базовый уровень: учебное пособие.: М.: Просвещение, 2022. Гл. 1 С. 6–67.
Учебное пособие написано в соответствии с Федаральным государственным образовательным стандартиом основного общего образования. Знакомит обучающихся с ключевыми проблемами социалных наук: социологии, философии, экономики. Работа с учебным пособием позвлит решить задачи социализации подростков, воспитания ответственных граждан РФ.  В данной главе основные проблемы и механизмы познавательного процесса рассмотрены с позиций философии и социологии ...
Добавлено: 12 ноября 2023 г.
Внутренний реализм Х. Патнэма как прагматически обоснованная концепция
Моисеева А. Ю., Философия. Журнал Высшей школы экономики 2019 Т. 3 № 3 С. 218–240
Статья является попыткой найти новый способ обоснования для концепции внутреннего реализма Х. Патнэма и, шире, для любых концепций, в которых используются нетрадиционные (ослабленные) формы реализма. Основная идея статьи состоит в том, что принятие подобной концепции обосновывается уже одной прагматической потребностью сохранения эпистемологии как дисциплины и общественной практики. Для того, чтобы показать это, в первой половине статьи делается краткий ...
Добавлено: 19 сентября 2023 г.
Настроения исторического времени: «новый ренессанс» В. Бибихина и «историческая тревога» П. Рикёра
Хан Е. И., Философия. Журнал Высшей школы экономики 2021 Т. 5 № 1 С. 136–158
В статье предлагается сравнительное исследование концепции «исторического настроения» в работах В.В. Бибихина и П. Рикёра. Автор обосновывает целесообразность подобного сравнения общностью интеллектуального контекста, общим влиянием на П. Рикёра и В.В. Бибихина таких авторов, как Аристотель, Августин, М. Хайдеггер, а также тем, что оба философа совмещают перспективы феноменологического метода, исторической герменевтики и обращаются к онтологии понимания. ...
Добавлено: 28 февраля 2023 г.
Различение хаотических и регулярных временных рядов для идентификации состояния артериовенозной фистулы
Громов В. А., Мазайшвили К. В., Заикин П. В. и др., Вестник кибернетики 2022 Т. 45 № 1 С. 72–82
Распространенность хронической болезни почек ежегодно растет и уже сопоставима с такими социально значимыми заболеваниями, как гипертоническая болезнь и сахарный диабет, а также с ожирением и метаболическим синдромом [1,2].  Стандартным решением для гемодиализных пациентов является создание постоянного сосудистого доступа а виде артерио-венозной фистулы. Однако, ее использование ограничивается частыми тромбозами, что влечет за собой риски для жизни ...
Добавлено: 14 ноября 2022 г.
Вокруг масляной лампы. Ответ на реплики
Михайловский А. В., Философия. Журнал Высшей школы экономики 2022 Т. 6 № 1 С. 330–336
В этой статье автор рассматривает концепцию истины М. Хайдеггера в свете социально-эпистемологической проблематики. Он полагает, что «истина как несокрытость» представляет собой более продуктивный подход, чем теория корреспонденции или когеренции, поскольку позволяет ухватить ряд социо-гуманитарных концептов, где верификации осложнены. Автор считает, что хайдеггеровская бытийно-историческая мысль о «существе истины» получает логическое продолжение в «эзотерической инициативе» или «сигетике», ...
Добавлено: 1 апреля 2022 г.
Что дает концепция истины Мартина Хайдеггера для понимания познания и политики
Михайловский А. В., Философия. Журнал Высшей школы экономики 2022 Т. 6 № 1 С. 281–301
В этой статье автор рассматривает концепцию истины М. Хайдеггера в свете социально-эпистемологической проблематики. Он полагает, что «истина как несокрытость» представляет собой более продуктивный подход, чем теория корреспонденции или когеренции, поскольку позволяет ухватить ряд социогуманитарных концептов, где верификации осложнены. Автор считает, что хайдеггеровская бытийно-историческая мысль о «существе истины» получает логическое продолжение в «эзотерической инициативе», или «сигетике», ...
Добавлено: 1 апреля 2022 г.
Проблема категориального в феноменологическом анализе восприятия: Гуссерль и Хайдеггер
Мельникова Е. В., HORIZON. Феноменологические исследования 2022 Т. 11 № 2 С. 641–665
Цель статьи состоит в том, чтобы показать, что задача обоснования категориальных составляющих в специфических фундированных актах восприятия формирует проблемное поле феноменологического исследования, в рамках которого остается проект фундаментальной онтологии Хайдеггера. Для достижения этой цели осуществляется реконструкция, во-первых, проблемы возможности априорного согласования значения и созерцания в интенциональном акте; во-вторых, феноменологического обоснования расширения традиционного понятия истины, в ...
Добавлено: 21 февраля 2022 г.
Ciencia jurídica, transdisciplina y complejidad. Tendencias para la innovación en el aprendizaje jurídico
INDAUTOR, 2021.
Юридическая наука, трансдисциплинарность и сложность. Тенденции к инновациям в юридическом обучении, ориентированные на обучение на протяжении всей жизни для всех, предлагают беспрецедентные инвестиции в совместную работу для достижения наибольшей эффективности авангардной модели сосуществования, которую представляют права, основные обязанности и свободы, направленные на устойчивое развитие и наблюдаемые социальные правосудие изо дня в день. Это текст, направленный ...
Добавлено: 10 февраля 2022 г.
Об истине
Франкфурт Г., Издательство Института Гайдара, 2020.
Изложив в общих чертах теорию брехни и лжи, Гарри Франкфурт обращается к тому, что лежит за их пределами – к истине, понятию не столь очевидному, как может показаться на первый взгляд. Преданность нашей культуры брехне, возможно, гораздо сильнее, чем половинчатая приверженность истине. Некоторые (например, профессиональные мыслители) вообще не считают «истину» и «ложь» значимыми категориями. Даже ...
Добавлено: 29 октября 2021 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору