Труды научно-исследовательского семинара логического центра ИФ РАН
Выпуск 11
ISBN: 5-201-01952-8
Страниц: 205
Артикул: 44931
Краткая аннотация книги "Труды научно-исследовательского семинара логического центра ИФ РАН"
Статьи сборника основаны на докладах, сделанных на семинарах в текущем году. Основное внимание авторов сосредоточено на актуальных проблемах неклассических логик, как на семантическом, так и синтаксическом уровне. В
статьях содержатся нестандартные формулировки логических систем и предлагаются оригинальные методологические решения, касающиеся формализованных языков и основанных на них теорий. Сборник представляет интерес для специалистов в области логики и ее приложений в различных научных дисциплинах.
Содержание книги "Труды научно-исследовательского семинара логического центра ИФ РАН"
Предисловие
Смирнова Е. Д. К вопросу построения семантик формализованных и естественных языков
Cидоренко Е. А. Семантика следования (для системы Е)
Карпенко A. С, Шалак В. И. Минимальные модели для нечеткой алгебры типа 2
Васюков В. Л. Метафора в прагматических матрицах
Карпенко A. С., Попов В. М. Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича L
Павлов С. А. Трехзначная логика Лукасевича и логика ложности
Болотов A. E., Бочаров В. Л., Горчаков А. Е. Алгоритмы поиска вывода в классической пропозициональной логике
Горемыкина Г. И. Интуиционистские варианты классических тeopeм
Герасимова И. А. Логический статус отрицания в деонтических ситуациях
Ивлев Ю. В. К теории логических модальностей
Сидоренко Е. А. П. Флоренский о совместимости логической противоречивости Священного писания с божественным его происхождением
Гриненко Г. В. Логико-семиотический анализ гимнов Авесты
Анисов A. M. Тезис Джемса и логика
Васюков В. Л. О феноменологической силлогистике
Карпенко А. С. Библиотечно-библиографическая классификация литературы по логике
Все отзывы о книге Труды научно-исследовательского семинара логического центра ИФ РАН
Отрывок из книги Труды научно-исследовательского семинара логического центра ИФ РАН
Определение D3. Формулы языка исчисления R верифицируются в мире W: исключительно в соответствии со следующими условиями: (1)-(8) определения D 1 , в которых одинарная стрелка заменяется двойной (9) Во всяком универсуме рассуждений w-, в котором верифицируется формула А, верифицируется формула Л=>В=>В. Или формально: VwflW/w. Э T(A*>B*>B)/w¡). Мы корректируем также соответствующим образом определение семантически истинной формулы: D4.NB sd f У^<Г(В^В)/^. Э T(B)/wt Покажем, что все теоремы исчисления R являются семантически истинными в смысле определения D4. Метатеорема МТ4. Если формула В есть теорема системы Я, то |=В в семантикеSe a для языка исчисления!?. Учитывая, что произведенные в семантике, построенной для 2?, изменения сохраняют возможность доказать семантическую истинность аксиом А1-А15 исчисления Я, а также свойство правил вывода оставлять такую истинность в силе, для доказательства МТ4 остается установить семантическую истинность аксиомы А16. Чтобы убедиться в этом, достаточно показать, что во всяком мире, в котором верифицируется формула А*>.В*>С9 всегда верифицируется такжеВ*М=>С. В соответсвии с пунктом (9) определения D3, в каждом мире, в котором верифицируется формула В, верифицируется В«>0>С, а значит и (Л=^.В=>С)=>и4=>С. Мы имеем, таким образом: Г(В)/н>. Э Г ( ( 4 ^ . В ^ С ) ^ Л ^ С ) / н > . (1) Частным случаем утверждения (1) является: TtA*.B*>C)/w¡ Э Т((В =>.64^В=>а^Л=>0=».В=>Л=»аУ^ (2) 72
С книгой "Труды научно-исследовательского семинара логического центра ИФ РАН" читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Бестселлеры нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Новинки книги нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
и мы свяжемся с вами в течение 15 минут
за оставленную заявку