Название: Труды научно-исследовательского семинара Логического центра Института философии РАН 1996 г.
Автор: Коллектив авторов
Издательство: М.: ИФРАН
ISBN 5-201-01952-8 Год: 1997
Страниц: 205
Формат: DjVu
Размер: 3,37 Мб
Качество: отличное (отсканированные страницы, OCR, содержание)
Язык: Русский
Статьи сборника основаны на докладах, сделанных на семинарах в 1996 году. Основное внимание авторов сосредоточено на актуальных проблемах неклассических логик, как на семантическом, так и синтаксическом уровне. В статьях содержатся нестандартные формулировки логических систем и предлагаются оригинальные методологические решения, касающиеся формализованных языков и основанных на них теорий.
Сборник представляет интерес для специалистов в области логики и ее приложений в различных научных дисциплинах.
СОДЕРЖАНИЕ
К вопросу построения семантик формализованных и естественных языков
Семантика следования (для системы Е)
Минимальные модели для нечеткой алгебры типа 2
Метафора в прагматических матрицах
Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича L(w)
Трехзначная логика Лукасевича и логика ложности
Алгоритмы поиска вывода в классической пропозициональной логике
Интуиционистские варианты классических теорем
Логический статус отрицания в деонтических ситуациях
К теории логических модальностей
П. Флоренский о совместимости логической противоречивости Священного писания с божественным его происхождением
Логико-семиотический анализ гимнов Авесты
Тезис Джемса и логика
О феноменологической силлогистике
Библиотечно-библиографическая классификация литературы по логике
| 
