Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальные понятия<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Пальчунов Д. Е.
Заглавие : Моделирование мышления и формализация рефлексии . 2 : Онтологии и формализация понятий
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2008. - N 2. - С.62-99. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 96-99 (32 назв. )
УДК : 11/12 + 159.9
ББК : 87.21 + 88.4
Предметные рубрики: Философия
Метафизика. Онтология
Психология
Отраслевая психология
Ключевые слова (''Своб.индексиров.''): компьютерное моделирование--исследование онтологий--мышление--образование новых понятий--интеллектуальная деятельность--человек (психология)--формальные понятия--сознание человека
Аннотация: Исследование методов формализации человеческого мышления для задач моделирования интеллектуальной деятельности человека на компьютере.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Суровцев, Валерий Александрович (докт. филос. наук)
Заглавие : Ф. П. Рамсей о количестве вещей в мире
Серия: Эпистемология
Разночтения заглавия :: Рамсей о количестве вещей в мире
Место публикации : Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 2 (10). - С.144-159. - ISSN 1998-863X (Шифр vvt4/2010/2). - ISSN 1998-863X
Примечания : Библиогр.: с. 159 (13 назв. )
УДК : 16
ББК : 87.4
Предметные рубрики: Логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): формальные понятия--тавтология--противоречие--количество вещей--программа логицизма--логицизм--аксиома бесконечности--бесконечность--философские доктрины--философия логики--язык логики--философы--математики--логики
Аннотация: Рассматривается идея Ф. П. Рамсея о возможности выражения в языке логики утверждений о количестве вещей в мире. Эта идея основана на концепции различения сказанного и показанного, разработанной Л. Витгенштейном. С точки зрения данной идеи обсуждается возможность трансформации некоторых утверждений Б. Рассела, выходящих за рамки логических предложений.
Найти похожие

Тематический навигатор

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