Бабкин, Э. (канд. техн. наук; проф.). Использование онтологий в задачах семантического анализа [Текст] / Э. Бабкин, А. Шишин // Проблемы теории и практики управления. - 2009. - N 9. - С. 71-79. . - Библиогр.: с. 79 (5 назв. )
Рубрики: Логика Логический синтаксис и логическая семантика Вычислительная техника Прикладные информационные (компьютерные) технологии в целом Кл.слова (ненормированные): семантический анализ -- онтологии -- автоматическая обработка текста -- модели представления знаний -- анализ текстов -- веб-онтологии -- OWL -- языковые конструкции Аннотация: При автоматической обработке слаботипизированных текстов представление знаний реализуется на основе набора онтологий, которые, выполняя роль логических центров предметных областей, призваны объединять вокруг себя релевантные тексты и обеспечивать наличие кластеров. Доп.точки доступа: Шишин, А. (аспирант ГУ-ВШЭ) Имеются экземпляры в отделах: всего 1 : эк. (1) Свободны: эк. (1) |
Преловский, Николай Николаевич (аспирант сектора логики Института философии РАН). Проблема редукции многозначной логики [Текст] / Н. Н. Преловский // Эпистемология и философия науки. - 2011. - N 2. - С. 155-164. . - Библиогр. в сносках
Рубрики: Философия Философия науки Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): логики -- бивалентные семантики -- картезианская логика -- многозначные логики -- Сушко тезис -- тезис Сушко Аннотация: В статье рассматривается связь произвольной логики с существованием алгоритма построения бивалентной семантики в стиле Сушко для этой логики. Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, В. В. Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2016. - № 3. - С. 32-48. - Библиогр.: с. 47-48 (24 назв. ) . - ISSN 1560-7488
Рубрики: Философия Общие вопросы философии Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): истина -- квантификация -- объектная квантификация -- онтологические допущения -- подстановочная квантификация -- семантика -- числовые знаки Аннотация: Рассматриваются проблемы семантики для постановочной квантификации в сопоставлении с объектной квантификацией, а также сопутствующие онтологические допущения теорий. Анализируются три затруднения с подстановочной квантификацией, а именно, аргумент о недостаточности имен, аргумент об избыточности числовых знаков, аргумент о непоименованных объектах. Доп.точки доступа: Бессонов, А. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Целищев, В. В. Является ли теоретико-игровая семантика "естественной" для дружественно-независимой логики? [Текст] / В. В. Целищев // Философия науки. - 2017. - № 3. - С. 31-45. - Библиогр.: с. 43-45 (21 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): Тарского семантика -- дружественно-независимая логика -- композициональность -- логика первого порядка -- семантика Тарского -- сколемизация -- теоретико-игровая семантика Аннотация: Рассматривается вопрос о том, в какой степени теоретико-игровая семантика естественна для дружественно-независимой логики. Показано, что теоретико-игровая семантика является альтернативной семантикой для логики первого порядка семантике Тарского. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Целищев, В. В. Семантическая традиция и доктрина аналитической философии: концептуальная роль логических констант [Текст] / В. В. Целищев // Философия науки. - 2017. - № 4. - С. 31-43. - Библиогр.: с. 42-43 (20 назв. ) . - ISSN 1560-7488
Рубрики: Философия Метафизика. Онтология Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): аналитическая философия -- логики -- логические константы -- логические формы -- логический атомизм -- семантические понятия -- философы Аннотация: Рассмотрена трактовка концепции логических констант в период логического атомизма Рассела и Витгенштейна, а также в современной логике. Выдвинут тезис, согласно которому философские дискуссии в отношении этого понятия привели к заключению, что синтаксические выразительные средства логических языков были пригодны для формулировки семантических понятий. Показано, что анализ понятия логических констант сыграл важную роль в семантической традиции аналитической философии. Доп.точки доступа: Рассел, Б. (философ; логик); Витгенштейн, Л. (философ; логик) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Целищев, В. В. Философские концепции языка vs математическая логика в семантической традиции [Текст] / В. В. Целищев // Философия науки. - 2018. - № 1. - С. 36-47. - Библиогр.: с. 45-47 (16 назв. ) . - ISSN 1560-7488
Рубрики: Философия Метафизика. Онтология Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): аналитическая философия -- константы -- логики -- логические константы -- логические формы -- логический атомизм -- семантические понятия -- философия языка -- философы Аннотация: Рассмотрена трактовка концепции логических констант в период логического атомизма Рассела и Витгенштейна, а также в современной логике. Выдвинут тезис, согласно которому философские дискуссии в отношении этого понятия привели к заключению, что синтаксические выразительные средства логических языков были пригодны для формулировки семантических понятий. Показано, что анализ понятия логических констант сыграл важную роль в семантической традиции аналитической философии. Доп.точки доступа: Рассел, Б. (философ; логик); Витгенштейн, Л. (философ; логик) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Нестеров, А. Ю. Скептицизм, знание и контекст [Текст] / А. Ю. Нестеров // Философия науки. - 2020. - № 2. - С. 28-44. - Библиогр.: с. 42-44 (20 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): неопределенность -- проективный семиозис -- рецептивный семиозис -- семиотика -- семиотический круг -- семиотическое моделирование Аннотация: Рассматривается проблема неопределенности в рамках полного семиотического круга репрезентации содержаний сознания, включающего в себя познание как рецептивный семиозис и деятельность как проективный семиозис. Цель представленного рассуждения - охарактеризовать в общем виде место и роль неопределенности для каждой ступени рецептивного и проективного семиозиса, продемонстрировать семиотическую природу неопределенности в процессах коммуникации. Метод рассуждения - трансцендентальная семиотика. Имеются экземпляры в отделах: всего 1 : н.з. (1) Свободны: н.з. (1) |