Тема 2. Логический анализ языка
План:
2.1. Язык и мышление.
2.2. Основы теории именования.
2.3. Функциональный анализ языка.
2.1. Язык и мышление
Речь и язык важны в логике с той точки зрения, что в них выражается внутренняя структура мышления. Внутренняя и внешняя структуры мышления взаимосвязаны и взаимозависимы, так как по внешним признакам можно судить о том, что происходит внутри.
Логика всегда тесно связана с языковым материалом и в чем-то близка грамматике. В настоящее время логика воссоздает объективную структуру мышления, принципы ее построения и функционирования и представляет собой теоретическую науку об информационных явлениях и процессах, независимо от того, где они происходят — в сознании людей или в компьютерах; независимо от того, каким языком они выражаются — естественным или искусственным. Таким образом, язык и мышление неразрывно связаны.
Вместе с тем язык и мышление не тождественны. Каждая из сторон единства, составляемого ими, относительно самостоятельна и обладает своими специфическими законами.
В повседневной практике возникает потребность в общении и передаче информации, без чего невозможна организация общественной жизни. Язык является средством познания и выражает эмоции, он не только средство общения, но и один из главных компонентов культуры народа.
Язык представляет собой знаково-информационную систему, используемую для накопления, хранения, переработки и передачи информации.
Главным понятием в определении языка является понятие знака.
Знак — это чувственный предмет, замещающий в нашем мышлении какой-либо другой объект.
Знаком может быть не любой предмет, а только данный нам при помощи органов чувств. Знак как чувственный предмет может заменять какой-либо другой объект при помощи мыслей и образов как посредников между знаком и тем объектом, который он заменяет. Знак может и непосредственно заменять мысль.
Например, знак «понятие» заменяет мысль, которая обобщает объекты, выделяет в них общие существенные признаки.
Объект, который знак заменяет в нашем мышлении, называется значением этого знака.
Мысль или образ, которые в мышлении связывают знак с его значением, называются смыслом знака.
Пример.
Великий русский писатель Ф.М. Достоевский,
Автор романа «Идиот»,
Русский писатель, проведший часть жизни на каторге, Русский писатель, некоторое время входивший в кружок Петрашевского.
Эти знаковые выражения имеют одно и то же значение, т. е. они обозначают «Русского писателя Ф.М. Достоевского», но у них различный смысл.
В структуре каждого языка имеется:
1) словарь, т. е. совокупность определенных знаков, из которых составляются слова и словосочетания;
2) синтаксические правила языка, устанавливающие способы соединения знаков в простые и сложные выражения, используемые в общении;
3) семантические правила языка, определяющие способы придания значений выражениям языка;
4) прагматические правила языка, с помощью которых описываются способы использования знаков носителями языка.
Все языки разделены на естественные и искусственные.
Естественные — это те, которыми люди пользуются в своей повседневной жизни. Эти языки возникли, формировались, распространялись стихийно. Выше уже отмечалось, что язык любого народа является главным компонентом его культуры и в целом истории народа. Каждый естественный язык имеет свои особенности, отличающие его от языков других народов.
Но использование естественного языка в научной деятельности сталкивается с определенными трудностями. Если сформулировать основные из них, то сводятся они к следующим:
1. В естественном языке используются в основном сокращенные формы. В нем многое подразумевается, но не выражается в открытой форме. В повседневной жизни это в худшем случае приведет к недопониманию между собеседниками, а там, где речь идет о чем-то неизвестном, требующем специальных пояснений, это может привести к серьезным разногласиям.
2. Значения слов и выражений часто расплывчаты.
3. Слова, как правило, многозначны, и через определенное время значения слов изменяются.
4. Слова имеют эмоциональную окраску. Нередко они ассоциируются с моральными, эстетическими, социальными ценностями, что способствует их неоднозначности.
5. Тон, которым произносится то или иное слово, обозначает не одно и то же.
6. Грамматические правила многочисленны и имеют много исключений.
7. Нет многих понятий и слов для обозначения явлений в той или иной отрасли науки.
Наука с самых первых своих шагов стремится создать свой язык, чтобы он стал более точным, имел свой категориальный аппарат, свои знаки, свои термины и имел однозначные определения наиболее важных понятий. Этот процесс способствовал созданию особого, отличного от естественного, языка, в котором есть все необходимое для того, чтобы информация передавалась без искажений и понималась всеми одинаково. В современных естественных и общественных науках имеются свои достаточно развитые языки, позволяющие наиболее эффективно формулировать, обсуждать и разрешать возникающие проблемы.
Сегодня материал какой-либо конкретной науки является непонятным для того, кто не знаком с ее языком.
Искусственный язык всегда возникает на основе естественного языка и функционирует только в связи с ним.
Появившиеся в конкретных науках искусственные языки с необходимостью приводят к созданию формализованных языков. Слова повседневного языка заменяются в нем отдельными буквами и специальными символами, с которыми затем производятся операции по установленным правилам. Получаемый результат этих операций истолковывается как обозначение того, к чему привело бы некоторое реальное взаимодействие предметов и величин, обозначаемых данными символами.
Такого рода операции с символами по определенным правилам называются исчислением.
Правила эти устанавливаются не произвольно, а являются результатом длительной практики и анализа того, как взаимодействуют вещи и величины в реальном мире и к каким результатам приводит это взаимодействие. Показательный пример формализации языка демонстрирует математика.
В логике используется искусственный язык, опирающийся на определенные правила. Этот язык предельно формализован, где символы и формальные правила оперирования с ними применялись еще в Древней Греции. Язык этот предназначался для выявления логических связей мыслей, так как логика всегда стремилась отвлечься от содержания мышления, рассматривая его формы как однородные единицы, отличающиеся друг от друга только формой и структурой.
Но возможностей для формализации языка в логике меньше, чем в математике. Связано это с тем, что математика оперирует ограниченным числом понятий, а логика пытается охватить всю совокупность понятий, используемых человеком. Формализовать все мышление в целом — задача очень сложная.
Но введение формализованного языка в логике означает принятие особой теории логического анализа рассуждений.
В компьютерных технологиях широко применяется не только искусственный, но и естественный язык.
Язык, выступающий средством построения или изучения другого языка, называют метаязыком, а созданный на его основе — языком-объектом.
Метаязык всегда имеет более широкие выразительные возможности.
2.2. Основы ТЕОРИИ ИМЕНОВАНИЯ
Формализованный язык логики существует в двух вариантах: язык логики предикатов и язык логики высказываний.
Структура языка логики предикатов отражает смысловые характеристики естественного языка. К семантическим категориям языка относятся: предложения, имена (знаки предметов), пре-дикаторы (знаки свойств и отношений), функциональные знаки.
Имена — это слова или словосочетания, обозначающие какой-либо предмет.
Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», и описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно.
Общее имя обозначает класс однородных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например «действующий вулкан».
Предикаторы — это языковые выражения, обозначающие свойства, качества, отношения.
Число имен, к которым относится предикатор, называется
его местностью.
Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными. Например, «лед холодный».
Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными.
Двухместными предикаторами являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».
Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».
Функциональные знаки — это выражения, обозначающие предметные функции, т. е. функции, значениями которых являются предметы.
В языке встречаются логические термины — это термины, относящиеся к логической форме мысли и не имеющие самостоятельного содержания. Они ничего не обозначают и ничего не описывают. В русском языке имеются слова и словосочетания, которые являются такими терминами: «есть», «суть». «не», «неверно, что», «все», «если и только если», «некоторые», «ни один», «или» и т. п.
Предложение — это выражение языка, в котором что-то утверждается или отрицается.
Логика высказываний — это логика повествовательных предложений, т. е. прежде всего суждений, позволяющая с помощью искусственного языка выразить их логическую структуру.
Формализованный язык логики высказываний состоит из алфавита, т. е. совокупности символов и правил построения формул из этих символов. Алфавит логики высказываний состоит из знаков простых высказываний, т. е. букв, которыми заменяются понятия или суждения; знаков логических связок или союзов; технических знаков, которые обозначаются скобками.
В логике высказываний фразы естественного языка переводятся на язык логики высказываний. Выглядит это следующим образом: во фразе выделяют части, соединенные логическими союзами, эти части обозначают буквами и соединяют этими союзами.
Пример.
Если вещи вовсе неспособны быть объектом чьей-либо собственности или, будучи таким объектом, объявлены по закону неотчуждаемыми, они считаются изъятыми из оборота.
Обозначим буквами следующие части:
А — вещи, вовсе неспособные быть объектом чьей-либо собственности;
В — вещи являются таким объектом;
С — вещи объявлены по закону неотчуждаемыми;
D — вещи считаются изъятыми из оборота.
Используя логические союзы и технические знаки, получаем следующую формулу:
[(А? (B & C)) —> D].
Формулы, которые мы получаем в результате перевода фраз естественного языка на логический язык, могут быть трех видов:
• тождественно истинные, т. е. истинные всегда, какие бы значения мы ни подставляли в них вместо букв;
• тождественно ложные, т. е. ложные при каких угодно значениях своих переменных;
• нейтральные, т. е. при одних значениях переменных ложные, а при других — истинные.
Одной из задач исчисления в логике высказываний является выяснение, к какому из трех данных видов относится данная формула, записанная символическим языком логики. Более подробно операции логики высказываний будут рассмотрены в дальнейшем.
2.3. Функциональный анализ языка
С точки зрения логики важным является проведение различия между двумя важными функциями языка: описательной и оценочной.
Цель описания— сделать так, чтобы слова соответствовали действительности; цель оценки — сделать так, чтобы действительность соответствовала словам.
Это две противоположные функции языка, где трудно выделить более важную и существенную. Они рассматриваются как крайние позиции, но между ними всегда возникает множество нюансов, предусмотреть которые невозможно. В повседневной и профессиональной деятельности человек сталкивается с различными описаниями и оценками.
В чистом виде они встречаются только в очень специализированных сферах. Чаще всего человек сталкивается с языковыми выражениями, в которых одновременно присутствуют и описание и оценка.
Важным является различие между экспрессивами, служащими для выражения чувств, например: «Позвольте выразить вам сое сочувствие», «Извините, что не смог выполнить вашу просьбу» и т. п. Орективы, сходные с оценками, используются для побуждения к действию, возбуждения чувств, например: «Прекратите истерику», «Вы сможете решить эту задачу» и т. п. Как частный случай оректического употребления языка рассматривается нуминозная его функция, например: различные заклинания, заговоры, выражения лести, угрозы и т. п.
Противоположные составляющие «мысль — чувство» и «выражение — внушение» составляют единую систему, где можно расположить все основные функции языка. Описания представляют собой выражения мыслей, экспрессивы являются выражением чувств. Описания и экспрессивы относятся к тому, что может быть названо «пассивным употреблением» языка и охарактеризовано в терминах истины и лжи. Оценки и орективы относятся к «активному употреблению» языка и не имеют истинностного значения. Нормы представляют собой частный случай оценок.
Декларации являются особым случаем магической функции языка, когда он используется для изменения объективной реальности, в частности для изменения отношений между людьми. Декларации — это своего рода предписания, касающиеся поведения людей в тех или иных ситуациях. Обещания относятся не только к обещаниям в прямом смысле этого слова, но и характеризуют различные конвенции, принимаемые в тех или иных областях, аксиомы для вновь водимых теорий и т. п.
Соответственно можно выделить четыре основных употребления языка: описание, экспрессив, оценка, оректив. А между ними находится множество различных форм его употреблений, в той или иной степени близких к основным и имеющих свое функциональное предназначение.
Контрольные вопросы
1. Что общего и в чем различие между мышлением и языком?
2. Каковы основные функции языка, какое место он занимает в процессе познания?
3. Что такое знак и какие виды знаков существуют?
4. Что такое предметное и смысловое значение языковых выражений?
5. Что такое семиотические аспекты языка: семантический, синтаксический, прагматический?
6. Каковы особенности естественных и искусственных языков?
7. В чем суть описательной и оценочной функций языка?
8. В чем смысл и значение предложений?
9. Какие виды имен используются в логике?
10. Какова роль предметных и логических функций?
11. Как употребляются переменные в логике?
12. В чем особенности формализованного языка логики?
Список литературы
Гетманова А.Д. Учебник по логике. М., 1995.
Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М., 1991.
Ивин А.А. Логика. М., 2000.
Кириллов В.И., Старченко А.А. Логика. М., 1995.
Свинцов В.И. Логика. М., 1995.
Философский энциклопедический словарь. М., 1983. Статьи: «Знак», «Значение», «Имя», «Квантор», «Метаязык», «Предикат», «Семантика», «Семиотика», «Символ», «Синтаксис», «Объект», «Субъект», «Функция», «Язык».
Новая философская энциклопедия: В 4 т. М., 2000—2001.
