• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Eastern Proto-Logics
  • 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
  • еще
Тематика
Новости
3 сентября 2026 г.
Ученые НИУ ВШЭ научили нейросеть превращать 3D-модели в готовые технологические карты
Исследователи Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ разработали систему CAD2TechSpec, которая автоматически превращает 3D-модели деталей в готовые технологические карты — пошаговые инструкции для станков. Разработка направлена на сокращение времени подготовки технической документации в машиностроении, авиастроении и других высокотехнологичных отраслях. Результаты исследованияо публикованы в журнале PeerJ Computer Science.
2 сентября 2026 г.
Время показать свое исследование: открыт прием заявок на НИРС-2026
Иногда готовая работа — это не результат, а хорошая основа для следующего шага. Участие в Конкурсе научно-исследовательских работ студентов (НИРС) позволяет показать исследование экспертам, получить независимую оценку и определить дальнейшее направление работы. Рассказываем о ключевых особенностях подачи работ на Конкурс НИРС — 2026.
1 сентября 2026 г.
Ученые НИУ ВШЭ создали новый корпус детской русской речи
Исследователи Центра языка и мозга НИУ ВШЭ представили RusLan-M — открытый мультимедийный корпус, который позволяет проследить развитие русской речи у детей от первых слов до появления сложных грамматических конструкций. В базе собраны около 41 часа видеозаписей и более 35 тысяч детских высказываний. Новый ресурс поможет ученым точнее изучать, как дети осваивают русский язык, а в перспективе — создавать более надежные инструменты для оценки речевого развития. Исследование опубликовано в журнале Language Resources and Evaluation.

 

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

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

?

Eastern Proto-Logics

P. 529–552.
Шанг Ф. Ж.
В печати
Язык: английский
DOI
Ключевые слова: contradictionmodal logicSaptabhangiCatuskotiMany-valued logicsTruth-Valuesparaconsistent negationself-contradictionindian logics

В книге

New Directions in Paraconsistent Logic
Springer, 2015.
Похожие публикации
Modal Products and Around
Шехтман В. Б., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
Добавлено: 30 июня 2026 г.
Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)
Springer, 2026.
Добавлено: 30 июня 2026 г.
Соцреалистическая диалектика массовой песни 1930-х годов
Никонов А. С., Логос 2026 Т. 36 № 1 С. 271–296
В статье рассматривается советская массовая песня 1930-х годов как действующее пространство артикуляции соцреалистических принципов «народности» и «партийности». В центре внимания находится не только содержание песенной продукции, но и комплекс практик ее производства и тиражирования, анализ которых раскрывает конкретные механизмы культурной политики сталинской эпохи. Используя инструменты критической теории и концепты Луи Альтюссера, автор акцентирует внимание на ...
Добавлено: 6 мая 2026 г.
Некоторые замечания о требованиях к научной теории в контексте многомировых моделей
Карпенко И. А., Вопросы философии 2024 № 5 С. 140–146
В статье обсуждается проблема корректного описания действительности в философии и науке с учетом принятия многомировой гипотезы. Под многомировыми понимаются современные физические гипотезы, допускающие существование других вселенных (многомировая интерпретация, хаотическая инфляция, струнный ландшафт и т.д.). Показывается, что, вероятно, эти модели бросают вызов традиционной интеллектуальной интуиции, на которой строится классическая наука, - они требуют новых методологических подходов ...
Добавлено: 24 сентября 2024 г.
Consistency and Some Other Requirements of a Formal Theory in the Context of Multiverse Models
Карпенко И. А., Studia Humana 2024 Vol. 13 No. 4 P. 23–34
Добавлено: 24 сентября 2024 г.
Advances in Modal Logic 2024. Short Papers
[б.и.], 2024.
The book contains short papers presented at AiML 2024. ...
Добавлено: 15 августа 2024 г.
Advances in Modal Logic
College Publications, 2024.
Advances in Modal Logic (AiML) is an initiative founded in 1995 and aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. It consists of a conference series together with volumes based on the conferences. The conference series is the main international forum at which research ...
Добавлено: 14 августа 2024 г.
Variations on the Kripke trick
Рыбаков М. Н., Shkatov D., Studia Logica 2025 Vol. 113 P. 1–48
Добавлено: 2 декабря 2023 г.
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 2 Article exad078
Добавлено: 3 ноября 2023 г.
Логика многомировых моделей и интеллектуальная интуиция
Карпенко И. А., Философия науки 2023 № 1(96) С. 70–94
Статья посвящена проблеме описания действительности в языке математики и логики в связи с соответствующей определенному этапу развития знания интеллектуальной интуицией. Ставится вопрос о том, как изменятся базовые требования к математической теории и логике, если взять за основу некоторые из многомировых моделей современной физики. Математика рассматривается в контексте различных исторических подходов, анализируется взаимная критика интуиционизма, логицизма ...
Добавлено: 19 сентября 2023 г.
Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)
Cham: Birkhäuser, 2024.
Добавлено: 31 августа 2023 г.
Complexity function and complexity of validity of modal and superintuitionistic propositional logics
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566–1595
Добавлено: 6 января 2023 г.
On Strictly Positive Fragments of Modal Logics with Confluence
Kikot S., Кудинов А. В., Mathematics 2022 Vol. 10 No. 19 Article 3701
Добавлено: 10 октября 2022 г.
Механизм производства контрфинальности в конститутивном порядке
Ильяс Латыпов, Социологическое обозрение 2021 Т. 20 № 2 С. 70–103
В представленной теоретически-ориентированной работе описываются основные элементы механизма производства контрфинальности в конститутивном порядке, приводится эмпирическая иллюстрация фиксации работы этого механизма. Сначала представлен анализ идей Ю. Элстера относительно проблемы социальных противоречий, в частности феномена контрфинальности. Контрфинальность в теории Элстера есть противоречие, которое должно подтолкнуть людей к объединению для его преодоления и способствовать социальным изменениям. Однако такой ...
Добавлено: 9 июня 2022 г.
«Контрфинальность» в социологической теории: реконцептуализация понятия
Латыпов И. А., Вестник Российского университета дружбы народов. Серия: Социология 2021 Т. 21 № 4 С. 697–710
Понятие «контрфинальность» означает непреднамеренные последствия, которые возникают в результате нескоординированных действий рационально действующих индивидов. Еще до того, как это понятие было введено Ж-П. Сартром и развито Ю. Элстером, контрфинальность в той или иной форме присутствовала в рассуждениях ученых. Одни рассматривали контрфинальность как разновидность общественных парадоксов и социальных дилемм, которые существовали с начала истории человечества. Другие ...
Добавлено: 16 апреля 2022 г.
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
Рыбаков М. Н., Shkatov D., Studia Logica 2021
Добавлено: 24 января 2022 г.
Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic
Шуман А. Н., Journal of Indian Philosophy 2021 Vol. 49 P. 467–498
Добавлено: 21 июля 2021 г.
Modal logics with transitive closure: Completeness, decidability, filtration
Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
Добавлено: 2 декабря 2020 г.
On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames
Рыбаков М. Н., Shkatov D., , in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. P. 45–45.
Добавлено: 7 октября 2019 г.
Game-theoretical interpretation of abelian logic A
Павлова А. М., Logical Investigations 2019 Vol. 25 No. 2 P. 75–93
Добавлено: 20 сентября 2019 г.
Нереальность времени
Мактаггарт Д. Э., Эпистемология и философия науки 2019 Т. 56 № 2 С. 211–228
Данный текст представляет собой перевод статьи британского идеалиста Дж.Э. МакТаггарта «Нереальность времени», опубликованной в журнале Mind в октябре 1908 г. В ней автор, используя многие из показательных для него приемов, разворачивает аргументацию в доказа- тельство несуществования времени: это отрицание существования противоречивых сущностей, различие между реальным и существующим и др. Статья стала образцом аналитического стиля МакТаггарта ...
Добавлено: 17 июня 2019 г.
Конституция России-неоднозначность матрицы развития
Мазаев В. Д., Вестник Саратовской государственной юридической академии 2018 № 3(122) С. 47–53
Статья посвящена характеристике результатов действия Конституции РФ как правового акта и как прогностического документа. Сегодня многие проблемы реализации Конституции РФ обусловлены переоценкой либеральнодемократических ценностей образца 1993 года. Конституционная матрица общественно-политического строя в современных условиях требует дальнейшего осмысления, превращения в более действенный инструмент развития страны с учетом особенностей собственного национального государства и общемировых трендов. ...
Добавлено: 14 декабря 2018 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору