полнота | Библиотека ELiS

ПОЛНОТА ЛОГИЧЕСКИХ И МАТЕМАТИЧЕСКИХ ФОРМАЛЬНЫХ СИСТЕМ: ВИДЫ И СПЕЦИФИКА

Опубликовано ср, 09/04/2024 - 23:54 пользователем Гость (не проверено)

Рассматривается расширение понятия полноты логической системы. Предполагается, что общепринятая практика соотнесения понятия полноты в основном с логикой первого порядка обязана чисто историческим обстоятельствам. Показано, что при использовании логики первого порядка в качестве средства математического теоретизирования полнота логической системы не отражает важных особенностей применения логики к математике. Продемонстрировано, что различение дедуктивной, семантической и дескриптивной полноты приводит к новому пониманию роли и природы логики.

СЕМАНТИКА ДЛЯ ГИПЕРКЛАССИЧЕСКОЙ ЛОГИКИ И ПРОБЛЕМА ОТРИЦАНИЯ В ФОРМАЛЬНОМ ЯЗЫКЕ

Опубликовано ср, 09/04/2024 - 23:54 пользователем Гость (не проверено)

Открыть

Применение теоретико-игровой семантики для логики первого порядка основано на определенного рода семантических предпосылках, напрямую связанных с асимметрией определения истины и лжи как выигрышных стратегий Верификатора (Абеляра) и Фальсификатора (Элоизы). Эта асимметрия становится явной при применении GTS к IFL. Законность применения GTS при переносе ее на IFL основана на адекватности GTS для FOL. Но это обстоятельство не является основанием верить в то, что можно надеяться на такую же адекватность в случае IFL. Тогда возникает вопрос, а является ли GTS естественной семантикой для IFL.

Некоторые оценки динамики пополнения книжного фонда БЕН РАН

Опубликовано чт, 08/25/2022 - 13:08 пользователем Гость (не проверено)

Открыть

В пятилетнем интервале (2013-2017) анализируются данные о потоке непериодических изданий, поступающих в фонды централизованной системы Библиотеки по естественным наукам Российской академии наук (БЕН РАН). Получены общие ежегодные количественные характеристики поступлений по отечественным и зарубежным изданиям. Показано резкое падение количества поступающих зарубежных, а также переводных изданий по естественным и точным наукам.