Djvu "коллектив - Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск X"

Название:
Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск X
Автор:
Тип работы:
djvu
Форматы:
PDF
FB2
DJVU
Размер:
4,63 Мб
1.6129
62
1
Скачать
Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.