Имя материала: Основы правовой информатики

Автор: Чубукова С.Г.

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

 

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

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

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

кие модели.

В общей теории права существует направление, которое на-

зывают «формализация правовых норм». Формализация правовой

 

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

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

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

 

Страница: | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 |