Основные особенности искусственных языков логики по сравнению с естественными языками

Время: 25-02-2013, 11:33 Просмотров: 1285 Автор: antonin
    
Основные особенности искусственных языков
логики по сравнению с естественными языками
Мы будем иметь здесь в виду языки, специально создан-
ные логикой в качестве средства точного анализа некоторых
процедур мышления и, главным образом, логических выво-
дов одних высказываний из других и доказательств высказы-
ваний. Прежде чем приступить к описанию специальных ло-
гических языков (языка логики высказываний — ЯЛВ и язы-
ка логики предикатов — ЯЛП) полезно отметить некоторые
их особенности по сравнению с обычными (разговорными,
национальными) языками; при этом будем иметь в виду язык
логики предикатов, как более богатый по своим выразитель-
ным возможностям в сравнении с языком логики высказы-
ваний.
1. ЯЛП является искусственным языком; он предназначен
для определенных целей (например, для аксиоматического
построения теорий, для анализа содержания высказываний
естественного языка и выявления логических форм выска-
зываний, а также понятий, отношений между высказывания-
ми и понятиями, для описания правил рассуждения, форм
выводов и доказательств).
87
2. Если в обычных (естественных) языках выделяются
три семиотических аспекта — синтаксический, семантичес-
кий и прагматический, — то в языках, которые подлежат
описанию, имеются только синтаксический и семантический
аспекты. Как уже говорилось ранее, наличие прагматическо-
го аспекта в естественных языках связано со встречающи-
мися в них неопределенностями и отсутствием определен-
ных правил (смысловой неоднозначностью каких-то выраже-
ний, и главным образом отсутствием точных правил по-
строения их выражений, например, предложений). В ЯЛП
нет никаких неопределенностей, в нем имеются точные пра-
вила образования аналогов имен естественного языка (тер-
мов) и аналогов его повествовательных предложений (фор-
мул), а также точные правила, определяющие значения его
выражений. Языки такого рода называются формали-
зованными.
3. В естественном языке наряду с той его частью, которая
предназначена для описания внеязыковой действительности
(объектная часть языка), имеются слова, обозначающие вы-
ражения самого языка («слово», «предложение», «глагол»
и т. д.) и предложения, в которых утверждается нечто, отно-
сящееся к самому языку («Существительные изменяются по
падежам»). Такие языки называются семантически
замкнутыми. В искусственных языках логики имеется
только объектная часть, точнее говоря, они содержат лишь
средства для описания какой-то внешней по отношению к
нему действительности. Все то, что используется для харак-
теристики выражений самого этого языка и необходимо при
его описании, выделяется в особый язык. Описываемый
язык (в данном случае — ЯЛП или ЯЛВ) называется объ-
ектным языком, а язык, используемый для его описа-
ния, анализа и т. п., — метаязыком по отношению к
данному (объектному).
4. ЯЛП (как и ЯЛВ) характеризуют обычно как символи-
ческий язык, потому что здесь используется особая символи-
ка, прежде всего для обозначения логических связей и опе-
раций. Специальные символы употребляются также в каче-
стве знаков для обозначения предметов, свойств и отноше-
ний. Употребление символики способствует сокращению за-
писи высказываний и облегчает, особенно в сложных ситуа-
циях, понимание смыслов соответствующих высказываний.
88
5. Характерной особенностью ЯЛП и ЯЛВ — для систем
так называемой классической символической логики — яв-
ляется их экстенсиональный характер. Для ЯЛП он состоит в
том, что предметные значения его термов (аналогов имен ес-
тественного языка) зависят лишь от предметных значений
их составляющих, а истинные значения сложных формул от
истинностных значений составляющих последних. Сказан-
ное относится и к ЯЛВ. Обобщенно говоря, экстенсиональ-
ность указанных языков состоит в том, что предметные зна-
чения аналогов сложных имен естественного языка в них за-
висят лишь от предметных значений, но не от смыслов их
составляющих, а истинностные значения аналогов сложных
высказываний естественного языка зависят от истинност-
ных значений (но опять-таки не от смыслов) их составляю-
щих. Это выражается, например, в том, что свойства и отно-
шения между предметами в составе высказываний рассмат-
риваются (или по крайней мере могут рассматриваться) как
некоторые множества предметов — объемы соответствую-
щих свойств и отношений. А также в том, что допустима за-
мена любой части сложности высказывания, представляю-
щей собой в свою очередь некоторое высказывание, любым
другим высказыванием с тем же истинностным значением.
Наиболее существенным для данных языков является на-
личие точных правил образования его выражений и припи-
сывания им значений и особенно то, что каждая знаковая
форма приобретает при этом определенный смысл. В есте-
ственном же языке мы имеем такие выражения (знаковые
формы), которые в различных случаях их употребления име-
ют различные смысловые содержания. Так, например, выра-
жение «все книги данной библиотеки» имеет явно различ-
ный смысл в употреблениях: «все книги данной библиотеки
написаны на русском языке» и «все книги данной библиоте-
ки весят 2 тонны».
Важной особенностью ЯЛП является также прямое соот-
ветствие между структурами его знаковых форм (формул) и
структурами выражаемых ими смыслов. Соответствие состо-
ит в том, что каждой существенной части структуры смысла
соответствует определенная часть знаковой формы. Так, в
структуре смысла простого повествовательного предложе-
ния, то есть в структуре простого высказывания, необходи-
мо выделить, например, отдельные предметы или классы
предметов, о которых что-то утверждается в высказывании
89
(в знаковых формах им соответствуют единичные или об-
щие имена), а также свойства или отношения, наличие кото-
рых у соответствующих предметов тоже утверждается (в ка-
честве знаков для них в ЯЛП употребляются предикаторы).
Рассуждения, осуществляемые в естественном языке
с учетом смыслов языковых выражений и представляющие
собой, по существу, операции именно с этими смыслами
(с мысленными предметными ситуациями), могут быть пред-
ставлены в формализованном языке как операции со знако-
выми формами высказываний. Операции эти осуществляют-
ся по правилам формального характера, «формального» в
том смысле, что для их применения необходимо учитывать
лишь то, из каких знаков составлены знаковые формы и в
каком порядке расположены эти знаки. Ясно, что подобная
возможность отвлечения от смыслов высказываний при опи-
сании форм правильных рассуждений необходима для авто-
матизации многих интеллектуальных процессов и является
условием обеспечения максимальной точности в построении
научных выводов и доказательств, которые при этом стано-
вятся всегда проверяемыми.
У людей, не знакомых с современной формальной логи-
кой, нередко складывается мнение, что она, имея дело со
специальными формализованными языками, изучает особые
формы рассуждения именно в этих языках. Однако никаких
особых форм такого рода не существует. Формализованные
языки являются лишь средством выделения различных типов
отношений вещей, которые представляют собой логические
содержания высказываний и определяют формы правильных
рассуждений в любых процессах познания.
Язык логики предикатов, как увидим далее, является ре-
зультатом определенной реконструкции естественного язы-
ка, цель которой состоит в том, чтобы привести в соответст-
вие логические формы высказываний с их знаковыми фор-
мами: языковые формы этого языка адекватно выражают
смысловые структуры высказываний, что отнюдь не всегда,
как уже подчеркивалось, имеет место в естественном языке.
Язык логики высказываний является результатом некото-
рого упрощения ЯЛП за счет того, что в нем не учитывается
структура некоторых высказываний. Это обстоятельство
приводит к появлению новой семантической категории, от-
сутствующей в естественном языке, а именно, пропози-
90
циональных знаков (символов, переменных): pv р2,
р3, .., рп, предназначенных для обозначения некоторых вы-
сказываний без учета их внутренней структуры. Существен-
но, что здесь (в ЯЛВ) не выявляется состав простых выска-
зываний, их субъектно-предикатная структура, а выявляются
лишь логические формы сложных высказываний. Поскольку
этот язык имеет более простое строение, методически целе-
сообразнее именно с него начинать рассматривать искус-
ственные языки логики.

| распечатать

Другие новости по теме:

Другие новости по теме: