Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:БД "Книги" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Ольховиков, Григорий Константинович$<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.


    Ольховиков, Григорий Константинович (канд. философ. наук).
    К вопросу о возможности редукции состояний дел к действиям: анализ логик LO и LI [Текст] / Г. К. Ольховиков // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 5. - С. 53-67. - Библиогр.: с. 67 (2 назв. )
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

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


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

2.


    Ольховиков, Григорий Константинович (канд. филос. наук, ассистент филос. фак-та Уральского гос. ун-та им. А. М. Горького).
    О VI Смирновских чтениях [Text] : обзор международной конференции, философский факультет МГУ, 17-19 июня 2009 г. / Г. К. Ольховиков // Эпистемология и философия науки. - 2009. - Т. 22, N 4. - С. 188-191 . - ISSN 1811-833Х
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

Кл.слова (ненормированные):
конференции -- международные конференции -- научные доклады -- доклады -- трехзначные логики -- философия математики -- логика -- континуальность -- универсальная логика -- неклассическая логика -- интуиционистская логика -- классическая логика
Аннотация: Обзор международной конференции "VI Смирновские чтения", прошедшей 17-19 июня 2009 г. на философском факультете Московского государственного университета. Дается краткое содержание докладов, заслушанных на конференции.


Доп.точки доступа:
Карпенко, А. С.; Непейвода, Н. Н.; Безье, И.; Васюков, В. Л.; Московский государственный университет \философский факультет\; Философский факультет Московского государственного университета; Международная конференция "VI Смирновские чтения"; Смирновские чтения, международная конференция

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

3.


    Агацци, Эвадро.
    Влияние Геделя на философию математики [Текст] / Э. Агацци ; пер. с англ. Г. К. Ольховиков // Эпистемология и философия науки. - 2010. - N 3. - С. 16-41. . - Библиогр. в сносках
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

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


Доп.точки доступа:
Ольховиков, Григорий Константинович (канд. филос. наук, ассистент филос. фак-та Уральского гос. ун-та им. А. М. Горького) \.\; Гедель, К. (1906-1978)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

4.


    Ольховиков, Григорий Константинович (кандидат философских наук ; ассистент кафедры онтологии и теории познания философского факультета Уральского государственного университета им. А. М. Горького).
    О реальных и мнимых недостатках определения знания как истинного и обоснованного мнения [Текст] / Г. К. Ольховиков // Эпистемология и философия науки. - 2010. - N 4. - С. 91-100.
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

Кл.слова (ненормированные):
научные дискуссии -- дискуссии -- наука -- теория познания -- познание -- философия науки -- знание (философия) -- научное знание -- истина -- проблема Геттиера -- Геттиера проблема
Аннотация: Дискуссия о современных проблемах понятия знания и критике Геттиера в частности, с Ламберовым Л. Д., опубликовавшем статью в этом же номере журнала.


Доп.точки доступа:
Ламберов, Л. Д. (ассистент кафедры онтологии и теории познания Уральского государственного университета им. А. М. Горького); Геттиер, Э.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

5.


    Ольховиков, Григорий Константинович (кандидат философских наук ; ассистент кафедры онтологии и теории познания философского факультета Уральского государственного университета им. А. М. Горького).
    Традиционная и современная логика в университетском образовании [Текст] / Г. К. Ольховиков // Эпистемология и философия науки. - 2010. - N 4. - С. 235-239. . - Библиогр. в сносках. - Рец. на кн.: Конверский А. Е. Логика традиционная и современная / А. Е. Конверский. - М.: Идея-Пресс, 2010. - 380 с.
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

Кл.слова (ненормированные):
рецензии -- наука -- логика -- гуманитарные специальности -- аналитическая философия -- учебники


Доп.точки доступа:
Конверский, А. Е. (доктор философских наук ; профессор ; декан философского факультета Киевского Национального Университета им. Т.Шевченко)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

6.


    Ольховиков, Григорий Константинович (кандидат философских наук ; ассистент кафедры онтологии и теории познания философского факультета Уральского государственного университета им. А. М. Горького).
    Метаязыковые дескрипции и решение для задачи Крипке [Текст] / Г. К. Ольховиков // Эпистемология и философия науки. - 2012. - № 2. - С. 93-106. - Библиогр. в сносках . - ISSN 1811-833Х
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

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


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

Найти похожие

 
Статистика
за 10.07.2024
Число запросов 68894
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)