• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Logic, Methodology and Philosophy of Science
  • 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
  • еще
Тематика
Новости
1 сентября 2026 г.
Ученые НИУ ВШЭ создали новый корпус детской русской речи
Исследователи Центра языка и мозга НИУ ВШЭ представили RusLan-M — открытый мультимедийный корпус, который позволяет проследить развитие русской речи у детей от первых слов до появления сложных грамматических конструкций. В базе собраны около 41 часа видеозаписей и более 35 тысяч детских высказываний. Новый ресурс поможет ученым точнее изучать, как дети осваивают русский язык, а в перспективе — создавать более надежные инструменты для оценки речевого развития. Исследование опубликовано в журнале Language Resources and Evaluation.
31 августа 2026 г.
Ученые НИУ ВШЭ предложили по-новому считать неформальную занятость в России
Действующие подходы Росстата к оценке неформальной занятости в России уже не в полной мере отражают современную ситуацию на рынке труда. К такому выводу в своем исследовании пришли экономисты ИСИЭЗ НИУ ВШЭ. Ученые считают, что новые международные стандарты помогут получать более достоверные данные о рынке труда, а значит, принимать более эффективные государственные решения.
28 августа 2026 г.
МИЭМ ВШЭ и МИЭТ договорились о научном сотрудничестве
26 августа Московский институт электроники и математики им. А.Н. Тихонова (МИЭМ) ВШЭ и Национальный исследовательский университет «Московский институт электронной техники» (МИЭТ) подписали договор о сотрудничестве. Соглашение направлено на развитие совместных исследований в области физики, перспективного материаловедения и электроники, объединяющих экспериментальные и вычислительные подходы, выполнение совместных опытно-конструкторских работ, а также подготовку заявок на российские и международные научные гранты.

 

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

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

?

Logic, Methodology and Philosophy of Science

2015.

This volume contains the abstracts of the talks given at the 2015 European Summer Meeting of the Association for Symbolic Logic—Logic Colloquium ’15—taking place on August 3 - 8, 2015, in Helsinki, Finland. The Colloquium is co-located with the 15th International Congress of Logic, Methodology and Philosophy of Science, CLMPS, and the SLS Summer School in Logic.
As usual, the talks at the Logic Colloquium consist of invited plenary lectures, invited talks in the various special sessions, tutorials, and, last but not least, contributed papers. Abstracts of all of these presentations are given here. The book of abstracts is an important part of the Logic Colloquium, since it not only gives the authors the opportunity to present their topic and main results, but also helps the Colloquium participants choose which of the many parallel sessions to attend at any given time.
I would like to thank my colleagues in the Program Committee for a very constructive and pleasant period of collaborative effort, which has resulted in, we think, an excellent program of invited speakers, representing current frontline research in the main areas of logic. We are also particularly happy that there are so many contributed papers at this year’s Logic Colloquium. Finally, I want to thank all the members of the Organizing Committee, and in particular its chair Jouko Väänänen, for their expert and smooth organization of this important event.

Главы книги
Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky
Родин А. В., , in: Logic, Methodology and Philosophy of Science.: [б.и.], 2015. P. 418.
The version of axiomatic method stemming from Hilbert [Hilbert (1899)] and recently defended by Hintikka [Hintikka (2011)] is not fully adequate to the recent successful practice of axiomatizing mathematical theories. In particular, the axiomatic architecture of Homotopy Type theory (HoTT) [Voevodsky et. al. 2013] does not quite fit the standard Hilbertian pattern of formal axiomatic ...
Добавлено: 5 июня 2018 г.
Язык: английский
Ключевые слова: abstract logic
Logic, Methodology and Philosophy of Science
Похожие публикации
Абстрактные логики как классификации абстрактных структур
Драгалина-Черная Е. Г., Логические исследования 2025 Т. 31 № 2 С. 9–30
В статье предлагается интерпретация абстрактных логик как классификаций абстрактных структур (типов изоморфизма). Свойство инвариантности относительно изоморфизма понимается не как традиционный критерий демаркации логических и нелогических терминов, а как мета-ограничение на соответствующие классы структур.  Выявляется вариативность подобных мета-ограничений   в ранней и современной теории моделей. Сопоставляются онтологические подходы, предполагающие трактовку абстрактной структуры как формы, разделяемой всеми структурами в данном типе ...
Добавлено: 8 сентября 2025 г.
Abstract logics as formal ontologies as classifications
Драгалина-Черная Е. Г., , in: 4th Lisbon International Conference on Philosophy of Science - LICPOS 2023.: Lisbon: CFCUL, 2023. P. 27–28.
Добавлено: 14 июля 2023 г.
7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)
[б.и.], 2015.
7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015) ...
Добавлено: 14 июня 2018 г.
Logica’2002
Prague: [б.и.], 2003.
papers presented at the conference “Logica 2002″ (June 18-21, 2002, Castle Zahradky, Czech Republic) and published in: T. Childers and O. Majer (eds.), Logica’2002, Prague 2003 ...
Добавлено: 7 июня 2018 г.
Логико-философские штудии
St. Petersburg: St. Petersburg University, 2016.
Abstract of a talk  at the 12th International Conference “Logic Today: Developments and Perspectives” ...
Добавлено: 5 июня 2018 г.
International Workshop on Description Logics, DL 2016
[б.и.], 2016.
Добавлено: 18 сентября 2017 г.
The unreasonable power of the lifting property in elementary mathematics
Гаврилович М. Р., / Series arxiv "math.CT". 2017.
Добавлено: 21 июля 2017 г.
The logic of forbidden colours
Драгалина-Черная Е. Г., Epistemology and Philosophy of Science 2013 Vol. 38 No. 4 P. 136–149
The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare model-theoretical and game-theoretical approaches to the colour exclusion problem. What is gained, then, is a new game-theoretical ...
Добавлено: 1 октября 2013 г.
The logic of forbidden colours
Драгалина-Черная Е. Г., / Series HUM "Humanities". 2012. No. 10.
Добавлено: 17 января 2013 г.
The Logic of Forbiden Colours
Драгалина-Черная Е. Г., / Series HUM "Humanities". 2012. No. 10.
В работе ставятся две основные  задачи: (1) эксплицировать тезис Людвига Витгенштейна о логической структуре цвета, обращая особое внимание на истолкование его «загадочного высказывания» о том, что «возможен синевато-зеленый, но не красновато-зеленый цвет»; (2) сопоставить теоретико-модельный и теоретико-игровой подходы к проблеме исключения цветов. Предлагается авторская версия теоретико-игрового подхода к логике «запрещенных» (красновато-зеленого и синевато-желтого) цветов. В ...
Добавлено: 19 декабря 2012 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору