Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4: Поверх методологических границ

Мы, таким образом, ясно видим семиотический недостаток, общий для многих систем формальной логики – отказ от полной экспликации смысловых различений вплоть до семиотических. Собственно говоря, это было бы совсем нестрашно, если бы формальные тексты рассматривались не как язык, а просто как сокращенная запись, сопровождаемая по мере надобности естественно-языковыми комментариями, как это имеет место в большинстве математических работ. Однако, такое употребление формализма, разрушило бы цель, ради которой он был построен, привело бы к отказу от «идеала» – построения формального языка, не зависящего от естественно-языковой интерпретации символики.

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

Таким образом, вопрос о природе формальных логических систем естественно переносится из плана семиотики в план социолингвистики. К этому вопросу мы еще вернемся ниже.

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

Существует и прямо противоположное мнение [Hofstadter, 1979], подчеркивающее их решающую роль в развитии математической логики.

Что касается проблемы разрешения парадоксов, то они не могут, по-видимому, быть «разрешены» в рамках существующих формальных систем, а вопрос о пользе построения формальных систем, в которых подобные парадоксы не возникают, зависит от доказательных возможностей подобных систем [Френкель, Бар-Хиллел, 1966].

Конец ознакомительного фрагмента.

Текст предоставлен ООО «ЛитРес».

Прочитайте эту книгу целиком, купив полную легальную версию (https://www.litres.ru/kollektiv-avtorov/metod-mos-38616129/) на ЛитРес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.