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

Что даёт формализация бизнес-процессов

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

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

Бизнес-процессом называется вся последовательность действий, приводящих к конкретному результату.

Например, к производству готовой единицы продукции или продаже товара.

Опыт показывает, что пока в компании мало сотрудников, владелец может всё держать под личным контролем, хотя и это не всегда удаётся. Однако для крупных предприятий отладка каждого бизнес-процесса обязательна, иначе снизится и КПД, и доходность от деятельности.

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

  • Не всегда понятно, какой сотрудник за что отвечает.
  • Часто неочевидно, кто отвечает за конкретную задачу.
  • Решение каждой задачи задерживается, так как отсутствует чёткий алгоритм.
  • Задачи (документы, клиенты, заявки) совершают большой «путь» по компании, пока будут решены, при этом задействуются избыточные для данного случая сотрудники.

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

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

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

  • Закупка сырья.
  • Доставка сырья на склад.
  • Хранение на складе.
  • Отправка в цех.
  • Производство продукции.
  • Отправка продукции на склад.
  • Доставка продукции клиенту после покупки.

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

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

  1. Должна быть выстроена чёткая схема для бизнес-процесса.
  2. Каждый сотрудник должен понимать, на каком участке схемы требуются его усилия, где начинается и где заканчивается его ответственность; от кого он получает задачи и куда должен их передать после обработки.
  3. Руководитель должен иметь возможность проконтролировать, где находится задача на данный момент времени (на каком этапе и у какого сотрудника).

Начать с того, что формализация бизнес-процессов не предполагает обязательной автоматизации с помощью BPMS, она может быть выполнена и вручную. Самый простой путь – написание регламентов для каждого сотрудника. Благодаря этому удаётся успешно решить часть задач, а именно задачи 1 и 2 приведённого выше списка (составление схемы и понимание каждым сотрудником его роли).

Однако формализация бизнес-процессов «на бумаге» почти не позволяет контролировать соблюдение регламента: выполняют ли его сотрудники или находят «обходные пути» на уровне договоренности друг с другом. Роль человеческого фактора и пространство для злоупотреблений персонала остаются очень большими.

Если же формализация бизнес-процессов проводится с помощью систем BPM, то появляются дополнительные весьма важные возможности:

  • Контроль каждой задачи с начала до конца, возможность видеть полный список задач.
  • Отсутствие потерь: если задача поступила на вход, она должна, так или иначе, дойти до выхода.
  • Отслеживание всех действий по каждой задаче, с возможностью чётко определить, кто совершил каждое действие.
  • Детальный сбор статистики.

Последняя возможность особенно важна, потому что она помогает, в том числе:

  • Узнать, кто из сотрудников работает эффективно, а кто не очень.
  • Увидеть реальный объём всей работы, выполненной каждым работником. Может, кто-то лишь делает вид, что чем-то занят?
  • Избавиться от риска самых разнообразных злоупотреблений персонала.

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

Елена Гайдукова, маркетолог-аналитик, бренд-менеджер решений на базе Comindware Business Application Platform, специалист по партнёрским отношениям.

Источник: https://www.comindware.com/ru/blog-business-process-fozmalization-benefits/

Что такое Формализация? Значение слова formalizaciya, философский словарь

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

1. Формализация – (от лат. forma – вид, образ ) – отображение результатов мышления в точных понятиях и утверждениях. При Ф.

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

Выражение мышления в естественном языке можно считать первым шагом Ф. Дальнейшее ее углубление достигается Введение в Энциклопедическом словаре'>введением в обычный язык разного рода специальных знаков и созданием частично искусственных и искусственных языков. Логическая Ф.

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

включает в себя три момента : 1) обозначение всех исходных, неопределяемых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных формул для получения из них новых формул (теорем). В формализованной теории доказательство не требует обращения используемых понятий, их смыслу.

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

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

арифметики появилась возможность поставить вопрос , охватывает ли формализованная арифметика всю содержательную арифметику. Как показал К. Гёдель, достаточно богатая содержанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями последняя, в теории всегда останется невыявленный, неформализованный остаток (см.: Гёделя теорема ).

2. Формализация – метод семиотического анализа объектов любой природы, направленный на выявление формы. Дескриптивная Ф. (прямое описание , обозначение, именование) объектов с помощью терминов является простейшим видом Ф.

, вариантом которой в естественных языках служат отдельные слова и выражения, а, например, в математике – цифры и знаки различных математических операций. Цель дескриптивной Ф. – компактность обозначения, большая точность и однозначность (отсутствие омонимии). Несмотря на простоту, дескриптивная Ф. является необходимым структурным компонентом научной Ф.

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

Особый интерес представляет такой вид научной Ф., как логическая Ф., обеспечивающая выражение общих взаимосвязей между понятиями, суждениями и умозаключениями. Любое знание – обыденное или научное – может оказаться объектом логической Ф.

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

В связи с этим возникают принципиальные ограничения для такой Ф. (например, теоремы Геделя, Тарского и др.). Однако трудности логической Ф. не умаляют ее значения и не являются причиной отказа от широкого практического применения этого метода в различных областях знания. А. Г. Кислое

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

Она создается для точного выражения мыслей с целью исключения неоднозначности понимания.

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

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

невозможна даже в области математики ( теорема Геделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф.

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

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

5. Формализация – см. Логистика .

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

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

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

Такая теория может рассматриваться как система материальных объектов определенного рода (символов), с к-рымн можно обращаться как с конкретными физическими объектами, а развертывание теории свести к манипулированию с этими объектами в соответствии с нек-рои совокупностью правил, принимающих во внимание только и исключительно вид и порядок символов, н тем самым абстрагироваться от того познавательного содержания, к-рое выражается научной теорией, подвергшейся Ф. Различают два типа формализованных теорий: полностью формализованные, в полном объеме реализующие перечисленные требования, и частично формализованные, когда логические средства, используемые при развертывании данной науки, явным образом не фиксируются. Возможность Ф. отдельных отраслей научного знания подготовлена длительным историческим развитием , она стала реальной лишь после того, как аксиоматический метод и теория вывода получили необходимое-развитие. Сама же потребность в Ф. возникает перед той или иной наукой на достаточно высоком уровне ее развития, когда задача логической систематизации и организации наличного знания приобретает первостепенное значение , а возможность реализации этой потребности предполагает огромную предварительную работу мышления, совершаемую на предшествующих Ф. этапах становления научной теории. Ф.— мощное средство выявления и уточнения содержания научной теории. Вся совокупность познавательных приемов и средств, лежащих в основе Ф., ориентирована на то, чтобы обеспечить необходимое соответствие между содержательной научной теорией, подвергаемой Ф., и формальной системой, возникающей в результате ее Ф.: класс выводимых в формализованной теории формул должен совпадать с классом содержательно-истинных положений подвергшейся Ф. теории (но обратное утверждение , как правило , неверно). Поскольку для построения формальной системы необходимо использовать (хотя и в весьма ограниченном объеме) естественный, разговорный язык и в терминах этого языка проанализировать ее структуру, описать логические особенности формализма ( непротиворечивость , разрешимость, полнота и т. д.), это означает, что Ф. предполагает содержательное мышление также и в качестве средства построения и исследования своих собственных дедуктивных и выразительных возможностей. Ф. играет важную роль в систематизации той суммы знаний, к-рая накоплена содержательной теорией, позволяет вычленить и уточнить логическую структуру теории, обеспечить стандартизацию используемого языка и понятийного аппарата, элиминировать несущественные ограничения в степени общности теории, сократить число положений теории, принимаемых за исходные, и т. д. Вместе с тем Ф. дает не только точный язык, но и является ценным орудием мышления, позволяющим получать новые результаты. История математики, логики, лингвистики и ряда др. наук свидетельствует, что Ф. стимулирует движение познания к новым результатам, открывает возможность формулировки и постановки новых проблем, поиска их решения и т. д. В расширении возможностей Ф. существенную роль играет бурный прогресс вычислительной техники. Полученные с помощью методов Ф. результаты имеют важное философское значение для понимания природы и познавательных возможностей точных методов исследования, диалектики формального и содержательного в научном познании, критики формалистского истолкования природы математики и логики. Общеметодологическое значение приобрели важнейшие из результатов, полученных в ходе исследований в области оснований математики и логики, осуществлявшихся на основе методов Ф.,— теоремы Гёделя о неполноте достаточно богатых формализованных теорий и теоремы Тарского о неформализуемости понятия истины для таких теорий, выявившие ограниченность дедуктивных и выразительных возможностей формализмов. Эту ограниченность можно в известной степени преодолеть путем создания более богатых систем. В этом смысле можно утверждать, что Ф. позволяет шаг за шагом приближаться ко все более полному выражению познавательного содержания теории через ее форму. Тем не менее во всех тех случаях, когда мы имеем дело с достаточно развитыми научными теориями, этот процесс не может быть завершен. Ф. не может исчерпать всего богатства содержания таких теорий.

Источник: http://ZnachenieSlova.ru/slovar/philosoph/formalizaciya

Формализация и моделирование

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

Проблемы предметной области. Информатика.

Формализация и моделирование

.

Формализация и моделирование

Модель — это искусственно создаваемый объект, заменяющий некоторый объект реального мира (объект моделирования) и воспроизводящий ограниченное число его свойств. Понятие модели относится к фундаментальным общенаучным понятиям, а моделирование — это метод познания действительности, используемый различными науками.

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

Первые называются натурными моделями, вторые — информационными моделями.

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

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

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

Компьютерное моделирование включает в себя прогресс реализмом информационной модели на компьютере и исследование с помощью этой модели объекта моделирования — проведение вычислительного эксперимента.

Формализация
К предметной области информатики относятся средства и методы компьютерного моделирования. Компьютерная модель может быть создана только на основе хорошо формализованной информационной модели. Что же такое формализация?

Формализация информации о некотором объекте — это ее отражение в определенной форме. Можно еще сказать так: формализация — это сведение содержания к форме.

Формулы, описывающие физические процессы, — это формализация этих процессов. Радиосхема электронного устройства — это формализация функционирования этого устройства.

Ноты, записанные на нотном листе, — это формализация музыки и т.п.

Формализованная информационная модель — это определенные совокупности знаков (символов), которые существуют отдельно от объекта моделирования, могут подвергаться передаче и обработке. Реализация информационной модели на компьютере сводится к ее формализации в форматы данных, с которыми “умеет” работать компьютер.

Но можно говорить и о другой стороне формализации применительно к компьютеру. Программа на определенном языке программирования есть формализованное представление процесса обработки данных.

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

Компьютерная программа — это модель деятельности человека по обработке информации, сведенная к последовательности элементарных операций, которые умеет выполнять процессор ЭВМ. Поэтому программирование на ЭВМ есть формализация процесса обработки информации. А компьютер выступает в качестве формального исполнителя программы.

Этапыинформационногомоделирования

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

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

объект моделирования анализируется как система. Результаты такого анализа формализуются: представляются в виде таблиц, графов, формул, уравнений, неравенств и пр. Совокупность таких описаний есть теоретическая модель системы.

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

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

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

Если же положить в основу классификации предметную область, то можно выделить модели физических систем и процессов, модели экологических (биологических) систем и процессов, модели процессов оптимального экономического планирования, модели учебной деятельности, модели знаний и др.

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

Кроме того, конкретную модель отнюдь не всегда можно отнести к одному классу, даже если ограничиться приведенным выше списком.

Методическиерекомендации

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

Примерная программа курса информатики рекомендует изучение темы “Формализация и моделирование” в 8-м классе на уровне примеров моделирования объектов и процессов. Прежде всего предполагается использование графических и табличных моделей.

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

Образовательныезадачи, решаемыевходе изученияинформационногомоделирования

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

Общееразвитиеистановлениемировоззрения учащихся

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

Овладениемоделированиемкакметодомпознания

Основной упор в каждом из такихкурсов необходимо сделать на выработку общего методологического подхода к построению компьютерных моделей и работе с ними. Необходимо

  1. продемонстрировать, что моделирование в любой области знаний имеет схожие черты; зачастую для различных процессов удается получить очень близкие модели;
  2. выделить преимущества и недостатки компьютерного эксперимента по сравнению с экспериментом натурным;
  3. показать, что и абстрактная модель, и компьютер представляют возможность познавать окружающий мир, а иногда и управлять им в интересах человека.

Выработкапрактическихнавыковкомпьютерного моделирования

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

Содействиепрофессиональнойориентации учащихся  

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

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

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

Преодолениепредметнойразобщенности, интеграциязнаний

В рамках учебного курса целесообразно рассматривать модели из различных областей науки, что делает курс частично интегрированным.

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

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

Развитиеипрофессионализациянавыковработы скомпьютером

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

Программа должна обладать адекватным интерфейсом, вести диалог с пользователем.

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

Задание:

    Составить схему ключевых понятий.

Источник: http://www.orenipk.ru/kp/distant_vk/docs/2_1_1/inf/inf_form.html

ФОРМАЛИЗАЦИЯ

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

 СхемыСтатьиКнигиПрезентацииРефераты

это, во-первых, определение и построение логической структуры в теоретическом познании, а во-вторых, представление этой структуры в какой-либо символической или математической форме. Последнее означает использование математических методов, формул, графиков, моделей и т.п.

Источник: Краткий словарь основных понятий по социологии

от лат. formalis – предпочтение формы) – англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории – построение логической структуры, посредством к-рой все положения теории взаимоувязываются; логическая структура может быть представлена в математической или нематематической, символической форме.

Источник: Большой словарь по социологии, проект www.rusword.com.ua

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

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

Источник: Основные социологические термины. Учебное пособие

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

невозможна даже в области математики (теорема К. Геделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф.

производится на основе формальной логики, постольку исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека: часть социальной информации теряется вследствие того, что происходит оперирование “застывшими” понятиями, в которых неизбежно отражается дискретность процесса мышления.

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

А.А. Грицанов, Ю.В. Баранчик

Источник: Социология: энциклопедия

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

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

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

Таким элементом, напр., является процесс измерения, когда рассматриваемые объекты отображаются как нек-рые математич. конструкты (см. Измерение в социологии). Рез-том измерения становятся формальные модели объектов, с к-рыми исследователь далее обращается в соответствии с правилами, отвечающими используемой математич. системе. Необходимым шагом при использовании любого математич.

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

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

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

, исследователь, выигрывая в точности (а в случае использования математич. формализма – ив возможности анализировать информацию большого объема, что важно для социологии), достигает этого за счет сознательного отвлечения от многих сторон рассматриваемого содержания. Несоответствие между Ф.

и содержательным знанием является важным источником развития науки, ведет к последовательной смене одних элементов формализма др., более точно отображающими изучаемые объекты и явления. Лит: Яновская С.А. Методологические проблемы науки. М., 1972; Кураев В.И. Диалектика содержательного и формального в научном познании. М., 1977; Формализация//Краткий словарь по философии. М., 1979; Формализация//Философский энциклопедический словарь. М., 1983. Ю.Н. Толстова.

Источник: Российская социологическая энциклопедия

Источник: https://voluntary.ru/termin/formalizacija.html

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

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

  НОВОСТИ    БИБЛИОТЕКА    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

Уточнение содержания изучаемых предметов, которое давало бы право оперировать с ними с помощью математических методов.

Есть несколько путей, несколько методов описания окружающего нас мира.

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

Поэта вдохновило зимнее утро, и он в стихах передает его красоту:

Под голубыми небесами Великолепными коврами, Блестя на солнце, снег лежит; Прозрачный лес один чернеет, И ель сквозь иней зеленеет, И речка подо льдом блестит.

Художник, покоренный могуществом сил революции, отражает ее по-своему: он изображает ее смелой и сильной богиней, зовущей народ к подвигу.

Вечевой колокол, звучавший на Руси “во дни торжеств и бед народных”- толчок к сочинению оратории, призывающей народ на борьбу с иноземцами.

“Описания чувственно воспринимаемого мира” – именно так называют ученые сокровища мировой литературы и искусства наряду с другими, менее блестящими “представителями” этой категории.

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

И что же они узнали? К каким выводам пришли?

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

Писатель увидел море. Оно поразило его какой-то необычностью в эту минуту, чем-то отличимым от вчерашнего, бывшего – своей индивидуальностью. И он написал: “Море смеялось”; он так воспринял его.

Но в словесном описании, кроме гибкости, много субъективного, личного. Только он, Горький, увидел, что “море смеялось”. И уж так ли достоверно, именно достоверно, утверждение, что оно смеялось?

Да, говорят ученые, словесное описание гибко, богато оттенками, но субъективно и отличается “невысокой степенью достоверности”.

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

* * *

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

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

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

Грубо говоря, наука изучает именно сам “дом” природы, его “незаселенный вариант” – только те общие закономерности, те объективные его черты, которые и объединяют для нас разные предметы в единые классы и группы.

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

Очень точно разницу между научным методом познания жизни и методом познания, свойственным искусству, определяют следующие слова: если искусство заставляет нас плакать и смеяться, то наука – понимать и вычислять.

Художник, композитор, поэт говорят нам о цветах и звуках. Ученый “закрывает глаза” на красоту красок и переливы звуков. Он в цветах и звуках выделяет их основные характеристики, только то, что делает цвета цветом, а звуки звуком, – ученый сводит и цвет и звук к определенным длинам электромагнитных волн и исследует их законы.

Как же наука познает природу? Какие методы она применяет? Какими инструментами пользуется?

Для этого есть целый арсенал средств подходов к явлениям действительности.

Вспомните, как вам на уроках биологии не раз приходилось слышать такие слова учителя: “Завтра мы перейдем к другой теме. Будем изучать строение (допустим) черного таракана” (или бабочки-шелкопряда, или нервную систему лягушки).

Не важен пример, важно то, что здесь мы имеем дело с логическим методом отождествления: “изучение черного таракана”, а не черных тараканов с их многообразием окраски, возможно, разной длиной усиков или другими какими-либо индивидуальными признаками.

Иными словами, вы будете выделять главное, для всех общее, объективное, не обращая внимания на частности.

Есть другие подходы. Например, идеализация, когда ученые рассматривают общие, существенные черты и свойства, построив для себя идеальные варианты изучаемых объектов. Для этого придуманы и “абсолютно черное тело”, и “абсолютно твердое тело”, и “идеальный газ”, и “абсолютно гладкая поверхность”, и “несжимаемая жидкость”, и многое другое.

А вот выписка из сугубо специального научного труда – “Избранных работ по кристаллофизике и кристаллографии” Ю. Ф. Вульфа:

“Действительная поверхность

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

рассматривая ее с достаточно значительного расстояния, на котором эти неровности теряются.

Подобный прием вполне оправдан тем, что радиус Земли по сравнению с самыми высокими горами и самыми глубокими океаническими впадинами очень велик и наличие гор и впадин не нарушает общего “математического вида планеты”.

Так условно можно представить себе 'формализацию' дома

Научное познание прибегает к таким упрощениям, чтобы выявить “жесткие черты изучаемого предмета, уточнить его свойства, очертить его контур, узнать его “конструкцию”.

Иными словами, какой бы принцип – отождествление, идеализация, упрощение, абстракция и т. д. – ни был положен в основу метода познания, всегда, как вы, конечно, заметили, идет “огрубление”, “оголение”, “заострение”, выделение главного, общего, основного.

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

Вот что по этому поводу говорят сами ученые: “Научная теория считается точной, строгой, если ее содержательные элементы (абстракция, идеализация, отождествление, понятие и т. п.

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

Чтобы получить представление о форме Земли, изучают не реальную, а некоторую теоретическую поверхность Если провести замкнутую линию L на поверхности тора (бублика или спасательного круга), то она не обязательно делит эту поверхность на внутреннюю и внешнюю части

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

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

Чувственно-наглядно очевидно, что такая линия К разбивает поверхность (плоскость или шаровую поверхность) на две части: внутреннюю и внешнюю. Имеются такие точки А и такие точки В, что их нельзя соединить линией иначе, как пересекая линию К.

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

Ведь если провести замкнутую линию L (по первому определению) на поверхности тора (бублика или спасательного круга), то она не обязательно делит эту поверхность на внутреннюю и внешнюю части.

* * *

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

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

Вспомните наш пример со зданием. Так вот, формализация – это “освобождение дома” от посторонних предметов, “отбрасывание” мебели и других вещей – опять-таки “оголение”, “огрубение”, как бы стремление “раздеть” предмет, оставив один остов, чтобы сделать о нем точный и объективный вывод.

Но как же это “огрубить”, “оголить”, “раздеть” – формализовать? На такой вопрос ученые отвечают предельно ясно и точно.

Прежде всего надо составить конечный – от и до – список всех исходных элементарных понятий в области науки.

Составление такого списка – дело не одного ученого и даже не одного поколения ученых: это результат длительного развития данной области знаний, глубокого логического анализа структуры науки.

Список должен быть настолько полным, чтобы в нем не было упущено никакое основное понятие, и настолько точным, чтобы в нем не было никаких лишних понятий.

Но это еще далеко не все. Для процесса формализации необходимо построить и конечную – тоже от и до – систему аксиом.

Ее составляют из предложений, куда исходные понятия из списка входят в качестве определений, но не наглядных, а в виде символов.

Например, Евклид, описывая точку, говорил: “Точка – это то, что не имеет частей”, это наглядное определение. Аксиомы же от нее отказываются: они просто предложения-формулы.

Система аксиом, в свою очередь, подчиняется строгим требованиям. Прежде всего это требование непротиворечивости. Аксиома всегда утверждает, что 1 = 1 отнюдь не 0=1. Второе требование-.требование полноты. Это значит, что любое высказывание должно быть либо обязательно доказано, либо опровергнуто.

Затем нужна разрешимость, то есть должен существовать метод, позволяющий ' установить: доказывается ли предложение, высказанное в системе, или нет. Наконец, независимость – в системе не должно быть лишних аксиом, выводящихся из других аксиом этой системы.

И обязательное требование – указать систему логических правил вывода.

Из языка символов

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

То, что призвана выявить формализация – “жесткое существо дела”, – вещь почти всегда довольно капризная, ускользающая из рук, трудно нащупываемая. Но это еще полбеды. Даже будто бы и выявленное, найденное, существо дела требует уточнения в процессе развития науки.

Посмотрите, как менялось со временем учение о природе света не за такой уж долгий промежуток времени – сто с лишним лет, с XVII по XIX век. Сначала считалось, что свет несут светоносные частицы – их назвали фотонами.

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

И только в XIX веке, применив новейшие методы исследований, использовав новейшие достижения естествознания, была построена электромагнитная теория света.

Или другой пример.

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

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

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

На смену прежним методам приходят новые, более совершенные. Так формализация “скачет” по лестнице прогресса.

Поэтому прогресс научного познания выступает и как процесс совершенствования применяемых в познании средств формализации.

Подобное положение вещей совершенно закономерно. Оно отражает суть процесса познания. Оно – своеобразная иллюстрация той закономерности в овладении знаниями о мире, о природе, о которой писал В. И.

Ленин: “Человек не может охватить-отразить-отобразить природы всей, полностью, ее “непосредственной цельности”, он может лишь вечно приближаться к этому, создавая абстракции, понятия, законы, научную картину мира и т.

д. и т. п.”.

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

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

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

Не символы, а содержание – вот что интересует метаматематику.

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

Формализация – детище конца XIX и начала XX века. Пока что она осуществлена – в узком смысле слова – в математике и математической логике и отчасти в физико-математических науках.

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

Предмет получает свое собственное название: “небо”, “медведь”, “камень”, “вода”, “гора”, “еда” и т. п. Этот знаменательный процесс “наречения именем” как бы закрепляет его “выделяемость” из многих других предметов, подчеркивает его устойчивые признаки, его “жесткое существо дела”.

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

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

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

Жесткое существо дела

Источник: http://roboticslib.ru/books/item/f00/s00/z0000002/st040.shtml

Формализация и ее виды

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

⇐ ПредыдущаяСтр 30 из 61Следующая ⇒

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

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

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

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

С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Процесс построения информационных моделей с помощью формальных языков называется формализацией.

Одним из наиболее широко распространенных формальных языков является математический. Модели, сформированные с использованием математических понятий и формул, называются математическими моделями. Язык математики представляет собой совокупность формальных языков; о некоторых из них (алгебраическом, геометрическом) вы узнали в школе, с другими сможете познакомиться при дальнейшем обучении.

В процессе познания окружающего мира человечество постоянно прибегает к моделированию и формализации.

Формализация – это сведение некоторого содержания (содержания текста, смысла научной теории, воспринимаемых сигналов и пр.) к выбранной форме.

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

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

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

Из основного тезиса формализации следует сама идея моделирования.

Для обозначения объекта вводится некоторый набор знаков.

Знак – это элемент конечного множества отличных друг от друга элементов.

Основные черты знака:

1. Способность выступать в качестве заместителя объекта;

2. Неотождественность знака и объекта – знак никогда не может полностью заменить обозначаемое;

3. Многозначность соответствия «знак – объект».

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

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

Достаточно качественная формализация, как и любое теоретическое рассмотрение, игнорирует некоторую часть доступной информации, но, вместе с тем, позволяет лучше понять свойства исследуемого предмета, недоступные непосредственному наблюдателю.[1] Отсюда возрастающее значение формализованных стратегий глобализации (

Для построения любой формальной системы необходимо: а) задание алфавита, т.е.

определенного набора знаков; б) задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»; в) задание правил, по которым от одних слов, формул данной системы можно переходить к другим словам и формулам (так называемые правила вывода).

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

Здесь отношения знаков заменяют собой высказывания о свойствах и отношениях объектов.

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

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

Зато в них отсутствует многозначность терминов (полисемия), свойственная естественным языкам. Они характеризуются точно построенным синтаксисом (устанавливающим правила связи между знаками безотносительно их содержания) и однозначной семантикой (семантические правила формализованного языка вполне однозначно определяют соотнесенность знаковой системы с определенной предметной областью). Таким образом, формализованный язык обладает свойством моносемичности.

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

Выделяют такие виды научной формализации: дескриптивная, математическая, логическая.

Дескриптивная или описательная формализация означает изображение абстрактных объектов науки с помощью особых терминов. Дескриптивная формализация используется, во-первых, в гуманитарных науках, в том числе юридических науках. Например, такие термины как “право”, “норма права”, “закон” и др., выполняют функцию дескриптивной формализации объектов, изучающих юридические науки.

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

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

⇐ Предыдущая25262728293031323334Следующая ⇒

Date: 2016-07-22; view: 1099; Нарушение авторских прав

Источник: https://mydocx.ru/12-50248.html

Book for ucheba
Добавить комментарий