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

Базы данных


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

Вид поиска

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

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

2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Кислов, Алексей Геннадьевич (кандидат философских наук)
Заглавие : К вопросу о языке логики утверждения событий
Серия: Конференция "uAnalytiCon-2015: объекты и структуры"
Место публикации : Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2015. - № 4 (146). - С.92-99. - ISSN 2227-2275 (Шифр iuro/2015/4). - ISSN 2227-2275
Примечания : Библиогр.: с. 98-99 (28 назв.). - Данная статья послужила основой для сообщения на конференции "uAnalytiCon-2015: объекты и структуры" (Екатеринбург, 2015)
УДК : 16
ББК : 87.41
Предметные рубрики: Логика
Логический синтаксис и логическая семантика
Ключевые слова (''Своб.индексиров.''): доклады--конференции--логическая семантика--логические операторы--операторы утверждения событий--пропозициональная логика--семантика событий--язык логики
Аннотация: Рассматривается вопрос о семантических категориях языков с оператором утверждения событий.
Найти похожие

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