Труды научно-исследовательского семинара логического центра ИФ РАН

книга

Труды научно-исследовательского семинара логического центра ИФ РАН

Здесь можно купить книгу "Труды научно-исследовательского семинара логического центра ИФ РАН " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

Выпуск 11

Форматы: PDF

Издательство: Институт философии РАН

Год: 1997

Место издания: Москва

ISBN: 5-201-01952-8

Страниц: 205

Артикул: 44931

Электронная книга

80 ₽

Купить и скачать

Читать фрагмент

Аннотация

Краткая аннотация книги "Труды научно-исследовательского семинара логического центра ИФ РАН"

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

Содержание

Содержание книги "Труды научно-исследовательского семинара логического центра ИФ РАН "

Предисловие
Смирнова Е. Д. К вопросу построения семантик формализованных и естественных языков
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

С книгой "Труды научно-исследовательского семинара логического центра ИФ РАН" читают