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

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

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

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

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

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

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

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

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

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

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

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

Суждение

Логическая характеристика суждения.Простые суждения. Сложные суждения.

Суждение - это такая форма мышления, в которой, сочетая понятия, что-либо утверждается или отрицается о самых реальных вещах и явлениях и которая может быть истинной или ложной. В качестве примера суждения приведем следующие: "В. Соловьев является представителем русской религиозной философии", "Все течет, все изменяется", "Я памятник воздвиг себе нерукотворный", "Космонавты существуют". По своему содержанию любое суждение имеет атрибутивный характер. Оно всегда отражает принадлежность (либо не принадлежность) признака конкретному предмету и явлению. Отмечая связь между суждением и понятием, важно также и видеть между ними определенные различия. Их сущность сводится к следующему.

Подлинный акт мыслей начинается с суждения, т.е. с утверждения или отрицания чего-либо. Если понятием выражается предметный характер нашего мышления, то в суждении раскрывается активное отношение мысли к окружающему миру - отражение объективных свойств, связей и отношений между предметами и явлениями. Кроме того, суждение отличается от понятия способом закрепления - предложением. Проиллюстрируем это на следующих примерах, когда одна и та же мысль выражается либо в понятии, либо в суждении.

Соотношение суждения и предложения

Предложение представляет собой грамматическую форму суждения, а суждение - это логическое содержание предложения. Если всякое суждение выражается в предложении, то не всякое предложение выражает суждение. Суждение выражается повествовательным предложением, в котором содержится определенная информация, сообщение. Например: "М. Булгаков - автор романа "Мастер и Маргарита"; "Иванов хорошо знает философию"; "Некоторые студенты ходят в Малый театр". Если соотношение логического содержания и грамматической формы сравнительно легко раскрывается в повествовательных предложениях, то гораздо сложнее оно решается в побудительных и вопросительных предложениях. Многие побудительные предложения (особенно воинские строевые команды) не выражают суждения. Например: "Войдите!", "Становись!". Но побуждения к определенным целенаправленным действиям приобретают характер суждения. Они выражаются в форме призывов, лозунгов и т.п. Достаточно вспомнить призывы периода Великой Отечественной войны: "Ни шагу назад! "Отстоим Москву!". Вопросительные предложения не являются суждениями, ибо они не поддаются логическому анализу. Сущность вопросительного предложения заключается в постановке вопроса и можно лишь говорить о правильно или неправильно сформулированных вопросах. Вопрос предполагает некоторое суждение, истинность или ложность которого определяет логическую правильность или неправильность самого вопроса. Так, например, вопрос: "Кто водрузил Знамя Победы над рейхстагом в мае 1945 года?" - правильно поставлен. Он предполагает истинное суждение: "Кто-то водрузил Знамя Победы над рейхстагом".

Кроме того, суждение и предложение различаются по своему составу. Суждение состоит из следующих структурных элементов: субъекта, предиката, связки, квантора. Они имеют свое определение и обозначение.

Субъект суждения - это понятие о предмете мысли, т.е. то. о чем говорится в данном суждении. Обозначается буквой "S" (от лат. subjektum - лежащий в основе).

Предикат суждения выражает значение о признаке предмета мысли, т.е. то, что говорится о субъекте суждения. Обозначается буквой "Р"(от лат. слова predikat um - сказанный).

Связка выражает отношения, установившиеся в суждении между субъектом и предикатом, и характеризует принадлежность предмету мысли того или иного свойства, отраженного в предикате. Обозначается знаком "тире" (-) и может подразумеваться или быть выражена одним словом или группой слов: "есть", "суть", "не является", "имеется" и т.п.

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

Квантор (кванторное слово) указывает, относится ли суждение ко всему или к части объема понятия, выражающего субъект ("все", "некоторые", "многие", "ни один" и т.п.). Однако квантор может в суждении отсутствовать.

Таким образом, каждое суждение состоит из трех элементов -субъекта, предиката и связки (двух терминов и связки). Каждый из этих членов суждения обязательно имеется или подразумевается во всех суждениях. Состав суждения можно выразить общей формулой:

"S есть Р" или " S не есть Р"

Для примера обратимся к суждению "Ни один злой человек не бывает счастлив". Субъектом здесь является понятие "злой человек", предикатом - понятие "счастлив", связка - "не бывает", кванторное слово - "ни один".

Простые суждения.

Все суждения можно разделить на две большие группы: простые и сложные. Простым называется суждение, выражающее связь двух понятий: например, "Некоторые вулканы действуют".

Суждение, состоящее из нескольких простых суждений, называется сложным: например, "Прозрачный лес один чернеет, и ель сквозь иней зеленеет, и речка подо льдом блестит".