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

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

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

С помощью формальных языков строятся формально-логичес­кие модели.

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

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

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

<< | >>
Источник: Чубукова С.Г., Элькин В.Д.. Основы правовой информатики (юридические и математические вопросы информатики): Учебное пособие. Изд. второе, исправ­ленное, дополненное / Под ред. доктора юридических наук, про­фессора М.М. Рассолова, профессора В.Д. Элькина. — М.: Юри­дическая фирма «КОНТРАКТ», — 287 с.. 2007

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

  1. 5.2. ФОРМАЛИЗАЦИЯ ПРОЦЕССОВ
  2. 2.5.2. ПОСТАНОВКА И ФОРМАЛИЗАЦИЯ ЗАДАЧИ
  3. Методы спуска. Приближенное решение задач выпуклого программирования градиентным методом
  4. Кассовый метод или метод начисления
  5. Понятие об ЛГ-методе (методе искусственного базиса)
  6. Кассовый метод и метод начисления
  7. Методы отсечения. Метод Гомори
  8. 3. Анализ (обобщение статистического материала на основе средних, индексных, выборочных методов; метода рядов динамики; кор-реляционного анализа и корреляционно-регрессионного анализа)
  9. Тема 9. Формы и методы государственного управления (административно-правовые формы и методы осуществления публичного управления)
  10. Глава 1.4. Методы экономического анализа 1.4.1. Общая характеристика методов экономического анализа
  11. § 4. Порядок признания доходов и расходов при методе начисления и порядок определения доходов и расходов при кассовом методе
  12. 2.2. Классификация методов прогнозирования
- Кодексы Российской Федерации - Юридические энциклопедии - Адвокатура - Административное право - Административное право (рефераты) - Арбитражный процесс - Банковское право - Бюджетное право - Валютное право - Гражданский процесс - Гражданское право - Договорное право - Жилищное право - Жилищные вопросы - Земельное право - Избирательное право - Информационное право - Исполнительное производство - История государства и права - История политических и правовых учений - Коммерческое право - Конституционное право зарубежных стран - Конституционное право Российской Федерации - Корпоративное право - Криминалистика - Криминология - Международное право - Международное частное право - Муниципальное право - Налоговое право - Наследственное право - Нотариат - Оперативно-розыскная деятельность - Основы права - Право - Право интеллектуальной собственности - Право социального обеспечения - Правовая статистика - Правоведение - Правоохранительные органы - Предпринимательское право - Прокурорский надзор - Разное - Римское право - Сам себе адвокат - Семейное право - Следствие - Страховое право - Судебная медицина - Судопроизводство - Таможенное право - Теория государства и права - Трудовое право - Уголовно-исполнительное право - Уголовное право - Уголовный процесс - Участникам дорожного движения - Финансовое право - Юридическая психология - Юридическая риторика - Юридическая этика -