Логический анализ языка . ЛОГИЧЕСКИЙ АНАЛИЗ ЯЗЫКА (стр. 1 )

Язык как знаковая система

Язык и основные виды языков

Интеллектуальная познавательная деятельность тесно связано с языком. Поэтому начнем изложение данной темы с анализа такого важного для логики понятия, как понятия языка.

Язык – это знаковая система, предназначенная для фиксации, переработки и передачи информации от одного субъекта к другому.

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

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

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

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

Очень важным является еще одно членение языков, а именно различение языка-объекта и метаязыка.

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

Так, в ситуации, когда тренер объясняет начинающему шахматисту правила записи шахматной партии, в качестве объектного языка выступает язык шахматной нотации, а в качестве метаязыка – разговорный язык, на котором ведется обучение. Фраза «Круглые квадраты не существуют» относится к объектному языку, но когда учитель на уроке начинает разбирать эту фразу и говорит: «Слово “квадраты” – это нарицательное существительное мужского рода мно­жественного числа, слово “круглые” – это прилагательное мужского рода и множественного числа, слово “не” – это отрицательная частица, а “существуют” – глагол», то все данные выражения учителя относится уже к метаязыку.

Если потребуется исследовать сам метаязык, то это должно осуществляться средствами метаметаязыка и т. д. Так, наше утверждение, что фраза учителя относится к метаязыку, является в свою очередь фразой уже метаметаязыка. Отметим также, что каждый метаязык, кроме знаков объектного языка, содержит еще и свои собственные знаки, которые называются метазнаками. Во фразе учителя такими знаками были следующие выражения: «нарицательное существительное», «мужской род», «множественное число», «прилагательное», «отрицательная частица», «глагол». С этой точки зрения все изложение логики в данной книге будет вестись на метаязыке.

Еще одно существенное членение научных языков состоит в их подразделении на языки разного уровня. Это определяется тем, что в логике принято все предметы распределять по порядкам (уровням) бытия. Считается, что к нулевому порядку (нулевому уровню) принадлежат предметы, которые трактуются как индивиды. Это те предметы, которые лежат в основе делаемых нами утверждений и которые в своей совокупности образуют область рассмотрения (часто говорят – область (универсум) рассуждения). К первому порядку относятся признаки индивидов, т. е. свойства (атрибуты), присущие индивидам, и отношения (реляции) между ними. Ко второму порядку относятся признаки признаков, т. е. свойства и отношения, присущие свойствам индивидов и отношениям между ними. Например, если мы рассматриваем в качестве универсума рассуждения класс людей, то сами люди, входящие в данный универсум, являются объектами нулевого порядка, но тогда слова «русский», «француз», «китаец» являются признаками людей, т. е. объектами первого уровня. С другой стороны, слово «национальность» обозначает признак признака. В самом деле, можно сказать «Иван – русский», «Русский – это национальность», но нельзя сказать «Иван является национальностью». Этот пример наглядно показывает, что термин «национальность» является не признаком индивидов (объектов нулевого уровня), а является признаком признаков. К третьему уровню относятся признаки признаков признаков и т. д.

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

Функции и свойства естественных языков

Основными функциями, которые выполняют естественные разговорные и письменные языки, являются:

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

Естественным языкам присущи следующие свойства:

универсальность, т. е. посредством естественных разговорных и письменных языков, обогащенных, может быть, специальной терминологией, выразима любая информация; многозначность, т. е. отсутствие за словами и словосочетаниями естественных языков каких-либо жестко закрепленных значений, их неопределенность и «размытость», что часто приводит к трудно уловимой подмене одного значения слова другим; наличие омонимов – одинаковых по написанию терминов, имеющих разные значения (так, русское слово «коса» обозначает и сельскохозяйственное орудие, и особый вид прически, и песчаный берег); грамматическая неоднозначность, т. е. отсутствие жестко фиксированных правил образования значимых выражений; это приводит к тому, что одинаковые предложения могут выражать разные суждения (например, «Любовь знает весь курс»), или предложения со сходной грамматической структурой могут иметь разные логические формы (например, «Москва находится между Тулой и Рязанью» и «Петр старше Ивана и Семена»); семантическая замкнутость, т. е. отсутствие разделения на объектные языки и метаязыки, а также языки разных порядков, что позволяет средствами языка формулировать парадоксальные утверждения. Одним из примеров такой ситуации является знаменитый парадокс Лжеца.

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

Еще одним парадоксом, основанным на семантической замкнутости естественного языка, является так называемый парадокс Грелинга. Согласно ему, все, скажем, русские прилагательные можно разделить на два класса. На прилагательные, обозначающие свойства, которыми они сами обладают, например, прилагательное «русский» обладает свойством «быть русским», т. е. является прилагательным русского языка; прилагательное «многосложный» обозначает свойство, которым оно само обладает. Такие прилагательные называются автологичными. Все остальные прилагательные таковым свойством самоприменимости не обладают. Например, прилагательное «красный» обозначает свойство, которым само оно не обладает. Такие прилагательные называются гетерологичными. Зададимся теперь вопросом, а каким является прилагательное «гетерологичный» – гетерологично оно или автологично? Легко видеть, что если допустить, что данное прилагательное гетерологично, то отсюда следует, что оно автологично, а если допустить, что оно автологично, то отсюда вытекает, что оно гетерологично.