Поисковый запрос: (<.>A=Ламберов, Л. Д.$<.>) |
Общее количество найденных документов : 7
Показаны документы с 1 по 7 |
1.
|
Ламберов, Л. Д. Дефляционизм и неконсервативность: проблема релевантности? [Текст] / Л. Д. Ламберов> // Философия науки. - 2012. - № 3. - С. 45-52. - Библиогр.: с. 51-52 (16 назв. )
. - ISSN 1560-7488ББК 87.25 + 22.12 Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): дефляционизм -- истина -- неконсервативность -- адекватность -- теория истины -- истины теория Аннотация: Статья посвящена рассмотрению дефляционных теорий истины и проблемы неконсервативности. Ставится вопрос о релевантности аргументов от неконсервативности при рассмотрении дефляционизма.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
2.
|
Ламберов, Л. Д. Основания математики: теория множеств vs. Теория типов [Текст] / Л. Д. Ламберов> // Философия науки. - 2017. - № 1. - С. 41-60. - Библиогр.: с. 60 (13 назв. )
. - ISSN 1560-7488ББК 22.1 Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): гомотопическая теория типов -- гомотопия -- основания математики -- теория множеств -- теория типов Аннотация: Рассматривается краткая история развития теории множеств как оснований математики и краткая история становления теории типов. Приводится подробное сравнение теории множеств и теории типов, демонстрируются проблемы теории множества, а также преимущества теории типов как оснований математики. Кроме того, в статье обсуждаются прагматический аспект теории типов как оснований математики и кратко рассматривается современный вариант теории типов, а именно гомотопическая теория типов.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
3.
|
Ламберов, Л. Д. Модальности как фундаментальный элемент реальности: обзор книги "Williamsom on Modality" [Текст] / Л. Д. Ламберов> // Философия науки. - 2018. - № 3. - С. 158-171. - Библиогр.: с. 171 (5 назв. )
. - ISSN 1560-7488ББК 87.3(0) Рубрики: Философия Всемирная история философии Кл.слова (ненормированные): компактные подмножества -- контингентизм -- метафизика -- множественности -- модальная логика -- модальная метафизика -- модальная наука -- модальности -- обзоры книг -- свободная логика -- структура объектов -- трехмерная модель -- фундаментальный элемент реальности -- эпистемологические модальности Аннотация: Обзор книги "Williamson on Modality" содержит краткое изложение основных идей по вопросам модальной метафизики.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
4.
|
Ламберов, Л. Д. Тоньше тонкого: обзор книги Эйстейна Линнебо " Thin obgects: ababstionist account" [Текст] / Л. Д. Ламберов> // Философия науки. - 2021. - № 4. - С. 122-128. - Библиогр.: с. 128 (3 назв. )
. - ISSN 1560-7488ББК 87 Рубрики: Философия Общие вопросы философии Кл.слова (ненормированные): абстракционизм -- концепции непротиворечивости -- логицизм -- модальность -- неологицизм -- обзоры книг Аннотация: Представлен обзор книги Эйстейна Линнебо "Thin obgects: ababstionist account" и содержит краткое изложение основных идей каждой главы этой книги.
Доп.точки доступа: Линнебо, Э. Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
5.
|
Ламберов, Л. Д. Строгость доказательства: "серая зона" между формализацией и практикой [Текст] / Л. Д. Ламберов> // Философия науки. - 2023. - № 1. - С. 120-133. - Библиогр.: с. 131-133 (21 назв. )
. - ISSN 1560-7488ББК 22.1 + 87.25 Рубрики: Математика Общие вопросы математики Философия Философия науки Кл.слова (ненормированные): математическая практика -- математическое доказательство -- понимание доказательства -- строгость доказательства -- философия математики -- формализация Аннотация: Рассматриваются одно из основных требований, предъявляемых к математическим доказательствам, являющейся требование строгости. Строгость гарантирует наличие логической связи между доказываемым положением и принимаемыми допущениями или аксиомами. Традиционно считается, что строгость математического доказательства обеспечивается обращением к формализации. Однако такое понимание не соответствует математической практике.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
6.
|
Ламберов, Л. Д. Экономика знаний: обзор книги Николаса Решера "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" и содержит краткое изложение основных идей.
Доп.точки доступа: Решер, Н. (философ) Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
7.
|
Ламберов, Л. Д. Три вида обозримости математического доказательства [Текст] / Л. Д. Ламберов> // Философия науки. - 2024. - № 1. - С. 57-66. - Библиогр.: с. 64-66 (11 назв. )
. - ISSN 1560-7488ББК 22.1 Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): глобальная обозримость -- локальная обозримость -- математическое доказательство -- мезоскопическая обозримость -- обозримость математического доказательства Аннотация: Рассматриваются три вида обозримости: глобальная, локальная и "мезоскопическая".
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
|