• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Logic, Methodology and Philosophy of Science
  • 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
  • еще
Тематика
Новости
14 мая 2026 г.
<a>Ученые ФКН ВШЭ представили работы в сфере ИИ и биоинформатики на ICLR 2026
Ученые Института искусственного интеллекта и цифровых наук факультета компьютерных наук ВШЭи студенты трека «ИИ360: Инженерия искусственного интеллекта» бакалаврской программы «Прикладная математика и информатика» приняли участие в международной конференции ICLR — одном из самых авторитетных мировых форумов в области машинного обучения и представления данных. В этом году конференция состоялась в Рио-де-Жанейро (Бразилия).
14 мая 2026 г.
«Физика - это то, на чем строится мир»
Стипендиат Фонда Владимира Потанина физик Нина Джанаева занимается исследованиями в области нанофотоники. В интервью проекту «Молодые ученые Вышки» она рассказала о наноколодцах, научной интуиции и пользе физики для приготовления слоек с кремом франжипан.
13 мая 2026 г.
Исследователи Вышки - о бездомности, психологии смысла, курении и правах пациентов
В конце апреля в культурном центре Community состоялся третий полуфинал девятого сезона «Научных боев». Четыре исследователя пробирались через импровизированные джунгли социальных проблем, медицинских прав и психологических лабиринтов. У каждого было 10 минут, никаких презентаций — только реквизит, харизма и истории, от которых захватывало дух.

 

Нашли опечатку?
Выделите её, нажмите 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/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору