Язык логики

Естественному языку присущи некоторые недостатки, которые не позволяют логике ограничиваться использованием только его. Основные недостатки естественного языка следующие:

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

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

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

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

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

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

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

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

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

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

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

На основе семантических категорий естественного языка создан специальный алфавит языка логики предикатов.