загрузка...

Метод формализации


Формализация — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации и т.п.) в виде формальной системы. Формальная система — это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых.
Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы счисления, алгебры высказываний, языки программирования.
С помощью формальных языков строятся формально-логические модели.
В общей теории права существует направление, которое называют «формализация правовых норм». Формализация правовой нормы — это выявление ее логической структуры, логических правил вывода суждений.
Формализация позволяет систематизировать, уточнить и методологически прояснить правовую теорию, выявить характер взаимосвязей между различными ее правовыми предписаниями, выявить и сформулировать существующие нерешенные проблемы.
Формализация предполагает усиление роли формальной логики как основания правовой науки. Формализация используется при обработке правовой информации с помощью компьютерной техники. 
<< | >>
Источник: Чубукова С.Г., Элькин В.Д.. Основы правовой информатики (юридические и математические вопросы информатики): Учебное пособие.. 2007

Еще по теме Метод формализации:

  1. Формализация классической модели и ее графическое изображение
  2. Методы развития компетенций вне работы и методы обучения, основанные на практике
  3. СПЕЦИАЛЬНОЕ ПРИЛОЖЕНИЕ ОСНОВЫ МЕТОДА ИНТЕГРАЛЬНОЙ СТРУКТУРНО-АНАЛИТИЧЕСКОЙ ПСИХОТЕРАПИИ (МИСАП—МЕТОД)
  4. Метода банковского ценообразования Затратный метод определения цен
  5. 5.1. Взаимодействие методов и моделей при РУР
  6. 2.2. МЕТОДЫ УПРАВЛЕНИЯ ПЕРСОНАЛОМ СИТУАЦИИ «МЕТОДЫ УПРАВЛЕНИЯ ПЕРСОНАЛОМ»
  7. 5.3. Активизирующие методы
  8. §2. МЕТОДЫ ПСИХОЛОГИИ ТРУДА
  9. 2.3. ТА: методы прогнозирования
  10. 8.2. Метод Лагранжа
  11. 49. Методы социологического исследования
  12. Вахтовый метод работ
  13. ПЕДАГОГИЧЕСКИЕ МЕТОДЫ
  14. 4.1. Сущность методов менеджмента, их характеристика