Автор: Пользователь скрыл имя, 09 Апреля 2015 в 13:04, лекция
Исследователей, склонных допускать наличие указанного расхождения, можно, как правило, отнести к одной из двух конкурирующих групп, которые я назову, соответственно, формалистической и неформалистической. Вот набросок достаточно типичной позиции формалиста. Постольку, поскольку логики занимаются построением самых общих схем надежного и эффективного логического вывода, формальная символика обладает решающим преимуществом перед соответствующими выражениями естественного языка.