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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Логический синтаксис и логическая семантика<.>)
Общее количество найденных документов : 33
Показаны документы с 1 по 30
 1-30    31-33 
1.


    Федоров, Б. И.
    Проблема классификации вопросов в эротетической логике [Текст] / Б. И. Федоров // Вестник Санкт-Петербургского университета. - 2008. - Вып. 1. - С. 95-107. - Библиогр. в сносках . - ISSN 1995-0055
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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


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

2.


    Аверьянов, Леонид Яковлевич (д-р социол. наук).
    Логика контекста [Текст] / Леонид Аверьянов // Безопасность Евразии. - 2007. - N 3. - С. 385-418 : ил., табл., схемы. - Библиогр. в подстроч. примеч. - Подстроч. примеч. . - ISSN 1607-7334
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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


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

3.


    Куслий, Петр Сергеевич (канд. филос. наук).
    Референция единичных терминов [Текст] / Петр Сергеевич Куслий // Вестник Томского государственного университета. Философия. Социология. Политология. - 2009. - N 4 (8). - С. 5-21. - Библиогр.: с. 20-21 (12 назв. ) . - ISSN 1998-863X
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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


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

4.


    Ладов, Всеволод Адольфович (д-р филос. наук).
    Ограничения на charity и возможность концептуальных различий в коммуникации [Текст] / Всеволод Адольфович Ладов // Вестник Томского государственного университета. Философия. Социология. Политология. - 2009. - N 4 (8). - С. 22-27. - Библиогр.: с. 27 (5 назв. ) . - ISSN 1998-863X. - ISSN 1995-0055
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

Кл.слова (ненормированные):
философия языка -- принцип доверия -- зарубежные философы -- коммуникация -- субъекты коммуникации
Аннотация: О Принципе Доверия в философии языка Дональда Дэвидсона.


Доп.точки доступа:
Дэвидсон, Д. Р. (философ США)

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

5.


    Куслий, Петр Сергеевич (канд. филос. наук).

    Референция единичных терминов [Текст] / Петр Сергеевич Куслий // Вестник Томского государственного университета. Философия. Социология. Политология. - 2009. - N 4 (8). - С. 5-21. - Библиогр.: с. 20-21 (12 назв. ) . - ISSN 1998-863X
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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

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

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

6.


    Ладов, Всеволод Адольфович (д-р филос. наук).

    Ограничения на charity и возможность концептуальных различий в коммуникации [Текст] / Всеволод Адольфович Ладов // Вестник Томского государственного университета. Философия. Социология. Политология. - 2009. - N 4 (8). - С. 22-27. - Библиогр.: с. 27 (5 назв. ) . - ISSN 1998-863X
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

Кл.слова (ненормированные):
философия языка -- принцип доверия -- зарубежные философы -- коммуникация -- субъекты коммуникации
Аннотация: О Принципе Доверия в философии языка Дональда Дэвидсона.


Доп.точки доступа:
Дэвидсон, Д. Р. (философ США)
Нет сведений об экземплярах (Нет сведений об источнике)

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

7.


    Ольховиков, Григорий Константинович.
    К новым онтологическим предпосылкам логики действия: анализ языка L0 [Текст] / Г. К. Ольховиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2009. - N 3 (69). - С. 5-17. - Библиогр.: с. 17 (5 назв. ) . - ISSN 1817-7174
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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

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

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

8.


    Пивоваров, Даниил Валентинович.
    Диалектико-семантический алгоритм: общая идея [Текст] / Д. В. Пивоваров // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 2 (91). - С. 5-10 . - ISSN 0131-2227
УДК
ББК 87.22 + 87.41
Рубрики: Философия
   Теория познания

   Логика

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

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

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

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

9.


    Стешенко, Николай Иванович (кандидат философских наук).
    Онтологические допущения в темпоральном описании изменяющихся объектов [Текст] / Н. И. Стешенко // Вестник Томского государственного университета. Философия. Социология. Политология. - 2011. - N 2 (14). - С. 63-69. - Библиогр.: с. 69 (14 назв. )
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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


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

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

10.


    Подберезная, Л. И.
    Противоположность и антонимия [Текст] / Л. И. Подберезная // Философия права. - 2008. - N 6. - С. 99-101. - Библиогр. в сносках
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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


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

11.


    Ляшенко, Дмитрий Николаевич.
    Семантика и структурная онтология [Текст] / Д. Н. Ляшенко // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - № 4 (97). - С. 3-16. - Библиогр.: с. 15-16 (24 назв. ) . - ISSN 0131-2227
УДК
ББК 87.22 + 87.21 + 87.41
Рубрики: Философия
   Теория познания

   Метафизика. Онтология

   Логика

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

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

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

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

12.


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

   Логика

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

   Языкознание

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

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


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

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

13.


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

   Логика

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

   Языкознание

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

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


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

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

14.


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

   Логика

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

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

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

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

15.


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

   Логика

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

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


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

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

16.


    Пивоваров, Даниил Валентинович.
    Язык и мировоззрение: идеи Ф. Маутнера и Л. Витгенштейна [Текст] / Д. В. Пивоваров // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2012. - № 1 (100). - С. 151-160. - Библиогр.: с. 160 (9 назв.) . - ISSN 2227-2291
УДК
ББК 87.3(4/8) + 87.25 + 87.41
Рубрики: Философия--Австрия, 19 в. 2-я пол.; 20 в. 1-я пол.
   Философия зарубежных стран

   Философия науки

   Логика--Австрия, 19 в. 2-я пол.; 20 в. 1-я пол.

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

Кл.слова (ненормированные):
история австрийской философии -- лингвофилософия -- язык -- философия языка -- языковая картина мира -- картина мира -- мировоззрение -- австрийские философы
Аннотация: Автор анализирует лингвофилософские идеи австрийских философов Фрица Маутнера и Людвига Витгенштейна, касающиеся природы языка и связи его с мировоззрением людей.


Доп.точки доступа:
Витгенштейн, Л. (1889-1951); Маутнер, Ф. (1849-1928)
Нет сведений об экземплярах (Источник в БД не найден)

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

17.


    Лобовиков, Владимир Олегович.
    От формальной логики к формальной этике [Текст] / В. О. Лобовиков // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2012. - № 4 (109). - С. 17-31. - Библиогр.: с. 30-31 (16 назв.) . - ISSN 2227-2291
УДК
ББК 87.41 + 87.4 + 87.7/72
Рубрики: Логика
   Логический синтаксис и логическая семантика

   Общие вопросы логики

   Этика

   Общие вопросы этики

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


Доп.точки доступа:
Остин, Дж. (философ)
Нет сведений об экземплярах (Источник в БД не найден)

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

18.


    Шангин, Василий Олегович (кандидат философских наук; ассистент).
    Параполное модельное множество [Текст] / В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2013. - № 4. - С. 80-87. - Библиогр.: с. 87 . - ISSN 0201-7385
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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

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

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

19.


    Кислов, Алексей Геннадьевич (кандидат философских наук).
    Семантика позволенного: шероховатости деонтического ландшафта [Текст] / А. Г. Кислов // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2013. - № 5 (122). - С. 128-142. - Библиогр.: с. 141-142 (29 назв.). - Статья является докладом, представленным на конференции "Стыки модерности: постсоциалистические институты, субъективности и дискурсы в сравнительной перспективе", прошедшей в Екатеринбурге в 2013 г. . - ISSN 2227-2291
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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

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

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

20.


    Лобовиков, Владимир Олегович (доктор философских наук).
    От логических квадрата и гексагона метатеоретических высказываний к формально-этическим квадрату и гексагону любви и ненависти [Текст] / В. О. Лобовиков // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2014. - № 3 (131). - С. 13-21. - Библиогр.: с. 20-21 (16 назв.) . - ISSN 2227-2291
УДК
ББК 87.41 + 87.7/72
Рубрики: Логика
   Логический синтаксис и логическая семантика

   Этика

   Общие вопросы этики

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

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

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

21.


    Копылова, Анастасия Олеговна (магистрант).
    Условия истинности модальных предложений в логике У. Оккама [Текст] / А. О. Копылова // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2014. - № 4 (134). - С. 144-154. - Библиогр.: с. 154 (20 назв.). - Статья является докладом, сделанным на конференции "uAnalytiCon-2014: информация - языки - знания". Конференция была организована в рамках Второго международного конвента ИСПН "Модернизация обществ и множественные модерности" (Екатеринбург, 2014 г. ) . - ISSN 2227-2291
УДК
ББК 87.21 + 87.41
Рубрики: Философия
   Метафизика. Онтология

   Логика

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

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


Доп.точки доступа:
Оккам, У. (философ ; 1285-1347)
Нет сведений об экземплярах (Источник в БД не найден)

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

22.


    Хизанишвили, Давид Васильевич (ассистент).
    Особенности когнитивного подхода к аргументации: аспекты моделирования [Текст] / Д. В. Хизанишвили // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2014. - № 4 (134). - С. 155-163. - Библиогр.: с. 162-163 (19 назв.). - Статья является докладом, сделанным на конференции "uAnalytiCon-2014: информация - языки - знания". Конференция была организована в рамках Второго международного конвента ИСПН "Модернизация обществ и множественные модерности" (Екатеринбург, 2014 г. ) . - ISSN 2227-2291
УДК
ББК 87.22 + 87.41
Рубрики: Философия
   Теория познания

   Логика

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

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


Доп.точки доступа:
Брюшинкин, В. Н. (логик ; 1953-2012); Хэмпл, Д. (логик)
Нет сведений об экземплярах (Источник в БД не найден)

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

23.


    Прокопов, К. Е.
    Языковые игры для формальной философии [Текст] / К. Е. Прокопов // Вестник Российского философского общества. - 2015. - № 1. - С. 39-40 . - ISSN 1606-6251
ГРНТИ
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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


Доп.точки доступа:
Национальный исследовательский университет "Высшая школа экономики"; Семинар "Формальная философия"; "Формальная философия", семинар
Нет сведений об экземплярах (Источник в БД не найден)

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

24.


    Лобовиков, Владимир Олегович (доктор философских наук).
    Принцип композициональности в формально-аксиологической семантике естественного языка. Ценностные функции от конечного числа ценностных переменных в двузначной алгебраической системе формальной аксиологии как денотаты слов и сложных словосочетаний естественного языка культуры [Текст] / В. О. Лобовиков // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2015. - № 2 (140). - С. 84-97. - Библиогр.: с. 96-97 (36 назв.) . - ISSN 2227-2291
УДК
ББК 87.22 + 87.41
Рубрики: Философия
   Теория познания

   Логика

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

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

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

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

25.


    Лобовиков, Владимир Олегович (доктор философских наук).
    Дискретная математическая модель формально-аксиологического аспекта учения Канта о необходимой противоречивости мышления о непознаваемом бытии вещей в себе [Текст] / В. О. Лобовиков // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2015. - № 3 (143). - С. 9-22. - Библиогр.: с. 21-22 (18 назв.) . - ISSN 2227-2291
УДК
ББК 87.21 + 87.41
Рубрики: Философия
   Метафизика. Онтология

   Логика

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

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


Доп.точки доступа:
Кант, И. (философ ; 1724-1804)
Нет сведений об экземплярах (Источник в БД не найден)

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

26.


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

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

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

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

27.


    Лобовиков, Владимир Олегович (доктор философских наук).
    Структурно-функциональная аналогия между логикой и чистым естествознанием a priori на примере третьего закона Ньютона [Текст] / В. О. Лобовиков // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2016. - Т. 11, № 4 (158). - С. 31-44. - Библиогр.: с. 42-44 (49 назв.) . - ISSN 2227-2291
УДК
ББК 87.22 + 87.41
Рубрики: Философия
   Теория познания

   Логика

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

Кл.слова (ненормированные):
Ньютона третий закон -- вектор (логика) -- векторные операции -- естествознание -- импликация -- инверсия вектора -- контрапозиции -- коррекция -- материальная импликация -- релевантная логика -- следование -- структурно-функциональная аналогия -- третий закон Ньютона -- философские термины
Аннотация: Рассматривается модифицированная дефиниция понятия "следование". Анализируются импликация и коррекция в логике как векторные операции, а третий закон Ньютона - как закон контрапозиции.

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

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

28.


    Лисанюк, Елена Николаевна (доктор философских наук).
    Логические аспекты многообразия агентов [Текст] / Е. Н. Лисанюк, А. М. Павлова // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2016. - Т. 11, № 4 (158). - С. 45-60. - Библиогр.: с. 59-60 (33 назв.) . - ISSN 2227-2291
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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


Доп.точки доступа:
Павлова, Александра Михайловна
Нет сведений об экземплярах (Источник в БД не найден)

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

29.


    Целищев, В. В.
    Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2016. - № 3. - С. 32-48. - Библиогр.: с. 47-48 (24 назв. ) . - ISSN 1560-7488
УДК
ББК 87 + 87.41
Рубрики: Философия
   Общие вопросы философии

   Логика

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

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


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

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

30.


    Целищев, В. В.
    Является ли теоретико-игровая семантика "естественной" для дружественно-независимой логики? [Текст] / В. В. Целищев // Философия науки. - 2017. - № 3. - С. 31-45. - Библиогр.: с. 43-45 (21 назв. ) . - ISSN 1560-7488
УДК
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика

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

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

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

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