• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS
  • 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
  • еще
Тематика
Новости
30 октября 2026 г.
«Объект наших исследований - суперкомпьютер»
Феликс Смирнов занимается суперкомпьютерными технологиями, чтобы помогать другим ученым в их работе. В интервью проекту «Молодые ученые Вышки» он рассказал о настройке коммуникаций между узлами, своем увлечении кинематографом и о старых вывесках на Хитровке.
29 октября 2026 г.
Как прогнозировать будущее науки и технологий
Лаборатория исследований науки и технологий, действующая в структуре Института статистических исследований и экономики знаний НИУ ВШЭ, изучает текущее состояние научных исследований и разработок, анализирует тренды и их динамику, что позволяет понимать масштаб вызовов, связанных с применением новейших технологий, определять приоритеты будущих работ, формировать научную и промышленную политику. Новостная служба «Вышка.Главное» побеседовала с заведующей лабораторией Лилианой Проскуряковой и директором Форсайт-центра ИСИЭЗ Александром Соколовым.
29 октября 2026 г.
Плоская модель местности скрыла от симулятора потерю связи между машинами
Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.

 

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

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

?

Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS

М. : Книжный дом "ЛИБРОКОМ", 2014.
Ответственный редактор: В. А. Шапошников, В. А. Бажанов

Очередной (пятый) тематический том трудов Московского семинара по философии математики посвящен осмыслению математического доказательства, одной из центральных и бурно обсуждаемых в современной философии математики тем. Книга может представлять интерес для философов и историков математики, а также для философов, логиков, математиков, психологов, преподавателей, ве- дущих аспирантский курс по истории и философии науки, аспирантов и студентов математических и естественно-научных специальностей. 

Главы книги
Трансцендентальный анализ математической деятельности: абстрактные (математические) объекты, конструкции и доказательства
Катречко С. Л., В кн.: Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS.: М.: Книжный дом "ЛИБРОКОМ", 2014. Гл. 2 С. 86–120.
Вопрос о природе доказательства предполагает привлечение трансцендентального подхода (метода), направленного на выявление специфики такого способа нашего познания, каковыми является математика и логика, или сложившийся в начале ХХ в. благодаря усилиям Фреге, Рассела, Гильберта логико-математический комплекс. С одной стороны математика (в этом расширенном понимании) является предметным способом мышления, что предполагает работу с предметами (объектами). С другой ...
Добавлено: 18 ноября 2013 г.
Приоритетные направления: гуманитарные науки
Язык: русский
Полный текст
Текст на другом сайте
Ключевые слова: доказательствофилософия математикиphilosophy of mathenatics
Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS
Похожие публикации
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Система синтаксических инвариантов текстовой деятельности: статистические дескрипторы, семантическая структура и диагностические профили
Кудрявцева Е. И., / РЦИС. Серия № 0148-756-286. 2026.
Содержанием работы является система идентификации четырех типов письменно-речевых структур. Совокупность 11 расчетных параметров, статистических эталонов и семантических характеристик позволяют идентифицировать структуру текста как результат определенной когнитивной схемы (сцена, событие, история, оценка). Метод верифицирован на репрезентативной выборке (N=3900+) и базируется на выявлении критического порогового значения коэффициента подчиненности. Также математически верифицированы переходы между типами: от атомарной фиксации объекта ...
Добавлено: 2 июня 2026 г.
Почему растущие доходы не делают людей счастливее: эмоциональное объяснение парадокса Истерлина (Why Growing Incomes Do Not Make People Happier: an Emotional Explanation of the Easterlin Paradox)
Ворчик А. Д., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2026.
Эта работа посвящена теоретическому объяснению парадокса Истерлина, согласно которому долгосрочный экономический рост не приводит к росту среднего уровня счастья людей. Под счастьем мы понимаем интенсивность эмоций, которые люди испытывают, когда сравнивают свой новый доход с ожидаемым либо целевой - с изначальным. В первом случае мы имеем дело с реактивным подходом к росту, тогда как во втором ...
Добавлено: 31 мая 2026 г.
Школьный литературный канон эмиграции 1918–1939 гг.
Стрижкова Д. А., / Институт русской литературы (Пушкинский Дом) РАН. Серия B001 "Репозиторий открытых данных по русской литературе и фольклору". 2026.
В базе данных представлена роспись русскоязычных литературных произведений и отрывков, напечатанных в учебниках по словесности, хрестоматиях, книгах для чтения, сборниках стихотворений и рассказов, выходивших во Франции, Германии, Латвии, Эстонии, Болгарии, Сербии в период первой волны русской эмиграции с 1918 по 1939 гг. Датасет представляет интерес для исследователей школьного литературного канона, эмиграции и детского чтения ...
Добавлено: 22 апреля 2026 г.
Современная российская мультипликация как инструмент воспитания традиционных духовно-нравственных ценностей
Жигунов А. Ю., / Basic Research Programme. Серия HUM "Humanities". 2026. № 1.
В статье предпринимается попытка описания образовательного и воспитательного потенциала современной российской анимации в аспекте формирования представлений молодого поколения о традиционных российских ценностях. С опорой на медиа- и семиотический анализ, метод культурно-исторической интерпретации рассмотрены анимационные российские проекты, созданные с 2000 года по 2025 гг., находившиеся в прокате в эфире телевизионных каналов либо стриминговых сервисов с большой ...
Добавлено: 19 апреля 2026 г.
Заключение специалиста: уголовно-процессуальные, криминалистические и методические основы
Пошвин А. Л., Туркова Н. М., Цурлуй О. Ю. и др., М.: РГУП, 2025.
В учебном издании изложены теоретические основы понятия, структуры заключения специалиста, рассмотрены субъекты, основания и порядок применения специальных знаний в форме заключения специалиста, приведены методические требования к заключению специалиста и особенности его оценки как доказательства в судопроизводстве. Учебное пособие подготовлено для студентов, обучающихся по специальности 40.05.03 «Судебная экспертиза», содержит теоретический материал, практические задания, способствующие усвоению пройденного ...
Добавлено: 13 октября 2025 г.
Политическая аккомодация культурных различий в индустриально развитых обществах (Political Accommodation of Cultural Differences in Industrialized Societies)
Малахов В. С., Симон М. Е., Летняков Д. Э. и др., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2020.
Понятие «политическая аккомодация» применительно к теории и практике управления культурным  разнообразием могло  бы  обогатить  российский  академический  словарь. Либерально-демократические  государства  изобрели  специфические  механизмы политической аккомодации культурных различий. Благодаря этим механизмам та часть населения  демократического  государства,  которая  не  готова  раствориться  в этнокультурном  большинстве,  более  или  менее  надежна  защищена.  Закон  не  только запрещает насильственную ассимиляцию, но и содержит ...
Добавлено: 26 сентября 2025 г.
Национальная мощь современных государств: сравнительный анализ. Аналитический доклад
Мельвиль А. Ю., Каберник В. В., Миронюк М. Г. и др., / МГИМО МИД России. 2024.
Данный аналитический доклад является одним из результатов исследований в рамках консорциума НИУ ВШЭ и МГИМО. В нем прежде всего раскрыты вопросы концептуализации национальной мощи и сопутствующих категорий и дается обзор прецедентов. Далее рассматриваются вопросы операционализации предлагаемых нами компонентов национальной мощи. В следующих разделах доклада предлагается анализ вопросов методологии, используемой в докладе. На этой основе предложен ...
Добавлено: 19 сентября 2025 г.
Explicit continuum scale format reduces the ceiling effect in self-report questionnaires comparing to Likert response format
Антипкина И. В., Ivanov A., Guzhelya D., / Series WP BRP "Basic research program". 2024.
Добавлено: 21 февраля 2025 г.
Language In The Construction Of Ethnicity Among Koreans In Kazakhstan: A Case Study Of The Korean Community In Karaganda
Айтжанов С., / NRU HSE. Series WP BRP "Linguistics". 2024. No. 116.
Добавлено: 10 декабря 2024 г.
CONNECTING ANCIENT AND MODERN: THE MEDIEVAL PLOT ABOUT THE FOX AND THE DISCUSSION BETWEEN GOETHE AND SCHILLER ABOUT GERMAN EPIC POETRY
Микаелян А. Л., / NRU Higher School of Economics. Series WP BRP "Literary Studies". 2024. No. 28.
Добавлено: 19 ноября 2024 г.
A Language Model for Grammatical Error Correction in L2 Russian
Remnev N., Obiedkov S., Рахилина Е. В. и др., / Series Computer Science "arxiv.org". 2023.
Добавлено: 30 октября 2024 г.
You shall know a piece by the company it keeps. Chess plays as a data for word2vec models
Орехов Б. В., / Series Computer Science "arxiv.org". 2024.
Добавлено: 8 августа 2024 г.
Математика как инструмент социальных исследований: к новому пониманию социальной реальности
Барабашев А. Г., Логос 2023 Т. 33 № 4 С. 117–145
Рассмотрено современное состояние математизации в социальных науках и социальной прикладной аналитике. Выдвинуто утверждение, что математика в социальных науках и аналитике понимается как совокупность инструментальных методов, помогающих получать результаты, в противовес пониманию математики как критического сомнения (требование строгости как сомнение в корректности инструментальных методов). В социальных науках и аналитике с помощью математических методов результаты получаются, а ...
Добавлено: 1 февраля 2024 г.
ЛОГИКА И РИТОРИКА КАК МЕТАТРОПЫ ДИСЦИПЛИНАРНЫХ РАЗГРАНИЧЕНИЙ НАУКИ И «ОБЩЕГО» ОБРАЗОВАНИЯ
Микиртумов И. Б., Вестник Русской христианской гуманитарной академии 2023 Т. 24 № 2 С. 11–25
Проблема статьи — роль логического доказательства и риторического обоснования, во-первых, в дифференциации научных дисциплин, во-вторых, в формировании «общего» междисциплинарного образования, которое позволяет понимать и применять научное и ненаучное знание как инструмент достижения общего блага. Предпринимается философский и культурно- исторический анализ, в рамках которого логика и риторика рассматриваются как метатропы, т. е. такие когнитивные средства, которые делают возможным единство, с одной стороны, научного знания и его методов, ...
Добавлено: 6 сентября 2023 г.
Факты и доказательства в международных спорах: между истиной и справедливостью
Ренц И. Г., М.: Статут, 2018.
Вселенная фактов и доказательств в судебной деятельности интригует и захватывает… Особенно в международно-правовых спорах, где ставки как нигде высоки, а игроки задействуют весь арсенал доступных средств для убеждения суда в своей правоте. Есть ли здесь место Истине и Справедливости, или же судом двигают другие Идеи и Факты? Механизмам и инструментам работы международного судьи с фактом и посвящается данная монография. Для ...
Добавлено: 29 октября 2020 г.
„Protestantische Spuren“ im russischen Schrifttum. Von der „Rhetorik“ des Pseudo-Makarius bis zu den „Worten“ Feofan Prokopovičs
Киселева М. С., , in: Ausstrahlung der Reformation. Ost-westliche Spurensuche.: Wilhelm Fink Verlag, 2020. P. 29–43.
В статье рассмотрены два текста, в которых обнаруживаются "следы" протестантского влияния. Начало связывается с первым известным исследователям «пособием по теории русского красноречия», так называемой "Риторикой" Макария первой четверти XVII в. (установление авторства до сих пор дискутируется); кратко рассматриваются этапы изучения этого текста и определяется его место вне образовательной системы, которая к тому времени еще не сложилась в Московском царстве. ...
Добавлено: 22 сентября 2020 г.
Философия физики: к новым принципам научного знания
Карпенко И. А., М.: ИНФРА-М, 2021.
Монография «Философия физики: к новым принципам нового знания» предназначена как для тех, кто только открывает для себя мир философии науки в наиболее фундаментальной области – физике, так и для специалистов, профессионально занимающихся темой и интересующихся самыми актуальными исследованиями. Автор, анализируя ряд ключевых проблем современной физики и космологии, предлагает оригинальные интерпретации и решения, а также обсуждает ...
Добавлено: 11 июля 2020 г.
О некоторых спорных положениях Федерального закона № 451-ФЗ
Бардин Л. Н., Арбитражный и гражданский процесс 2019 № 9 С. 3–7
Статья посвящена анализу некоторых норм Федерального закона № 451-ФЗ о внесении изменений в процессуальные кодексы. Обосновывается их спорность и недостаточная четкость, а также необходимость внесения изменений ...
Добавлено: 10 октября 2019 г.
Глава 41. Гражданское судопроизводство первой половины XIX века.
Ефремова Н. Н., В кн.: История суда и правосудия в России. В 9 томахТ. 3: Судоустройство и судопроизводство в период становления и развития абсолютизма (конец XVII - середина XIX века) .: М.: НОРМА, 2019. Гл. 41 С. 618–621.
В главе дан анализ нормативно-правового регулирования гражданского судопроизводства в России дореформенного периода, определено, что гражданский процесс подразделялся на производство в делах бесспорных и в делах спорных, рассматриваемых в полиции и суде. В свою очередь, судопроизводство по спорным делам подразделялось на вотчинное и исковое. К исковому производству были отнесены споры по неисполненным договорам и обязательствам и ...
Добавлено: 9 июля 2019 г.
Кант и новая математика сто лет спустя
Родин А. В., Кантовский сборник 2015 Т. 1 № 51 С. 7–16
Критика Кассирером философии математики Рассела и неокантианская философия науки и математики в целом приобретает особую актуальность в контексте современной математики и математической физики. То обстоятельство, что современная стандартная аксиоматическая архитектура математических теорий не учитывает предметного характера математического знания, на которое вслед за Кантом указывает Кассирер, затрудняет использование новых математических знаний в естественных науках и технике. В частности, в этом может ...
Добавлено: 16 июня 2018 г.
Cкрининги I этапа диспансеризации: систематический обзор долгосрочной эффективности
Реброва О. Ю., Федяева В. К., Омельяновский В. В. и др., Профилактическая медицина 2017 Т. 20 № 3 С. 55–59
Цель исследования — систематический поиск и анализ доказательств долгосрочной популяционной эффективности скринингов и других мероприятий, реализуемых в рамках I этапа диспансеризации в Российской Федерации согласно Приказу №36ан от 2015 г. Материал и методы. Систематический поиск осуществлялся независимо двумя авторами в четырех базах данных: Научная электронная библиотека, The Cochrane Library, Medline/PubMed, USPSTF. Изучаемый тип публикаций — ...
Добавлено: 7 сентября 2017 г.
Преступление и наказание в средневековом Уэльсе
Лошкарева М. Е., Lex Russica (Русский закон) 2016 № 12 С. 184–192
Статья посвящена анализу положений валлийского Закона Хауэла Доброго, связанных с уголовно-правовым регулированием. Закон оставался основным источником права в Уэльсе вплоть до завоевания княжества английским королем Эдуардом I и введения в 1284 г. Хритланского статута. Создание Закона приписывается валлийскому королю Хауэлу Доброму (X в.), хотя самые ранние из сохранившихся рукописей Закона датируются  XIII в.   Особое внимание ...
Добавлено: 16 февраля 2017 г.
Вероятное заключение эксперта - косвенное доказательство?
Смольников Д. И., В кн.: Проблемы реализации норм, регулирующих доказывание и доказательства в гражданском, арбитражном и административном судопроизводстве. Сборник статей по материалам Международной научно-практической конференции.: СПб.: ООО ИД "Петролис", 2015. С. 309–315.
Наука гражданского процесса считает, что заключение эксперта, содержащее вероятный вывод, является косвенным доказательством. Автор статьи не согласен с этим утверждением, поскольку считает, что оно основывается на неточном понимании косвенных доказательств.  Подобные заключения могут быть использованы в качестве доказательств, несмотря на вероятный характер содержащегося в них вывода. ...
Добавлено: 31 октября 2016 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору