1.2 Мышление и язык. Язык формальной логики

Человек, обладая сознанием, обладает вместе с тем и способностью мыслить. Мышление человека разнообразно, оно может быть практическим, игровым, имитационным. Однако важнейшим для человека является языковое мышление, то есть те процессы активного, целенаправленного, обобщенного и опосредованного (не связанного непосредственно с чувственной реальностью, но основывающегося на знании о ней) отражения действительности в мозгу человека, неразрывно связанные с языком. Язык, таким образом, предстает как материализация мысли, как способ выражения мысли.

Одной из центральных проблем как теоретического языкознания, так и философии языка является проблема соотношения мышления и языка. Решение этой проблемы неоднозначно, однако оно непосредственно влияет на понимание логики. Так Ф. Шлейермахер отождествляет язык и мышление. Позиции сближения языка и мышлением отстаивали В. фон Гумбольдт и его последователи, Л. Леви-Брюль, бихевиористы, неопозитивисты и другие. Непосредственную связь между языком и мышлением отрицали Ф.Э. Бенеке, Н.Я. Грот.

По мнению О.Н. Лагуты, языковая форма является как условием передачи мысли, так и условием ее реализации, поскольку мы постигаем мысль уже оформленной языковыми рамками. При помощи языка люди вступают в мир информации и коммуникации, выражая результаты своей мыслительной деятельности. Мысль может существовать вне языкового оформления (как, например, интуиция), однако такая мысль не осознается нами.

Что же такое «язык»? Семиотика (наука о знаках и знаковых символах) дает следующее определение: язык – это система знаков, предназначенных для накопления, сохранения и передачи информации. При чем под знаком понимается чувственно воспринимаемый объект, который условно представляет обозначенный им предмет. Искусственно созданные знаки называются символами. Знаки могут быть временными и постоянными. Временные знаки возникают для использования в конкретной ситуации. Например, Петя и Маша утром договариваясь о встрече решают, что если Петя присылает смс с текстом «вариант 1», то встреча состоится в 16.00 у метро «Пушкинская», а если с текстом «вариант 2» - то встреча состоится в 16.30 у метро «Советская». Когда Маша получает смс с текстом «вариант 2», то в ее сознании возникает мысль, что на встречу надо идти к метро «Советская» к 16.30. Постоянные знаки понятны большинству членов сообщества, в котором сложилось использование данного знака, примером таких знаков могут быть дорожные знаки.

Язык является упорядоченной совокупностью (системой) знаков. В зависимости от способа образования, различают естественные и искусственные языки. Естественные языки складываются постепенно в ходе формирования и развития отдельного этноса как результат общения между людьми. Выражения естественных языков позволяют выразить практически любую мысль, но при этом могут возникать неоднозначные толкования таких выражений из-за использования слов-синонимов, метафор, гипербол, архаизмов, междометий и пр. Для устранения неточностей искусственного языка и адекватного и точного описания предмета познания создаются искусственные языки, выражения которых строятся по заранее сформулированным правилам. К таким искусственным языкам можно отнести эсперанто, формулы математики и химии, ноты в теории музыки. Логика также имеет свой специфический искусственный язык. Это язык знаков, символов, формул и обозначений.

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

Дескриптивные термины (от лат. descriptic- описание) – это такие термины, которые выражаются словами естественного языка и адекватно отражают предмет мысли. Среди дескриптивных терминов различают:

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

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

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

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

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

Символ	Способ употребления	Название	Читается
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	отрицание	неверно, что р

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

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

Логические (смысловые) категории	Языковые элементы
Субъект	Подлежащее
Предикат	Сказуемое
Объект	Дополнение
Атрибут	Определение
Предмет, явление	Существительное
Процесс (действие, состояние)	Глагол
Качество	Прилагательное
Количество	Числительное; грамматическая категория числа
Связи; отношения	Предлоги, союзы; грамматическая категория падежа

Еще одной сложностью при разрешении проблемы соотношения мышления и языка является различный характер этих явлений. Так язык является определенным материализованным результатом мыслительных процессов. И в языке можно выделить самостоятельные единичные структуры (единицы языка), такие как слово, выражение (высказывание), а также средство, с помощью которого одни языковые конструкции преобразовываются в другие, называемое функтор. Мышление же является процессом, и потому не имеет полностью автономных структур. Однако в мыслительном процессе можно выявить взаимосвязанные логические формы: понятие, суждение, умозаключение и доказательство. Они выражают опосредованные знания, то есть такие, истинность которых видна через посредство других знаний.

Понятие – это форма мышления, в которой отражаются существенные признаки одноэлементного класса или класса однородных предметов. В языке понятия выражаются с помощью слов (например, логика, философия) или группы слов (например, формальная логика, студент НТУ «ХПИ»).

Суждение – это форма мышления, в которой что-либо утверждается или отрицается о предмете мысли. В языке суждения выражаются в виде грамматически верного повествовательного предложения. Например, «Студенты НТУ «ХПИ» изучают логику».

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

Например:

Все студенты-отличники получают стипендию

Иванов – студент-отличник

Иванов получает стипендию

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

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

Из вышесказанного мы можем сделать вывод, что мышление и язык – это взаимообусловленные явления: для существования мышления необходим язык, а для существования языка необходимо мышление.