Суровцев, Валерий Александрович (докт. филос. наук). Ф. П. Рамсей о количестве вещей в мире [Текст] / В. А. Суровцев> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 2 (10). - С. 144-159. - Библиогр.: с. 159 (13 назв. ) . - ISSN 1998-863X
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): формальные понятия -- тавтология -- противоречие -- количество вещей -- программа логицизма -- логицизм -- аксиома бесконечности -- бесконечность -- философские доктрины -- философия логики -- язык логики -- философы -- математики -- логики Аннотация: Рассматривается идея Ф. П. Рамсея о возможности выражения в языке логики утверждений о количестве вещей в мире. Эта идея основана на концепции различения сказанного и показанного, разработанной Л. Витгенштейном. С точки зрения данной идеи обсуждается возможность трансформации некоторых утверждений Б. Рассела, выходящих за рамки логических предложений. Доп.точки доступа: Рамсей, Ф. П. (математик; логик ; 1903-1930); Витгенштейн, Л. (философ; логик ; 1889-1951); Рассел, Б. А. В. (математик; философ; логик ; 1872-1970) Нет сведений об экземплярах (Источник в БД не найден) |
Кислов, Алексей Геннадьевич (кандидат философских наук). К вопросу о языке логики утверждения событий [Текст] / А. Г. Кислов> // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2015. - № 4 (146). - С. 92-99. - Библиогр.: с. 98-99 (28 назв.). - Данная статья послужила основой для сообщения на конференции "uAnalytiCon-2015: объекты и структуры" (Екатеринбург, 2015). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru . - ISSN 2227-2275
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): язык логики -- семантика событий -- логические операторы -- логическая семантика -- пропозициональная логика -- доклады -- конференции -- операторы утверждения событий Аннотация: Рассматривается вопрос о семантических категориях языков с оператором утверждения событий. Нет сведений об экземплярах (Источник в БД не найден) |