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

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

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

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

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

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

26 ноя 2010 → …

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

Type Theory Математика
Program Correctness Математика
Set Theory Математика
Deflationism Гуманитарные науки и искусство
Deflationary Theories Гуманитарные науки и искусство
Classical Logic Математика
Theory of Truth Гуманитарные науки и искусство
Quantification Математика

Сеть Недавняя внешняя коллаборация на уровне стран. Углубитесь в детали нажатием на точки.

Проекты 2008 2021

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

ScalPL : A Scalable Programming Language

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

01/10/200830/09/2014

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

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

  • 17 Статья
  • 1 Справочник/Словарь/Антология

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

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

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

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

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

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

Type Theory
Classical Logic
Set Theory
Quantification
Philosophy
Открытый доступ
Program Correctness
Formal Proof
Proof of correctness
Categorical
Context

УНИВАЛЕНТНОСТЬ И ПОНЯТИЕ СТРУКТУРЫ В ФИЛОСОФИИ МАТЕМАТИКИ

Ламберов, Л. Д., 2018, В : СИБИРСКИЙ ФИЛОСОФСКИЙ ЖУРНАЛ. 16, 1, стр. 20-32 13 стр.

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

Philosophy of Mathematics
Foundations of Mathematics
Constructivist
Axiom
Isomorphism

ОСНОВАНИЯ МАТЕМАТИКИ: ТЕОРИЯ МНОЖЕСТВ VS. ТЕОРИИ ТИПОВ

Ламберов, Л. Д., 2017, В : Философия науки. 1 (72), стр. 41-60 20 стр.

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

Type Theory
Set Theory
Homotopy Theory
Homotopy Type

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

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

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

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

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

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

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

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