Формализация правовой информации: сущность, понятие и способы
Формализация правовой информации: сущность, понятие и способы - раздел Образование, Экзаменационные вопросы по курсу
Формализация – Представление Какой-Л. Содержа...
Формализация – представление какой-л. содержательной области (рассуждений, доказательств, процедур классификации информации и пр.) в виде формальной системы. Формальная система – это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых.
Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы счисления, алгебры высказываний, языки программирования.
С помощью формальных языков строятся формально-логические модели.
В общей теории права существует направление, которое называют «формализация правовых норм». Формализация правовой нормы – это выявление ее логической структуры, логических правил вывода суждений. Для моделирования структуры правовых норм специально разработана нормативная логика, предметом исследования которой являются логическая структура и логические связи нормативных высказываний. Так, оценивая принципы логического моделирования структуры правовых норм, правоотношений и нормативных умозаключений, Кнапп и Герлох указывают, что лежащая в их основе классификация правовых норм является упрощенной абстракцией действительных правовых норм, носящих сложный характер. Напр., исследуя сравнимость и совместимость правовых понятий, эти авторы приходят к выводу, что несравнимость понятий «наследственное право» и «избирательное право» нельзя доказать логическим рассуждением в рамках любой из логических теорий, поскольку наличие общего признака «право» делает формально сравнимыми эти понятия. Для доказательства несравнимости этих понятий, по мнению авторов, нельзя обойтись без аппарата теории права. Другой вид формализации правовых норм основан на использовании математической логики для моделирования логической структуры правовой нормы. Математическая логика – современный вид формальной логики, т.е. науки, изучающей умозаключения с точки зрения их формального строения. Любая мысль в форме понятий, суждений или умозаключений не существует вне языка. Выявить и исследовать логические структуры можно лишь путем анализа языковых выражений.
Формализация позволяет систематизировать, уточнить и методологически прояснить правовую теорию, выявить характер взаимосвязей между различными правовыми предписаниями, выявить и сформулировать существующие нерешенные проблемы. Формализация предполагает усиление роли формальной логики как основания правовой науки. Формализация используется при обработке правовой информации с помощью ЭВМ.
Понятие автоматизированных информационных систем Классификация АИС... Понятие автоматизированных информационных систем АИС банк данных это совокупность тем или иным образом структурированных данных и комплекса...
Экзаменационные вопросы по курсу
«Правовая информатика и кибернетика»
1. Правовая информатика и кибернетика как отрасль знания и учебная дисциплина
2. Методология правовой информатики и кибернети
Современные средства связи: виды и назначение
1. Понятие средств связи. Согласно Федеральному закону от 07.07.2003 № 126-ФЗ «О связи» средства связи – технические и программные средства, исп
Понятие компьютерных документов, их реквизиты
1. Понятие компьютерных документов. Под термином «компьютерный (машинный) документ» понимаются документы, создаваемые, хранимые и/или предостав
Понятие и признаки нарушения правил эксплуатации ЭВМ
Статья 274 УК устанавливает ответственность за нарушение правил эксплуатации ЭВМ, системы ЭВМ или их сети лицом, имеющим доступ к ЭВМ, системе ЭВМ или их сети, повле
Новости и инфо для студентов