Гуменюк, О. А. Язык науки в зеркале философской рефлексии [Текст] / О. А. Гуменюк> // Вестник Тверского государственного университета. - 2009. - N 7 (Филология). - С. 174-178. - Библиогр.: с. 178 (8 назв. )
Рубрики: Языкознание Общее языкознание Кл.слова (ненормированные): язык науки -- естественные языки -- динамика языка -- формальные языки Аннотация: Язык науки в контексте постнеклассической рациональности. |
Филипповский, Виталий Александрович. Понятие существования в формальных языках [Текст] / В. А. Филипповский> // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2012. - № 1 (100). - С. 25-32. - Библиогр.: с. 31-32 (10 назв.) . - ISSN 2227-2291
Рубрики: Философия Метафизика. Онтология Логика Логический синтаксис и логическая семантика Языкознание Теория и философия языка Кл.слова (ненормированные): формальные языки -- существование -- теория существования -- логика существования -- языковая система логики -- теория определенных дескрипций -- логическая дескрипция -- зарубежные философы Аннотация: Автор исследует понятие существования в формальных языках на примерах теории определенных дескрипций английского философа Бертрана Рассела и теории существования американского философа Уилларда Куайна. Доп.точки доступа: Рассел, Б. (1872-1970); Куайн, У. (1908—2000) Нет сведений об экземплярах (Источник в БД не найден) |
Хлебалин, А. В. Модельно-теоретическая семантика, принцип композициональности и определение истины [Текст] / А. В. Хлебалин> // Философия науки. - 2015. - № 4. - С. 16-28. - Библиогр.: с. 28 (11 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): семантические понятия -- истина -- принцип композициональности -- формальные языки -- естественные языки Аннотация: На основе противопоставления универсалистской и теоретико-модельной традиций исследованы имплицитно принимаемые допущения в истории развития логической семантики. Подробно освещается становление теоретико-модельного подхода в связи с проблемой выразимости семантических понятий. Нет сведений об экземплярах (Источник в БД не найден) |
Гаврилов, Сергей Николаевич (кандидат юридических наук; кандидат исторических наук). "Новый язык для нового закона": машиночтение права в контексте семиотической парадигмы [Текст] / С. Н. Гаврилов> // Актуальные проблемы российского права. - 2022. - Т. 17, № 10. - С. 124-140. - Библиогр. в конце ст. - полный текст статьи см. на сайте https://www.elibrary.ru . - ISSN 1994-1471
Рубрики: Право Общая теория права Кл.слова (ненормированные): цифровое нормотворчество -- цифровизация права -- машиночитаемое право -- машиночтение права -- машиноисполнимое право -- правовая семиотика -- семиотическая парадигма -- знаковые системы -- естественные языки -- формальные языки Аннотация: Рассматриваются вопросы, связанные с машиночтением права, а также знаковыми системами и знаками как материалом, описывающим (характеризующим) объект машиночтения. Предложен авторский подход к процессу машиночтения права, его объекту и предмету. Представлены модель обеспечения машиночитаемости в семиотической парадигме и варианты возможных стратегий обеспечения машиночитаемости. Рассматриваются преимущества и риски выбора тактики цифрового нормотворчества, развивающегося на основе двух подходов: "от модели" (формирование нормативных правовых актов на основе цифровых моделей) и "от бумаги" (трансформация классического бумажного законодательства в правила, пригодные одновременно для использования как человеком, так и машиной). Делается вывод о том, что ядро проблемы машиночтения права находится не в области подбора технических способов и инструментов реализации машиночтения, а в сфере разрешения ключевых вопросов правопонимания. Нет сведений об экземплярах (Источник в БД не найден) |