Публикации за год
Публикации за год
Личный профиль
Научные интересы
Философия математики, основания математики, философия языка, логика, онтология, метафизика, теория познания, философия науки, теория типов, доказательство, формальное доказательство, модальная логика, метатеоремы, дефляционизм, теория значения, теория референции, истина, семантика, определённые дескрипции.
Образование/академическая квалификация
Философские науки, кандидат наук
26 ноя 2010 → …
Fingerprint
Отпечаток основан на индексе взвешенных терминов, извлеченных из научных документов, и определяет ключевые темы исследователя.
- 1 Аналогичные профили
Сеть
Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.
Результат исследований
-
ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ: учебное пособие для бакалавриата и магистратуры
Бряник, Н. В., Томюк, О. Н., Стародубцева, Е. П., Ламберов, Л. Д., Бряник, Н. В. (ред.) & Томюк, О. Н. (ред.), 2020, 1-е ред. Москва: Общество с ограниченной ответственностью "Издательство ЮРАЙТ". 290 стр. (Сер. 11 Университеты России)(Сер. 76 Высшее образование)Результат исследований: Книга/отчет › Учебное издание
-
Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы
Ламберов, Л. Д., 2020, В : Вестник Томского государственного университета. Философия. Социология. Политология.. 57, 57, стр. 25-32 8 стр.Результат исследований: Вклад в журнал › Статья
-
ПОНИМАНИЕ ДОКАЗАТЕЛЬСТВА И ПРОСТОТА ОСНОВАНИЙ: НАБРОСОК МЕТОДОЛОГИИ ДЛЯ ФИЛОСОФИИ МАТЕМАТИКИ
Ламберов, Л. Д., 2019, В : Философия науки. 4(83), стр. 66-79 14 стр.Результат исследований: Вклад в журнал › Статья
-
ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, II: ДОКАЗАТЕЛЬСТВА ТЕОРЕМ
Ламберов, Л. Д., июн 2019, В : Вестник Томского государственного университета. Философия. Социология. Политология.. 49, 49, стр. 34-41 8 стр.Результат исследований: Вклад в журнал › Статья
Открытый доступ -
МОДАЛЬНОСТИ КАК ФУНДАМЕНТАЛЬНЫЙ ЭЛЕМЕНТ РЕАЛЬНОСТИ: ОБЗОР КНИГИ "WILLIAMSOM ON MODALITY"
Ламберов, Л. Д., 2018, В : Философия науки. 3(78), стр. 158-171 14 стр.Результат исследований: Вклад в журнал › Статья
Проекты
-
Эпистемология компьютерного доказательства с точки зрения теоретико-типового подхода к основаниям математики
Ламберов, Л. Д., Гущин, И. А. & Хлебалин, А. В.
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
Проект: Проект-Грант
Виды деятельности
- 3 Участие в конференции
-
Международная научная конференция "Философия сегодня: ценности, перспективы, смыслы"
Виктор Анатольевич Кокшаров (Председатель оргкомитета), Юлия Владиславовна Бурбулис (Зам.председателя оргкомитета), М. Москалевич (Член оргкомитета), Е. В. Брагин (Член оргкомитета), Г. Э. Бурбулис (Член оргкомитета), Илья Андреевич Гущин (Член оргкомитета), Анна Маратовна Давлетшина (Член оргкомитета), Алексей Олегович Иванов (Член оргкомитета), Анна Александровна Карташева (Член оргкомитета), Ольга Александровна Козырева (Член оргкомитета), Лев Дмитриевич Ламберов (Член оргкомитета), Вячеслав Альбертович Медведев (Член оргкомитета), Андрей Сергеевич Меньшиков (Член оргкомитета), Вячеслав Васильевич Скоробогацкий (Член оргкомитета), М. В. Сусоев (Член оргкомитета), Виктория Алексеевна Сухарева (Член оргкомитета), Эльвира Эвальдовна Сыманюк (Член оргкомитета), Дарья Алексеевна Томильцева (Член оргкомитета), К. А. Устиловский (Член оргкомитета), Алексей Владимирович Фаюстов (Член оргкомитета) & Ольга Валерьевна Язовская (Член оргкомитета)
19 ноя 2020 → 21 ноя 2020Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции
-
Международная научная конференция "uAnalytiCon-2019: Тождество, индивидные понятия и семантическое единообразие"
Дмитрий Владимирович Анкин (Председатель оргкомитета), Алексей Геннадьевич Кислов (Зам.председателя оргкомитета), Илья Андреевич Гущин (Член оргкомитета), Ольга Александровна Козырева (Член оргкомитета) & Лев Дмитриевич Ламберов (Член оргкомитета)
17 мая 2019 → 18 мая 2019Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции
-
Международная научная междисциплинарная конференция "uAnalytiCon-2018: Ментальное и границы языка"
Дмитрий Владимирович Анкин (Председатель оргкомитета), Илья Андреевич Гущин (Член оргкомитета), Алексей Геннадьевич Кислов (Член оргкомитета), Ольга Александровна Козырева (Член оргкомитета) & Лев Дмитриевич Ламберов (Член оргкомитета)
10 мая 2018 → 12 мая 2018Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции