Поисковый запрос: (<.>S=Логика<.>) |
Общее количество найденных документов : 73
Показаны документы с 1 по 10 |
|
1. 
|
Бахтияров, К. И.
Французская логика 17-начала 19 столетий [Text] / К. И. Бахтияров // Вестник Московского университета. Сер. 7, Философия. - 2001. - N 6. - С. 29-42
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика французская -- Логика Пор-Рояля -- Декарт -- Кондильяк -- Траси А.-Л.Д -- Ланслен П.Ф. -- Кондорсе А.
Доп.точки доступа:
Паскаль, Б.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
2.
|
Ивлев, Ю. В.
Логика иреальность [Текст] / Ю. В. Ивлев // Философия и общество. - 2007. - N 4. - С. 165-174. - Библиогр. в сносках
ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
традиционная логика -- современная логика -- логическая антропология -- логическая онтология -- реальность -- предмет логики
Аннотация: Современная логика включает в себя, кроме логики класической, многие другие разделы (логику времени, логику норм, эпистимическую логику, релевантную, модальную и др. ), поэтому реальность с точки зрения современной логики расширяется.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
3.
|
Вишневский, А.
Некоторые допустимые правила для системы сократического вывода [Текст] / А. Вишневский, В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2007. - N 5. - С. 77-88. - Библиогр. в примеч. - Примеч.: с. 88
ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
логика -- сократический вывод -- сократическое доказательство -- картезианский метод
Аннотация: Обоснование системы сократических выводов посредством логики вопросов, анализирующей выводы, в которых в качестве посылок и заключений используются вопросы.
Доп.точки доступа:
Шангин, В. О.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
4.
|
Шалак, В. И.
О логическом следовании [Текст] / В. И. Шалак // Вестник Московского университета. Сер. 7, Философия. - 2007. - N 5. - С. 89-100. - Библиогр. в примеч. - Примеч.: с. 99-100
ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
логика -- логические понятия -- логическое следование -- способы умозаключений
Аннотация: О логическом следовании как основополагающем понятии логики.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
5.
|
Кузнецов, К. А.
В. Хесле и проблема развития логики Гегеля [Текст] / К. А. Кузнецов // Философия и общество. - 2008. - N 1. - С. 67-72. - Библиогр. в сносках
ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
логика -- объективность -- субъективность -- интерсубъективность
Аннотация: Опровергнуть логическое учение Гегеля не удавалось никому. В качестве одной из попыток решить эту проблему заслуживает замысел В. Хесле дополнить логику Гегеля категорией интерсубъективности.
Доп.точки доступа:
Гегель; Хесле \в.\
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
6.
|
Резников, В. М.
Проблемы синтеза и комбинирования логики и вероятности [Текст] / В. М. Резников // Философия науки. - 2007. - N 4. - С. 7-18. - Библиогр.: с. 18 (8 назв. )
ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
анализ суждений -- байесовизм -- вероятностная математика -- комбинирование формальных дисциплин -- логические противоречия -- формальная логика
Аннотация: Статья посвящена анализу эффективности комбинирования и синтеза в контексте решения вычислительных проблем.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
7.
|
Ладов, В. А.
Проблема следования правилу: поиски прямого решения [Текст] / В. А. Ладов // Философия науки. - 2008. - N 1. - С. 61-79. - Библиогр.: с. 78-79 (29 назв. )
ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
правило (логика) -- способ действия -- дефект-правила -- математическая индукция -- прямое решение -- скептическое решение
Аннотация: О необходимости продолжить поиск прямого решения проблемы следования правилу.
Доп.точки доступа:
Витгенштейн, Людвиг (австрийский философ ; 1889-1951) \л.\; Крипке, Сол Аарон (американский философ и логик) \с. А.\
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
8.
|
Бессонов, А. В.
Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
ББК 22.12 + 87.4
Рубрики: Логика
Математика
Математическая логика
Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
9.
|
Девяткин, Л. Ю.
Отношение логического следования и проблема многозначности [Текст] / Л. Ю. Девяткин // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 2. - С. 106-108. - Библиогр. в примеч. - Примеч.: с. 108
ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
логические следования -- многозначная логика -- пропозициональная логика -- классическая логика
Аннотация: Цель статьи - показать, что классы законов классической пропозициональной логики и формул, находящихся в отношении логического следования могут быть описаны средствами многозначной логики с определением логического следования, не сводимого к классическому.
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
10.
|
Красненкова, А. В.
Алгоритмы вывода для негативных силлогистик [Текст] / А. В. Красненкова // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 2. - С. 109-115. - Библиогр. в примеч. - Примеч.: с. 115
ББК 87.4
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
силлогистики -- силлогистические системы -- негативные силлогистики -- алгоритмы -- логические алгоритмы
Аннотация: Автором предпринята попытка написания алгоритма и его компьютерной реализации для различных силлогистических систем (на данном этапе - позитивных и негативных).
Имеются экземпляры в отделах:
всего 1 : ч.з. (1)
Свободны: ч.з. (1)
Найти похожие
|
|
|
|
БД "Книги"
Стандартный
Главная
Описание
Шлюз Z39.50