3.7 Формализация

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

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

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

Формализация не является самоцелью. Она нужна в конечном счете для выражения определенного содержания, для его уточнения и раскрытия. Формализация — это лишь один (и не универсальный) из приемов познания.

ВОПРОСЫ ДЛЯ САМОКОНТРОЛЯ:

1. Приведите не менее двух примеров строгой и нестрогой аналогии:

• Из области техники

• Из области маркетинга

• Из области управления персоналом

2. Приведите примеры поверхностной аналогии из любой новостной передачи.

3. Приведите собственные примеры:

• Физических моделей

• Математических моделей

• Логически-знаковых моделей

4. Вспомните случаи из собственного опыта, когда аналогия позволила вам получить новое знание.

5. Приведите не менее трех примеров вашего личного опыта предметного моделирования.

6. Назовите как можно больше примеров предметного моделирования в автомобилестроении;

7. Приведите не менее пяти моделей, с которыми Вы столкнулись/воспользовались сегодня:

• Предметными

• Математическими

• Знаковыми

8. Приведите не менее трех примеров ошибок в моделировании, связанных с точностью и/или адекватностью

9. Каким образом (привести примеры) моделирование может применяться:

• В отделе продаж компании-автодилера;

• Департаменте управления персоналом госкорпорации

• Отделе подготовки инвестиционных проектов строительства

10. Сущность формализации. Ее сильные и слабые стороны

11. Согласитесь или опровергните утверждение: «Всякий человек мыслит моделями. Чем большим количеством моделей он оперирует, тем более сильное у него мышление»