Контрольная Формализованный язык логики

1. Понятие и структура языка логики

С чем связано наличие собственного языка логики как науки? Дело в том, что естественному языку присущи некоторые недостатки, которые не позволяют логике ограничиваться использованием только его.

Основными недостатками естественного языка являются:

• изменение значения слов с развитием общественной практики и по истечении определенного времени;

• многозначность некоторых слов;

• расплывчатость, неопределенность отдельных слов, не позволяющая с их помощью определить предмет науки;

• несовершенство правил построения выражений, которое в логическом смысле несет на себе печать многозначности понимания вербальной мысли;

• деление естественного языка на большое количество языков разных стран и народов, в результате чего одна и та же мысль может быть оформлена различными языками.

Формальная логика пытается искоренить данные недостатки в своей области. Это достигается на основе введения специального символического языка. Внутри формальной логики операции с мыслями заменяются действиями со знаками. Общепринятым в современной логике является так называемый язык логики предикатов. Рассмотрим кратко принципы построения и структуру этого языка.

Важное значение для выявления логической формы мыслей при анализе естественного языка имеет смысловая или семантическая характеристика языковых выражений. В этом плане в формальной логике используются две группы терминов дескриптивные и логические.

Дескриптивные термины (лат. descriptic – описание) – это имена предметов, предикаторы и функциональные знаки. Они выражаются словами естественного языка и на данный момент речемыслительной деятельности адекватно отражают предмет мышления.

Имена предметов – это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.

Предикаторы – это языковые выражения, которые обозначают свойства или отношения, наличие которых в суждениях утверждается или отрицается.

Функциональные знаки – это принятые обозначения предметных функций, операций (Sin a , «+» и др.).

Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).

1. Гетманова А.Д. Логика: учебник для студентов вузов. – М.: Омега-Л, 2007. – 416 с.

2. Демидов И.В. Логика. – М.: Юриспруденция. – 2000. – 208 с.

3. Кириллов В.И., Старченко А.А. Логика. – М.: Юристъ, 2002. – 256 с.

4. Лепешко Б. М. Логика в правовой практике: / под. ред. Б. М. Лепешко. – Брест: БрГу им. А. С. Пушкина. – 2002. – 126 с.