4. Логика и язык
Речь, или язык, представляют собой необходимое условие существования абстрактного мышления. Язык является чувственно воспринимаемой оболочкой мышления, обеспечивает мысли человека реальное существование.
Язык – система знаков, используемая для целей коммуникации и познания.
В каждом языке наличествует (помимо словаря) синтаксис и семантика.
Синтаксические правила языка устанавливают способы образования сложных выражений из простых (определяют строение знаков, способы образования из них сложных знаковых систем).
Семантические правила связывают язык с описываемой им областью действительности (фиксируют отношения между знаками и теми объектами, которые обозначаются или указываются ими; определяют способы придания значений выражениям языка).
Основные функции языка (те основные задачи, которые решаются языком в процессе коммуникации и познания):
описательная – сообщение о реальном положении вещей; это сообщение может быть истинным, ложным или неопределенным (лежащим между истиной и ложью);
нормативная – формулирование норм (команд, приказов, требований, предписаний, законов, правил и т.п.); нормы не являются истинными или ложными, но могут быть обоснованными или необоснованными, способствующими достижению каких-либо целей или нет и т.п.
выражения чувств – выражения определенных психических состояний, связанных с конкретной ситуацией; выражения чувств (экспрессивы) могут быть искренними (истинными) и ложными. Истинное выражение чувств – выражение, соответствующее внешней реальности и внутренним чувствам;
изменения мира словом – выражения-декларации, которые меняют существовавшее до их произнесения положение вещей; декларации не являются истинными или ложными, но могут быть обоснованными или необоснованными;
обещания – возлагания на говорящего обязательства совершить в будущем некоторое действие или придерживаться определенной линии поведения;
оценок – выражения положительного, отрицательного или нейтрального отношения к рассматриваемому объекту или, если сопоставляются два объекта, для выражения предпочтения одного из них другому или утверждения равноценности их друг другу.
С точки зрения логики основными являются две функции языка: описательная и оценочная. К ним сводятся все остальные (экспрессивы – к описанию; обещания, декларации, нормы – к оценкам).
Логические категории языка:
Содержательные символы – выражения языка, имеющие содержание даже в том случае, если они взяты сами по себе.
К содержательным символам относятся имена (обозначающие какие-либо объекты) и высказывания (описывающие или оценивающие некоторые ситуации или положение дел).
Имя – это выражение языка, обозначающее отдельный предмет или некоторую совокупность предметов, свойства предметов, их отношения.
Понятие «имя» в логике намного шире, чем в обычном языке. Специфической особенностью имени является способность обозначать, или именовать. Поэтому в логике именами являются не только слова («Платон», «Иван», «человек»), но и выражения («Самый высокий человек», «учитель Аристотеля»).
Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (или «… есть…»).
Логические принципы использования имен:
Принцип однозначности: имя должно обозначать только один предмет, класс предметов или свойство. Т.е. слова, даже если они в языке имеют разные значения, в пределах одного рассуждения должны относиться к одним и тем же объектам.
Принцип предметности: всякое предложение должно говорить о предметах, обозначаемых входящими в него именами.
Виды имен в зависимости от того, сколько предметов они обозначают:
Единичное имя обозначает один и только один предмет;
Общее имя обозначает более чем один предмет;
Пустое, или беспредметное, имя не обозначает ни одного предмета (т.е. не существует такого предмета, который обозначался бы таким именем).
Среди общих имен особое значение имеют понятия (см. Тему 2).
Логические символы – выражения языка, не имеющие самостоятельного содержания, но в сочетании с одним или несколькими содержательными выражениями образующие сложные выражения с самостоятельным содержанием.
Логические символы подразделяются на виды в зависимости от того, к чему они применяются (к именам или высказываниям) и что возникает в результате их применения (имя или высказывание).
Рассмотрим две группы логических символов:
Логические связки, позволяющие из одних высказываний образовывать новые высказывания: «…и…», «…или…», «если… то…», «неверно, что…» и т.п.;
Например, из высказываний «Письмо отправлено» и «Письмо сожжено» можно получить новые высказывания: «Письмо отправлено, и оно сожжено» (явно противоречивое), «Письмо отправлено или оно сожжено», «Письмо ни отправлено, ни сожжено», «Неверно, что письмо отправлено» и т.п.
Логические связки, позволяющие из двух имен получить высказывание: «…есть…», «все… есть…», «некоторые… есть…», «все… не есть…», «некоторые… не есть…».
Например, из имен «металл» и «проводник электричества» можно получить высказывания: «Металл есть проводник электричества», «Всякий металл – проводник электричества», «Некоторые металлы – проводники электричества» и т.п.
Содержательные символы определяют содержание мысли, логические – ее логическую форму, т.е. способ связи ее содержательных частей.
Чтобы выявить логическую форму рассуждения, следует отвлечься от его содержания. В логике принято с этой целью заменять содержательные элементы рассуждения (имена и высказывания) переменными.
Переменные – знаки, не имеющие никакого содержания и указывающие только вид заменяемого выражения.
В качестве переменных для имен обычно используются буквы S, P, M и т.д. Переменными для высказываний обычно служат буквы a, b, c и т.д.