• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • О модификации Фиттинга теории истины по Крипке
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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
  • еще
Тематика
Новости
28 мая 2026 г.
«Мне нравятся самосбывающиеся пророчества»
Андрей Ворчик изучает счастье, читает научпоп-лекции и хочет, чтобы наука занималась в том числе общественными проблемами. В интервью проекту «Молодые ученые Вышки» он рассказал о том, как эмоции влияют на принятие решений, Бермудском треугольнике из ванной, холодильника и кровати и идеальной формуле образования.
28 мая 2026 г.
Карманные деньги, интерес и семья: что влияет на экономическую грамотность студентов
Экономическая грамотность студентов зависит не только от профильного образования, но и от интереса к экономике, учебной среды и финансовых практик в семье. Так, студенты, получавшие карманные деньги нерегулярно, в среднем лучше справляются с тестами по экономической грамотности, чем их сверстники с постоянной финансовой поддержкой. Это показало исследование НИУ ВШЭ на выборке более 1100 студентов из пяти российских университетов. Результаты работы опубликованы в журнале Cakrawala Pendidikan.
27 мая 2026 г.
Нейросетевое отображение как метод создания математических моделей
Ученые НИУ ВШЭ в Нижнем Новгороде и Белградского института физики (Сербия) совместно изучают возможности применения методов машинного обучения и использования нейросетей в исследованиях нелинейной динамики. О международном проекте «Вышке.Главное» рассказала его руководитель от ВШЭ, ведущий научный сотрудник Лаборатории топологических методов в динамике факультета информатики, математики и компьютерных наук НИУ ВШЭ в Нижнем Новгороде Наталия Станкевич.

 

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

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

?

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

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

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

Язык: русский
DOI
Ключевые слова: сложностьистинаиндуктивные определениязамыкающий ординал
Похожие публикации
Реальность как философская проблема
Тульчинский Г. Л., СПб.: Политех-Пресс, 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 г.
Полемические суждения о концепции «внутренней истины»
Парамонов А. А., Мамчур Е. А., Vox. Философский журнал 2020 № 30 С. 68–97
В статье в полемической форме обсуждается проблема истины в научном познании. Представлению истины, к которой стремится наука, как познанию вещей самих по себе противопоставляется концепция  внутренней истины , согласно которой под истиной в науке понимается соответствие теории своему предмету. Согласно последней истина всегда носит внутренний характер, и в научных построениях мы никогда не покидаем границ языка ...
Добавлено: 29 июня 2021 г.
НА ПУТИ К РЕФОРМЕ СИСТЕМЫ ЭПИСТЕМОЛОГИЧЕСКИХ ЦЕЛЕЙ И ЦЕННОСТЕЙ
Порус В. Н., Эпистемология и философия науки 2021 Т. 58 № 2 С. 34–42
Культурно-историческая эпистемология – не только особая ветвь философских исследований науки, но и плацдарм реформы системы эпистемологических категорий, выражающих цели и ценности научного познания. Ее необходимость вытекает из характера развития современной науки. Консервация традиционных эпистемологических категорий, применяемых к анализу этого развития, приводит к грубому релятивизму. Эту опасность можно устранить, разработав холистическую систему эпистемологических ценностей, исходящую из принципа ...
Добавлено: 21 июня 2021 г.
К глобальным социальным наукам? Некоторые предварительные размышления
Коломбо Э., Социологические исследования 2019 № 9 С. 3–18
Преобразования, вызванные процессами глобализации, влияют на состояние социальных наук. Многие голоса, исходящие прежде всего из так называемого «Юга», требуют радикального пересмотра западных общественных наук – если не полного отказа от них. Стало очевидным, что инструментарий, понятия и методы, унаследованные от модернити, неспособны уловить сложность и изменчивость современного социального опыта, характеризующегося множеством мнений, интересов, исторических традиций. ...
Добавлено: 19 декабря 2020 г.
Стив Фуллер и его игра в знание в условиях постправды
Лисанюк Е. Н., Вестник Томского государственного университета. Философия. Социология. Политология 2020 № 53 С. 221–226
Во вступительном слове к переводу главы 2 из книги С. Фуллера «Пост-правда: знание как игра во власть» мы обсуждаем особенности академического не-оценочного понятия пост-правды и утверждаем, что пост-правду характеризуют когнитивная толерантность к многообразию истинного и размытость границ между истинным и неистинным. Фуллер считает, что в таких условиях пост-правды и возникает игра в знание, где истина ...
Добавлено: 19 октября 2020 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору