Аннотация

В данном учебном пособии рассматривается построение феноменологически ориентированных исчислений, которые позволяют интерпретировать рациональные моменты философских учений, разработанных такими мыслителями, как Э. Гуссерль, А. Мейнонг, К. Твардовский, Р. Ингарден, Ж.-П. Сартр. В книге построен новый класс логистических систем, для семантики которых характерны предметные области с интенциональными объектами. Он образует новое направление исследований современной неклассической логики – формальная феноменология.

Аннотация

В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.