Целищев, В. В.
    Эпистемические критерии доказательства / В. В. Целищев // Философия науки. - 2006. - N 4. - С. . 20-44. - Библиогр.: с. 43-44 (22 назв. )
ББК 87.4
Рубрики: Наука. Науковедение--Общие вопросы науки
   Логика--Общие вопросы логики

Кл.слова (ненормированные):
априоризм -- априорные знания -- доказательства (логика) -- компьютерные доказательства -- математические доказательства -- эмпирические знания -- эпистемология




    Самохвалов, К. Ф.
    Обзор аргументов против тезиса Черча / К. Ф. Самохвалов // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. )
ББК 87.4 + 22.12
Рубрики: Логика--Общие вопросы логики
   Математика--Математическая логика

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




    Головко, Н. В.
    К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода / Н. В. Головко // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. )
ББК 87 + 87.4
Рубрики: Философия--Общие вопросы философии
   Логика--Общие вопросы логики

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




    Ладов, В. А.
    Проблема следования правилу: поиски прямого решения / В. А. Ладов // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 151-152 (29 назв. )
ББК 87.252 + 87.4
Рубрики: Философия--Философские вопросы и методология отдельных наук
   Логика--Общие вопросы логики

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




    Болдырев, И. А.
    Диалектика бытия и ничто в "Науке логики" Гегеля : основные черты и проблемы спекулятивного метода / И. А. Болдырев // Вестник Московского университета. Сер. 7, Философия. - 2006. - N 3. - С. . 3-10. - Библиогр. в примеч.
ББК 87.3 + 87.4
Рубрики: Философия--История философии
   Логика--Общие вопросы логики

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




    Киященко, Л. П.
    [Рецензия] / Л. П. Киященко // Вопросы философии. - 2003. - N 4. - С. . 186-189. - 0; Логика. Парадоксы. Возможные миры: (Размышления о мышлении в девяти очерках). - Рец. на кн.: Сидоренко Е. А. Логика. Парадоксы. Возможные миры: (Размышления о мышлении в девяти очерках). М.: УРСС, 2002. 310 с.
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
логика -- рациональное мышление -- рациональность -- рецензии -- современная логика




    Касавин, Касавин Илья Теодорович (д-р филос. наук).
    Язык повседневности: между логикой и феноменологией / И. Т. Касавин // Вопросы философии. - 2003. - N 5. - С. . 14-29
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
естественный язык -- логика повседневности -- повседневность -- феноменология -- язык повседневности




    Воленский, Воленский Ян (д-р филос. наук).
    Детерминизм и логика / Пер. с англ. В. Г. Лахути // Вопросы философии. - 2003. - N 5. - С. . 71-80. - Библиогр. в примеч.
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
детерминизм -- логика -- радикальный детерминизм -- фатализм




    Васюков, В. Л.
    [Рецензия] / В. Л. Васюков // Вопросы философии. - 2003. - N 8. - С. . 174-178. - 1; Логико-философские труды. - Рец. на кн.: Смирнов В. А. Логико-философские труды. М.: Эдиториал УРСС, 2001. 592 с.
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
логика -- рецензии -- философы




    Карпенко, А. С.
    Современные исследования в философской логике / А. С. Карпенко // Вопросы философии. - 2003. - N 9. - С. . 54-75. - Библиогр.: с. 70-75
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
компьютеризация логики -- логика -- философия логики -- философская логика




    Герасимова, Ирина Алексеевна (д-р филос. наук).
    Аргументация как методология убеждения / И. А. Герасимова, М. М. Новоселов // Вопросы философии. - 2003. - N 10. - С. . 72-84. - Библиогр.
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
аргументация -- искусство аргументации -- теория аргументации


Доп.точки доступа:
Новоселов, Михаил Михайлович (д-р филос. наук)



    Вергаувен, Р. М
    Проблема логического отрицания у Аристотеля и Васильева / Р. М. А. Вергаувен, Е. А. Зайцев // Вопросы философии. - 2004. - N 8. - С. . 82-98
ББК 87
Рубрики: Философия--Общие вопросы философии
   Логика--Общие вопросы логики

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


Доп.точки доступа:
Зайцев, Е. А.



    Раушенбах, Борис Викторович (академик).
    Логика троичности / Б. В. Раушенбах // Экология и жизнь. - 2005. - N 1. - С. . 12-17
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
Троица -- Лица Троицы -- Пресвятая Троица -- триединость -- триады -- свойство триединости -- иконы




    Раушенбах, Борис Викторович (академик).
    Логика троичности / Б. В. Раушенбах // Экология и жизнь. - 2005. - N 1. - С. . 12-17
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
Троица -- Лица Троицы -- Пресвятая Троица -- триединость -- триады -- свойство триединости -- иконы




    Липовецкий, М.
    Памяти Марины Каневской : [Некролог] / М. Липовецкий // Новое литературное обозрение. - 2003. - N 60. - С. . 200-203
ББК 83 + 87.4
Рубрики: Литературоведение--Теория литературы
   Логика--Общие вопросы логики

Кл.слова (ненормированные):
европейская литература -- персоналии -- русское литературоведение -- семиотика -- филология




    Каневская, М.
    Семиотическая значимость зеркального отображения : Умберто Эко и Владимир Набоков / М. Каневская // Новое литературное обозрение. - 2003. - N 60. - С. . 204-213. - 0; Отчаяние
ББК 87.4 + 83.3(2Рос=Рус) + 83.3(4)
Рубрики: Логика--Общие вопросы логики
   Литературоведение--Литература Европы--Русская литература

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




    Целищев, В. В.
    Вычислимость и доказательство / В. В. Целищев // Философия науки. - 2006. - N 2. - С. . 32-51. - Библиогр.: с. 51 (7 назв. )
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
вычисления (логика) -- дедуктивные выводы -- доказательства (логика) -- логические операции




    Пещевицкий, Б. И.
    Проблема полноты классической механики - I / Б. И. Пещевицкий, А. Л. Симанов // Философия науки. - 2006. - N 2. - С. . 75-92. - Библиогр.: с. 92 (3 назв. )
ББК 87.4 + 22.21
Рубрики: Логика--Общие вопросы логики
   Механика--Теоретическая механика

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


Доп.точки доступа:
Симанов, А. Л.



    Целищев, В. В.
    Убедительность доказательства и рациональность мышления / В. В. Целищев // Философия науки. - 2006. - N 3. - С. . 49-64. - Библиогр.: с. 63-64 (12 назв. )
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
доказательства -- математическая практика -- математические доказательства -- рациональное мышление




    Черепанов, С, К.
    Логика и язык : (о релятивистском проекте логики) / С. К. Черепанов // Философия науки. - 2006. - N 3. - С. . 65-80. - Библиогр.: с. 79-80 (23 назв. )
ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
информационные потоки -- логическая семантика -- мышление -- язык (логика)