Название: Исследование логических систем
Автор: Таванец П.В. (ред.).
Издательство: М.: Наука
Год: 1970
Страниц: 334
Формат: djvu
Размер: 23,7 Мб
Язык: Русский

Наряду с арифметическими и алгебраическими методами в истории математической логики развивался геометрический (графический) аппарат, прежде всего для наглядной иллюстрации логических соотношений. Логические методы исследования базируются на применении в процессе исследований формальной логики. Основная цель логики состоит в исследовании того, каким образом из одних утверждений могут быть выведены другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Логический метод исследования – метод научного воспроизведения развития сложного объекта (системы) средствами теоретического анализа. Методы логического анализа включают в себя методологический подход к плодам познавательной деятельности, то есть исследование знаний людей, все его формы и виды, причем знание выражается в естественных и искусственных средствах языка, основываясь на законах логики. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. В книге исследуются взаимоотношения формально-логических систем и способы их классификации.