5.4. Метод формализации
Формализация - представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации информации и т.п.) в виде формальной системы. Формальная система - это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых.
Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы счисления, алгебры высказываний, языки программирования.
С помощью формальных языков строятся формально-логические модели.
В общей теории права существует направление, которое называют "формализация правовых норм". Формализация правовой нормы - это выявление ее логической структуры, логических правил вывода суждений.
Формализация позволяет систематизировать, уточнить и методологически прояснить правовую теорию, выявить характер взаимосвязей между различными ее правовыми предписаниями, выявить и сформулировать существующие нерешенные проблемы.
Формализация предполагает усиление роли формальной логики как основания правовой науки. Формализация используется при обработке правовой информации с помощью компьютерной техники.
«все книги «к разделу «содержание Глав: 76 Главы: < 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. >