Естественный язык и искусственные языки

          Общепринятый в современной логике искусственный язык - это язык логики предикатов. Основными семантическими категориями языка являются: имена предметов, имена признаков, предложения.

Имена предметов - это отдельные словосочетания, обозначающие предметы. Каждое имя  имеет двойное значение - предметное и смысловое. Предметное значение имени - это множество предметов, к которым относится имя (денотат). Смысловое значение - это присущее предметам свойства, с помощью которых выделяют множество предметов (концепт).

          Имена признаков - это качества, признаки или отношения предметов. Обычно это сказуемые, например, «быть красным», «прыгать», «любить» и т.д.

Предложения - это выражения языка, в котором  нечто утверждается или отрицается. По своему логическому значению они  выражают истину либо ложь.

Логический  язык также имеет свой алфавит, включающий в себя определенный набор знаков (символов), логические связки. С помощью  логического языка строится формализованная  логическая система, называемая исчислением  предикатов. Кириллов В.И., Старченко А.А. Логика. М., 1995. С. 11-13

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

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

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

  Предназначенный для логического анализа рассуждений, язык логики предикатов структурно отражает и точно следует за смысловыми характеристиками естественного языка. Основной смысловой (семантической) категорией языка логики предикатов является понятие имени.

  Имя — это имеющее определенный смысл  языковое выражение в виде отдельного слова или словосочетания, обозначающее или именующее какой-либо внеязыковой объект. Имя как языковая категория имеет таким образом две обязательные характеристики или значения: предметное значение и смысловое значение.

  Предметное  значение (денотат) имени — это  один или множество каких-либо объектов, которые этим именем обозначаются. Например, денотатом имени «дом» в русском языке будет все многообразие сооружений, которые этим именем обозначаются: деревянные, кирпичные, каменные; одноэтажные и многоэтажные и т.д.

  Смысловое значение (смысл, или концепт) имени — это информация о предметах, т.е. присущие им свойства, с помощью которых выделяют множество предметов. В приведенном примере смыслом слова «дом» будут следующие характеристики любого дома: 1) это сооружение (здание), 2) построено человеком, 3) предназначено для жилья.

  Отношение между именем, смыслом и денотатом (объектом) можно представить следующей  семантической схемой: 

  

    

  Это значит, что имя денотирует, т.е. обозначает объекты только через смысл, а  не непосредственно. Языковое выражение, не имеющее смысла, не может быть именем, поскольку оно не осмысленно, а значит и не опредмечено, т.е. не имеет денотата.

  Типы  имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семантические  категории, это имена: 1) предметов, 2) признаков и 3) предложений.

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

  По  составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена  бывают единичные и общие. Единичное  имя обозначает один объект и бывает представлено в языке именем собственным (Аристотель) или дается описательно (самая большая река в Европе). Общее имя обозначает множество, состоящее более чем из одного объекта; в языке оно бывает представлено нарицательным именем (закон) либо дается описательно (большой деревянный дом).

  Имена признаков — качеств, свойств  или отношений — называются предикаторами. В предложении они обычно выполняют  роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т.д.). Число имен предметов, к которым относится предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» — к трехместным («Отец дарит книгу сыну»).

  Предложения — это имена для выражений  языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают истину либо ложь.

  Алфавит языка логики предикатов включает следующие  виды знаков (символов):²

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

  2) х, y, z, ... — символы общих имен  предметов, принимающие значения  в той или другой области;  их называют предметными переменными;

  3) Р1,Q1, R1,... — символы для предикатов, индексы над которыми выражают  их местность; их называют предикатными  переменными;

  4) р, q, r, ... — символы для высказываний, которые называют высказывательными,  или пропозициональными переменными (от латинского рropositio — «высказывание»);

  5) — символы для количественной характеристики высказываний; их называю т кванторами: — квантор общности; он символизирует выражения — все, каждый, всякий, всегда и т.п.; — квантор существования; он символизирует выражения — некоторый, иногда, бывает, встречается, существует и т.п.;

  6) логические связки:

   — конъюнкция (союз «и»);

   — дизъюнкция (союз «или»);

   — импликация (союз «если..., то...»);

   — эквиваленция, или двойная импликация (союз «если и только если..., то...»);

  ┐—  отрицание («неверно, что...»).

  Технические знаки языка: (,) — левая и правая скобки.

  Других  знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами —ППФ. Понятие ППФ вводится следующими определениями:

  1. Всякая пропозициональная переменная  — р, q , r, ... есть ППФ.

  2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А1 (х), А2 (х, у), А3(х, у, z), А" (х, у,..., n), где А1, А2, А3,..., Аn — знаки метаязыка для предикаторов.

  3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения хА (х) и хА(х) также будут ППФ.

  4. Если А и В — формулы (А  и В — знаки метаязыка для  выражения схем формул), то выражения:

  А В,

  А В,

  А В,

  А В,

  ┐А, ┐В

  также являются формулами.

  5. Любые иные выражения, помимо  предусмотренных в п. 1—4,

  не  являются ППФ данного языка. 
 
 
 
 

3.Заключение

              Язык, как известно, представляет собой средство коммуникации, общения между людьми, с помощью которого они обмениваются друг с другом мыслями, информацией. Мысль находит свое выражение именно в языке, без такого выражения мысли одного человека оказываются недоступными другому. С помощью языка происходит познание различных объектов. Успех познания зависит от правильного употребления естественных и искусственных языков. Первые этапы познания связано с использованием естественного языка. Постепенное углубление в сущность объекта требует более точных систем исследования. Это приводит к созданию искусственных языков. Чем большей точностью обладает знание, тем более реальна возможность его практического использования. Таким образом, проблема развития искусственных языков науки не является чисто теоретической, она имеет определенное практическое содержание. Вместе с тем, домината естественного языка в познании бесспорна. Как бы ни был развит, абстрактен и формализован конкретный искусственный язык, он имеет своим источником определенный естественный язык и развивается по единым естественным законам языка. Дмитриевская И.В. Логика. 2006.³  
 
 
 
 
 
 
 
 
 
 

4. Список использованной литературы

1. Ивин  А.А. Логика. - М.: Просвещение, 1996. - 206 с.

2. Непейвода  Н.Н. Прикладная логика. - Ижевск: Изд-во Удмурт. ун-та, 1997. - 384 с.

3. Дмитриевская  И.В. Логика. - М.: Флинта, 2006. - 383 с.

4. Петров  В.В., Переверзев В.Н. Обработка  языка и логика предикатов. - Новосибирск:  Изд-во Новосибир. ун-та, 1993. - 156 с.

5. Рузавин  Г.И. Логика и аргументация. - М.: Культура и спорт, ЮНИТИ, 1997. - 351 с.

6. Кириллов  В.И., Старченко А.А. Логика. - М.: ЮРИСТЪ, 1995. - 256 с.