Гуменюк, О. А.
    Язык науки в зеркале философской рефлексии [Текст] / О. А. Гуменюк // Вестник Тверского государственного университета. - 2009. - N 7 (Филология). - С. 174-178. - Библиогр.: с. 178 (8 назв. )
УДК
ББК 81
Рубрики: Языкознание
   Общее языкознание

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





    Филипповский, Виталий Александрович.
    Понятие существования в формальных языках [Текст] / В. А. Филипповский // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2012. - № 1 (100). - С. 25-32. - Библиогр.: с. 31-32 (10 назв.) . - ISSN 2227-2291
УДК
ББК 87.21 + 87.41 + 81
Рубрики: Философия
   Метафизика. Онтология

   Логика

   Логический синтаксис и логическая семантика

   Языкознание

   Теория и философия языка

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


Доп.точки доступа:
Рассел, Б. (1872-1970); Куайн, У. (1908—2000)
Нет сведений об экземплярах (Источник в БД не найден)




    Хлебалин, А. В.
    Модельно-теоретическая семантика, принцип композициональности и определение истины [Текст] / А. В. Хлебалин // Философия науки. - 2015. - № 4. - С. 16-28. - Библиогр.: с. 28 (11 назв. ) . - ISSN 1560-7488
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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

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




    Гаврилов, Сергей Николаевич (кандидат юридических наук; кандидат исторических наук).
    "Новый язык для нового закона": машиночтение права в контексте семиотической парадигмы [Текст] / С. Н. Гаврилов // Актуальные проблемы российского права. - 2022. - Т. 17, № 10. - С. 124-140. - Библиогр. в конце ст. - полный текст статьи см. на сайте https://www.elibrary.ru . - ISSN 1994-1471
УДК
ББК 67.0
Рубрики: Право
   Общая теория права

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

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