12. Роль формализации в логике и научном познании

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

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

Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство – это идеальное и неоспоримое доказательство.

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

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

13. Паралогизмы и софизмы

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

Китайский софист Гунсунь Лун верхом на белой лошади подъехал к пограничной страже. Начальник стражи заявил, что переходить границу могут только люди, переводить лошадей запрещено. На что Гунсунь Лун заметил: «Лошадь может быть рыжей, а белая лошадь не может быть рыжей, значит, это вовсе не лошадь». Удивленный таким доводом начальник стражи пропустил софиста вместе с лошадью. Софизм способен дезорганизовать другую сторону в споре.

Возникновение софизмов связывается с философией софистов. Софисты обучали за деньги искусству вести полемику. Для того чтобы доказать ту или иную точку зрения, они части прибегали к нарушению логических законов. Термин «софизм» был впервые введен Аристотелем, который охарактеризовал софистику как мнимую мудрость.

Условно софистов можно разделить на две группы:

1) старшие (вторая половина V в. до н. э. – Протагор, Антифронт и др.);

2) младшие (первая половина IV в. до н. э. – Алкидамант, Фразимах и др.).

Древние софизмы сформулированы в тот период, когда логики как таковой еще не было. И именно с софистов началось осмысление и изучение доказательства и опровержения.

В основном анализ софизма не может быть завершен раскрытием логической или фактической ошибки, которая в нем обязательно допущена. Еще нужно уяснить проблемы, стоящие за софизмом, а также выяснить, что послужило началом возникновения недоумения и беспокойства, которое он вызывает, и объяснить, что ему придает видимость убедительного рассуждения.

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

Примером софизма может служить следующее выражение: «Знаешь ли ты человека под этим покрывалом? – „Нет“. – „Это твой отец. Ты не знаешь своего отца?“

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

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

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