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

Базы данных


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

Вид поиска

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


    Суровцев, Валерий Александрович (докт. филос. наук).
    Ф. П. Рамсей о количестве вещей в мире [Текст] / В. А. Суровцев // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 2 (10). - С. 144-159. - Библиогр.: с. 159 (13 назв. ) . - ISSN 1998-863X
УДК
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
формальные понятия -- тавтология -- противоречие -- количество вещей -- программа логицизма -- логицизм -- аксиома бесконечности -- бесконечность -- философские доктрины -- философия логики -- язык логики -- философы -- математики -- логики
Аннотация: Рассматривается идея Ф. П. Рамсея о возможности выражения в языке логики утверждений о количестве вещей в мире. Эта идея основана на концепции различения сказанного и показанного, разработанной Л. Витгенштейном. С точки зрения данной идеи обсуждается возможность трансформации некоторых утверждений Б. Рассела, выходящих за рамки логических предложений.


Доп.точки доступа:
Рамсей, Ф. П. (математик; логик ; 1903-1930); Витгенштейн, Л. (философ; логик ; 1889-1951); Рассел, Б. А. В. (математик; философ; логик ; 1872-1970)
Нет сведений об экземплярах (Источник в БД не найден)

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

2.


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

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

Нет сведений об экземплярах (Источник в БД не найден)

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

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