Расширенный поиск
Труды научно-исследовательского семинара Логического центра Института философии РАН. 1996
1997Труды научно-исследовательского семинара Логического центра Института философии РАН. 1996 / РАН. Ин-т философии; Ред. Е.Д.Смирнова. М.: ИФ РАН, 1997. 205 с.
Предоставлено Институтом философии РАН
-
Аннотация
-
Содержание
Статьи сборника основаны на докладах, сделанных на семинарах в текущем году. Основное внимание авторов сосредоточено на актуальных проблемах неклассических логик, как на семантическом, так и синтаксическом уровне. В статьях содержатся нестаНдартные формулировки логических систем и предлагаются оригинальные методологические решения, касающиеся формализованных языков и основанных на них теорий.
Сборник представляет интерес для спеuиалистов в области логики и ее приложений в различных научных дисциплинах.
Предисловие
Смирнова Е.Д. К вопросу построения семантик формализованных и естественных языков
Сидоренко Е.А. Семантика следования (для системы Е)
Карпенко А.С., Шалак В.И. Минимальные модели для нечеткой алгебры типа 2
Васюков В.Л. Метафора в прагматических матрицах
Карnенко А. С., Попов В.М. Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича Lw
Павлов C.А. Трехзначная логика Лукасевича и логика ложности
Болотов А.Е.. Бочаров В.А., Горчаков А.Е. Алгоритмы поиска вывода в классической пропозициональной логике
Горемыкина г.и. Интуиционистские варианты классических теорем
Герасимова И.А. Логический статус отрицания в деонтических ситуациях
Ивлев Ю.В. К теории логических модальностей
Сидоренко Е.А. П. ФлоренскиЙ о совместимости логической противоречивости Священного писания с божественным его происхождением
Гриненко Г.В. Логико-семиотический анализ гимнов Авесты
Анисов А.М. Тезис Джемса и логика
Васюков В.Л. О феноменологической силлогистике
Карпенко А.С. Библиотечно-библиографическая классификация литературы по логике
Выделите её и нажмите Ctrl + Enter