Логика и речевое общение

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