Ламберов, Л. Д.
    Дефляционизм и неконсервативность: проблема релевантности? [Текст] / Л. Д. Ламберов // Философия науки. - 2012. - № 3. - С. 45-52. - Библиогр.: с. 51-52 (16 назв. ) . - ISSN 1560-7488
УДК
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки

   Математика

   Математическая логика

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

Нет сведений об экземплярах (Источник в БД не найден)




    Ламберов, Л. Д.
    Основания математики: теория множеств vs. Теория типов [Текст] / Л. Д. Ламберов // Философия науки. - 2017. - № 1. - С. 41-60. - Библиогр.: с. 60 (13 назв. ) . - ISSN 1560-7488
УДК
ББК 22.1
Рубрики: Математика
   Общие вопросы математики

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

Нет сведений об экземплярах (Источник в БД не найден)




    Ламберов, Л. Д.
    Модальности как фундаментальный элемент реальности: обзор книги "Williamsom on Modality" [Текст] / Л. Д. Ламберов // Философия науки. - 2018. - № 3. - С. 158-171. - Библиогр.: с. 171 (5 назв. ) . - ISSN 1560-7488
УДК
ББК 87.3(0)
Рубрики: Философия
   Всемирная история философии

Кл.слова (ненормированные):
компактные подмножества -- контингентизм -- метафизика -- множественности -- модальная логика -- модальная метафизика -- модальная наука -- модальности -- обзоры книг -- свободная логика -- структура объектов -- трехмерная модель -- фундаментальный элемент реальности -- эпистемологические модальности
Аннотация: Обзор книги "Williamson on Modality" содержит краткое изложение основных идей по вопросам модальной метафизики.

Нет сведений об экземплярах (Источник в БД не найден)




    Ламберов, Л. Д.
    Тоньше тонкого: обзор книги Эйстейна Линнебо " Thin obgects: ababstionist account" [Текст] / Л. Д. Ламберов // Философия науки. - 2021. - № 4. - С. 122-128. - Библиогр.: с. 128 (3 назв. ) . - ISSN 1560-7488
УДК
ББК 87
Рубрики: Философия
   Общие вопросы философии

Кл.слова (ненормированные):
абстракционизм -- концепции непротиворечивости -- логицизм -- модальность -- неологицизм -- обзоры книг
Аннотация: Представлен обзор книги Эйстейна Линнебо "Thin obgects: ababstionist account" и содержит краткое изложение основных идей каждой главы этой книги.


Доп.точки доступа:
Линнебо, Э.
Нет сведений об экземплярах (Источник в БД не найден)




    Ламберов, Л. Д.
    Строгость доказательства: "серая зона" между формализацией и практикой [Текст] / Л. Д. Ламберов // Философия науки. - 2023. - № 1. - С. 120-133. - Библиогр.: с. 131-133 (21 назв. ) . - ISSN 1560-7488
УДК
ББК 22.1 + 87.25
Рубрики: Математика
   Общие вопросы математики

   Философия

   Философия науки

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

Нет сведений об экземплярах (Источник в БД не найден)




    Ламберов, Л. Д.
    Экономика знаний: обзор книги Николаса Решера "Epistemology: An Introduction to the Theory of Knowledge" [Текст] / Л. Д. Ламберов // Философия науки. - 2023. - № 4. - С. 184-198. - Библиогр.: с. 197-198 (7 назв. ) . - ISSN 1560-7488
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

Кл.слова (ненормированные):
обзор книг -- прагматизм -- скептицизм -- теория познания -- экономическая выгода -- эпистемология
Аннотация: Представлен обзор книги Николаса Решера "Epistemology: An Introduction to the Theory of Knowledge" и содержит краткое изложение основных идей.


Доп.точки доступа:
Решер, Н. (философ)
Нет сведений об экземплярах (Источник в БД не найден)