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

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

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

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

Рассмотрим кратко принципы построения и структуру этого языка.

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

Дескриптивные термины

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

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

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

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

Логические термины

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

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

Из соображенийудобства сведем его основные символы в таблицу.