Фото Лев Дмитриевич Ламберов
      

Ламберов, Лев Дмитриевич

 https://orcid.org/0000-0001-9228-4909
  • 0 Цитирования
  • 0 h-индекс
20082020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Личный профиль

Научные интересы

Философия математики, основания математики, философия языка, логика, онтология, метафизика, теория познания, философия науки, теория типов, доказательство, формальное доказательство, модальная логика, метатеоремы, дефляционизм, теория значения, теория референции, истина, семантика, определённые дескрипции.

Образование/академическая квалификация

Философские науки, кандидат наук

26 ноя 2010 → …

Fingerprint Отпечаток основан на индексе взвешенных терминов, извлеченных из научных документов, и определяет ключевые темы исследователя.

  • 1 Аналогичные профили

Сеть Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.

Результат исследований

  • 19 Статья
  • 2 Учебное издание
  • 1 Справочник/Словарь/Антология
  • 1 Глава

ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ: учебное пособие для бакалавриата и магистратуры

Бряник, Н. В., Томюк, О. Н., Стародубцева, Е. П., Ламберов, Л. Д., Бряник, Н. В. (ред.) & Томюк, О. Н. (ред.), 2020, 1-е ред. Москва: Общество с ограниченной ответственностью "Издательство ЮРАЙТ". 290 стр. (Сер. 11 Университеты России)(Сер. 76 Высшее образование)

Результат исследований: Книга/отчет › Учебное издание

ПОНИМАНИЕ ДОКАЗАТЕЛЬСТВА И ПРОСТОТА ОСНОВАНИЙ: НАБРОСОК МЕТОДОЛОГИИ ДЛЯ ФИЛОСОФИИ МАТЕМАТИКИ

Ламберов, Л. Д., 2019, В : Философия науки. 4(83), стр. 66-79 14 стр.

Результат исследований: Вклад в журнал › Статья

    • ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, II: ДОКАЗАТЕЛЬСТВА ТЕОРЕМ

    Ламберов, Л. Д., июн 2019, В : Вестник Томского государственного университета. Философия. Социология. Политология.. 49, 49, стр. 34-41 8 стр.

    Результат исследований: Вклад в журнал › Статья

    Открытый доступ

    • МОДАЛЬНОСТИ КАК ФУНДАМЕНТАЛЬНЫЙ ЭЛЕМЕНТ РЕАЛЬНОСТИ: ОБЗОР КНИГИ "WILLIAMSOM ON MODALITY"

    Ламберов, Л. Д., 2018, В : Философия науки. 3(78), стр. 158-171 14 стр.

    Результат исследований: Вклад в журнал › Статья

    НОВАЯ АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ: КОММЕНТАРИЙ К СТАТЬЕ О. А. ДОМАНОВА

    Ламберов, Л. Д., 2018, В : Эпистемология и философия науки. 55, 4, стр. 48-52 5 стр.

    Результат исследований: Вклад в журнал › Статья

    • Проекты

    • 2 Завершено
    • 2 Активно

    Эпистемология компьютерного доказательства с точки зрения теоретико-типового подхода к основаниям математики

    Ламберов, Л. Д., Гущин, И. А. & Хлебалин, А. В.

    11/01/2019 → 26/12/2020

    Проект: Проект-Грант

    Научная лаборатория сравнительных исследований толерантности и признания

    Хомяков, М. Б., Полякова, И. Г., Меньшиков, А. С., Ван Гелдерен, М., Логинов, А. В., Степанова, Е. А., Трубина, Е. Г., Черняева, Н. А., Чева, Э., Ван Брик, Б., Ананьина, В. Т., Гришаева, Е. И., Данилова, А. В., Руденкин, Д. В., Томильцева, Д. А., Атие, Б., Афвата, Д. О., Гусейнов, К. К., Кага Лейинда, У. М., Муллозода, Р. Т., Нови, Н. В. Р., Смит, Р. Д., Сомкамнерд, Н., Мюллер, М., Неменко, Е. П., Ламберов, Л. Д., Антонова, Н. Л., Веселкова, Н. В., Ильченко, М. С., Муратшина, К. Г., Саид, Л., Боянич, П., Йенсен, Т., Типпакди, Л., Суваннагул, Р., Стоякович, Д., Набила, Х., Комурджу, Э., Кердпун, А., Дуйшонбек кызы, А., Ватчаравутпаттана, П., Бушикки, Л., Бенбутриф, Д., Ашраф, М., Тао, М., Вагнер, П., Саймонс, Г. Д., Соболева, М. Е., Черепанова, Е. С., Якимова, О. А. & Пургина, Е. С.

    01/12/2013 → …

    Проект: Исследование › Научная лаборатория

    Философские основания гомотопической теории типов

    Ламберов, Л. Д. & Агафонова, Т. С.

    01/01/2016 → 31/12/2017

    Проект: Проект-Грант

    ScalPL : A Scalable Programming Language

    Osterman, K. & Ламберов, Л. Д.

    01/10/2008 → 30/09/2014

    Проект: Проект-Грант

    Виды деятельности

    • 2 Участие в конференции

    Международная научная конференция "uAnalytiCon-2019: Тождество, индивидные понятия и семантическое единообразие"

    Дмитрий Владимирович Анкин (Председатель оргкомитета), Алексей Геннадьевич Кислов (Зам.председателя оргкомитета), Илья Андреевич Гущин (Член оргкомитета), Ольга Александровна Козырева (Член оргкомитета), Лев Дмитриевич Ламберов (Член оргкомитета)
    17 мая 2019 → 18 мая 2019

    Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции

    Международная научная междисциплинарная конференция "uAnalytiCon-2018: Ментальное и границы языка"

    Дмитрий Владимирович Анкин (Председатель оргкомитета), Илья Андреевич Гущин (Член оргкомитета), Алексей Геннадьевич Кислов (Член оргкомитета), Ольга Александровна Козырева (Член оргкомитета), Лев Дмитриевич Ламберов (Член оргкомитета)
    10 мая 2018 → 12 мая 2018

    Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции