Язык формальной логики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Символ	Способ употребления	Название	Читается
x, y, z		предметные переменные
p, q, r		пропозиционные переменные
Р, Q, R		предикатные переменные
^	p ^ q	конъюнкция	p и q
v	p v q	дизъюнкция слабая	p или q
v	p v q	дизъюнкция сильная	либо p, либо q
->	р -> q	импликация	если p, то q
<->	р <-> q	эквиваленция(эквивалентность)	p тогда и только тогда, когда q
-	- p	отрицание	неверно, что р

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

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

Дата добавления: 2014-01-07